Carlos F. Nicolás

According to our database, Carlos F. Nicolás authored at least 20 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

XeroZerox: Analysis and Optimization of GPU Memory Management for High-Integrity Autonomous Systems.

Alejandro J. Calderón, Leonidas Kosmidis, Carlos F. Nicolás, Francisco J. Cazorla

IEEE Access, 2024

2021

Assessing and Improving the Suitability of Model-Based Design for GPU-Accelerated Railway Control Systems.

Alejandro J. Calderón, Leonidas Kosmidis, Carlos F. Nicolás, Javier de Lasala, Ion Larrañaga

Proceedings of the Architecture of Computing Systems - 34th International Conference, 2021

2020

GMAI: Understanding and Exploiting the Internals of GPU Resource Allocation in Critical Systems.

Alejandro J. Calderón, Leonidas Kosmidis, Carlos F. Nicolás, Francisco J. Cazorla, Peio Onaindia

ACM Trans. Embed. Comput. Syst., 2020

2019

Understanding and Exploiting the Internals of GPU Resource Allocation for Critical Systems.

Alejandro J. Calderón, Leonidas Kosmidis, Carlos F. Nicolás, Francisco J. Cazorla, Peio Onaindia

Proceedings of the International Conference on Computer-Aided Design, 2019

2017

GSN Support of Mixed-Criticality Systems Certification.

Carlos Fernando Nicolás, Fernando Eizaguirre, Asier Larrucea, Simon Barner, Franck Chauvel, Goiuria Sagardui, Jon Pérez

Proceedings of the Computer Safety, Reliability, and Security, 2017

A Configurable Validation Environment for Refactored Embedded Software: An Application to the Vertical Transport Domain.

Goiuria Sagardui, Leire Etxeberria, Joseba Andoni Agirre, Aitor Arrieta, Carlos Fernando Nicolás, Jose-Maria Martin

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

A CAN Restbus HiL Elevator Simulator Based on Code Reuse and Device Para-Virtualization.

Carlos Fernando Nicolás, Iban Ayestaran, Tomaso Poggi, Goiuria Sagardui, Jose-Maria Martin

Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017

Modular Development and Certification of Dependable Mixed-Criticality Systems.

Asier Larrucea, Imanol Martinez, Carlos Fernando Nicolás, Jon Pérez, Roman Obermaisser

Proceedings of the Euromicro Conference on Digital System Design, 2017

2016

Model-Based Development of an FPGA Encoder Simulator for Real-Time Testing of Elevator Controllers.

Carlos Fernando Nicolás, Iban Ayestaran, Imanol Martinez, Patricia Franco

Proceedings of the 19th IEEE International Symposium on Real-Time Distributed Computing, 2016

A Realistic Approach to a Network-on-Chip Cross-Domain Pattern.

Asier Larrucea, Hamidreza Ahmadian, Roman Obermaisser, Jon Pérez, Carlos Fernando Nicolás

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

2015

Temporal independence validation of an IEC-61508 compliant mixed-criticality system based on multicore partitioning.

Asier Larrucea, Irune Agirre, Carlos Fernando Nicolás, Jon Pérez, Mikel Azkarate-askasua, Ton Trapman

Proceedings of the 2015 Forum on Specification and Design Languages, 2015

2014

A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems.

Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner

Proceedings of the Computer Safety, Reliability, and Security, 2014

Modeling logical execution time based safety-critical embedded systems in SystemC.

Iban Ayestaran, Carlos F. Nicolás, Jon Pérez, Peter P. Puschner

Proceedings of the 3rd Mediterranean Conference on Embedded Computing, 2014

Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems.

Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner

Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014

A novel modeling framework for time-triggered safety-critical embedded systems.

Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner

Proceedings of the 2014 Forum on Specification and Design Languages, 2014

A Safety Certification Strategy for IEC-61508 Compliant Industrial Mixed-Criticality Systems Based on Multicore Partitioning.

Jon Pérez, David González, Carlos Fernando Nicolás, Ton Trapman, Jose Miguel Garate

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

2011

Modeling time-triggered real-time control systems using executable time-triggered model (E-TTM) and systemC-AMS.

Jon Pérez, Roman Obermaisser, Carlos Fernando Nicolás, Iban Ayestaran

Comput. Syst. Sci. Eng., 2011

2010

Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC.

Jon Pérez, Carlos Fernando Nicolás, Roman Obermaisser, Christian El Salloum

Proceedings of the 2010 Forum on specification & Design Languages, 2010

2004

Mocont Location Module: A Container Location System Based on DR/DGNSS Integration.

Joseba Landaluze, Victoria del Río, Carlos F. Nicolás, José M. Ezkerra, Ana Martínez

Proceedings of the ICINCO 2004, 2004

1994

Derivation of fuzzy Hybrid Models for Real-Time fuzzy control Design: Application to a furnace.

Carlos F. Nicolás, E. Lombraña, A. Álvarez, M. Raúl Reyero

Proceedings of the Postprint Volume from the IFAC Symposium on Artificial Intelligence in Real-Time Control, 1994