Laurent Rioux

23 papers A 2B 2C 2Misc 1Journal 2Unranked 14
YearRankTypeTitle / Venue / Authors
2020 J jnl
Mega-modeling of complex, distributed, heterogeneous CPS systems.
Microprocess. Microsystems
Eugenio Villar, Javier Merino, Hector Posadas, Rafik Henia, Laurent Rioux
2020 B conf
Tracing Hardware Monitors in the GR712RC Multicore Platform: Challenges and Lessons Learnt from a Space Case Study.
ECRTS
Xavier Palomo, Mikel Fernández, Sylvain Girbal, Enrico Mezzetti, Jaume Abella, Francisco J. Cazorla, Laurent Rioux
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 Misc conf
Bridging the gap between practical cases and temporal performance analysis: a models repository-based approach.
RTNS
Anh-Toan Bui Long, Yassine Ouhammou, Emmanuel Grolleau, Loïc Fejoz, 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 — 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 — conf
1st International Workshop on the Integration of Safety and Security Engineering (ISSE '14).
SAFECOMP Workshops
Laurent Rioux, John M. Favaro
2014 — conf
A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures.
MoDeVVa@MoDELS
Julien Brunel, David Chemouil, Laurent Rioux, Mohamed Bakkali, Frédérique Vallée
2014 — conf
Formal Safety and Security Assessment of an Avionic Architecture with Alloy.
ESSS
Julien Brunel, Laurent Rioux, Stéphane Paul, Anthony Faucogney, Frédérique Vallée
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
2010 — conf
First International Workshop on Model Based Engineering for Robotics (RoSym'10).
MoDELS (Workshops)
Laurent Rioux, Davide Brugali, Sébastien Gérard
2010 — conf
RT-simex: retro-analysis of execution traces.
SIGSOFT FSE
Julien Deantoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, Chokri Mraidha, Ludovic Gauthier, Laurent Rioux, Nicolas Sordon
2008 C conf
Event-Triggered vs. Time-Triggered Communications with UML MARTE.
FDL
Frédéric Mallet, Robert de Simone, Laurent Rioux
2006 — conf
Finding a Path to Model Consistency.
ECMDA-FA
Gregory de Fombelle, Xavier Blanc, Laurent Rioux, Marie-Pierre Gervais
1997 — conf
Scheduling Mechanisms for Efficient Implementation of Real-Time Objects.
ECOOP Workshops
Laurent Rioux, Patrick Vanuxeem, François Terrier