奥沃拉比·勒贡森(编辑);格里戈·罗苏(编辑) 模型检查软件。第28届国际研讨会,SPIN 2022,虚拟活动,2022年5月21日。诉讼程序。 (英语) Zbl 1499.68019号 计算机科学课堂讲稿13255.查姆:施普林格(ISBN 978-3-031-15076-0/pbk;978-3-331-15077-7/电子书)。九、153页。(2022).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{O.Legunson}(编辑)和\textit{G.Rosu}(编),模型检查软件。第28届国际研讨会,SPIN 2022,虚拟活动,2022年5月21日。诉讼程序。查姆:施普林格(2022;Zbl 1499.68019) 全文: 内政部
陈晓红;林正耀;Minh-Thai Trinh;格里高·罗什乌 通过证明生成实现一个可信的基于语义的语言框架。 (英语) Zbl 1493.68056号 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12760, 477-499 (2021).MSC公司:68甲15 03B70号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}等人,Lect。注释计算。科学。12760477--499(2021年;Zbl 1493.68056) 全文: 内政部
陈晓红;多雷尔·卢卡努;格里高·罗什乌 解释了匹配逻辑。 (英语) Zbl 1518.68047号 J.日志。代数。方法计划。 120,文章ID 100638,37 p.(2021).MSC公司:68号30 03B70号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}等人,J.Log。代数。方法计划。120,文章ID 100638,37 p.(2021;Zbl 1518.68047) 全文: 内政部 链接
陈晓红;格里戈·罗苏 匹配逻辑:(mathbb{K})框架的基础(特邀论文)。 (英语) Zbl 07649884号 Roggenbach,Markus(ed.)等人,第八届计算机科学中的代数和余代数会议,2019年CALCO,英国伦敦,2019月3日至6日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。139,第1条,第4页(2019年)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}和\textit{G.Rosu},LIPIcs——莱布尼茨国际程序。通知。139,第1条,第4页(2019年;Zbl 07649884) 全文: 内政部
克劳斯·哈维隆德;贾尔斯·里格尔;格里高·罗什乌 运行时验证过去的经验和未来的预测。 (英语) Zbl 1482.68140号 Steffen,Bernhard(编辑)等人,《计算与软件科学》。最先进的技术和观点。查姆:施普林格。莱克特。注释计算。科学。10000, 532-562 (2019).MSC公司:第68季度第60季度 68-03 PDF格式BibTeX公司 XML格式引用 \textit{K.Havelund}等人,Lect。注释计算。科学。10000,532--562(2019;Zbl 1482.68140) 全文: 内政部
安德烈·特夫内斯库;斯蒂芬·乔布;拉杜·梅鲁塔;布兰登·摩尔;格里高·罗什乌;Şerbănuṭ呃,Traian Florin 全通可达性逻辑。 (英语) Zbl 1421.68015号 日志。计算方法。科学。 15,第2号,第5号论文,第23页(2019).MSC公司:68号30 03B70号 68甲19 68问题55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.ötefnescu}等人,《日志》。计算方法。科学。15,第2号,第5号论文,23页(2019年;Zbl 1421.68015) 全文: arXiv公司
布兰登·摩尔;卢卡斯·佩尼亚;格里戈·罗苏 通过共创进行程序验证。 (英语) Zbl 1418.68060号 阿马尔·艾哈迈德(编辑),《编程语言和系统》。2018年4月14日至20日在希腊塞萨洛尼基举行的第27届欧洲编程研讨会(ESOP 2018),作为欧洲软件理论与实践联合会议的一部分。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10801, 589-618 (2018).MSC公司:68号30 68问题55 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Moore}等人,Lect。注释计算。科学。10801、589--618(2018;Zbl 1418.68060) 全文: 内政部
格里高·罗什乌 有限迹线性时序逻辑:共导完备性。 (英语) Zbl 1394.68237号 形式方法系统。设计。 53,第1期,138-163(2018).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu},《形式与方法系统》。设计。53,第1号,138--163(2018;Zbl 1394.68237) 全文: 内政部
格里高·罗什乌 匹配逻辑。 (英语) Zbl 1448.03019号 日志。计算方法。科学。 13,第4号,第28号论文,61页(2017年).MSC公司:03B70号 2012年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu},日志。计算方法。科学。13,第4号,第28号论文,61页(2017;Zbl 1448.03019) 全文: 内政部 arXiv公司
安德烈·阿鲁索艾;瑟·特凡·乔巴赫;多雷尔·卢卡努;格里戈·罗苏;弗拉德·鲁苏;erbénuţ\355 ;Ņé,Traian-Florin 程序逻辑及其应用。 (英语) Zbl 1389.68009号 修订版Roum。数学。Pures应用程序。 62,编号137-154(2017). 审核人:Fevzi Belli(帕德博恩) MSC公司:68号30 03B70号 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Arusoaie}等人,Rev.Roum。数学。Pures应用程序。62,第1号,137--154(2017;Zbl 1389.68009)
多雷尔·卢卡努;erbénuţ\355 ;Ņé,Traian-Florin;格里高·罗什乌 走向一个\(\mathbb{K}\)ool的未来。 (英语) Zbl 1475.68071号 阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 325-343 (2016).MSC公司:68甲19 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucanu}等人,Lect。注释计算。科学。9660325--343(2016;Zbl 1475.68071) 全文: 内政部
瑟·特凡·乔巴赫;多雷尔·卢卡努;弗拉德·鲁苏;格里高·罗什乌 一个独立于语言的完整程序等价性证明系统。 (英语) Zbl 1355.68051号 正式Asp。计算。 第3期第28页,第469-497页(2016年).MSC公司:68号30 03B70号 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{ö.Ciobác}等人,《形式Asp》。计算。28,第3号,469--497(2016;Zbl 1355.68051) 全文: 内政部 哈尔
弗拉德·鲁苏;多雷尔·卢卡努;erbénuţ\355 ;Ņé,Traian-Florin;安德烈·阿鲁索艾;安德烈·特夫内斯库;格里高·罗什乌 语言定义是重写理论。 (英语) Zbl 1356.68125号 J.日志。代数。方法计划。 85,第1号,第1部分,98-120(2016).MSC公司:2012年第68季度 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{V.Rusu}等人,J.Log。代数。方法计划。85,第1号,第1部分,98-120(2016;Zbl 1356.68125) 全文: 内政部
格里戈·罗苏 匹配逻辑–扩展摘要(邀请演讲)。 (英语) Zbl 1366.68027号 Fernández,Maribel(编辑),第26届重写技术和应用国际会议,RTA’13,波兰华沙,2015年6月29日至7月1日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-85-9)。LIPIcs–莱布尼茨国际信息学论文集36,5-21(2015)。MSC公司:68号30 03B70号 2012年第68季度 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Rosu},LIPIcs——莱布尼茨国际程序。通知。36、5--21(2015;Zbl 1366.68027) 全文: 内政部
丹尼斯·波格达纳斯;格里高·罗什乌 K-Java:Java的完整语义。 (英语) Zbl 1346.68046号 第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录,2015年1月12日至18日,印度孟买,POPL’15。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3300-9)。445-456 (2015).MSC公司:68甲15 68问题55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Bogdanas}和\textit{G.Rošu},摘自:第42届ACM SIGPLAN-SIGACT编程语言原则研讨会论文集,2015年1月12日至18日,印度孟买,POPL'15。纽约州纽约市:计算机协会(ACM)。445--456(2015;Zbl 1346.68046) 全文: 内政部
格里高·罗什乌 从重写逻辑,到编程语言语义,再到程序验证。 (英语) Zbl 1321.68337号 Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学讲座笔记9200,598-616(2015)。MSC公司:2012年第68季度 03B70号 68号30 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu},莱克特。注释计算。科学。9200,598--616(2015;Zbl 1321.68337) 全文: 内政部
安德烈·阿鲁索艾;多雷尔·卢卡努;弗拉德·鲁苏;erbénuţ\355 ;Ņé,Traian-Florin;安德烈·特夫内斯库;格里高·罗什乌 语言定义是重写理论。 (英语) Zbl 1356.68115号 圣地亚哥·埃斯科瓦尔(编辑),《重写逻辑及其应用》。2014年4月5日至6日,作为ETAPS的卫星活动,在法国格勒诺布尔举行了第十届WRLA国际研讨会。修改选定的论文。查姆:施普林格(ISBN 978-3-319-12903-7/pbk;978-3-316-12904-4/电子书)。计算机科学讲座笔记866397-112(2014)。MSC公司:2012年第68季度 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Arusoaie}等人,Lect。注释计算。科学。8663,97-112(2014;Zbl 1356.68115) 全文: 内政部
安德烈·特夫内斯库;瑟·特凡·乔巴赫;拉杜·梅鲁塔;布兰登·摩尔(Brandon M.Moore)。;erbnut,Traian Florin;格里高·罗什乌 全通可达性逻辑。 (英语) Zbl 1416.68052号 Dowek,Gilles(编辑),重写并键入lambda calculi。2014年7月14日至17日在奥地利维也纳举行的RTA-TLCA 2014联合国际会议,作为维也纳逻辑夏季的一部分,VSL 2014。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8560, 425-440 (2014).MSC公司:68号30 03B70号 68甲19 68问题55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Ştefănescu}等人,Lect。注释计算。科学。8560、425--440(2014;Zbl 1416.68052) 全文: 内政部 arXiv公司
格里高·罗什乌;tefánescu,安德烈;沙特凡;布兰登·摩尔(Brandon M.Moore)。 单程可达性逻辑。 (英语) Zbl 1366.68182号 2013年6月25日至28日,美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-0-7695-5020-6)。358-367 (2013).MSC公司:第68季度第60季度 03B70号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu}等人,in:2013年6月25日至28日,美国路易斯安那州新奥尔良市杜兰大学,2013年第28届ACM/IEEE计算机科学逻辑年会论文集,LICS 2013。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。358--367(2013年;Zbl 1366.68182) 全文: 内政部
何塞·梅塞格尔;格里高·罗什乌 重写逻辑语义项目:进度报告。 (英语) Zbl 1435.68188号 Inf.计算。 231, 38-69 (2013).MSC公司:68问题55 03B70号 68号30 2012年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu},信息计算。231、38--69(2013年;Zbl 1435.68188) 全文: 内政部
格里高·罗什乌 关于安全特性及其监测。 (英语) Zbl 1424.68043号 科学。Ann.计算。科学。 22,第2期,327-365(2012).MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu},科学。Ann.计算。科学。22,第2号,327--365(2012;Zbl 1424.68043) 全文: 内政部
格里高·罗什乌;安德烈·特夫内斯库 从白逻辑到匹配逻辑可达性。 (英语) Zbl 1372.68066号 Giannakopoulou,Dimitra(编辑)等人,FM 2012:形式方法。第18届国际研讨会,2012年8月27日至31日,法国巴黎。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32758-2/pbk)。计算机科学课堂讲稿7436387-402(2012)。MSC公司:68号30 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Roşu}和\textit{A.Ştefănescu},Lect。注释计算。科学。7436387--402(2012年;Zbl 1372.68066) 全文: 内政部
格里高·罗什乌;安德烈·特夫内斯库 面向操作语义和公理语义的统一理论。 (英语) Zbl 1367.68075号 Czumaj,Artur(编辑)等人,《自动化、语言和编程》。2012年7月9日至13日在英国考文垂举行的第39届国际学术讨论会,ICALP 2012。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-31584-8/pbk)。计算机科学课堂讲稿7392,351-363(2012)。MSC公司:68号30 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu}和\textit{A.⁄tefénescu},莱克特。注释计算。科学。7392、351--363(2012年;Zbl 1367.68075) 全文: 内政部
☑特拉安·弗洛林(Traian Florin);格里高·罗什乌 基于图转换的\(mathbb{K}\)框架的真正并发语义。 (英语) Zbl 1367.68179号 Ehrig,Hartmut(编辑)等人,《图形变换》。2012年9月24日至29日在德国不来梅举行的2012年第六届国际燃气轮机大会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33653-9/pbk)。计算机科学课堂讲稿7562294-310(2012)。MSC公司:68问题55 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.F.⁄erbţnu}和\textit{G.Rošu},莱克特。注释计算。科学。7562、294--310(2012;Zbl 1367.68179) 全文: 内政部
格里高·罗什乌;陈冯 参数监控的语义和算法。 (英语) Zbl 1237.68065号 日志。计算方法。科学。 8,第1号,第9号论文,47页(2012年).MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Roşu}和\textit{F.Chen},日志。计算方法。科学。8,第1号,第9号论文,47页(2012;Zbl 1237.68065) 全文: 内政部 arXiv公司
何塞·梅塞格尔;格里高·罗什乌 重写逻辑语义项目:进度报告。 (英语) 兹比尔1342.68198 Owe,Olaf(编辑)等人,《计算理论基础》。2011年8月22日至25日在挪威奥斯陆举行的FCT 2011第18届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22952-7/pbk)。计算机科学课堂讲稿6914,1-37(2011)。MSC公司:68问题55 03B70号 68号30 2012年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu},莱克特。注释计算。科学。6914,1--37(2011;Zbl 1342.68198) 全文: 内政部
格里高·罗什乌;楚其·埃里森;沃尔夫拉姆·舒尔特 匹配逻辑:霍尔/弗洛伊德逻辑的替代方案。 (英语) Zbl 1308.68045号 Johnson,Michael(编辑)等人,《代数方法论和软件技术》。2010年6月23日至25日,加拿大魁北克省Lac-Beauport,AMAST 2010,第13届国际会议。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-17795-8/pbk)。计算机科学课堂讲稿6486142-162(2011)。MSC公司:68号30 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu}等人,Lect。注释计算。科学。6486,142--162(2011;Zbl 1308.68045) 全文: 内政部
格里高·罗什乌(编辑) 第七届重写逻辑及其应用国际研讨会论文集(WRLA 2008),匈牙利布达佩斯,2008年3月29日至30日。 (英语) Zbl 1279.68017号 理论计算机科学电子笔记238,第3条。阿姆斯特丹:爱思唯尔。第291页。,仅电子版(2009年)。MSC公司:68-06 2012年第68季度 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu}(编辑),第七届重写逻辑及其应用国际研讨会论文集(WRLA 2008),匈牙利布达佩斯,2008年3月29日至30日。阿姆斯特丹:爱思唯尔(2009;Zbl 1279.68017) 全文: 链接
格里高·罗什乌;多雷尔·卢卡努 圆共约:一个证明理论基础。 (英语) Zbl 1239.68067号 亚历山大·库兹(编辑)等人,《计算机科学中的代数和余代数》。第三届国际会议,2009年CALCO,意大利乌迪内,2009年9月7日至10日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03740-5/pbk)。《计算机科学讲义》5728、127-144(2009)。MSC公司:68吨15 07年3月 68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu}和\textit{D.Lucanu},莱克特。注释计算。科学。5728127--144(2009年;Zbl 1239.68067) 全文: 内政部 链接
楚其·埃里森;☑特拉安·弗洛林(Traian Florin);格里高·罗什乌 类型推理的重写逻辑方法。 (英语) Zbl 1253.68211号 Corradini,Andrea(编辑)等人,代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-03428-2/pbk)。计算机科学课堂讲稿5486135-151(2009)。MSC公司:68问题55 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Ellison}等人,Lect。注释计算。科学。5486、135——151(2009年;Zbl 1253.68211) 全文: 内政部
陈冯;格里高·罗什乌 参数化跟踪切片和监控。 (英语) Zbl 1234.68073号 Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学讲座笔记5505246-261(2009)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Chen}和\textit{G.Roşu},Lect。注释计算。科学。5505246-261(2009年;Zbl 1234.68073) 全文: 内政部
多雷尔·卢卡努;格里高·罗什乌;格里戈拉什 作为证明策略的常规策略中国保监会. (英语) 兹比尔1279.68056 Giesl,J.(编辑),第七届改写和编程中的简化策略国际研讨会论文集(WRS 2007),法国巴黎,2007年6月25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记204,83-98(2008)。MSC公司:68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucanu}等人,《电子》。注释Theor。计算。科学。204、83——98(2008年;Zbl 1279.68056) 全文: 内政部
何塞·梅塞格尔(编辑);格里高·罗什乌(编辑) 代数方法和软件技术。2008年7月28日至31日在美国伊利诺伊州乌尔班纳举行的2008年AMAST第12届国际会议。诉讼程序。 (英语) Zbl 1154.68019号 计算机科学课堂讲稿5140.柏林:施普林格出版社(ISBN 978-3-540-79979-5/pbk)。xiii,第432页。(2008).MSC公司:68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}(编辑)和\textit{G.Rošu}(主编),代数方法论和软件技术。2008年7月28日至31日在美国伊利诺伊州乌尔班纳举行的2008年AMAST第12届国际会议。诉讼程序。柏林:施普林格出版社(2008;Zbl 1154.68019) 全文: 内政部
希尔斯,马克;⑩erbénuţ\355 ;Ņene,Traian;格里高·罗什乌 用于语言定义和生成高效口译员的重写框架。 (英语) Zbl 1279.68116号 Denker,Grit(编辑)等人,第六届重写逻辑及其应用国际研讨会论文集(WRLA 2006),奥地利维也纳,2006年4月1日至2日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》176,第4期,215-231(2007)。MSC公司:2012年第68季度 03B70号 68甲15 68N20型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hills}等人,《电子》。注释Theor。计算。科学。176,第4号,215--231(2007;Zbl 1279.68116) 全文: 内政部
陈冯;格里高·罗什乌 参数化和分段因果关系。 (英语) Zbl 1135.68468号 Damm,Werner(编辑)等人,《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73367-6/pbk)。计算机科学课堂讲稿4590240-253(2007)。MSC公司:第68季度第60季度 68号30 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{F.Chen}和\textit{G.Rošu},莱克特。注释计算。科学。4590240-253(2007年;Zbl 1135.68468) 全文: 内政部
何塞·梅塞格尔;格里高·罗什乌 重写逻辑语义项目。 (英语) Zbl 1273.68211号 Peter Mosses等人,《结构操作语义学第二次研讨会论文集》(SOS 2005),葡萄牙里斯本,2005年7月10日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》156,第1期,27-56(2006)。MSC公司:68问题55 03B70号 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu},电子。注释Theor。计算。科学。156,编号1,27-56(2006;Zbl 1273.68211) 全文: 链接
陈冯;格里高·罗什乌 参数和终端敏感控制相关性。 (英语) Zbl 1225.68070号 Yi,Kwangkeun(编辑),静态分析。2006年8月29日至31日,第13届国际研讨会,SAS 2006,韩国首尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37756-6/pbk)。计算机科学讲义4134387-404(2006)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Chen}和\textit{G.Rošu},莱克特。注释计算。科学。4134387--404(2006年;Zbl 1225.68070) 全文: 内政部 链接
塞·库什克;格里高·罗什乌;古尔·阿加 通过执行的广义预测分析检测多线程程序中的错误。 (英语) Zbl 1461.68052号 Steffen,Martin(编辑)等人,开放式基于对象的分布式系统的形式化方法。2005年6月15日至17日在希腊雅典举行的第七届IFIP WG 6.1国际会议,FMOODS 2005。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。3535, 211-226 (2005).MSC公司:68甲19 第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{K.Sen}等人,Lect。注释计算。科学。3535211-226(2005;Zbl 1461.68052) 全文: 内政部
皮埃尔·萨维尔达;格里高·罗什乌;克雷格·齐勒斯 正式定义和验证主/从推测并行。 (英语) Zbl 1120.68302号 Fitzgerald,John(编辑)等人,FM 2005:正式方法。欧洲正式方法国际研讨会,英国纽卡斯尔,2005年7月18日至22日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27882-6/pbk)。计算机科学课堂讲稿3582123-138(2005)。MSC公司:2007年7月68日 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Salverda}等人,Lect。注释计算。科学。3582、123--138(2005年;Zbl 1120.68302) 全文: 内政部
马塞洛·达莫林;格里高·罗什乌 有效监控\(\omega \)-语言。 (英语) Zbl 1081.68050号 Etessami,Kousha(编辑)等人,《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27231-3/pbk)。计算机科学课堂讲稿3576364-378(2005)。MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.d'Amorim}和\textit{G.Rošu},莱克特。注释计算。科学。3576、364--378(2005年;Zbl 1081.68050) 全文: 内政部
西里尔·阿尔托;霍华德·巴林格;艾伦·戈德堡;克劳斯·哈维隆德;萨尔弗拉兹省库尔希德;洛瑞,迈克;科琳娜·帕萨雷努;格里高·罗什乌;塞·库什克;威廉·维瑟;华盛顿,里奇 结合测试用例生成和运行时验证。 (英语) Zbl 1080.68062号 西奥。计算。科学。 336,编号2-3,209-234(2005).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Artho}等人,Theor。计算。科学。336,编号2--3,209--234(2005;Zbl 1080.68062) 全文: 内政部
约瑟夫·戈根;格里戈·罗苏 在包容性机构上构建隐藏信息模块。 (英语) Zbl 1278.68203号 Owe,Olaf(编辑)等人,从面向对象到形式化方法。纪念Ole-Johan Dahl的文章。柏林:施普林格出版社(ISBN 3-540-21366-X/pbk)。计算机科学课堂讲稿263596-123(2004)。MSC公司:68问题65 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Goguen}和\textit{G.Rosu},莱克特。注释计算。科学。2635、96-123(2004年;Zbl 1278.68203) 全文: 内政部
塞·库什克;格里高·罗什乌;古尔·阿加 多线程程序的在线高效预测安全性分析。 (英语) Zbl 1126.68357号 Jensen,Kurt(编辑)等人,《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004,作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21299-X/pbk)。计算机科学课堂讲稿2988123-138(2004)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.Sen}等人,Lect。注释计算。科学。2988123--138(2004年;Zbl 1126.68357) 全文: 内政部
何塞·梅塞格尔;格里高·罗什乌 重写逻辑语义:从语言规范到形式化分析工具。 (英语) Zbl 1126.68464号 David Basin(编辑)等人,《自动推理》。第二届国际联合会议,2004年7月4日至8日,爱尔兰科克,IJCAR 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22345-2/pbk)。计算机科学课程讲稿3097。人工智能课堂讲稿,1-44(2004)。MSC公司:68问题55 2012年第68季度 第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu},莱克特。注释计算。科学。3097,1-44(2004;Zbl 1126.68464) 全文: 内政部
阿扎德法尔赞;何塞·梅塞格尔;格里高·罗什乌 JavaFAN中的正式JVM代码分析。 (英语) Zbl 1108.68382号 Rattray,Charles(编辑)等人,代数方法论和软件技术。2004年7月12日至16日在英国苏格兰斯特灵举行的第十届国际会议,AMAST 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22381-9/pbk)。计算机科学课堂讲稿3116132-147(2004)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Farzan}等人,Lect。注释计算。科学。3116、132--147(2004年;Zbl 1108.68382) 全文: 内政部
阿扎德法尔赞;陈冯;何塞·梅塞格尔;格里高·罗什乌 JavaFAN中Java程序的形式化分析。 (英语) Zbl 1103.68611号 Alur,Rajeev(编辑)等人,《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22342-8/pbk)。计算机科学讲义3114,501-505(2004)。MSC公司:第68季度第60季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Farzan}等人,Lect。注释计算。科学。3114501--505(2004;Zbl 1103.68611) 全文: 内政部
克劳斯·哈维隆德;格里高·罗什乌 运行时验证工具Java PathExplorer的概述。 (英语) Zbl 1073.68549号 形式方法系统。设计。 24,第2期,189-215(2004).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Havelund}和\textit{G.Rošu},《形式方法系统》。设计。24,第2号,189--215(2004;Zbl 1073.68549) 全文: 内政部
格里高·罗什乌;拉姆·普拉萨德·文卡特桑;乔恩·惠特尔;劳伦·伊乌·卢什坦 证明状态估计程序的最佳性。 (英语) Zbl 1278.68193号 Hunt,Warren A.jun.(编辑)等人,《计算机辅助验证》。第15届国际会议,2003年CAV,美国科罗拉多州博尔德,2003年7月8-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40524-0/pbk)。莱克特。注释计算。科学。2725, 301-314 (2003).MSC公司:第68季度第60季度 93E10型 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu}等人,Lect。注释计算。科学。2725301-314(2003年;Zbl 1278.68193) 全文: 内政部
塞·库什克;格里高·罗什乌;古尔·阿加 通过共归纳生成最优线性时序逻辑监控器。 (英语) Zbl 1215.68134号 Saraswat,Vijay A.(编辑),《计算科学进展——2003年亚洲》。编程语言和分布式计算。第八届亚洲计算科学会议,印度孟买,2003年12月10-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20632-9/pbk)。莱克特。注释计算。科学。2896, 260-275 (2003).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Sen}等人,Lect。注释计算。科学。2896、260-275(2003年;Zbl 1215.68134) 全文: 内政部
克劳斯·哈维隆德;格里戈·罗苏 合成安全性能监控器。 (英语) Zbl 1043.68534号 Katoen,Joost-Pieter(ed.)等人,《系统构建和分析的工具和算法》。第八届国际会议,TACAS 2002。2002年4月8日至12日,作为欧洲软件理论与实践联合会议的一部分,在法国格勒诺布尔举行。柏林:施普林格出版社(ISBN 3-540-43419-4)。莱克特。注释计算。科学。2280, 342-356 (2002).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.Havelund}和\textit{G.Rosu},莱克特。注释计算。科学。2280342--356(2002年;Zbl 1043.68534) 全文: 链接
约瑟夫·戈根;格里高·罗什乌 制度形态。 (英语) Zbl 1001.68019号 正式Asp。计算。 13,编号3-5274-307(2002).MSC公司:68N17号 03C95号 03G30型 18A40型 第68季度第60季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Goguen}和\textit{G.Rošu},正式Asp。计算。13,编号3-5274-307(2002年;兹bl 1001.68019) 全文: 内政部
伯恩德·菲舍尔;格里高·罗什乌 解释成员关系等式逻辑中的抽象解释。 (英语) Zbl 1268.68066号 van den Brand,Mark(编辑)等人,《规则》2001。2001年9月4日,意大利佛罗伦萨,第二届基于规则的编程国际研讨会会议记录(2001年PLI卫星活动)。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》59,第4期,271-285(2001)。MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Fischer}和\textit{G.Rošu},电子。注释Theor。计算。科学。59,第4号,271--285(2001;Zbl 1268.68066) 全文: 内政部
格里高·罗什乌;约瑟夫·戈根 隐藏的同余演绎。 (英语) Zbl 0964.68083号 卡费拉、里卡多(编辑)等,《经典和非经典逻辑中的自动演绎》。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1761, 251-266 (2000). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:68问题55 68问题65 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu}和\textit{J.Goguen},莱克特。注释计算。科学。1761251--266(2000年;Zbl 0964.68083)
约瑟夫·戈根;格里高·罗什乌 隐藏更多的隐藏代数。 (英语) Zbl 0953.68094号 Jeannette M.Wing(编辑)等人,FM’99。形式化方法。计算系统开发中的形式化方法世界大会。1999年9月20日至24日,法国图卢兹。诉讼程序。在2卷中。柏林:施普林格出版社(ISBN 3-540-66587-0/vol1;3-540-665088-9/vol2)。莱克特。注释计算。科学。1708; 1709, 1704-1719 (1999).MSC公司:第68季度第60季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Goguen}和\textit{G.Rošu},莱克特。注释计算。科学。17081704-1719(1999年;Zbl 0953.68094)