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, ...
Inria, 2012
227*2012
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
1262011
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
792009
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
682009
Contracts for systems design: Theory
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Inria Rennes Bretagne Atlantique; INRIA, 2015
502015
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
332009
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
162015
Ensuring reachability by design
B Caillaud, JB Raclet
International Colloquium on Theoretical Aspects of Computing, 213-227, 2012
112012
The control of non-deterministic systems: a logical approach
JB Raclet, S Pinchinat
Proc. 16th IFAC Word Congress, 2005
112005
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
52012
Supervisory control problems for nondeterministic discrete-event systems: a logical approach
S Pinchinat, JB Raclet
IFAC Proceedings Volumes 38 (1), 67-72, 2005
52005
Quotient of acceptance specifications under reachability constraints
G Verdier, JB Raclet
International Conference on Language and Automata Theory and Applications …, 2015
42015
MAccS: a tool for reachability by design
G Verdier, JB Raclet
International Conference on Formal Aspects of Component Software, 191-197, 2014
42014
The system can't perform the operation now. Try again later.
Articles 1–20