乔瓦尼·巴奇;帕特里夏·鲍耶;乌里·法伦贝格;Larsen，Kim G。;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 基于不确定性能量时间自动机的最优鲁棒控制器综合。 （英语） Zbl 1458.93072号 正式Asp。计算。 33，编号1，3-25（2021）.MSC公司：93B50个 65年第68季度 68瓦30 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，《正式Asp》。计算。33，编号1，3--25（2021；Zbl 1458.93072） 全文： 内政部 arXiv公司
乔瓦尼·巴奇;帕特里夏·鲍耶;乌里·法伦贝格;金·古德斯特兰·拉森;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 最优和鲁棒控制器综合。使用具有不确定性的能量时间自动机。 （英语） 兹比尔1460.93031 Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10951, 203-221 (2018).MSC公司：93B50个 65年第68季度 68瓦30 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，Lect。注释计算。科学。10951203-221（2018年；兹bl 1460.93031） 全文： 内政部
帕特里夏·鲍耶;乌里·法伦贝格;金·古德斯特兰·拉森;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔 模型检查实时系统。 （英语） Zbl 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） 全文： 内政部 哈尔
贝诺·德拉哈耶;乌里·法伦贝格;Larsen，Kim G。;Legay、Axel 概率自动机的精化和差异。 （英语） Zbl 1338.68144号 日志。方法计算。科学。 10，第3号，第11号论文，32页（2014）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人，日志。方法计算。科学。10，第3号，第11号论文，32页（2014；Zbl 1338.68144） 全文： 内政部
乌里·法伦贝格;金·古德斯特兰·拉森;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） 全文： 内政部
乌里·法伦贝格;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） 全文： 内政部 哈尔
乌里·法伦贝格;克劳斯·苏兰;Larsen，Kim G。 加权过渡系统的距离：游戏和属性。 （英语） Zbl 1457.68188号 Massink，Mieke（编辑）等人，第九届编程语言定量方面研讨会论文集，德国萨尔布吕肯，2011年4月1日至3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）57、134-147（2011）。MSC公司：68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，《电子》。程序。西奥。计算。科学。（EPTCS）57，134--147（2011；Zbl 1457.68188） 全文： arXiv公司 链接
乌里·法伦贝格;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） 全文： 内政部 哈尔
塞巴斯蒂安·鲍尔。;乌里·法伦贝格;Juhl，Line公司;Larsen，Kim G。;Legay、Axel;克劳斯·苏兰 加权模态转换系统的定量精化。 （英语） Zbl 1343.68150号 Murlak，Filip（编辑）等人，《2011年计算机科学的数学基础》。2011年8月22日至26日，波兰华沙，第36届国际研讨会，MFCS 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22992-3/pbk）。计算机科学课堂讲稿6907，60-71（2011）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人，Lect。注释计算。科学。6907，60-71（2011；Zbl 1343.68150） 全文： 内政部 哈尔
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；Zbl 1216.68191） 全文： 内政部 哈尔
帕特里夏·鲍耶;乌里·法伦贝格;Larsen，Kim G。;尼古拉斯·马基 能量约束下带观测器的时间自动机。 （英语） Zbl 1361.68135号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。61-70 (2010).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。61-70（2010年；Zbl 1361.68135） 全文： 内政部
乌里·法伦贝格;Larsen，Kim G。;克劳斯·苏兰 时间逻辑中加权克里普克结构的定量表征。 （英语） Zbl 1413.68073号 计算。通知。 29，No.6+，1311-1324（2010）.MSC公司：68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，计算。通知。29，编号6+，1311-1324（2010年；兹bl 1413.68073）
克劳斯·苏兰;乌里·法伦贝格;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。;克劳斯·苏兰（Claus R.Thrane）。 实时系统的验证、性能分析和控制器综合。 （英语） Zbl 1274.68185号 Arbab，Farhad（编辑）等人，《软件工程基础》，第三届IPM国际会议，FSEN 2009，伊朗基什岛，2009年4月15日至17日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-11622-3/pbk）。《计算机科学讲义》5961，34-61（2010）。MSC公司：60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，Lect。注释计算。科学。5961、34-61（2010年；Zbl 1274.68185） 全文： 内政部 链接
乌里·法伦贝格;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。;乌里·法伦贝格;克劳斯·苏兰 时序逻辑中加权Kripke结构的定量表征。 （英语） Zbl 1247.68189号 Hlinen，Petr（ed.）等人，计算机科学数学和工程方法年度博士研讨会（MEMICS’09）。根据2009年11月13日至15日在捷克共和国兹诺伊莫举行的研讨会上的介绍选定的论文。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-939897-15-6）。OASIcs–信息学中的OpenAccess系列13、10-17，仅电子版（2009年）。MSC公司：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，OASIcs--OpenAccess服务器。通知。2009年10月13日至17日；兹bl 1247.68189） 全文： 内政部
帕特里夏·鲍耶;乌里·法伦贝格;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） 全文： 内政部 哈尔