Jean-Paul Rigault

According to our database, Jean-Paul Rigault authored at least 21 papers between 2001 and 2023.

Collaborative distances:

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

2023

A Formal Probabilistic Model of the Inhibitory Control Circuit in the Brain.

Elisabetta De Maria, Benjamin Lapijover, Thibaud L'Yvonnet, Sabine Moisan, Jean-Paul Rigault

Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, 2023

2021

Probabilistic model checking for human activity recognition in medical serious games.

Thibaud L'Yvonnet, Elisabetta De Maria, Sabine Moisan, Jean-Paul Rigault

Sci. Comput. Program., 2021

Probabilistic Model Checking for Activity Recognition in Medical Serious Games.

Thibaud L'Yvonnet, Elisabetta De Maria, Sabine Moisan, Jean-Paul Rigault

Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Healthcare, 2021

2019

Probabilistic Activity Recognition for Serious Games with Applications in Medicine.

Elisabetta De Maria, Thibaud L'Yvonnet, Sabine Moisan, Jean-Paul Rigault

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

2018

A Synchronous Approach to Activity Recognition.

Ines Sarray, Jean-Paul Rigault, Sabine Moisan, Daniel Gaffé

Proceedings of the 12th IEEE International Conference on Semantic Computing, 2018

2017

An activity description language for activity recognition.

Ines Sarray, Annie Ressouche, Sabine Moisan, Jean-Paul Rigault, Daniel Gaffé

Proceedings of the International Conference on Internet of Things, 2017

2015

An approach based on feature models and quality criteria for adapting component-based systems.

Luis Emiliano Sanchez, J. Andres Diaz-Pace, Alejandro Zunino, Sabine Moisan, Jean-Paul Rigault

J. Softw. Eng. Res. Dev., 2015

2014

An Approach for Managing Quality Attributes at Runtime Using Feature Models.

Luis Emiliano Sanchez, Jorge Andrés Díaz Pace, Alejandro Zunino, Sabine Moisan, Jean-Paul Rigault

Proceedings of the Eighth Brazilian Symposium on Software Components, 2014

2013

Metrics on feature models to optimize configuration adaptation at run time.

Luis Emiliano Sanchez, Sabine Moisan, Jean-Paul Rigault

Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering, 2013

2012

A feature-based approach to system deployment and adaptation.

Sabine Moisan, Jean-Paul Rigault, Mathieu Acher

Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012

2011

Girgit: A Dynamically Adaptive Vision System for Scene Understanding.

Leonardo M. Rocha, Sagar Sen, Sabine Moisan, Jean-Paul Rigault

Proceedings of the Computer Vision Systems - 8th International Conference, 2011

Run Time Adaptation of Video-Surveillance Systems: A Software Modeling Approach.

Sabine Moisan, Jean-Paul Rigault, Mathieu Acher, Philippe Collet, Philippe Lahire

Proceedings of the Computer Vision Systems - 8th International Conference, 2011

Modeling Variability from Requirements to Runtime.

Mathieu Acher, Philippe Collet, Philippe Lahire, Sabine Moisan, Jean-Paul Rigault

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2009

Teaching Object-Oriented Modeling and UML to Various Audiences.

Sabine Moisan, Jean-Paul Rigault

Proceedings of the Models in Software Engineering, 2009

Tackling high variability in video surveillance systems through a model transformation approach.

Mathieu Acher, Philippe Lahire, Sabine Moisan, Jean-Paul Rigault

Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009

2004

Towards Formalizing Behavioral Substitutability in Component Frameworks.

Sabine Moisan, Annie Ressouche, Jean-Paul Rigault

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

2002

Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems.

Charles André, Marie-Agnès Peraldi-Frati, Jean-Paul Rigault

Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

Model, Notation, and Tools for Verification of Protocol-Based Components Assembly.

Pascal Rapicault, Jean-Paul Rigault, Luc Bourlier

Proceedings of the Component Deployment, IFIP/ACM Working Conference, 2002

2001

Blocks, a component framework with checking facilities for knowledge-based systems.

Sabine Moisan, Annie Ressouche, Jean-Paul Rigault

Informatica (Slovenia), 2001

Open Implementation of UML Meta-model(s).

Pascal Rapicault, Jean-Paul Rigault

Proceedings of the Metalevel Architectures and Separation of Crosscutting Concerns, 2001

Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach.

Charles André, Marie-Agnès Peraldi, Jean-Paul Rigault

Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001