阿曼多·卡斯塔涅达;吉尔德·瓦莱里亚·罗德里格斯 异步无等待运行时验证和线性化能力的实施。 （英语） Zbl 07824315号 Oshman，Rotem（ed.）等人，《第42届ACM分布式计算原理研讨会论文集》，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。90-101 (2023).MSC公司：64岁以下 68宽15 PDF格式BibTeX公司 XML格式引用 \textit｛A.Castañeda｝和\textit｛G.V.Rodríguez｝，载于：第42届ACM分布式计算原理研讨会论文集，PODC'23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。90-101（2023年；兹bl 07824315） 全文： 内政部 arXiv公司
卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingófsdóttir，安娜 一阶分支时间属性的双向运行时强制。 （英语） Zbl 07667087号 日志。计算方法。科学。 19，第1号，第14号论文，44页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，日志。计算方法。科学。19，第1号，第14号论文，44页（2023；Zbl 07667087） 全文： 内政部 arXiv公司
哈维尔·埃斯帕尔扎;斯特凡·基弗;简·Křetínsk;马克西米利安·威宁格 通过重新启动在马尔可夫链中实施\（\omega \）-正则属性。 （英语） Zbl 07730607号 Haddad，Serge（编辑）等人，第32届并发理论国际会议，CONCUR 20212021年8月24日至27日，虚拟会议。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。203，第5条，第22页（2021年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人，LIPIcs——莱布尼茨国际程序。通知。203，第5条，22 p.（2021；Zbl 07730607） 全文： 内政部
斯里尼瓦斯·皮尼塞蒂;安吉特·普拉丹;帕塔·鲁普;斯塔夫罗斯·特里帕基斯 重新访问合成运行时强制。 （英语） Zbl 1522.68342号 形式方法系统。设计。 59，编号1-3，205-252（2021）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛S.Pinisetty｝等人，Form.Methods Syst。设计。59，编号1--3，205-252（2021；Zbl 1522.68342） 全文： 内政部
拉诺特、拉格罗;马西莫·梅罗;安德烈·蒙泰努 检测和缓解PLC恶意软件的过程演算方法。 （英语） 兹比尔1514.68140 西奥。计算。科学。 890, 125-146 (2021).MSC公司：60年第68季度 68平方米25 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人，Theor。计算。科学。890、125--146（2021年；Zbl 1514.68140） 全文： 内政部
马蒂厄·雷纳德;安托万·罗莱;伊利耶斯·法尔科内 使用游戏对计时属性进行运行时强制。 （英语） Zbl 1458.68120号 正式Asp。计算。 32，编号2-3，315-360（2020）.MSC公司：60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Renard}等人，《正式Asp》。计算。32，编号2-3315-360（2020；兹bl 1458.68120） 全文： 内政部 哈尔
斯里尼瓦斯·皮尼塞蒂;普洛塔萨，维奥雷尔;斯塔夫罗斯·特里帕基斯;蒂埃里·杰伦;伊利耶斯·法尔科内;埃尔文·马尔坎德 预测运行时强制执行。 （英语） Zbl 1370.68207号 形式方法系统。设计。 第51号，第154-199页（2017年）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛S.Pinisetty｝等人，Form.Methods Syst。设计。51，第1号，154--199（2017；Zbl 1370.68207） 全文： 内政部 哈尔
明尼苏达州Ngo;法比奥·马萨奇;迪米特·米卢舍夫;弗兰克·皮森斯 黑匣子反应式程序安全策略的运行时强制执行。 （英语） Zbl 1345.68113号 第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。43-54 (2015).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Ngo}等人，《第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。43-54（2015年；Zbl 1345.68113） 全文： 内政部 链接
卡里姆·达赫马尼;马霍布·朗加;Riadh罗巴纳 编排的web服务对话的正式动态验证。 （英语） Zbl 1388.94044号 Au，Man-Ho（编辑）等人，《可证明安全性》。第九届国际会议，ProvSec 2015，日本金泽，2015年11月24日至26日。诉讼程序。查姆：施普林格（ISBN 978-3-319-26058-7/pbk；978-3-3169-26059-4/电子书）。计算机科学课堂讲稿9451，340-353（2015）。MSC公司：94A60型 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{K.Dahmani}等人，Lect。注释计算。科学。9451340-353（2015年；Zbl 1388.94044） 全文： 内政部
伊利耶斯·法尔科内;埃尔文·马尔坎德 不透明性的各种概念的实施和验证（在运行时）。 （英语） Zbl 1400.94143号 离散事件动态。系统。 25，第4期，531-570（2015）.MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Falcone}和\textit{H.Marchand}，离散事件动态。系统。25，编号4，531-570（2015年；兹bl 1400.94143） 全文： 内政部 哈尔
斯里尼瓦斯·皮尼塞蒂;伊利耶斯·法尔科内;蒂埃里·杰伦;埃尔文·马尔坎德;安托万·罗莱;奥马尔·恩格纳·蒂莫 已重新访问定时属性的运行时强制。 （英语） Zbl 1314.68102号 形式方法系统。设计。 45，第3期，381-422（2014）.MSC公司：68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛S.Pinisetty｝等人，Form.Methods Syst。设计。45，第3号，381--422（2014；Zbl 1314.68102） 全文： 内政部 哈尔
伊利耶斯·法尔科内;劳伦特·穆尼尔;让-克洛德·费尔南德斯;Jean-Luc Richier先生 运行时执行监控器：合成、合成和执行能力。 （英语） Zbl 1219.68089号 形式方法系统。设计。 38，第3期，223-262（2011）.MSC公司：68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Falcone}等人，《形式方法系统》。设计。38，第3号，223--262（2011；Zbl 1219.68089） 全文： 内政部 哈尔
亚历杭德罗·拉索;安德烈·萨贝尔菲尔德;安德烈·丘德诺夫 跟踪动态树结构中的信息流。 （英语） 兹比尔1481.94006 Michael Backes（编辑）等人，《计算机安全–ESORICS 2009》。第十四届欧洲计算机安全研究研讨会，法国圣马洛，2009年9月21日至23日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。5789, 86-103 (2009).MSC公司：94A05型 05C82号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Russo｝等人，Lect。注释计算。科学。5789，86-103（2009；Zbl 1481.94006） 全文： 内政部
艾伦·阿克图格;达姆，麦兹;迪莉安·古罗夫 运行时监控正确无误。 （英语） Zbl 1192.68116号 J.日志。阿尔盖布。程序。 78，第5号，304-339（2009）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{I.Aktug}等人，J.Log。阿尔盖布。程序。78，第5号，304--339（2009；Zbl 1192.68116） 全文： 内政部
艾伦·阿克图格;卡齐亚琳娜·纳柳卡 ConSpec—一种用于策略规范的正式语言。 （英语） Zbl 1160.68397号 科学。计算。程序。 74，编号1-2，2-12（2008）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Aktug}和\textit{K.Naliuka}，科学。计算。程序。74，编号1--2，2--12（2008；Zbl 1160.68397） 全文： 内政部