Rafik Henia

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 11

Top Topics

Asynchronous Circuits

Development Process

Lessons Learned

Top Venues

Publications

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