Follow
Jean-Baptiste Raclet
Jean-Baptiste Raclet
Verified email at irit.fr - Homepage
Title
Cited by
Cited by
Year
Contracts for system design
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Now Publishers 12 (2-3), 124-400, 2018
3872018
A modal interface theory for component-based design
JB Raclet, E Badouel, A Benveniste, B Caillaud, A Legay, R Passerone
Fundamenta Informaticae 108 (1-2), 119-149, 2011
1322011
Residual for component specifications
JB Raclet
Electronic Notes in Theoretical Computer Science 215, 93-110, 2008
1012008
Modal interfaces: unifying interface automata and modal specifications
JB Raclet, E Badouel, A Benveniste, B Caillaud, A Legay, R Passerone
Proceedings of the seventh ACM international conference on Embedded software …, 2009
822009
Contracts for systems design: Theory
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Inria Rennes Bretagne Atlantique; INRIA, 2015
712015
Why are modalities good for interface theories?
JB Raclet, E Badouel, A Benveniste, B Caillaud, R Passerone
2009 Ninth International Conference on Application of Concurrency to System …, 2009
692009
Causality analysis in contract violation
G Gößler, D Le Métayer, JB Raclet
International Conference on Runtime Verification, 270-284, 2010
492010
Refinement and consistency of timed modal specifications
N Bertrand, S Pinchinat, JB Raclet
International Conference on Language and Automata Theory and Applications …, 2009
402009
A compositional approach on modal specifications for timed systems
N Bertrand, A Legay, S Pinchinat, JB Raclet
International Conference on Formal Engineering Methods, 679-697, 2009
352009
Quotient de spécifications pour la réutilisation de composants
JB Raclet
Rennes 1, 2007
312007
Modal contracts for component-based design
G Goessler, JB Raclet
2009 Seventh IEEE International Conference on Software Engineering and …, 2009
272009
Modal event-clock specifications for timed component-based design
N Bertrand, A Legay, S Pinchinat, JB Raclet
Science of Computer Programming 77 (12), 1212-1234, 2012
192012
Contracts for systems design: methodology and application cases
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Inria Rennes Bretagne Atlantique; INRIA, 2015
172015
Contracts for System Design, vol. 12
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Now Publishers 10, 1000000053, 2018
132018
The control of non-deterministic systems: a logical approach
JB Raclet, S Pinchinat
Proc. 16th IFAC Word Congress, 2005
112005
Git4School: A dashboard for supporting teacher interventions in software engineering courses
JB Raclet, F Silvestre
European Conference on Technology Enhanced Learning, 392-397, 2020
102020
Ensuring reachability by design
B Caillaud, JB Raclet
Theoretical Aspects of Computing–ICTAC 2012: 9th International Colloquium …, 2012
102012
Contracts for the design of embedded systems, Part II: Theory
A Benveniste, JB Raclet, B Caillaud, D Nickovic, R Passerone, ...
Submitted for publication, 2011
102011
Application of interface theories to the separate compilation of synchronous programs
A Benveniste, B Caillaud, JB Raclet
2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 7252-7258, 2012
72012
Supervisory control problems for nondeterministic discrete-event systems: a logical approach
S Pinchinat, JB Raclet
IFAC Proceedings Volumes 38 (1), 67-72, 2005
62005
The system can't perform the operation now. Try again later.
Articles 1–20