Stebėti
Jean-Baptiste Raclet
Jean-Baptiste Raclet
Patvirtintas el. paštas irit.fr - Pagrindinis puslapis
Pavadinimas
Cituota
Cituota
Metai
Contracts for system design
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Now Publishers 12 (2-3), 124-400, 2018
4262018
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
1312011
Residual for component specifications
JB Raclet
Electronic Notes in Theoretical Computer Science 215, 93-110, 2008
1032008
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
812009
Contracts for systems design: Theory
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Inria Rennes Bretagne Atlantique; INRIA, 2015
742015
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
Causality analysis in contract violation
G Gößler, D Le Métayer, JB Raclet
International Conference on Runtime Verification, 270-284, 2010
502010
Refinement and consistency of timed modal specifications
N Bertrand, S Pinchinat, JB Raclet
International Conference on Language and Automata Theory and Applications …, 2009
392009
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
322009
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
202012
Contracts for systems design: methodology and application cases
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Inria Rennes Bretagne Atlantique; INRIA, 2015
182015
Contracts for System Design, vol. 12
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Now Publishers 10, 1000000053, 2018
132018
Git4School: A dashboard for supporting teacher interventions in software engineering courses
JB Raclet, F Silvestre
European Conference on Technology Enhanced Learning, 392-397, 2020
122020
Ensuring reachability by design
B Caillaud, JB Raclet
Theoretical Aspects of Computing–ICTAC 2012: 9th International Colloquium …, 2012
112012
Contracts for the design of embedded systems, Part II: Theory
A Benveniste, JB Raclet, B Caillaud, D Nickovic, R Passerone, ...
Submitted for publication, 2011
112011
The control of non-deterministic systems: a logical approach
JB Raclet, S Pinchinat
Proc. 16th IFAC Word Congress, 2005
112005
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
52005
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20