Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach. - Charles André; Marie-Agnès Peraldi; Jean-Paul Rigault (ISORC, 2001)

Open Implementation of UML Meta-model(s). - Pascal Rapicault; Jean-Paul Rigault (Reflection, 2001)

Blocks, a component framework with checking facilities for knowledge-based systems. - Sabine Moisan; Annie Ressouche; Jean-Paul Rigault (Informatica (Slovenia), 2001)

Model, Notation, and Tools for Verification of Protocol-Based Components Assembly. - Pascal Rapicault; Jean-Paul Rigault; Luc Bourlier (Component Deployment, 2002)

Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems. - Charles André; Marie-Agnès Peraldi-Frati; Jean-Paul Rigault (UML, 2002)

Towards Formalizing Behavioral Substitutability in Component Frameworks. - Sabine Moisan; Annie Ressouche; Jean-Paul Rigault (SEFM, 2004)

Tackling high variability in video surveillance systems through a model transformation approach. - Mathieu Acher; Philippe Lahire; Sabine Moisan; Jean-Paul Rigault (MiSE@ICSE, 2009)

Teaching Object-Oriented Modeling and UML to Various Audiences. - Sabine Moisan; Jean-Paul Rigault (MoDELS (Workshops), 2009)

Modeling Variability from Requirements to Runtime. - Mathieu Acher; Philippe Collet; Philippe Lahire; Sabine Moisan; Jean-Paul Rigault (ICECCS, 2011)

Run Time Adaptation of Video-Surveillance Systems: A Software Modeling Approach. - Sabine Moisan; Jean-Paul Rigault; Mathieu Acher; Philippe Collet; Philippe Lahire (ICVS, 2011)

Girgit: A Dynamically Adaptive Vision System for Scene Understanding. - Leonardo M. Rocha; Sagar Sen; Sabine Moisan; Jean-Paul Rigault (ICVS, 2011)

A feature-based approach to system deployment and adaptation. - Sabine Moisan; Jean-Paul Rigault; Mathieu Acher (MiSE, 2012)

Metrics on feature models to optimize configuration adaptation at run time. - Luis Emiliano Sanchez; Sabine Moisan; Jean-Paul Rigault (CMSBSE@ICSE, 2013)

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 (SBCARS, 2014)

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)

An activity description language for activity recognition. - Ines Sarray; Annie Ressouche; Sabine Moisan; Jean-Paul Rigault; Daniel Gaffé (IINTEC, 2017)

A Synchronous Approach to Activity Recognition. - Ines Sarray; Jean-Paul Rigault; Sabine Moisan; Daniel Gaffé (ICSC, 2018)

Probabilistic Activity Recognition for Serious Games with Applications in Medicine. - Elisabetta De Maria; Thibaud L'Yvonnet; Sabine Moisan; Jean-Paul Rigault (FTSCS, 2019)

Probabilistic Model Checking for Activity Recognition in Medical Serious Games. - Thibaud L'Yvonnet; Elisabetta De Maria; Sabine Moisan; Jean-Paul Rigault (SEH@ICSE, 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)

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 (BIOINFORMATICS, 2023)