卢卡斯·查瓦特
人员信息
优化列表
2020年–今天
2022 [j1] 卢卡斯·查瓦特 , 亚历斯·斯姆卡 , 托马斯·沃伊纳 :
利用参数系统检测管道危险。 国际期刊软件。 技术工具。 Transf公司。 24 ( 1 ) : 1-28 ( 2022 ) 2020 【b1】 卢卡斯·查瓦特 :
Automatickáverificace v processu soubeíného návrhu硬件和软件; 硬件/软件协同设计中的自动验证。 捷克共和国布尔诺科技大学, 2020
2010 – 2019
2016 【c5】 卢卡斯·查瓦特 , 亚历斯·斯姆卡 , 托马斯·沃伊纳 :
HADES:通过参数化系统的形式验证进行微处理器危险分析。 MEMICS公司 2016 : 87-93 2015 【c4】 卢卡斯·查瓦特 , 亚历斯·斯姆卡 , 托马斯·沃伊纳 :
通过参数化系统的形式验证进行微处理器危险分析。 欧洲广播公司 2015 : 605-614 2014 【c3】 卢卡斯·查瓦特 , 亚历斯·斯姆卡 , 托马斯·沃伊纳 :
在微处理器RAW危险分析中使用参数化系统的形式验证。 音乐电视 2014 : 83-89 2013 【c2】 卢卡斯·查瓦特 , 亚历斯·斯姆卡 , 托马斯·沃伊纳 :
具有任意可寻址单元的多端口存储器的抽象。 EUROCAST(1) 2013 : 460-468 2012 【c1】 卢卡斯·查瓦特 , 亚历斯·斯姆卡 , 托马斯·沃伊纳 :
ISA和RTL微处理器描述的自动形式对应检查。 音乐电视 2012 : 6-12