塞尔吉·博戈莫洛夫;马塞洛·福雷茨;戈兰·弗雷斯;科斯蒂安·波托姆金;克里斯蒂安·席林 JuliaReach：一个基于集合的可达性工具箱。 （英文） Zbl 07120139号 2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。39-44 (2019).MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，蒙特利尔，魁北克，加拿大，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。39-44（2019年；Zbl 07120139） 全文： 内政部 arXiv公司
波戈莫洛夫，谢尔盖;戈兰·弗雷斯;阿米特·古龙;李东旭;乔治·马蒂乌斯;Rayarshi Ray 使用符号可达性和轨迹拼接对混合系统进行伪造。 （英文） Zbl 07120135号 2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。1-10 (2019).MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit｛S.Bogomolov｝等人，在：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16日至18日。纽约州纽约市：计算机协会（ACM）。1-10（2019；Zbl 07120135） 全文： 内政部
塞尔吉·博戈莫洛夫;戈兰·弗雷斯;米尔科·贾科布;托马斯·亨辛格（Thomas A.Henzinger）。 模板多面体的反例引导细化。 （英文） Zbl 1452.68099号 Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 589-606 (2017).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人，Lect。注释计算。科学。10205、589--606（2017；Zbl 1452.68099） 全文： 内政部 链接
斯特凡诺·米诺波利;戈兰·弗雷斯 从模拟模型到使用紧急和松弛的混合自动机。 （英文） Zbl 1366.68148号 第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3955-1）。287-296 (2016).MSC公司：65年第68季度 60年第68季度 68平方英寸 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Minopoli}和\textit{G.Frehse}，in：第19届ACM混合系统国际会议论文集：计算和控制，HSCC 2016，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。287--296（2016年；Zbl 1366.68148） 全文： 内政部
戈兰·弗雷斯 关于混合系统的时间仿真关系和组成。 （英文） Zbl 1141.68434号 Asarin，Eugene（编辑）等人，《时间系统的形式化建模和分析》。第四届国际会议，FORMATS 2006，巴黎，法国，2006年9月25-27日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-45026-9/pbk）。计算机科学课堂讲稿4202200-214（2006）。MSC公司：65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Frehse}，莱克特。注释计算。科学。4202200-214（2006年；兹比尔1141.68434） 全文： 内政部