Laurent Rioux

Publication Activity (10 Years)

Years Active: 1997-2020
Publications (10 Years): 9

Top Topics

Central Processor

Software Defined Radio

Top Venues

ISSRE Workshops

SAFECOMP Workshops

Publications

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