Rafik Henia

28 papers A 9B 3C 1Misc 2Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2025 B conf
Embedded Reconfiguration of TSN (Industrial Challenge Description).
ECRTS
Marc Boyer, Rafik Henia
2025 A conf
Multi-Partner Project: Resilient Time-Sensitive Networks (ResTSN).
DATE
Marc Boyer, Rafik Henia
2023 J jnl
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact).
Dagstuhl Artifacts Ser.
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
2023 B conf
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper).
ECRTS
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
2020 J jnl
Mega-modeling of complex, distributed, heterogeneous CPS systems.
Microprocess. Microsystems
Eugenio Villar, Javier Merino, Hector Posadas, Rafik Henia, Laurent Rioux
2018 J jnl
Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Alain Girault, Christophe Prévot, Sophie Quinton, Rafik Henia, Nicolas Sordon
2017 A conf
Bounding deadline misses in weakly-hard real-time systems with task dependencies.
DATE
Zain Alabedin Haj Hammadeh, Rolf Ernst, Sophie Quinton, Rafik Henia, Laurent Rioux
2017 B conf
Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems.
ECRTS
Zain Alabedin Haj Hammadeh, Sophie Quinton, Marco Panunzio, Rafik Henia, Laurent Rioux, Rolf Ernst
2017 A conf
Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLA.
RTAS
Rafik Henia, Lisa Roux, Nicolas Sordon, Zain Alabedin Haj Hammadeh, Rolf Ernst, Sophie Quinton
2017 — conf
Using Model-Checking for Timing Verification in Industrial System Design.
ICST Workshops
Laurent Rioux, Rafik Henia, Nicolas Sordon
2016 — conf
An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy.
STAF Workshops
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
2016 — conf
Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems.
FTSCS
Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime, Étienne André
2016 A conf
Demo Abstract: TEMPO: Integrating Scheduling Analysis in the Industrial Design Practices.
RTAS
Rafik Henia, Laurent Rioux, Nicolas Sordon
2015 — conf
Integrating Formal Timing Analysis in the Real-Time Software Development Process.
WOSP-C@ICPE
Rafik Henia, Laurent Rioux, Nicolas Sordon, Gerald-Emmanuel Garcia, Marco Panunzio
2014 C conf
Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software.
MODELSWARD
Rafik Henia, Laurent Rioux, Nicolas Sordon, Gerald-Emmanuel Garcia, Marco Panunzio
2013 J jnl
TEMPO: performance viewpoint for component-based design of real-time systems.
SIGBED Rev.
Rafik Henia, Laurent Rioux, Nicolas Sordon
2012 — conf
Early Performance Estimation for Industrial Component-Based Design of Reliable Software Defined Radio System.
ISSRE Workshops
Rafik Henia, Laurent Rioux, Nicolas Sordon, Thomas Vergnaud
2012 — conf
Industrial adaptation of MARTE for early scheduling analysis of component-based applications.
NFPinDSML@MoDELS
Rafik Henia, Laurent Rioux, Thomas Vergnaud
2012 — conf
Safety and Performance Co-engineering: New MDE Challenge for Critical Applications Design?
ISSRE Workshops
Rafik Henia, Joseph Machrouh, Laurent Rioux
2009 J jnl
Influence of different abstractions on the performance analysis of distributed hard real-time systems.
Des. Autom. Embed. Syst.
Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst, Michael González Harbour
2007 A conf
Improved Output Jitter Calculation for Compositional Performance Analysis of Distributed Systems.
IPDPS
Rafik Henia, Razvan Racu, Rolf Ernst
2007 Misc conf
Improved response time analysis of tasks scheduled under preemptive Round-Robin.
CODES+ISSS
Razvan Racu, Li Li, Rafik Henia, Arne Hamann, Rolf Ernst
2007 Misc conf
Influence of different system abstractions on the performance analysis of distributed real-time systems.
EMSOFT
Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst, Michael González Harbour
2007 A conf
Scenario Aware Analysis for Complex Event Models and Distributed Systems.
RTSS
Rafik Henia, Rolf Ernst
2006 A conf
Improved offset-analysis using multiple timing-references.
DATE
Rafik Henia, Rolf Ernst
2005 A conf
Context-Aware Scheduling Analysis of Distributed Systems with Tree-Shaped Task-Dependencies.
DATE
Rafik Henia, Rolf Ernst
2004 A conf
Context-Aware Performance Analysis for Efficient Embedded System Design.
DATE
Marek Jersak, Rafik Henia, Rolf Ernst
2002 — conf
Transformation of SDL specifications for system-level timing analysis.
CODES
Marek Jersak, Kai Richter, Rafik Henia, Rolf Ernst, Frank Slomka