Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains
Girault, Alain, Prevot, Christophe, Quinton, Sophie, Henia, Rafik, Sordon, Nicolas
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2018)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2018)
Get full text
Journal Article
Mega-modeling of complex, distributed, heterogeneous CPS systems
Villar, Eugenio, Merino, Javier, Posadas, Hector, Henia, Rafik, Rioux, Laurent
Published in Microprocessors and microsystems (01.10.2020)
Published in Microprocessors and microsystems (01.10.2020)
Get full text
Journal Article
Influence of different abstractions on the performance analysis of distributed hard real-time systems
Perathoner, Simon, Wandeler, Ernesto, Thiele, Lothar, Hamann, Arne, Schliecker, Simon, Henia, Rafik, Racu, Razvan, Ernst, Rolf, González Harbour, Michael
Published in Design automation for embedded systems (01.06.2009)
Published in Design automation for embedded systems (01.06.2009)
Get full text
Journal Article
An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy
Rivas, Juan M., Gutiérrez, J. Javier, Aldea, Mario, Cuevas, César, González Harbour, Michael, Drake, José María, Medina, Julio L., Rioux, Laurent, Henia, Rafik, Sordon, Nicolas
Published in Software Technologies: Applications and Foundations
Published in Software Technologies: Applications and Foundations
Get full text
Book Chapter
Early Performance Estimation for Industrial Component-Based Design of Reliable Software Defined Radio System
Henia, R., Rioux, L., Sordon, N., Vergnaud, T.
Published in 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops (01.11.2012)
Published in 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops (01.11.2012)
Get full text
Conference Proceeding
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)
Altmeyer, Sebastian, André, Étienne, Dal Zilio, Silvano, Fejoz, Loïc, Harbour, Michael González, Graf, Susanne, Gutiérrez, J. Javier, Henia, Rafik, Le Botlan, Didier, Lipari, Giuseppe, Medina, Julio, Navet, Nicolas, Quinton, Sophie, Rivas, Juan, Sun, Youcheng
Published in Dagstuhl Artifacts Series (03.07.2023)
Published in Dagstuhl Artifacts Series (03.07.2023)
Get full text
Journal Article
Improved offset-analysis using multiple timing-references
Henia, R., Ernst, R.
Published in Proceedings of the Design Automation & Test in Europe Conference (2006)
Published in Proceedings of the Design Automation & Test in Europe Conference (2006)
Get full text
Conference Proceeding
Context-aware performance analysis for efficient embedded system design
Jersak, M., Henia, R., Ernst, R.
Published in Proceedings Design, Automation and Test in Europe Conference and Exhibition (2004)
Published in Proceedings Design, Automation and Test in Europe Conference and Exhibition (2004)
Get full text
Conference Proceeding
Integrating model-based formal timing analysis in the industrial development process of satellite on-board software
Henia, Rafik, Rioux, Laurent, Sordon, Nicolas, Garcia, Gerald-Emmanuel, Panunzio, Marco
Published in 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) (01.01.2014)
Get full text
Published in 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) (01.01.2014)
Conference Proceeding