爱德华·巴拉诺夫；西蒙·布利兹 基于组件的框架的表达性：BIP的表达性研究。 （英语） Zbl 1477.68174号 学报信息。 57，第6号，761-800（2020年）.MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Baranov}和\textit{S.Bliudze}，《信息学报》57，第6期，761--800（2020；Zbl 1477.68174） 全文： DOI程序 哈尔
秦旭东；西蒙·布利兹；埃里克，玛德琳；侯泽晨；邓玉欣；张敏 基于SMT的符号自动机生成。 （英语） Zbl 1443.68114号 学报信息。 57，编号3-5，627-656（2020）.MSC公司：68问题85 65年第68季度 68问题55 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{X.Qin}等人，《学报》第57期，第3--5、627--656号（2020年；Zbl 1443.68114） 全文： DOI程序
阿纳斯塔西亚·马夫里杜；爱德华·巴拉诺夫；西蒙·布利兹；约瑟夫·西法基斯 配置逻辑：建模架构风格。 （英语） Zbl 1353.68055号 J.日志。阿尔盖布。方法计划。 86，第1期，2-29（2017）.MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Mavridou}等人，J.Log。阿尔盖布。方法计划。86，第1号，第2--29号（2017；Zbl 1353.68055） 全文： DOI程序
钟曼，宋世堂。；法哈德·阿尔巴 约束自动机的数据优化。 （英语） Zbl 1398.68312号 日志。方法计算。科学。 12，第3号，第11号论文，38页（2016）.MSC公司：65年第68季度 第68页第20页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.-S.T.Q.Jongmans}和\textit{F.Arbab}，日志。方法计算。科学。12，第3号，第11号论文，38页（2016；Zbl 1398.68312） 全文： DOI程序 arXiv公司
保罗·阿蒂；爱德华·巴拉诺夫；西蒙·布利兹；穆罕默德·贾比尔；约瑟夫·西法基斯 架构可组合性的通用框架。 （英语） Zbl 1342.68029号 正式Asp。计算。 28，第2期，207-231（2016）.MSC公司：2007年7月68日 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Attie}等人，正式Asp。计算。28，第2号，207--231（2016；Zbl 1342.68029） 全文： DOI程序
约瑟夫·西法基斯；萨德克·本萨勒姆；西蒙·布利兹；马吕斯·博兹加 基于组件设计的理论议程。 （英语） Zbl 1454.68019号 De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：斯普林格。莱克特。注释计算。科学。8950, 409-439 (2015).MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.Sifakis}等人，Lect。注释计算。科学。8950、409——439（2015年；兹bl 1454.68019） 全文： DOI程序 链接
罗伯托·布鲁尼；埃尔南·梅尔格拉蒂；乌戈·蒙塔纳里 从层次BIP到Petri演算。 （英语） Zbl 1416.68111号 Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8415, 54-68 (2014).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Lect。注释计算。科学。8415，54-68（2014；Zbl 1416.68111） 全文： DOI程序
罗伯托·布鲁尼；埃尔南·梅尔格拉蒂；乌戈·蒙塔纳里 行为、相互作用和动力学。 （英语） Zbl 1407.68098号 Iida，Shusaku（编辑）等人，《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8373, 382-401 (2014).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Lect。注释计算。科学。8373382-401（2014年；兹比尔1407.68098） 全文： DOI程序 链接
罗伯托·布鲁尼；埃尔南·梅尔格拉蒂；乌戈·蒙塔纳里 P/T网络交互的连接器代数。 （英语） Zbl 1344.68161号 Katoen，Joost Pieter（编辑）等人，CONCUR 2011——并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901、312-326（2011）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Lect。注释计算。科学。6901312--326（2011；Zbl 1344.68161） 全文： DOI程序
苏珊娜·格拉芙；苏菲·昆顿 BIP合同：用于成分验证的层次交互模型。 （英语） Zbl 1215.68028号 Derrick，John（编辑）等人，《网络和分布式系统的形式化技术——FORTE 2007》。2007年6月27日至29日在爱沙尼亚塔林举行的第27届IFIP工作组6.1国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73195-5/pbk）。计算机科学课堂讲稿4574，1-18（2007）。MSC公司：2007年7月68日 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Graf}和\textit{S.Quinton}，莱克特。注释计算。科学。4574，1--18（2007；Zbl 1215.68028） 全文： DOI程序