斯特凡·舒普;艾丽卡·阿尔布拉汉姆;特里斯坦·埃伯特 混合系统验证理论和工具支持的最新发展HyPro公司. （英语） Zbl 07629138号 Inf.计算。 289，A部分，文章ID 104945，25 p.（2022）.MSC公司：60年第68季度 93-04 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Schupp}等人，《信息计算》。289，A部分，文章ID 104945，25 p.（2022；Zbl 07629138） 全文： 内政部 OA许可证
卡琳娜·皮尔奇;斯特凡·舒普;安妮·雷姆克 通过流管道构造优化一类受限随机混合自动机的可达概率。 （英语） Zbl 1491.68102号 Abate，Alessandro（编辑）等人，《系统的定量评估》。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23日至27日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。12846, 435-456 (2021).MSC公司：65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛C.Pilch｝等人，Lect。注释计算。科学。12846435-456（2021年；兹比尔1491.68102） 全文： 内政部
弗洛里安·科齐利厄斯;基里恩·克莱默;塞巴斯蒂安·荣格斯;斯特凡·舒普;艾丽卡·阿尔布拉汉姆 SMT-RAT型：开源C++用于战略和并行SMT解决的工具箱。 （英语） Zbl 1471.68241号 Heule，Marijn（编辑）等人，《满意度测试的理论和应用——SAT 2015》。第18届国际会议，美国德克萨斯州奥斯汀，2015年9月24日至27日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。9340, 360-368 (2015).MSC公司：68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{F.Corzilius}等人，Lect。注释计算。科学。9340，360-368（2015；Zbl 1471.68241） 全文： 内政部