Typage utilisé
| [j.int./fr.] | publication dans un journal international (int.) ou francophone (fr.) avec comité éditorial |
| [c.int./fr.] | publication dans une conférence internationale (int.) ou francophone (fr.) avec comité de programme |
| [livre] | livre |
| [ed.] | actes édités |
| [aut.] | autre = communication dans un atelier à processus de sélection léger; thèse; rapport de recherche; livrable de projet de type livre blanc; … |
2023
| [j.int.3] | Mixed Nondeterministic-Probabilistic Automata. A. Benveniste, J.-B. Raclet. Journal of Discret. Event Dyn. Syst. 33(4): 455-505 |
| [c.int.17] | Designing a Revision System: An Exploratory Qualitative Study to Identify the Needs of French Teachers and Students. D. Ollivier, F. Silvestre, J.-B. Raclet, E. Lescure, J. Broisin. European Conference on Technology Enhanced Learning (EC-TEL 2023): 294-307 |
| [c.int.16] | Traceability by Design: Design of an Interactive System to Improve the Automatic Generation of Git Traces During a Learning Activity. M. Pons, J.-M. Bruel, J.-B. Raclet, F. Silvestre. European Conference on Technology Enhanced Learning (EC-TEL 2023): 611-617 |
| [aut.9] | Finding Behavioral Indicators from Contextualized Commits in Software Engineering Courses with Process Mining. M. Pons, J.-M. Bruel, J.-B. Raclet, F. Silvestre. International Workshop on Frontiers in Software Engineering Education (FISEE 2023): 56-68 |
| [c.fr.2] | Conception d’un système de révisions : une étude qualitative exploratoire pour identifier les besoins des enseignants et des élèves. D. Ollivier, F. Silvestre, J.-B. Raclet, E. Lescure, J. Broisin. Conférence sur les Environnements Informatiques pour l’Apprentissage Humain (EIAH 2023) |
| [c.fr.1] | 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. M. Pons, J.-M. Bruel, J.-B. Raclet, F. Silvestre. Conférence sur les Environnements Informatiques pour l’Apprentissage Humain (EIAH 2023) |
2021
| [j.fr.1] | Git4School: un tableau de bord pour assister la prise de décisions de l’enseignant lors des cours de génie logiciel. J.-B. Raclet, F. Silvestre and M. Pons. Journal Sciences et Technologies de l’Information et de la Communication pour l’Éducation et la Formation (STICEF), 28-3: 213-231 |
2020
| [c.int.15] | Git4School: A Dashboard for Supporting Teacher Interventions in Software Engineering Courses. J.-B. Raclet, F. Silvestre. European Conference on Technology Enhanced Learning (EC-TEL 2020) : 392-397 |
| [aut.8] | Mise en oeuvre d’approches pédagogiques fondées sur des pratiques de l’industrie du logiciel pour l’apprentissage de la programmation. J.-B. Raclet, F. Silvestre, M. Pons. Colloque de didactique de l’informatique (Didapro 8), 1-13 |
| [aut.7] | Mixed Nondeterministic-Probabilistic Interfaces. A. Benveniste, K. G. Larsen, J.-B. Raclet. arXiv. |
2018
| [livre.1] | Contracts for System Design. A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J.-B. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T. Henzinger and K. G. Larsen. In Foundations and Trends in Electronic Design Automation, Now Foundations and Trends. 296 pages |
| [aut.6] | Développement dirigé par les tests et revue de code par les pairs pour l’apprentissage de la programmation. F. Silvestre and J.-B. Raclet. Communication à l’université de printemps Ludovia#CH: 1-4, Mars 2018 |
2016
| [c.int.14] | Solving Language Equations Using Flanked Automata. F. Avellaneda, S. Dal-Zilio and J.-B. Raclet. International Symposium on Automated Technology for Verification and Analysis (ATVA 2016): 106-121 |
2015
| [c.int.13] | Quotient of Acceptance Specifications Under Reachability Constraints. G. Verdier, and J.-B. Raclet. International Conference on Language and Automata Theory and Applications (LATA 2015), 299-311 |
| [aut.5] | Contracts for Systems Design: Theory. A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J.-B. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T. Henzinger and K. G. Larsen. Livrable de projet (livre blanc en archive ouverte) |
| [aut.4] | Contracts for Systems Design: Methodology and Application cases. A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J.-B. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T. Henzinger and K. G. Larsen. Livrable de projet (livre blanc en archive ouverte) |
2014
| [c.int.12] | A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols. M. Filali, M. Ouederni and J.-B. Raclet. International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), 76-92 |
| [c.int.11] | MAccS: A Tool for Reachability by Design. G. Verdier, and J.-B. Raclet. International Symposium on Formal Aspects of Component Software (FACS 2014), 191-197 |
2012
| [j.int.2] | Modal event-clock specifications for timed component-based design. N. Bertrand, A. Legay, S. Pinchinat and J.-B. Raclet. Science of Computer Programming, vol. 77(12): 1212-1234 |
| [c.int.10] | Application of Interface Theories to the Separate Compilation of Synchronous Programs. A. Benveniste, B. Caillaud and J.-B. Raclet. IEEE Conference on Decision and Control (CDC 2012), IEEE: 7252-7258 |
| [c.int.9] | Ensuring Reachability by Design. B. Caillaud and J.-B. Raclet. International Colloquium on Theoretical Aspects of Computing (ICTAC 2012), Springer: 213-227 |
| [ed.1] | Proceedings of the Fourth Workshop on Foundations of Interface Technologies (FIT’12), Tallinn, Estonia, 25th March 2012. S. S. Bauer and J.-B. Raclet, editors. Volume 87 of Electronic Proceedings in Theoretical Computer Science |
2011
| [j.int.1] | A Modal Interface Theory for Component-based Design. J.-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay and R. Passerone. Fundamenta Informaticae, vol. 108(1-2): 119-149 |
2010
| [c.int.8] | Causality Analysis in Contract Violation. G. Goessler, D. Le Métayer and J.-B. Raclet. International Conference on Runtime Verification (RV 2010): 270-284 |
2009
| [c.int.7] | A Compositional Approach on Modal Specifications for Timed Systems. N. Bertrand, A. Legay, S. Pinchinat and J.-B. Raclet. International Conference on Formal Engineering Methods (ICFEM 2009), 679-697 |
| [c.int.6] | Modal Contracts for Component-based Design. G. Goessler and J.-B. Raclet. International Conference on Software Engineering and Formal Methods (SEFM 2009), 295-303 |
| [c.int.5] | Modal Interfaces: Unifying Interface Automata and Modal Specifications. J.-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay and R. Passerone. International Conference on Embedded Software (EMSOFT 2009), 87-96 |
| [c.int.4] | Why are Modalities Good for Interface Theories?. J.-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud and R. Passerone. International Conference on Application of Concurrency to System Design (ACSD 2009), 119-127 |
| [c.int.3] | Refinement and Consistency of Timed Modal Specifications. N. Bertrand and S. Pinchinat and J.-B. Raclet. International Conference on Language and Automata Theory and Applications (LATA 2009), 152-163 |
2007
| [aut.3] | Quotient de spécifications pour la réutilisation de composants. Thèse de doctorat, École doctorale Matisse, Université de Rennes 1, IRISA. December 2007 |
| [c.int.2] | Residual for Component Specifications. J.-B. Raclet. International Workshop on Formal Aspects of Component Software (FACS 2007). ENTCS 215: 93-110 |
2006
| [aut.2] | Synthesis of Component Adaptor via Quotient of Specifications. MOdelling and VErifying parallel Processes “Summer School”, (MoVEP 2006) |
2005
| [c.int.1] | Supervisory Control Problems for Nondeterministic Discrete-Event Systems: a Logical Approach. S. Pinchinat, J.-B. Raclet. IFAC World Congress, vol. 38, issue 1: 67-72 |
2004
| [aut.1] | Contrôle des Systèmes Non-déterministes. Thèse de Master, Université de Rennes I, Juin 2004 |