Jean-Baptiste Raclet

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 9

Top Topics

Finite State Automata

Engineering Courses

Probabilistic Automata

Top Venues

Discret. Event Dyn. Syst.

Publications

Denis Ollivier, Franck Silvestre, Jean-Baptiste Raclet, Emmanuel Lescure, Julien Broisin
Designing a Revision System: An Exploratory Qualitative Study to Identify the Needs of French Teachers and Students. EC-TEL (2023)
Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre
Finding Behavioral Indicators from Contextualized Commits in Software Engineering Courses with Process Mining. FISEE (2023)
Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre
Traceability by Design: Design of an Interactive System to Improve the Automatic Generation of Git Traces During a Learning Activity. EC-TEL (2023)
Albert Benveniste, Jean-Baptiste Raclet
Mixed Nondeterministic-Probabilistic Automata. Discret. Event Dyn. Syst. 33 (4) (2023)
Albert Benveniste, Jean-Baptiste Raclet
Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism. CoRR (2022)
Albert Benveniste, Kim G. Larsen, Jean-Baptiste Raclet
Mixed Nondeterministic-Probabilistic Interfaces. CoRR (2020)
Jean-Baptiste Raclet, Franck Silvestre
Git4School: A Dashboard for Supporting Teacher Interventions in Software Engineering Courses. EC-TEL (2020)
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
Contracts for System Design. Found. Trends Electron. Des. Autom. 12 (2-3) (2018)
Florent Avellaneda, Silvano Dal-Zilio, Jean-Baptiste Raclet
Solving Language Equations Using Flanked Automata. ATVA (2016)
Guillaume Verdier, Jean-Baptiste Raclet
Quotient of Acceptance Specifications Under Reachability Constraints. LATA (2015)
Florent Avellaneda, Silvano Dal-Zilio, Jean-Baptiste Raclet
On the Complexity of Flanked Finite State Automata. CoRR (2015)
Guillaume Verdier, Jean-Baptiste Raclet
MAccS: A Tool for Reachability by Design. FACS (2014)
Mamoun Filali, Meriem Ouederni, Jean-Baptiste Raclet
A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols. FTSCS (2014)
Guillaume Verdier, Jean-Baptiste Raclet
Quotient of Acceptance Specifications under Reachability Constraints. CoRR (2014)
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet
Modal event-clock specifications for timed component-based design. Sci. Comput. Program. 77 (12) (2012)
Benoît Caillaud, Jean-Baptiste Raclet
Ensuring Reachability by Design. ICTAC (2012)
Albert Benveniste, Benoît Caillaud, Jean-Baptiste Raclet
Application of interface theories to the separate compilation of synchronous programs. CDC (2012)
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone
A Modal Interface Theory for Component-based Design. Fundam. Informaticae 108 (1-2) (2011)
Gregor Gößler, Daniel Le Métayer, Jean-Baptiste Raclet
Causality Analysis in Contract Violation. RV (2010)
Gregor Goessler, Jean-Baptiste Raclet
Modal Contracts for Component-Based Design. SEFM (2009)
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone
Why Are Modalities Good for Interface Theories?. ACSD (2009)
Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet
Refinement and Consistency of Timed Modal Specifications. LATA (2009)
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone
Modal interfaces: unifying interface automata and modal specifications. EMSOFT (2009)
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet
A Compositional Approach on Modal Specifications for Timed Systems. ICFEM (2009)
Jean-Baptiste Raclet
Residual for Component Specifications. Electron. Notes Theor. Comput. Sci. 215 (2008)