斯文·齐亚德克；乌里·法伦贝格；菲利普·施勒胡贝尔（Philipp Schlehuber-Caissier） 能源Büchi问题。 （英语） Zbl 1529.68138号 Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14000, 222-239 (2023).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Dziadek}等人，莱克特。票据计算。科学。14000，222--239（2023；Zbl 1529.68138） 全文： 内政部 arXiv公司
乔瓦尼·巴奇；帕特里夏·鲍耶；乌里·法伦贝格；Larsen，Kim G。；尼古拉斯·马基；皮埃尔·阿莱·雷尼尔 基于不确定性能量时间自动机的最优鲁棒控制器综合。 （英语） 兹比尔1458.93072 正式Asp。计算。 33，编号1，3-25（2021）.MSC公司：93亿B50 65年第68季度 68瓦30 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，《正式Asp》。计算。33，编号1，3--25（2021；Zbl 1458.93072） 全文： 内政部 arXiv公司
乌里·法伦贝格；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） 全文： 内政部
尼古拉·贝内什；乌里·法伦贝格；简·Křetínsk；Legay、Axel；路易斯·马里·特劳努埃兹 逻辑规范与行为规范。 （英语） Zbl 1435.68189号 Inf.计算。 271，文章ID 104487，24 p.（2020）.MSC公司：60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，《信息计算》。271，文章ID 104487，24 p.（2020；Zbl 1435.68189） 全文： 内政部 哈尔
乌里·法伦贝格；Legay、Axel 行为规范理论的线性时间分支时间谱。 （英语） Zbl 1433.68214号 J.日志。阿尔盖布。方法计划。 110，文章ID 100499，16 p.（2020）.MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}和\textit{A.Legay}，J.Log。阿尔盖布。方法程序。110，文章ID 100499，16 p.（2020；Zbl 1433.68214） 全文： 内政部 arXiv公司
大卫·卡切拉；乌里·法伦贝格；Legay、Axel 实时能量问题的（ω）代数。 （英语） Zbl 1421.68092号 日志。方法计算。科学。 15，第2号，第17号论文，22页（2019年）.MSC公司：65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Cachera}等人，《日志》。方法计算。科学。15，第2号，第17号论文，22页（2019年；Zbl 1421.68092） 全文： arXiv公司
乔瓦尼·巴奇；帕特里夏·鲍耶；乌里·法伦贝格；金·古德斯特兰·拉森；尼古拉斯·马基；皮埃尔·阿莱·雷尼尔 最优和鲁棒控制器综合。使用具有不确定性的能量时间自动机。 （英语） 兹比尔1460.93031 Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10951, 203-221 (2018).MSC公司：93亿B50 65年第68季度 68瓦30 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，Lect。票据计算。科学。10951，203-221（2018；Zbl 1460.93031） 全文： 内政部
乌里·法伦贝格；简·Křetínsk；Legay、Axel；路易斯·马里·特劳努埃兹 定量规范的组成。 （英语） Zbl 1398.68339号 软计算。 22，第4期，1139-1158（2018）.MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，《软计算》。22，第4号，1139--1158（2018；Zbl 1398.68339） 全文： 内政部 arXiv公司
帕特里夏·鲍耶；乌里·法伦贝格；金·古德斯特兰·拉森；尼古拉斯·马基；约尔·瓦克宁；詹姆斯·沃雷尔 模型检查实时系统。 （英语） 兹比尔1392.68235 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1001-1046 (2018).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，in：模型检查手册。查姆：斯普林格。1001--1046（2018；Zbl 1392.68235） 全文： 内政部 哈尔
乌里·法伦贝格；Legay、Axel 行为规范理论的线性时间分支时间谱。 （英语） Zbl 1433.68213号 Steffen，Bernhard（编辑）等人，SOFSEM 2017：计算机科学的理论与实践。第43届计算机科学理论与实践当前趋势国际会议，爱尔兰利默里克，2017年1月16日至20日，会议记录。查姆：斯普林格。莱克特。票据计算。科学。10139, 49-61 (2017).MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}和\textit{A.Legay}，莱克特。票据计算。科学。10139，49-61（2017；Zbl 1433.68213） 全文： 内政部
佐尔坦·埃西克；乌里·法伦贝格；Legay、Axel \能量问题的（^*\）-连续Kleene\（\omega\）-代数。 （英语） Zbl 1476.68129号 Matthes，Ralph（编辑）等人，第十届计算机科学固定点国际研讨会论文集，2015年国际计算机科学联合会，德国柏林，2015年9月11日至12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）191、48-59（2015）。MSC公司：65年第68季度 06年2月23日 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{Z.e-sik}等人，《电子》。程序。西奥。计算。科学。（EPTCS）191、48--59（2015；Zbl 1476.68129） 全文： arXiv公司 链接
泽维尔·阿拉米吉恩；乌里·法伦贝格；圣埃芬·高伯特；里卡多·D·卡茨。；Legay、Axel 热带Fourier-Motzkin消除，应用于实时验证。 （英语） Zbl 1301.90069号 国际代数计算杂志。 24，第5期，569-607（2014）.MSC公司：90C25型 15A80型 91A46型 90立方厘米 68问题85 52A01型 52B55号 PDF格式BibTeX公司 XML格式引用 \textit{X.Allamigeon}等人，《国际代数计算》。24，第5号，569--607（2014；Zbl 1301.90069） 全文： 内政部 arXiv公司
乌里·法伦贝格；Legay、Axel 模态转换系统的一般定量规范理论。 （英语） Zbl 1360.68585号 学报信息。 51，第5期，261-295（2014）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}和\textit{A.Legay}，《信息学报》51，第5期，261--295（2014；Zbl 1360.68585） 全文： 内政部 哈尔
乌里·法伦贝格；Legay、Axel；路易斯·马里·特劳努埃兹 概率和实时系统的规范理论。 （英语） Zbl 1416.68112号 Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8415, 98-117 (2014).MSC公司：60年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，Lect。票据计算。科学。8415，98-117（2014；Zbl 1416.68112） 全文： 内政部
乌里·法伦贝格；金·古德斯特兰·拉森；Legay、Axel；路易斯·马里·特劳努埃兹 模态转换系统的参数和定量扩展。 （英语） Zbl 1416.68121号 Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。第8415页，第84-97页（2014年）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，Lect。票据计算。科学。8415、84-97（2014年；Zbl 1416.68121） 全文： 内政部
乌里·法伦贝格；Legay、Axel 定量线性时间分支时间谱。 （英语） Zbl 1359.68191号 西奥。计算。科学。 538, 54-69 (2014).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}和\textit{A.Legay}，Theor。计算。科学。538、54-69（2014年；Zbl 1359.68191） 全文： 内政部
乌里·法伦贝格；Larsen，Kim G。；Legay、Axel 实时系统的基于模型的验证、优化、综合和性能评估。 （英语） Zbl 1445.68132号 刘志明（主编）等，《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：斯普林格。莱克特。票据计算。科学。8050, 67-108 (2013).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，Lect。票据计算。科学。8050，67--108（2013；Zbl 1445.68132） 全文： 内政部 哈尔
塞巴斯蒂安·鲍尔。；乌里·法伦贝格；Juhl，Line公司；Larsen，Kim G。；Legay、Axel；瑟兰，克劳斯 加权模态转换系统。 （英语） Zbl 1291.68246号 形式方法系统。设计。 42，第2期，193-220（2013）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人，《形式方法系统》。设计。42，第2号，193--220（2013；Zbl 1291.68246） 全文： 内政部 arXiv公司 哈尔
鲁，齐；迈克尔·马德森；马丁·米拉塔；瑟伦·瑞文；乌里·法伦贝格；Larsen，Kim G。 基于max-plus代数的时间自动机可达性分析。 （英语） Zbl 1279.68214号 J.日志。阿尔盖布。程序。 81，第3号，298-313（2012）.MSC公司：60年第68季度 65年第68季度 15A80型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit｛Q.Lu｝等人，J.Log。阿尔盖布。程序。81，第3号，298--313（2012；Zbl 1279.68214） 全文： 内政部 哈尔
乌里·法伦贝格；Juhl，Line公司；Larsen，Kim G。；吉·斯尔巴 多权自动机中的能量博弈。 （英语） Zbl 1350.68168号 Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会，南非约翰内斯堡，2011年8月31日至9月2日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23282-4/pbk）。计算机科学课堂讲稿6916，95-115（2011）。MSC公司：65年第68季度 68问题85 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，Lect。票据计算。科学。6916，95-115（2011；Zbl 1350.68168） 全文： 内政部 哈尔
Larsen，Kim G。；乌里·法伦贝格；瑟兰，克劳斯 加权转移系统的度量：公理化和复杂性。 （英语） Zbl 1216.68191号 西奥。计算。科学。 412，第28号，3358-3369（2011）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，Theor。计算。科学。412，编号28，3358-3369（2011年；兹bl 1216.68191） 全文： 内政部 哈尔
瑟兰，克劳斯；乌里·法伦贝格；Larsen，Kim G。 加权过渡系统的定量分析。 （英语） 兹比尔1204.68137 J.日志。阿尔盖布。程序。 79，第7号，689-703（2010）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Thrane}等人，J.Log。阿尔盖布。程序。79，第7号，689--703（2010；Zbl 1204.68137） 全文： 内政部
乌里·法伦贝格；Larsen，Kim G。 定价时间自动机中的折扣最优无限运行。 （英语） Zbl 1347.68204号 Habermehl，P.（ed.）等人，第八、第九和第十届无限状态系统验证国际研讨会会议记录（INFINITY 2006、2007、2008），德国波恩，2006年8月26日，葡萄牙里斯本，2007年9月8日，加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记239179-191（2009）。MSC公司：65年第68季度 68平方米 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}和\textit{K.G.Larsen}，电子。注释Theor。计算。科学。239179--191（2009年；Zbl 1347.68204） 全文： 内政部
帕特里夏·鲍耶；乌里·法伦贝格；Larsen，Kim G。；尼古拉斯·马基；吉·斯尔巴 无限在能量约束的加权时间自动机中运行。 （英语） Zbl 1171.68524号 Cassez，Franck（编辑）等，时间系统的形式化建模和分析。2008年9月15日至17日，第六届国际会议，FORMATS 2008，法国圣马洛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85777-8/pbk）。计算机科学课堂讲稿5215，33-47（2008）。MSC公司：65年第68季度 90B35型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。票据计算。科学。5215、33-47（2008年；Zbl 1171.68524） 全文： 内政部 哈尔