亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;斯特凡诺·托内塔 扩展有界响应的公平性、假设和保证长期贷款+P合成。 （英文） Zbl 1522.68302号 Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 351-371 (2021).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Lect。注释计算。科学。13085、351--371（2021；Zbl 1522.68302） 全文： 内政部
克里斯托夫·Löding 无限树上的自动机。 （英文） Zbl 07469506号 Pin，Jean-Eric（编辑），《自动机理论手册》。第一卷理论基础。柏林：欧洲数学学会（EMS）。265-302 (2021).MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{C.Löding}，摘自：自动机理论手册。第一卷理论基础。柏林：欧洲数学学会（EMS）。265--302（2021；Zbl 07469506） 全文： 内政部
阿伊拉特·哈利莫夫;奥尔纳·库普弗曼 基于寄存器的合成。 （英文） Zbl 07649933号 Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第25条，第16页（2019年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Khalimov}和\textit{O.Kupferman}，LIPIcs——莱布尼茨国际程序。通知。140，第25条，第16页（2019年；Zbl 07649933） 全文： 内政部
瑞秋·法拉;奥尔纳·库普弗曼 跨越从安全到活跃的范围。 （英文） Zbl 1408.68096号 学报信息。 55，第8号，703-732（2018）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛R.Faran｝和\textit｛O.Kupferman｝，Acta Inf.55，编号8，703-732（2018；Zbl 1408.68096） 全文： 内政部
鲁帕克·马朱姆达尔;Jean-François拉斯金 非布尔域中的符号模型检查。 （英文） Zbl 1392.68259号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1111-1147 (2018).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}和\textit{J.-F.Raskin}，in：模型检查手册。查姆：斯普林格。1111--1147（2018；Zbl 1392.68259） 全文： 内政部
罗德里克·布洛姆;克里希南德·查特吉;芭芭拉·乔布斯曼 图形游戏和反应合成。 （英文） Zbl 1392.68233号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。921-962 (2018).MSC公司：60年第68季度 65年第68季度 91年43月 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，in：模型检查手册。查姆：斯普林格。921-962（2018；Zbl 1392.68233） 全文： 内政部
沙乌尔·阿尔马戈;奥尔纳·库普弗曼 噪声输入下的格型LTL合成。 （英文） Zbl 1374.93029号 离散事件动态。系统。 27，第3期，547-572（2017）.MSC公司：93A30型 93亿B50 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}和\textit{O.Kupferman}，离散事件动态。系统。27，第3号，547--572（2017；Zbl 1374.93029） 全文： 内政部
克里希南德·查特吉;劳伦特·多恩;艾曼纽·菲利奥特;Jean-François拉斯金 欧米茄规则游戏的末日平衡。 （英文） Zbl 1370.68164号 Inf.计算。 254，第2部分，296-315（2017）.MSC公司：65年第68季度 91年43月 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，《信息计算》。254，第2部分，296--315（2017；Zbl 1370.68164） 全文： 内政部 arXiv公司
约翰·费恩利;多龙·贝利德;斯文·舍韦 简洁系统的合成。 （英文） Zbl 1320.68078号 J.计算。系统。科学。 81，第7期，1171-1193（2015）.MSC公司：2005年第68季度 2015年第68季度 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Fearnley}等人，J.Compute。系统。科学。81，第7号，1171--1193（2015；Zbl 1320.68078） 全文： 内政部 arXiv公司
罗德里克·布洛姆;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格（Thomas A.Henzinger）。;乔治·霍夫雷克;芭芭拉·乔布斯曼;贝蒂娜·科尼霍费尔;罗伯特·Könighfer 综合稳健系统。 （英文） Zbl 1302.93079号 学报信息。 51，编号3-4193-220（2014）.MSC公司：93B35型 93亿B50 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，Acta Inf.51，No.3--4，193-220（2014；Zbl 1302.93079） 全文： 内政部
彼得·布利切夫;亚历山大·戴维;Larsen，Kim G。;李广元 一个\（\mathrm片段的有效控制器综合{MTL}_{0，\infty}\）。 （英文） Zbl 1360.68578号 学报信息。 51，第3-4号，165-192（2014）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bulychev}等人，《信息学报》第51期，第3-4165-192号（2014年；Zbl 1360.68578） 全文： 内政部
吉勒·杰勒茨;乔·古森;马库斯·林德斯特伦 任意终止线零星任务的多处理器可调度性：复杂性和反链算法。 （英文） Zbl 1291.68081号 实时系统。 49，第2期，171-218（2013）.MSC公司：68平方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Geeraerts}等人，《实时系统》。49，No.2，171--218（2013；Zbl 1291.68081） 全文： 内政部
吕迪格·埃勒斯 符号有界合成。 （英文） Zbl 1247.68163号 形式方法系统。设计。 40，第2期，232-262（2012）.MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers}，《形式方法系统》。设计。40，第2号，232--262（2012；Zbl 1247.68163） 全文： 内政部
罗德里克·布洛姆;芭芭拉·乔布斯曼;尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔 反应（1）设计的合成。 （英文） Zbl 1247.68050号 J.计算。系统。科学。 78，第3期，911-938（2012）.MSC公司：68号30 03B44号 03B70号 91A80 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，《计算杂志》。系统。科学。78，第3号，911--938（2012；Zbl 1247.68050） 全文： 内政部
艾曼纽·菲利奥特;Jin、Naiyong;Jean-François拉斯金 LTL合成的反链和合成算法。 （英文） Zbl 1258.03046号 形式方法系统。设计。 39，第3期，261-296（2011）.MSC公司：05年3月 03B44号 65年第68季度 91A80 PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}等人，《形式方法系统》。设计。39，第3号，261--296（2011；Zbl 1258.03046） 全文： 内政部
吕迪格·埃勒斯 无偏：符号有界合成。 （英文） Zbl 1316.68073号 Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲义660572-275（2011）。MSC公司：60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers}，莱克特。注释计算。科学。6605272--275（2011；Zbl 1316.68073） 全文： 内政部
劳伦特·多恩;吉勒·杰勒茨;Jean-Francois拉斯金;朱利安·莱切特 实时逻辑的可实现性。 （英文） Zbl 1262.68117号 Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813，133-148（2009）。MSC公司：60年第68季度 03B44号 05年3月 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Doyen}等人，Lect。注释计算。科学。5813、133--148（2009年；Zbl 1262.68117） 全文： 内政部