权永民;金恩赫（Kim，Eunhee） 基于GPU的定量模型检验设计。 （英语） Zbl 1472.68091号 Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。12597, 441-463 (2021).MSC公司：60年第68季度 03B44号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kwon}和\textit{E.Kim}，莱克特。注释计算。科学。12597、441--463（2021；Zbl 1472.68091） 全文： 内政部
达里奥·卡塔鲁扎;亚历山德罗·阿巴特;彼得·施拉姆;丹尼尔·克罗宁 通过抽象加速度对具有输入的防护LTI模型进行无边界时间安全验证。 （英语） Zbl 07356971号 J.汽车。推理 65，编号2，157-203（2021）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Cattaruzza}等人，J.Autom。推理65，No.2，157--203（2021；Zbl 07356971） 全文： 内政部 OA许可证
乌里·法伦贝格;Legay、Axel;卡琳·夸斯 用定量游戏计算分支距离。 （英语） Zbl 1464.68239号 西奥。计算。科学。 847, 134-146 (2020).MSC公司：第68季度85 65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，Theor。计算。科学。847134-146（2020年；Zbl 1464.68239） 全文： 内政部
权永民;金恩赫（Kim，Eunhee） 控制器设计的定量模型检查。 （英语） Zbl 1508.68222号 del Mar Gallardo，María（编辑）等人，《模型检查软件》。2018年6月20日至22日在西班牙马拉加举行的2018年SPIN第25届国际研讨会。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。10869, 292-307 (2018).MSC公司：60年第68季度 03B44号 93立方 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kwon}和\textit{E.Kim}，莱克特。注释计算。科学。10869、292--307（2018年；Zbl 1508.68222） 全文： 内政部
纳瓦罗·洛佩斯，E.M。;奥图尔，医学博士。 多刚体机械系统混合自动机的自动生成及其在安全特性伪造中的应用。 （英语） Zbl 1485.93277号 数学。计算。模型。动态。系统。 24，第1号，44-75（2018）.MSC公司：93立方 2005年第70季度 92-08 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Navarro-López}和\textit{M.D.O'Toole}，数学。计算。模型。动态。系统。24，第1号，44--75（2018；Zbl 1485.93277） 全文： 内政部 OA许可证
达里奥·卡塔鲁扎;亚历山德罗·阿巴特;彼得·施拉梅尔;丹尼尔·克罗宁 利用抽象加速度对具有输入的防护LTI系统进行无界时间分析。 （英语） Zbl 1419.68041号 Blazy，Sandrine（编辑）等人，《静态分析》。2015年9月9日至11日，第22届国际研讨会，SAS，法国圣马洛。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9291, 312-331 (2015).MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cattaruzza}等人，Lect。注释计算。科学。9291、312--331（2015；Zbl 1419.68041） 全文： 内政部 arXiv公司 链接
拉希德·热比哈;阿纳尔多·莫拉。;纳迪尔·马特林格 非线性混合系统的不变量生成。 （英语） Zbl 1328.68130号 西奥。计算。科学。 594, 180-200 (2015).MSC公司：60年第68季度 15A06号 PDF格式BibTeX公司 XML格式引用 \textit{R.Rebiha}等人，Theor。计算。科学。594180-200（2015年；兹比尔1328.68130） 全文： 内政部
严、超;马克·格林斯特里特。;杨素文 验证莫比乌斯环形振荡器的全球启动。 （英语） Zbl 1309.94195号 表格方法系统。设计。 45，第2期，246-272（2014）. 审核人：Eleonor Ciurea（布拉索夫） MSC公司：94C05（二氧化碳） 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Yan}等人，《形式方法系统》。设计。45，第2号，246--272（2014；Zbl 1309.94195） 全文： 内政部
谢丁宝;卜、雷;赵建华;李宣东 线性混合自动机的SAT-LP-IIS联合定向路径有界可达性分析。 （英语） Zbl 1317.68126号 表格方法系统。设计。 45，第1期，42-62（2014）.MSC公司：60年第68季度 65年第68季度 90C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit{D.Xie}等人，《形式方法系统》。设计。45，第1号，42--62（2014；Zbl 1317.68126） 全文： 内政部
亚历山德罗·西马蒂;塞尔吉奥·莫弗;斯特凡诺·托内塔 混合系统基于SMT的场景验证。 （英语） Zbl 1284.03216号 表格方法系统。设计。 42，第1期，46-66（2013）.MSC公司：05年3月 60年第68季度 68T20型 65年第68季度 03B44号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，《形式方法系统》。设计。42，第1号，46-66（2013年；兹bl 1284.03216） 全文： 内政部
施奈德，斯文;乌韦·内斯特曼 使用过程计算对混合系统进行严格离散。 （英语） Zbl 1348.68109号 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919301-316（2011）。MSC公司：65年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{S.Schneider}和\textit{U.Nestmann}，莱克特。注释计算。科学。6919301--316（2011；Zbl 1348.68109） 全文： 内政部
巴哈雷赫巴德班;马丁·兰格 使用SMT求解器对时间自动机进行精确增量分析。 （英语） Zbl 1348.68118号 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，177-192（2011）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}和\textit{M.Lange}，莱克特。注释计算。科学。6919、177--192（2011年；Zbl 1348.68118） 全文： 内政部
蒂诺·特伊格;安德烈亚斯·艾格斯;马丁·范策尔 并发概率混合系统的基于约束的分析：网络自动化系统的应用。 （英语） Zbl 1225.93102号 非线性分析。，混合系统。 5，第2期，343-366（2011）.MSC公司：93E03型 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.Teige}等人，《非线性分析》。，混合系统。5，第2号，343--366（2011；Zbl 1225.93102） 全文： 内政部
马丁·范策尔;蒂诺·特伊格;安德烈亚斯·艾格斯 概率混合自动机自动分析的工程约束求解器。 （英语） Zbl 1205.68252号 J.日志。阿尔盖布。程序。 79，第7期，436-466（2010）.MSC公司：87年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Fränzle}等人，J.Log。阿尔盖布。程序。79，编号7，436--466（2010；Zbl 1205.68252） 全文： 内政部
安德烈亚斯·艾格斯;纳塔利亚·卡林尼克;Stefan Kupferschmid;蒂诺·特伊格 混合系统基于约束分析的挑战。 （英语） Zbl 1248.68328号 Oddi，Angelo（编辑）等人，约束的最新进展。第十三届ERCIM约束求解和约束逻辑编程国际研讨会，CSCLP 2008，罗马，意大利，2008年6月18-20日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03250-9/pbk）。计算机科学讲座笔记5655。人工智能课堂讲稿，51-65（2009）。MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Eggers}等人，Lect。注释计算。科学。5655、51-65（2009年；Zbl 1248.68328） 全文： 内政部
安德烈亚斯·艾格斯;马丁·范策尔;克里斯蒂安·赫尔德 SAT模ODE：混合系统的直接SAT方法。 （英语） Zbl 1183.68369号 Cha，Sungdeok（Steve）（编辑）等人，《验证和分析自动化技术》。2008年10月20日至23日，第六届国际研讨会，亚洲电视协会，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311171-185（2008）。MSC公司：60年第68季度 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Eggers}等人，Lect。注释计算。科学。5311、171--185（2008年；Zbl 1183.68369） 全文： 内政部
马丁·范策尔;霍尔格·赫尔曼斯;蒂诺·特伊格 随机可满足性模理论：概率混合系统分析的新技术。 （英语） Zbl 1143.68452号 Egerstedt，Magnus（编辑）等人，《混合系统：计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78928-4/pbk）。计算机科学课堂讲稿4981172-186（2008）。MSC公司：60年第68季度 65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，Lect。注释计算。科学。4981、172--186（2008年；Zbl 1143.68452） 全文： 内政部
蒂诺·特伊格;马丁·范策尔 非线性算法的随机可满足性模理论。 （英语） Zbl 1142.68525号 Perron，Laurent（编辑）等，组合优化问题约束编程中AI和OR技术的集成。2008年5月20日至23日，第五届国际会议，CPAIOR 2008，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68154-0/pbk）。计算机科学课程讲稿5015，248-262（2008）。MSC公司：68分20秒 PDF格式BibTeX公司 XML格式引用 \textit{T.Teige}和\textit{M.Fränzle}，Lect。注释计算。科学。5015、248--262（2008；Zbl 1142.68525） 全文： 内政部
李宣东;苏米特·贾·安纳德;卜、雷 针对线性混合系统的有界可达性分析，提出了一种高效的面向路径的工具。 （英语） Zbl 1277.68139号 Strichman，Ofer（编辑）等人，《第四届有界模型检验国际研讨会论文集》（BMC 2006），西雅图，华盛顿州，美国，2006年8月15日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第3期，57-70（2007）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}等人，《电子》。注释Theor。计算。科学。174，第3号，57--70（2007；Zbl 1277.68139） 全文： 内政部
达姆，沃纳;斯特凡·迪什;哈迪·亨加;瑞典雅各布斯;庞、军;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨 具有大离散状态空间的线性混合系统验证中的精确状态集表示。 （英语） Zbl 1141.68461号 Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762425-440（2007）。MSC公司：60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人，Lect。注释计算。科学。4762、425--440（2007年；Zbl 1141.68461） 全文： 内政部