Publications of Jean-Baptiste RACLET
Albert Benveniste, Jean-Baptiste Raclet
Mixed Nondeterministic-Probabilistic Automata
Discrete Event Dynamic Systems, 2023, 2023, pp.1-58. ⟨10.1007/s10626-023-00375-x⟩
Jean-Baptiste Raclet, Franck Silvestre, Mika Pons
Git4School : un tableau de bord pour assister la prise de décisions de l’enseignant lors des cours de génie logiciel
STICEF (Sciences et Technologies de l’Information et de la Communication pour l’Éducation et la Formation), 2021, Numéro Spécial : Technologies pour l’apprentissage de l’Informatique de la maternelle à l’université, 28 (3), pp.1-20. ⟨10.23709/sticef.28.3.2⟩
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet
Modal event-clock specifications for timed component-based design
In : Science of Computer Programming, Elsevier, Vol. 77, pp. 1212-1234, 2012.
Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Robert Passerone
A Modal Interface Theory for Component-based Design
In : Fundamenta Informaticae, IOS Press, Vol. 108 N. 1-2, pp. 119-149, 2011.
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
18th European Conference on Technology-Enhanced Learning (EC-TEL 2023), European Association of Technology-Enhanced Learning, Sep 2023, Aveiro, Portugal. pp.294-307, ⟨10.1007/978-3-031-42682-7_20⟩
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
18th European Conference on Technology Enhanced Learning (EC-TEL 2023), Sep 2023, Aveiro, Portugal. pp.611-617, ⟨10.1007/978-3-031-42682-7_50⟩
Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre
Traçabilité by design : conception d’un système interactif pour améliorer la génération automatique de traces Git pendant une activité d’apprentissage
11ème Conférence sur les Environnements Informatiques pour l’Apprentissage Humain (EIAH 2023), ATIEF : Association des Technologies de l’Information pour l’Education et la Formation, Jun 2023, Brest, France. pp.68-79
Denis Ollivier, Franck Silvestre, Jean-Baptiste Raclet, Emmanuel Lescure, Julien Broisin
Conception d’un système de révisions : une étude qualitative exploratoire pour identifier les besoins des enseignants et des élèves
11ème Conférence sur les Environnements Informatiques pour l’Apprentissage Humain (EIAH 2023), ATIEF : Association des Technologies de l’Information pour l’Education et la Formation, Jun 2023, Brest, France. pp.36-41
Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre
Finding behavioral indicators from contextualized commits in software engineering courses with process mining
2nd International Workshop on Frontiers in Software Engineering Education (FISEE 2023), Jan 2023, Villebrumier, France. pp.56-68, ⟨10.1007/978-3-031-48639-5_5⟩
Jean-Baptiste Raclet, Franck Silvestre
Git4School: A Dashboard for Supporting Teacher Interventions in Software Engineering Courses
EC-TEL 2020 – Fifteenth European Conference on Technology Enhanced Learning, Sep 2020, Heidelberg (GER) Online, France. pp.392-397, ⟨10.1007/978-3-030-57717-9_33⟩
Jean-Baptiste Raclet, Franck Silvestre, Mika Pons
Mise en oeuvre d’approches pédagogiques fondées sur des pratiques de l’industrie du logiciel pour l’apprentissage de la programmation
8ème Colloque Didapro : L’informatique, objets d’enseignements (DidaSTIC 2020), Feb 2020, Lille, France. pp.1-12
Franck Silvestre, Jean-Baptiste Raclet
Développement dirigé par les tests et revue de code par les pairs pour l’apprentissage de la programmation
Ludovia CH: 1ère édition sur le thème “Émanciper l’école et la société avec le numérique ?”, Lyonel Kaufmann, Haute école pédagogique du canton de Vaud, Suisse, Mar 2018, Yverdon-Les-Bains, Suisse. pp.1-4
Florent Avellaneda, Silvano Dal Zilio, Jean-Baptiste Raclet
Solving Language Equations Using Flanked Automata
ATVA 2016: Automated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. pp.106 – 121, ⟨10.1007/978-3-319-46520-3_7⟩
Guillaume Verdier, Jean-Baptiste Raclet
Quotient of Acceptance Specifications under Reachability Constraints
9th International Conference on Language and Automata Theory and Applications (LATA 2015), Mar 2015, Nice, France. pp.299–311, ⟨10.1007/978-3-319-15579-1_23⟩
M Filali, Meriem Ouederni, Jean-Baptiste Raclet
A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols
Third International Workshop Formal Techniques for Safety-Critical Systems (FTSCS 2014), Nov 2014, Luxembourg, Luxembourg. pp.1–17, ⟨10.1007/978-3-319-17581-2_6⟩
Guillaume Verdier, Jean-Baptiste Raclet
MAccS: a Tool for Reachability by Design
11th International Symposium on Formal Aspects of Component Software (FACS 2014), Sep 2014, Bertinoro, Italy. pp.191–197, ⟨10.1007/978-3-319-15317-9_12⟩
Albert Benveniste, Benoît Caillaud, Jean-Baptiste Raclet
Application of Interface Theories to the Separate Compilation of Synchronous Programs (regular paper)
In : IEEE Conference on Decision and Control (CDC 2012), Hawaii, USA, 10/12/12-13/12/12, IEEE : Institute of Electrical and Electronics Engineers, (electronic medium), December 2012.
Benoît Caillaud, Jean-Baptiste Raclet
Ensuring Reachability by Design (regular paper)
In : International Colloquium on Theoretical Aspects of Computing (ICTAC 2012), Bangalore, Inde, 24/09/12-27/09/12, Springer, pp. 213-227, September 2012.
Gregor Goessler, Daniel Le Metayer, Jean-Baptiste Raclet
Causality Analysis in Contract Violation (regular paper)
In : International Conference on Runtime Verification (RV 2010), Malte, 01/11/10-04/11/10, Vol. 6418, Springer, LNCS, pp. 270-284, November 2010.
Albert Benveniste, Benoit Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Albert Sangiovanni-Vincentelli, Werner Damm, Thomas Henzinger, Kim G. Larsen
Contracts for System Design
Now Publishers, 12 (2-3), pp.124-400, 2018, Foundations and Trends® in Electronic Design Automation, 978-1-68083-402-4. ⟨10.1561/1000000053⟩
Sebastian Bauer, Jean-Baptiste Raclet
Workshop on Foundations of Technologies, Tallinn, 24/03/12 – 24/03/12, Electronic Proceedings in Theoretical Computer Science (EPTCS), March 2012.
Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre
Extended version of the paper “Traceability by design: design of an interactive system to improve the automatic generation of Git traces during a learning activity
2023