Residual for Component Specifications. - Jean-Baptiste Raclet (FACS, 2007)

Why Are Modalities Good for Interface Theories?. - Jean-Baptiste Raclet; Éric Badouel; Albert Benveniste; Benoît Caillaud; Roberto Passerone (ACSD, 2009)

Modal interfaces: unifying interface automata and modal specifications. - Jean-Baptiste Raclet; Éric Badouel; Albert Benveniste; Benoît Caillaud; Axel Legay; Roberto Passerone (EMSOFT, 2009)

A Compositional Approach on Modal Specifications for Timed Systems. - Nathalie Bertrand 001; Axel Legay; Sophie Pinchinat; Jean-Baptiste Raclet (ICFEM, 2009)

Refinement and Consistency of Timed Modal Specifications. - Nathalie Bertrand 001; Sophie Pinchinat; Jean-Baptiste Raclet (LATA, 2009)

Modal Contracts for Component-Based Design. - Gregor Goessler; Jean-Baptiste Raclet (SEFM, 2009)

Causality Analysis in Contract Violation. - Gregor Gößler; Daniel Le Métayer; Jean-Baptiste Raclet (RV, 2010)

A Modal Interface Theory for Component-based Design. - Jean-Baptiste Raclet; Éric Badouel; Albert Benveniste; Benoît Caillaud; Axel Legay; Roberto Passerone (Fundam. Informaticae, 2011)

Application of interface theories to the separate compilation of synchronous programs. - Albert Benveniste; Benoît Caillaud; Jean-Baptiste Raclet (CDC, 2012)

Ensuring Reachability by Design. - Benoît Caillaud; Jean-Baptiste Raclet (ICTAC, 2012)

Modal event-clock specifications for timed component-based design. - Nathalie Bertrand 001; Axel Legay; Sophie Pinchinat; Jean-Baptiste Raclet (Sci. Comput. Program., 2012)

MAccS: A Tool for Reachability by Design. - Guillaume Verdier; Jean-Baptiste Raclet (FACS, 2014)

A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols. - Mamoun Filali; Meriem Ouederni; Jean-Baptiste Raclet (FTSCS, 2014)

Quotient of Acceptance Specifications Under Reachability Constraints. - Guillaume Verdier; Jean-Baptiste Raclet (LATA, 2015)

On the Complexity of Flanked Finite State Automata. - Florent Avellaneda; Silvano Dal-Zilio; Jean-Baptiste Raclet (CoRR, 2015)

Solving Language Equations Using Flanked Automata. - Florent Avellaneda; Silvano Dal-Zilio; Jean-Baptiste Raclet (ATVA, 2016)

Contracts for System Design. - Albert Benveniste; Benoît Caillaud; Dejan Nickovic; Roberto Passerone; Jean-Baptiste Raclet; Philipp Reinkemeier; Alberto L. Sangiovanni-Vincentelli; Werner Damm; Thomas A. Henzinger; Kim G. Larsen (Found. Trends Electron. Des. Autom., 2018)

Git4School: A Dashboard for Supporting Teacher Interventions in Software Engineering Courses. - Jean-Baptiste Raclet; Franck Silvestre (EC-TEL, 2020)

Mixed Nondeterministic-Probabilistic Interfaces. - Albert Benveniste; Kim G. Larsen; Jean-Baptiste Raclet (CoRR, 2020)

Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism. - Albert Benveniste; Jean-Baptiste Raclet (CoRR, 2022)

Designing a Revision System: An Exploratory Qualitative Study to Identify the Needs of French Teachers and Students. - Denis Ollivier; Franck Silvestre; Jean-Baptiste Raclet; Emmanuel Lescure; Julien Broisin (EC-TEL, 2023)

Traceability by Design: Design of an Interactive System to Improve the Automatic Generation of Git Traces During a Learning Activity. - Mika Pons; Jean-Michel Bruel; Jean-Baptiste Raclet; Franck Silvestre (EC-TEL, 2023)

Finding Behavioral Indicators from Contextualized Commits in Software Engineering Courses with Process Mining. - Mika Pons; Jean-Michel Bruel; Jean-Baptiste Raclet; Franck Silvestre (FISEE, 2023)

Mixed Nondeterministic-Probabilistic Automata. - Albert Benveniste; Jean-Baptiste Raclet (Discret. Event Dyn. Syst., 2023)

MAESTRO: Multi-agent Educational System for Tutoring and Recommendation Orchestration. - Rémi Saurel; Franck Silvestre; Jean-Baptiste Raclet; Emmanuel Lescure (EC-TEL (2), 2025)