张正奎;布莱恩·尼尔森;Larsen，Kim G。 时间最优可达性分析的分布式算法。 （英语） Zbl 1433.68599号 Fränzle，Martin（编辑）等人，《定时系统的形式化建模和分析》。2016年8月24日至26日，加拿大魁北克省魁北克FORMATS 2016第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9884, 157-173 (2016).MSC公司：68宽15 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang}等人，Lect。注释计算。科学。9884，157--173（2016；Zbl 1433.68599） 全文： 内政部
毛，华;陈英科;曼弗雷德·耶格;托马斯·尼尔森。;Larsen，Kim G。;布莱恩·尼尔森 从模型检查的角度学习确定性概率自动机。 （英语） Zbl 1454.68061号 机器。学习。 105，第255-299号（2016）.MSC公司：第68季度32 03B44号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Mao}等人，马赫。学习。105，第2号，255--299（2016；Zbl 1454.68061） 全文： 内政部
李书豪;桑迪·巴拉格;大卫，亚历山大;Larsen，Kim G。;布莱恩·尼尔森;普辛斯卡斯·索利乌斯·普辛斯卡斯 使用UPPAAL对实时系统进行基于场景的验证。 （英语） Zbl 1209.68323号 表格方法系统。设计。 37，编号2-3，200-264（2010）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Li}等人，《形式方法系统》。设计。37，编号2--3200-264（2010；Zbl 1209.68323） 全文： 内政部
Larsen，Kim G。;马吕斯·米库西奥尼斯;布莱恩·尼尔森 使用Uppaal对实时系统进行在线测试。 （英语） Zbl 1081.68574号 Grabowski，Jens（编辑）等人，软件测试的形式化方法。2004年9月21日，第四次国际研讨会，FATES 2004，奥地利林茨。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-25109-X/pbk）。计算机科学讲座笔记3395，79-94（2005）。MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，Lect。注释计算。科学。3395、79-94（2005年；Zbl 1081.68574） 全文： 内政部
安德斯·赫塞尔;Larsen，Kim G。;布莱恩·尼尔森;保罗·佩特森;阿恩·斯科 使用Uppaal生成时间最优的实时测试用例。 （英语） Zbl 1185.68248号 Petrenko，Alexandre（编辑）等人，软件测试的形式化方法。2003年10月6日在加拿大魁北克省蒙特利尔举行的关于软件测试正式方法的第三次国际研讨会，FATES 2003。修订论文。柏林：施普林格出版社（ISBN 3-540-20894-1/pbk）。莱克特。注释计算。科学。2931, 114-130 (2004).MSC公司：68N99型 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Hessel}等人，Lect。注释计算。科学。2931114-130（2004年；Zbl 1185.68248） 全文： 内政部