拉蒙·詹森
人员信息
优化列表
2020年-今天
2022 【c8】 简·特雷特曼 , 拉蒙·詹森 :
再见,ioco。 从过程代数到时间自动机到模型学习的旅程 2022 : 491-511 2021 【c7】 雅各布·格纳 , 拉蒙·詹森 , Jochen Rethmann公司 :
使用COIN-OR CBC和Thrift的混合整数程序的分布式求解。 或 2021 : 141-147 2020 【c6】 拉蒙·詹森 :
使用交替接口自动机组合部分规范。 法国 2020 : 462-481 [i2] 拉蒙·詹森 :
使用交替接口自动机组合部分规范。 CoRR公司 abs/2002.08754 ( 2020 )
2010 – 2019
2019 [j1] 佩特拉·范登博斯 , 拉蒙·詹森 , 约书亚·莫尔曼 :
n-IOCO的完整测试套件。 柔和。 资格。 J。 27 ( 2 ) : 563-588 ( 2019 ) 【c5】 拉蒙·詹森 , Frits W.Vaandrager公司 , 简·特雷特曼 :
一致性和细化的相关交替关系。 国际单项体育联合会 2019 : 246-264 【c4】 拉蒙·詹森 , 简·特雷特曼 :
将实现与规范相匹配:ioco的角落案例。 囊 2019 : 2014年6月22日 [i1] 拉蒙·詹森 , Frits W.Vaandrager公司 , 简·特雷特曼 :
一致性和细化的相关交替关系。 CoRR公司 abs/1909.13604 ( 2019 ) 2017 【c3】 佩特拉·范登博斯 , 拉蒙·詹森 , 约书亚·莫尔曼 :
n-IOCO的完整测试套件。 信息和通信技术支持系统 2017 : 91-107 2016 【c2】 保罗·菲特劳·布罗斯坦 , 拉蒙·詹森 , Frits W.Vaandrager公司 :
结合模型学习和模型检查分析TCP实现。 CAV(2) 2016 : 454-471 2014 【c1】 保罗·菲特劳·布罗斯坦 , 拉蒙·詹森 , Frits W.Vaandrager公司 :
学习TCP网络协议的片段。 飞行管理信息系统 2014 : 78-93