达斯，斯潘丹;帕维特拉·普拉巴卡 平面概率分段常微分系统的稳定性分析。 （英语） Zbl 1522.93183号 布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479, 192-213 (2022).MSC公司：93E15型 93立方 93C55 60年20日 PDF格式BibTeX公司 XML格式引用 \textit{S.Das}和\textit{P.Prabhakar}，莱克特。注释计算。科学。13479，192--213（2022；Zbl 1522.93183） 全文： DOI程序 arXiv公司
塔马斯·托特;伊斯坦·马齐克 离散变量时间自动机的可配置验证。 （英语） Zbl 1483.68208号 学报信息。 59，第1期，1-35页（2022年）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Tóth}和\textit{I.Majzik}，《学报》第59卷第1期，第1--35页（2022年；Zbl 1483.68208） 全文： DOI程序
马丁·科尔布尔;斯特凡·洛伊;托马斯·怀斯 定时系统的自动修复。 （英语） Zbl 1522.68366号 形式方法系统。设计。 59，编号1-3，136-169（2021）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kölbl}等人，《形式方法系统》。设计。59，编号1--3，136-169（2021；Zbl 1522.68366） 全文： DOI程序
弗兰克·卡塞兹;彼得·格约尔·詹森;拉森·金（Larsen Kim Guldstrand） 使用跟踪抽象细化的实时程序的验证和参数合成。 （英语） Zbl 1478.68053号 芬丹。通知。 178，编号1-2，31-57（2021）.MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}等人，Fundam。通知。178，编号1--2，31-57（2021；Zbl 1478.68053） 全文： DOI程序 arXiv公司
马尼什·戈亚尔;帕拉萨拉·斯里达尔·达吉拉拉 提取线性混杂系统中安全违规引起的反例。 （英语） Zbl 1442.93020号 Automatica公司 117，文章ID 109005，12 p.（2020）.MSC公司：93立方 93亿B55 93二氧化碳 90C05（二氧化碳） 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Goyal}和\textit{P.S.Duggirala}，Automatica 117，文章ID 109005，12 P.（2020；Zbl 1442.93020） 全文： DOI程序
米里亚姆·加西亚·索托;帕维特拉·普拉巴卡 基于抽象的多面体切换系统稳定性验证。 （英语） Zbl 1441.93225号 非线性分析。，混合系统。 36，文章ID 100856，16 p.（2020）.MSC公司：93D20型 93D05型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.García Soto}和\textit{P.Prabhakar}，非线性分析。，混合系统。36，文章ID 100856，16 p.（2020；Zbl 1441.93225） 全文： DOI程序
塔马斯·托特;伊斯坦·马齐克 离散变量时间自动机的惰性可达性检查。 （英语） Zbl 1508.68225号 del Mar Gallardo，María（编辑）等人，《模型检查软件》。2018年6月20日至22日在西班牙马拉加举行的2018年SPIN第25届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10869235-254（2018）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Tóth}和\textit{I.Majzik}，Lect。注释计算。科学。10869，235-254（2018；Zbl 1508.68225） 全文： DOI程序
朱晨阳;迈克尔·巴特勒;科里娜·西斯塔 优化具有调度的并发任务的时间约束。 （英语） Zbl 1507.68055号 迈克尔·巴特勒（编辑）等人，《抽象状态机、合金、B、TLA、VDM和Z》，第六届国际会议，2018年ABZ，英国南安普顿，2018年6月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10817, 219-233 (2018).MSC公司：64岁以下 68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhu}等人，Lect。注释计算。科学。10817219-233（2018年；兹比尔1507.68055） 全文： DOI程序 链接
马西莫·巴托莱蒂;劳拉·博奇;毛里齐奥·穆尔吉亚 进展——CTA的改进。 （英语） Zbl 1520.68087号 Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第40条，第19页（2018年）。MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人，LIPIcs——莱布尼茨国际程序。通知。118，第40条，第19页（2018；Zbl 1520.68087） 全文： DOI程序
高弘松田;花冈、果一郎 交易明文-可模拟性，以实现选定的密文安全。 （英语） Zbl 1388.94073号 Cheng，Chen-Mou（编辑）等，公开密钥加密——PKC 2016。2016年3月6日至9日，第19届IACR公开密钥加密实践与理论国际会议，台湾台北。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-49383-0/pbk；978-3-562-49384-7/ebook）。《计算机科学讲义》9614，3-34（2016）。MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{T.Matsuda}和\textit{G.Hanaoka}，莱克特。注释计算。科学。9614，3--34（2016；Zbl 1388.94073） 全文： DOI程序
帕维特拉·普拉巴卡;帕拉萨拉·斯里达尔·达吉拉拉;萨扬·密特拉;马赫什·维斯瓦纳坦 矩形混合系统的基于混合自动机的CEGAR。 （英语） Zbl 1341.68109号 形式方法系统。设计。 46，第2期，105-134（2015）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Prabhakar}等人，《形式方法系统》。设计。46，No.2，105--134（2015；Zbl 1341.68109） 全文： DOI程序
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 概率时间自动机验证的随机博弈。 （英语） Zbl 1262.68125号 Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813，212-227（2009）。MSC公司：60年第68季度 68问题85 91A15型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人，Lect。注释计算。科学。5813、212--227（2009年；Zbl 1262.68125） 全文： DOI程序