卡洛斯·尼科拉斯
人员信息
附属: IK4-Ikerlan技术研究中心,Arrasate/Mondragon,西班牙
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [j3] 亚历杭德罗·卡尔德龙 , 列奥尼达斯·科斯米迪斯 , 卡洛斯·尼克拉斯 , 弗朗西斯科·卡佐拉 :
XeroZerox:高集成自治系统GPU内存管理的分析与优化。 IEEE接入 12 : 77141-77155 ( 2024 ) 2021 [第17条] 亚历杭德罗·卡尔德龙 , 列奥尼达斯·科斯米迪斯 , 卡洛斯·尼克拉斯 , 哈维尔·德拉萨拉 , 离子拉腊尼亚加 :
评估和改进基于模型的设计对GPU加速铁路控制系统的适用性。 ARCS公司 2021 : 68-83 2020 [j2] 亚历杭德罗·卡尔德龙 , 列奥尼达斯·科斯米迪斯 , 卡洛斯·尼克拉斯 , 弗朗西斯科·卡佐拉 , 佩奥·奥奈迪亚 :
GMAI:理解和利用关键系统中GPU资源分配的内部机制。 ACM事务处理。 嵌入。 计算。 系统。 19 ( 5 ) : 34:1-34:23 ( 2020 )
2010 – 2019
2019 [第16条] 亚历杭德罗·卡尔德龙 , 列奥尼达斯·科斯米迪斯 , 卡洛斯·尼克拉斯 , 弗朗西斯科·卡佐拉 , 佩奥·奥奈迪亚 :
了解和利用关键系统GPU资源分配的内部机制。 国际计算机辅助设计协会 2019 : 1-8 2017 [第15条] 阿西尔·拉鲁西亚 , 伊马诺·马丁内斯 , 卡洛斯·费尔南多·尼科拉斯 , 乔恩·佩雷斯 , 罗马·奥伯马瑟 :
可靠混合临界系统的模块化开发和认证。 DSD公司 2017 : 419-426 [第14条] 卡洛斯·费尔南多·尼科拉斯 , 伊班·阿伊斯塔兰 , 番茄杂烩 , Goiuria Sagardui公司 , 何塞·玛丽亚·马丁 :
基于代码重用和设备虚拟化的CAN Restbus HiL电梯模拟器。 国际标准化组织 2017 : 117-124 [第13条] Goiuria Sagardui公司 , Leire Etxeberria公司 , Joseba Andoni阿吉雷 , 艾托·阿列塔 , 卡洛斯·费尔南多·尼科拉斯 , 何塞·玛丽亚·马丁 :
重构嵌入式软件的可配置验证环境:垂直传输领域的应用。 ISSRE研讨会 2017 : 16-19 [第12条] 卡洛斯·费尔南多·尼科拉斯 , 费尔南多·艾扎奎尔 , 阿西尔·拉鲁西亚 , 西蒙·巴纳 , 弗兰克·乔维尔 , Goiuria Sagardui公司 , 乔恩·佩雷斯 :
GSN支持混合临界系统认证。 SAFECOMP研讨会 2017 : 157-172 2016 [第11条] 阿西尔·拉鲁西亚 , 哈米德雷扎·艾哈迈迪安 , 罗曼·奥伯迈瑟 , 乔恩·佩雷斯 , 卡洛斯·费尔南多·尼科拉斯 :
一种实现片上网络跨域模式的现实方法。 DSD公司 2016 : 396-403 [第10条] 卡洛斯·费尔南多·尼科拉斯 , 伊班·阿伊斯塔兰 , 伊马诺·马丁内斯 , 帕特里夏·弗兰科 :
基于模型的FPGA编码器模拟器的开发,用于电梯控制器的实时测试。 国际标准化组织 2016 : 53-60 2015 【c9】 阿西尔·拉鲁西亚 , 伊鲁恩·阿吉雷 , 卡洛斯·费尔南多·尼科拉斯 , 乔恩·佩雷斯 , 米克尔·阿兹卡拉特 , Ton Trapman公司 :
基于多核分区的符合IEC-61508的混合临界系统的时间独立性验证。 FDL公司 2015 : 130-137 2014 【c8】 乔恩·佩雷斯 , 大卫·冈萨雷斯 , 卡洛斯·费尔南多·尼科拉斯 , Ton Trapman公司 , 何塞·米盖尔·加拉特 :
基于多核分区的符合IEC-61508标准的工业混合临界系统的安全认证策略。 DSD公司 2014 : 394-400 【c7】 伊班·阿伊斯塔兰 , 卡洛斯·费尔南多·尼科拉斯 , 乔恩·佩雷斯 , 阿西尔·拉鲁西亚 , 彼得·普施纳 :
一种用于时间触发安全关键嵌入式系统的新型建模框架。 FDL公司 2014 : 1-8 【c6】 伊班·阿伊斯塔兰 , 卡洛斯·费尔南多·尼科拉斯 , 乔恩·佩雷斯 , 阿西尔·拉鲁西亚 , 彼得·普什纳 :
时间触发安全关键嵌入式系统的建模和模拟故障注入。 国际标准化组织 2014 : 180-187 【c5】 伊班·阿伊斯塔兰 , 卡洛斯·尼克拉斯 , 乔恩·佩雷斯 , 彼得·普什纳 :
在SystemC中对基于逻辑执行时间的安全关键型嵌入式系统进行建模。 MECO公司 2014 : 77-80 【c4】 伊本·艾尔斯塔兰 , 卡洛斯·费尔南多·尼科拉斯 , 乔恩·佩雷斯 , 阿西尔·拉鲁西亚 , 彼得·普什纳 :
时间触发安全关键嵌入式系统的模拟故障注入框架。 SAFECOMP公司 2014 : 1-16 2011 [j1] 乔恩·佩雷斯 , 罗马·奥伯马瑟 , 卡洛斯·费尔南多·尼科拉斯 , 伊班·阿伊斯塔兰 :
使用可执行时间触发模型(E-TTM)和系统C-AMS对时间触发实时控制系统进行建模。 计算。 系统。 科学。 工程师。 26 ( 6 ) ( 2011 ) 2010 【c3】 乔恩·佩雷斯 , 卡洛斯·费尔南多·尼科拉斯 , 罗马·奥伯马瑟 , 克里斯蒂安·埃尔·萨卢姆 :
使用SystemC对基于时间触发架构的安全关键嵌入式系统进行建模。 FDL公司 2010 : 10-15
2000 – 2009
2004 【c2】 Joseba Landaluze公司 , 维多利亚·德尔·雷奥 , 卡洛斯·尼克拉斯 , 何塞·M·埃兹卡拉 , 安娜·马丁内斯 :
Mocont定位模块:基于DR/DGNSS集成的集装箱定位系统。 ICINCO(2) 2004 : 227-234
1990 – 1999
1994 【c1】 卡洛斯·尼克拉斯 , E.洛姆布拉尼亚 , A.阿尔瓦雷斯 , 劳尔·雷耶罗先生 :
实时模糊控制设计的模糊混合模型的推导:在熔炉中的应用。 空中交通管制中心 1994 : 85-89
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)