亚历斯·斯姆卡
人员信息
优化列表
2020年–今天
2024 [i1] Jakub Res公司 , 伊凡·霍莫利亚克 , 马丁·佩雷斯尼 , 亚历斯·斯姆卡 , 卡米尔·马林卡 , 彼得·哈纳切克 :
通过廉价高效的即时工程,使用GitHub Copilot增强基于AI的代码合成的安全性。 CoRR公司 abs/2403.12671 ( 2024 ) 2023 [第16条] 米查尔·罗兹瓦尔 , 亚历斯·斯姆卡 :
NetLoiter:使用故障注入自动测试网络应用程序的工具。 DSN-W型 2023 : 207-210 2022 [注2] 卢卡斯·查瓦特 , 亚历斯·斯姆卡 , 托马斯·沃伊纳 :
利用参数系统检测管道危险。 国际期刊软件。 技术工具。 Transf公司。 24 ( 1 ) : 1-28 ( 2022 ) [第15条] 托马斯·菲多尔 , 马丁·赫鲁斯卡 , 亚历斯·斯姆卡 :
为分布式制造执行系统协调数字双胞胎。 欧洲广播公司 2022 : 223-231 [第14条] 简·费多尔 , 博胡斯拉夫·克雷纳 , 亚历斯·斯姆卡 , 昂德雷·瓦西切克 , 托马斯·沃伊纳 :
将OSLC服务集成到Eclipse中。 欧洲广播公司 2022 : 240-249 [第13条] 昂德雷·瓦西切克 , 简·费多尔 , 托马斯·克拉托奇维拉 , 博胡斯拉夫·克雷纳 , 亚历斯·斯姆卡 , 托马斯·沃伊纳 :
Unite:通过OSLC将分析工具转换为web服务的适配器。 ESEC/SIGSOFT FSE 2022 : 1408-1418 2021 [j1] Joseba Andoni阿吉雷 , Leire Etxeberria公司 , 劳尔·巴博萨 , Stylianos Basagiannis公司 , 乔治·吉安塔米迪斯 , 托马斯·鲍尔 , Enrico Ferrari公司 , 米凯尔·拉巴恩·埃斯纳奥拉 , 瓦妮莎·奥拉尼 , 约翰尼·伯格 , 大卫·佩雷拉 , 何塞·普伦萨 , 鲁珀特·施利克 , 亚历斯·斯姆卡 , 沃尔特·蒂贝蒂 , 斯特凡诺·托内塔 , 马可·波扎诺 , 艾哈迈特·亚齐奇 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
VALU3S ECSEL项目:自动化系统安全和安保的验证和确认。 微加工。 微系统 87 : 104349 ( 2021 ) [第12条] 托马斯·鲍尔 , Joseba Andoni阿吉雷 , 大卫·富尔科 , 沃尔夫冈·赫兹纳 , 鲍勃·赫鲁斯卡 , 穆斯塔法·卡拉卡 , 大卫·佩雷拉 , 何塞·普伦萨 , 鲁珀特·施利克 , 罗伯特·西彻 , 亚历斯·斯姆卡 , 乌古尔·亚扬 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
欧洲大规模研究项目VALU3S中验证和确认工作流的跨域建模-邀请论文。 SAMOS公司 2021 : 368-382 2020 [第11条] 劳尔·巴博萨 , Stylianos Basagiannis公司 , 乔治·吉安塔米迪斯 , H.贝克尔 , Enrico Ferrari公司 , J.贾希克 , A.卡纳克 , 米凯尔·拉巴恩·埃斯纳奥拉 , 瓦妮莎·奥拉尼 , 大卫·佩雷拉 , 路易吉·波曼特 , 鲁珀特·施利克 , 亚历斯·斯姆卡 , 艾哈迈特·亚齐奇 , 彼得·福克森 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
VALU3S ECSEL项目:自动化系统安全与安保的验证与确认。 DSD公司 2020 : 352-359
2010 – 2019
2018 [第10条] 简·费多尔 , 莫妮卡·穆齐科夫斯卡 , 亚历斯·斯姆卡 , 昂德雷·瓦西切克 , 托马斯·沃伊纳 :
用于并发C/C++程序动态分析和测试的ANaConDA框架的进展。 ISSTA公司 2018 : 356-359 2017 【c9】 里卡多·J·迪亚斯 , 卡拉·费雷拉 , 简·费多尔 , 乔·卢伦索 , 亚历斯·斯姆卡 , 迪奥戈·苏萨 , 托马斯·沃伊纳 :
使用合同验证并发程序。 ICST公司 2017 : 196-206 2016 【c8】 卢卡斯·查瓦特 , 亚历斯·斯姆卡 , 托马斯·沃伊纳 :
HADES:通过参数化系统的形式验证进行微处理器危险分析。 MEMICS公司 2016 : 87-93 2015 【c7】 卢卡斯·查瓦特 , 亚历斯·斯姆卡 , 托马斯·沃伊纳 :
通过参数化系统的形式验证进行微处理器危险分析。 欧洲广播公司 2015 : 605-614 2014 【c6】 卢卡斯·查瓦特 , 亚历斯·斯姆卡 , 托马斯·沃伊纳 :
在微处理器RAW危险分析中使用参数化系统的形式验证。 音乐电视 2014 : 83-89 2013 【c5】 卢卡斯·查瓦特 , 亚历斯·斯姆卡 , 托马斯·沃伊纳 :
具有任意可寻址单元的多端口存储器的抽象。 EUROCAST(1) 2013 : 460-468 2012 【c4】 卢卡斯·查瓦特 , 亚历斯·斯姆卡 , 托马斯·沃伊纳 :
ISA和RTL微处理器描述的自动形式对应检查。 音乐电视 2012 : 6-12
2000 – 2009
2007 【c3】 亚历斯·斯姆卡 , 托马斯·沃伊纳 :
通过反自动机验证参数化硬件设计。 海法核查会议 2007 : 51-68 2006 【c2】 亚历斯·斯姆卡 , Vojtech Rehák公司 , 托马斯·沃伊纳 , 大卫·萨法内克 , 彼得·马图塞克 , Z.Rehák先生 :
验证SMV中具有多个时钟的VHDL设计。 FMICS/PDMC系统 2006 : 148-164 2005 【c1】 彼得·马图塞克 , 亚历斯·斯姆卡 , 托马斯·沃伊纳 :
基于FPGA的硬件设计的高层建模、分析和验证。 CHARME公司 2005 : 371-375