Publications de Jean-Baptiste RACLET
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
Dans : Science of Computer Programming, Elsevier, Vol. 77, p. 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
Dans : Fundamenta Informaticae, IOS Press, Vol. 108 N. 1-2, p. 119-149, 2011.
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
2020 Colloque Didapro 8 : 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 (regular paper)
Dans : Automated Technology for Verification and Analysis, Chiba, Japan, 17/10/16-20/10/16, Springer, p. 106-121, octobre 2016.
Guillaume Verdier, Jean-Baptiste Raclet
Quotient of Acceptance Specifications under Reachability Constraints (regular paper)
Dans : Language and Automata Theory and Applications (LATA 2015), Nice, France, 02/03/15-06/03/15, Springer, p. 299-311, 2015.
Mamoun Filali, Meriem Ouederni, Jean-Baptiste Raclet
A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols (regular paper)
Dans : Formal Techniques for Safety-Critical Systems, Luxembourg, 06/11/14-07/11/14, Vol. CCIS 476, Springer, p. 1-17, novembre 2014.
Guillaume Verdier, Jean-Baptiste Raclet
MAccS: a Tool for Reachability by Design (regular paper)
Dans : Formal Aspects of Component Software (FACS 2014), Bertinoro, Italy, 10/09/14-12/09/14, Springer, p. 191-197, 2014.
Albert Benveniste, Benoît Caillaud, Jean-Baptiste Raclet
Application of Interface Theories to the Separate Compilation of Synchronous Programs (regular paper)
Dans : IEEE Conference on Decision and Control (CDC 2012), Hawaii, USA, 10/12/12-13/12/12, IEEE : Institute of Electrical and Electronics Engineers, (support électronique), décembre 2012.
Benoît Caillaud, Jean-Baptiste Raclet
Ensuring Reachability by Design (regular paper)
Dans : International Colloquium on Theoretical Aspects of Computing (ICTAC 2012), Bangalore, Inde, 24/09/12-27/09/12, Springer, p. 213-227, septembre 2012.
Gregor Goessler, Daniel Le Metayer, Jean-Baptiste Raclet
Causality Analysis in Contract Violation (regular paper)
Dans : International Conference on Runtime Verification (RV 2010), Malte, 01/11/10-04/11/10, Vol. 6418, Springer, LNCS, p. 270-284, novembre 2010.
Sebastian Bauer, Jean-Baptiste Raclet
Workshop on Foundations of Technologies, Tallinn, 24/03/12 – 24/03/12, Electronic Proceedings in Theoretical Computer Science (EPTCS), mars 2012.
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⟩