Jean-Baptiste Raclet

According to our database, Jean-Baptiste Raclet authored at least 24 papers between 2007 and 2023.

Collaborative distances:

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

2023

Mixed Nondeterministic-Probabilistic Automata.

Albert Benveniste, Jean-Baptiste Raclet

Discret. Event Dyn. Syst., December, 2023

Finding Behavioral Indicators from Contextualized Commits in Software Engineering Courses with Process Mining.

Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre

Proceedings of the Frontiers in Software Engineering Education, 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

Proceedings of the Responsive and Sustainable Educational Futures, 2023

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

Proceedings of the Responsive and Sustainable Educational Futures, 2023

2022

Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism.

Albert Benveniste, Jean-Baptiste Raclet

CoRR, 2022

2020

Mixed Nondeterministic-Probabilistic Interfaces.

Albert Benveniste, Kim G. Larsen, Jean-Baptiste Raclet

CoRR, 2020

Git4School: A Dashboard for Supporting Teacher Interventions in Software Engineering Courses.

Jean-Baptiste Raclet, Franck Silvestre

Proceedings of the Addressing Global Challenges and Quality Education, 2020

2018

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

2016

Solving Language Equations Using Flanked Automata.

Florent Avellaneda, Silvano Dal-Zilio, Jean-Baptiste Raclet

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

On the Complexity of Flanked Finite State Automata.

Florent Avellaneda, Silvano Dal-Zilio, Jean-Baptiste Raclet

CoRR, 2015

Quotient of Acceptance Specifications Under Reachability Constraints.

Guillaume Verdier, Jean-Baptiste Raclet

Proceedings of the Language and Automata Theory and Applications, 2015

2014

A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols.

Mamoun Filali, Meriem Ouederni, Jean-Baptiste Raclet

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

MAccS: A Tool for Reachability by Design.

Guillaume Verdier, Jean-Baptiste Raclet

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2012

Modal event-clock specifications for timed component-based design.

Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet

Sci. Comput. Program., 2012

Ensuring Reachability by Design.

Benoît Caillaud, Jean-Baptiste Raclet

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

Application of interface theories to the separate compilation of synchronous programs.

Albert Benveniste, Benoît Caillaud, Jean-Baptiste Raclet

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011

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

2010

Causality Analysis in Contract Violation.

Gregor Gößler, Daniel Le Métayer, Jean-Baptiste Raclet

Proceedings of the Runtime Verification - First International Conference, 2010

2009

Modal Contracts for Component-Based Design.

Gregor Goessler, Jean-Baptiste Raclet

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Refinement and Consistency of Timed Modal Specifications.

Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet

Proceedings of the Language and Automata Theory and Applications, 2009

A Compositional Approach on Modal Specifications for Timed Systems.

Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet

Proceedings of the Formal Methods and Software Engineering, 2009

Modal interfaces: unifying interface automata and modal specifications.

Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Why Are Modalities Good for Interface Theories?.

Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2007

Residual for Component Specifications.

Jean-Baptiste Raclet

Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007