Rafik Henia

According to our database, Rafik Henia authored at least 26 papers between 2002 and 2023.

Collaborative distances:

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

2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact).

Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun

Dagstuhl Artifacts Ser., 2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper).

Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun

Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023

2020

Mega-modeling of complex, distributed, heterogeneous CPS systems.

Eugenio Villar, Javier Merino, Hector Posadas, Rafik Henia, Laurent Rioux

Microprocess. Microsystems, 2020

2018

Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains.

Alain Girault, Christophe Prévot, Sophie Quinton, Rafik Henia, Nicolas Sordon

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

2017

Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLA.

Rafik Henia, Lisa Roux, Nicolas Sordon, Zain Alabedin Haj Hammadeh, Rolf Ernst, Sophie Quinton

Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

Using Model-Checking for Timing Verification in Industrial System Design.

Laurent Rioux, Rafik Henia, Nicolas Sordon

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems.

Zain Alabedin Haj Hammadeh, Sophie Quinton, Marco Panunzio, Rafik Henia, Laurent Rioux, Rolf Ernst

Proceedings of the 29th Euromicro Conference on Real-Time Systems, 2017

Bounding deadline misses in weakly-hard real-time systems with task dependencies.

Zain Alabedin Haj Hammadeh, Rolf Ernst, Sophie Quinton, Rafik Henia, Laurent Rioux

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy.

Juan Maria Rivas, J. Javier Gutiérrez, Mario Aldea Rivas, César Cuevas, Michael González Harbour, José María Drake, Julio L. Medina, Laurent Rioux, Rafik Henia, Nicolas Sordon

Proceedings of the Software Technologies: Applications and Foundations, 2016

Demo Abstract: TEMPO: Integrating Scheduling Analysis in the Industrial Design Practices.

Rafik Henia, Laurent Rioux, Nicolas Sordon

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems.

Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime, Étienne André

Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

2015

Integrating Formal Timing Analysis in the Real-Time Software Development Process.

Rafik Henia, Laurent Rioux, Nicolas Sordon, Gerald-Emmanuel Garcia, Marco Panunzio

Proceedings of the 2015 Workshop on Challenges in Performance Methods for Software Development, 2015

2014

Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software.

Rafik Henia, Laurent Rioux, Nicolas Sordon, Gerald-Emmanuel Garcia, Marco Panunzio

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

2013

TEMPO: performance viewpoint for component-based design of real-time systems.

Rafik Henia, Laurent Rioux, Nicolas Sordon

SIGBED Rev., 2013

2012

Industrial adaptation of MARTE for early scheduling analysis of component-based applications.

Rafik Henia, Laurent Rioux, Thomas Vergnaud

Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, 2012

Early Performance Estimation for Industrial Component-Based Design of Reliable Software Defined Radio System.

Rafik Henia, Laurent Rioux, Nicolas Sordon, Thomas Vergnaud

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

Safety and Performance Co-engineering: New MDE Challenge for Critical Applications Design?

Rafik Henia, Joseph Machrouh, Laurent Rioux

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

2009

Influence of different abstractions on the performance analysis of distributed hard real-time systems.

Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst, Michael González Harbour

Des. Autom. Embed. Syst., 2009

2007

Scenario Aware Analysis for Complex Event Models and Distributed Systems.

Rafik Henia, Rolf Ernst

Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Improved Output Jitter Calculation for Compositional Performance Analysis of Distributed Systems.

Rafik Henia, Razvan Racu, Rolf Ernst

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Influence of different system abstractions on the performance analysis of distributed real-time systems.

Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst, Michael González Harbour

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Improved response time analysis of tasks scheduled under preemptive Round-Robin.

Razvan Racu, Li Li, Rafik Henia, Arne Hamann, Rolf Ernst

Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

2006

Improved offset-analysis using multiple timing-references.

Rafik Henia, Rolf Ernst

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005

Context-Aware Scheduling Analysis of Distributed Systems with Tree-Shaped Task-Dependencies.

Rafik Henia, Rolf Ernst

Proceedings of the 2005 Design, 2005

2004

Context-Aware Performance Analysis for Efficient Embedded System Design.

Marek Jersak, Rafik Henia, Rolf Ernst

Proceedings of the 2004 Design, 2004

2002

Transformation of SDL specifications for system-level timing analysis.

Marek Jersak, Kai Richter, Rafik Henia, Rolf Ernst, Frank Slomka

Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002