赫尔热·洛丁
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2010 – 2019
2014 【b1】 赫尔热·洛丁 :
基于模型的场景测试和模型检查,以及铁路领域的应用程序。 不来梅大学, 2014 ,第1-129页 2012 【c5】 斯特凡·米利乌斯 , 亨宁·昆瑟(Henning Günther) , 简·佩莱斯卡 , 奥利弗·莫勒 , 赫尔热·洛丁 , 马丁·苏尔兹曼 , 拉明·赫达亚蒂 , 阿克塞尔·泽什内尔 :
同步组件系统的正式验证框架。 MBEES公司 2012 : 145-154 2011 【c4】 简·佩莱斯卡 , 阿图尔·霍尼什 , 弗洛里安·拉普希斯 , 赫尔热·洛丁 , 赫尔曼·施密德 , 对等Smuda , 埃琳娜·沃罗别夫 , 科妮莉亚·扎尔滕 :
用于测试汽车领域并发实时系统的真实世界基准模型。 信息和通信技术支持系统 2011 : 146-161 2010 【c3】 赫尔热·洛丁 , 简·佩莱斯卡 :
时间摩尔自动机:测试数据生成和模型检查。 ICST公司 2010 : 449-458
2000 – 2009
2008 【c2】 赫尔热·洛丁 , 简·佩莱斯卡 :
C/C++程序的符号和抽象解释。 SSV公司 2008 : 113-131 2007 【c1】 简·佩莱斯卡 , 赫尔热·洛丁 , 塔蒂亚娜·科塔斯 :
测试自动化符合静态分析。 GI Jahrestagung(2) 2007 : 280-290
![](https://dblp.org/img/cog.dark.24x24.png)