斯里尼瓦斯·皮尼塞蒂；Preoteasa，维奥雷尔；斯塔夫罗斯·特里帕基斯；蒂埃里·杰伦；伊利耶斯·法尔科内；埃尔文·马尔坎德 预测运行时强制。 （英语） Zbl 1370.68207号 形式方法系统。设计。 51，第1期，154-199（2017）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Pinisetty}等人，《形式方法系统》。设计。51，第1号，154--199（2017；Zbl 1370.68207） 全文： 内政部 哈尔
斯塔夫罗斯·特里帕基斯 检查模拟图上的定时Büchi自动机的空性。 （英语） Zbl 1352.68165号 ACM事务处理。计算。日志。 第10号第3条第15条第19页（2009年）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Tripakis}，ACM翻译。计算。日志。10，第3号，第15条，第19页（2009年；Zbl 1352.68165） 全文： 内政部
莫伊斯·克里钦；斯塔夫罗斯·特里帕基斯 实时系统的一致性测试。 （英语） Zbl 1180.68072号 形式方法系统。设计。 34，第3期，238-304（2009）.MSC公司：68米15 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Krichen}和\textit{S.Tripakis}，《形式方法系统》。设计。34，第3号，238--304（2009；Zbl 1180.68072） 全文： 内政部
萨德克·本萨勒姆；多龙·贝利德；曲洪阳；斯塔夫罗斯·特里帕基斯 并发定时系统路径条件的自动生成。 （英语） 兹比尔1293.68201 西奥。计算。科学。 404，第3号，275-292（2008）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bensalem}等人，Theor。计算。科学。404，第3号，275--292（2008；Zbl 1293.68201） 全文： 内政部
斯塔夫罗斯·特里帕基斯 关于时间自动机的确定和最小化的福克定理。 （英语） Zbl 1185.68401号 信息处理。莱特。 99，第6期，222-226（2006）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Tripakis}，Inf.过程。莱特。99，第6号，222--226（2006；Zbl 1185.68401） 全文： 内政部
斯塔夫罗斯·特里帕基斯；塞尔吉奥·尤文；艾哈迈德·博阿贾尼 有效检查定时Büchi自动机的空性。 （英语） Zbl 1085.68083号 形式方法系统。设计。 26，第3期，267-292（2005）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Tripakis}等人，《形式方法系统》。设计。26，第3号，267--292（2005；Zbl 1085.68083） 全文： 内政部
斯塔夫罗斯·特里帕基斯 时间自动机的故障诊断。 （英语） Zbl 1278.68140号 Damm，Werner（编辑）等人，《实时和容错系统中的形式化技术》。2002年9月9日至12日，第七届国际研讨会，FTRTFT 2002，由IFIP WG 2.2联合主办，德国奥尔登堡。诉讼程序。柏林：施普林格出版社（ISBN 3-540-44165-4/pbk）。计算机科学课堂讲稿2469205-221（2002）。MSC公司：65年第68季度 68米15 PDF格式BibTeX公司 XML格式引用 \textit{S.Tripakis}，莱克特。注释计算。科学。2469205-221（2002年；Zbl 1278.68140） 全文： 内政部
斯塔夫罗斯·特里帕基斯；塞尔吉奥·尤文 使用时间抽象互模拟分析定时系统。 （英语） Zbl 0971.68096号 形式方法系统。设计。 18，第1期，25-68（2001）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Tripakis}和\textit{S.Yovine}，《形式方法系统》。设计。18，第1号，25-68（2001年；Zbl 0971.68096） 全文： 内政部