Jean-Baptiste Raclet

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