Carlos F. Nicolás

Orcid: 0000-0002-2117-913X

Affiliations:
  • IK4-Ikerlan Technology Research Centre, Arrasate/Mondragón, Spain


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

2021
Assessing and Improving the Suitability of Model-Based Design for GPU-Accelerated Railway Control Systems.
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.
ACM Trans. Embed. Comput. Syst., 2020

2019
Understanding and Exploiting the Internals of GPU Resource Allocation for Critical Systems.
Proceedings of the International Conference on Computer-Aided Design, 2019

2017
GSN Support of Mixed-Criticality Systems Certification.
Proceedings of the Computer Safety, Reliability, and Security, 2017

A Configurable Validation Environment for Refactored Embedded Software: An Application to the Vertical Transport Domain.
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.
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017

Modular Development and Certification of Dependable Mixed-Criticality Systems.
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.
Proceedings of the 19th IEEE International Symposium on Real-Time Distributed Computing, 2016

A Realistic Approach to a Network-on-Chip Cross-Domain Pattern.
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.
Proceedings of the 2015 Forum on Specification and Design Languages, 2015

2014
A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Modeling logical execution time based safety-critical embedded systems in SystemC.
Proceedings of the 3rd Mediterranean Conference on Embedded Computing, 2014

Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems.
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.
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.
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.
Comput. Syst. Sci. Eng., 2011

2010
Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC.
Proceedings of the 2010 Forum on specification & Design Languages, 2010

2004
Mocont Location Module: A Container Location System Based on DR/DGNSS Integration.
Proceedings of the ICINCO 2004, 2004

1994
Derivation of fuzzy Hybrid Models for Real-Time fuzzy control Design: Application to a furnace.
Proceedings of the Postprint Volume from the IFAC Symposium on Artificial Intelligence in Real-Time Control, 1994


  Loading...