Laurent Rioux

According to our database, Laurent Rioux authored at least 23 papers between 1997 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Mega-modeling of complex, distributed, heterogeneous CPS systems.

Eugenio Villar, Javier Merino, Hector Posadas, Rafik Henia, Laurent Rioux

Microprocess. Microsystems, 2020

Tracing Hardware Monitors in the GR712RC Multicore Platform: Challenges and Lessons Learnt from a Space Case Study.

Xavier Palomo, Mikel Fernández, Sylvain Girbal, Enrico Mezzetti, Jaume Abella, Francisco J. Cazorla, Laurent Rioux

Proceedings of the 32nd Euromicro Conference on Real-Time Systems, 2020

2017

Bridging the gap between practical cases and temporal performance analysis: a models repository-based approach.

Anh-Toan Bui Long, Yassine Ouhammou, Emmanuel Grolleau, Loïc Fejoz, Laurent Rioux

Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

Using Model-Checking for Timing Verification in Industrial System Design.

Laurent Rioux, Rafik Henia, Nicolas Sordon

Proceedings of the 2017 IEEE International Conference on Software Testing, 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

Proceedings of the 29th Euromicro Conference on Real-Time Systems, 2017

Bounding deadline misses in weakly-hard real-time systems with task dependencies.

Zain Alabedin Haj Hammadeh, Rolf Ernst, Sophie Quinton, Rafik Henia, Laurent Rioux

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

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

Proceedings of the Software Technologies: Applications and Foundations, 2016

Demo Abstract: TEMPO: Integrating Scheduling Analysis in the Industrial Design Practices.

Rafik Henia, Laurent Rioux, Nicolas Sordon

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

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é

Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

2015

Integrating Formal Timing Analysis in the Real-Time Software Development Process.

Rafik Henia, Laurent Rioux, Nicolas Sordon, Gerald-Emmanuel Garcia, Marco Panunzio

Proceedings of the 2015 Workshop on Challenges in Performance Methods for Software Development, 2015

2014

Formal Safety and Security Assessment of an Avionic Architecture with Alloy.

Julien Brunel, Laurent Rioux, Stéphane Paul, Anthony Faucogney, Frédérique Vallée

Proceedings of the Proceedings Third International Workshop on Engineering Safety and Security Systems, 2014

1st International Workshop on the Integration of Safety and Security Engineering (ISSE '14).

Laurent Rioux, John M. Favaro

Proceedings of the Computer Safety, Reliability, and Security, 2014

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

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures.

Julien Brunel, David Chemouil, Laurent Rioux, Mohamed Bakkali, Frédérique Vallée

Proceedings of the 11th Workshop on Model-Driven Engineering, 2014

2013

TEMPO: performance viewpoint for component-based design of real-time systems.

Rafik Henia, Laurent Rioux, Nicolas Sordon

SIGBED Rev., 2013

2012

Industrial adaptation of MARTE for early scheduling analysis of component-based applications.

Rafik Henia, Laurent Rioux, Thomas Vergnaud

Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, 2012

Early Performance Estimation for Industrial Component-Based Design of Reliable Software Defined Radio System.

Rafik Henia, Laurent Rioux, Nicolas Sordon, Thomas Vergnaud

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

Safety and Performance Co-engineering: New MDE Challenge for Critical Applications Design?

Rafik Henia, Joseph Machrouh, Laurent Rioux

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

2010

RT-simex: retro-analysis of execution traces.

Julien DeAntoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, Chokri Mraidha, Ludovic Gauthier, Laurent Rioux, Nicolas Sordon

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

First International Workshop on Model Based Engineering for Robotics (RoSym'10).

Laurent Rioux, Davide Brugali, Sébastien Gérard

Proceedings of the Models in Software Engineering, 2010

2008

Event-Triggered vs. Time-Triggered Communications with UML MARTE.

Frédéric Mallet, Robert de Simone, Laurent Rioux

Proceedings of the Forum on specification and Design Languages, 2008

2006

Finding a Path to Model Consistency.

Gregory de Fombelle, Xavier Blanc, Laurent Rioux, Marie-Pierre Gervais

Proceedings of the Model Driven Architecture, 2006

1997

Scheduling Mechanisms for Efficient Implementation of Real-Time Objects.

Laurent Rioux, Patrick Vanuxeem, François Terrier

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997