| 2025 | DATE | Multi-Partner Project: Resilient Time-Sensitive Networks (ResTSN). | Marc Boyer, Rafik Henia |
| 2025 | ECRTS | Embedded Reconfiguration of TSN (Industrial Challenge Description). | Marc Boyer, Rafik Henia |
| 2023 | ECRTS | From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). | Sebastian Altmeyer, tienne Andr, Silvano Dal-Zilio, Loc Fejoz, Michael Gonzlez Harbour, Susanne Graf, J. Javier Gutirrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun |
| 2017 | DATE | Bounding deadline misses in weakly-hard real-time systems with task dependencies. | Zain Alabedin Haj Hammadeh, Rolf Ernst, Sophie Quinton, Rafik Henia, Laurent Rioux |
| 2017 | ECRTS | Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems. | Zain Alabedin Haj Hammadeh, Sophie Quinton, Marco Panunzio, Rafik Henia, Laurent Rioux, Rolf Ernst |
| 2017 | ICST | Using Model-Checking for Timing Verification in Industrial System Design. | Laurent Rioux, Rafik Henia, Nicolas Sordon |
| 2017 | RTAS | 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 |
| 2016 | RTAS | Demo Abstract: TEMPO: Integrating Scheduling Analysis in the Industrial Design Practices. | Rafik Henia, Laurent Rioux, Nicolas Sordon |
| 2014 | MODELSWARD | 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 |
| 2012 | ISSRE | Safety and Performance Co-engineering: New MDE Challenge for Critical Applications Design? | Rafik Henia, Joseph Machrouh, Laurent Rioux |
| 2012 | ISSRE | Early Performance Estimation for Industrial Component-Based Design of Reliable Software Defined Radio System. | Rafik Henia, Laurent Rioux, Nicolas Sordon, Thomas Vergnaud |
| 2012 | MODELS | Industrial adaptation of MARTE for early scheduling analysis of component-based applications. | Rafik Henia, Laurent Rioux, Thomas Vergnaud |
| 2007 | EMSOFT | 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 Gonzlez Harbour |
| 2007 | RTSS | Scenario Aware Analysis for Complex Event Models and Distributed Systems. | Rafik Henia, Rolf Ernst |
| 2006 | DATE | Improved offset-analysis using multiple timing-references. | Rafik Henia, Rolf Ernst |
| 2005 | DATE | Context-Aware Scheduling Analysis of Distributed Systems with Tree-Shaped Task-Dependencies. | Rafik Henia, Rolf Ernst |
| 2004 | DATE | Context-Aware Performance Analysis for Efficient Embedded System Design. | Marek Jersak, Rafik Henia, Rolf Ernst |