Transformation of SDL specifications for system-level timing analysis. - Marek Jersak; Kai Richter 001; Rafik Henia; Rolf Ernst; Frank Slomka (CODES, 2002)

Context-Aware Performance Analysis for Efficient Embedded System Design. - Marek Jersak; Rafik Henia; Rolf Ernst (DATE, 2004)

Context-Aware Scheduling Analysis of Distributed Systems with Tree-Shaped Task-Dependencies. - Rafik Henia; Rolf Ernst (DATE, 2005)

Improved offset-analysis using multiple timing-references. - Rafik Henia; Rolf Ernst (DATE, 2006)

Improved response time analysis of tasks scheduled under preemptive Round-Robin. - Razvan Racu; Li Li 027; Rafik Henia; Arne Hamann 001; Rolf Ernst (CODES+ISSS, 2007)

Influence of different system abstractions on the performance analysis of distributed real-time systems. - Simon Perathoner; Ernesto Wandeler; Lothar Thiele; Arne Hamann 001; Simon Schliecker; Rafik Henia; Razvan Racu; Rolf Ernst; Michael González Harbour (EMSOFT, 2007)

Improved Output Jitter Calculation for Compositional Performance Analysis of Distributed Systems. - Rafik Henia; Razvan Racu; Rolf Ernst (IPDPS, 2007)

Scenario Aware Analysis for Complex Event Models and Distributed Systems. - Rafik Henia; Rolf Ernst (RTSS, 2007)

Influence of different abstractions on the performance analysis of distributed hard real-time systems. - Simon Perathoner; Ernesto Wandeler; Lothar Thiele; Arne Hamann 001; Simon Schliecker; Rafik Henia; Razvan Racu; Rolf Ernst; Michael González Harbour (Des. Autom. Embed. Syst., 2009)

Safety and Performance Co-engineering: New MDE Challenge for Critical Applications Design? - Rafik Henia; Joseph Machrouh; Laurent Rioux (ISSRE Workshops, 2012)

Early Performance Estimation for Industrial Component-Based Design of Reliable Software Defined Radio System. - Rafik Henia; Laurent Rioux; Nicolas Sordon; Thomas Vergnaud (ISSRE Workshops, 2012)

Industrial adaptation of MARTE for early scheduling analysis of component-based applications. - Rafik Henia; Laurent Rioux; Thomas Vergnaud (NFPinDSML@MoDELS, 2012)

TEMPO: performance viewpoint for component-based design of real-time systems. - Rafik Henia; Laurent Rioux; Nicolas Sordon (SIGBED Rev., 2013)

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 (MODELSWARD, 2014)

Integrating Formal Timing Analysis in the Real-Time Software Development Process. - Rafik Henia; Laurent Rioux; Nicolas Sordon; Gerald-Emmanuel Garcia; Marco Panunzio (WOSP-C@ICPE, 2015)

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é (FTSCS, 2016)

Demo Abstract: TEMPO: Integrating Scheduling Analysis in the Industrial Design Practices. - Rafik Henia; Laurent Rioux; Nicolas Sordon (RTAS, 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 (STAF Workshops, 2016)

Bounding deadline misses in weakly-hard real-time systems with task dependencies. - Zain Alabedin Haj Hammadeh; Rolf Ernst; Sophie Quinton; Rafik Henia; Laurent Rioux (DATE, 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 (ECRTS, 2017)

Using Model-Checking for Timing Verification in Industrial System Design. - Laurent Rioux; Rafik Henia; Nicolas Sordon (ICST Workshops, 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 (RTAS, 2017)

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)

Mega-modeling of complex, distributed, heterogeneous CPS systems. - Eugenio Villar; Javier Merino; Hector Posadas; Rafik Henia; Laurent Rioux (Microprocess. Microsystems, 2020)

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; et al. (ECRTS, 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; et al. (Dagstuhl Artifacts Ser., 2023)

Multi-Partner Project: Resilient Time-Sensitive Networks (ResTSN). - Marc Boyer; Rafik Henia (DATE, 2025)

Embedded Reconfiguration of TSN (Industrial Challenge Description). - Marc Boyer; Rafik Henia (ECRTS, 2025)