Contracts for system design A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ... Now Publishers 12 (2-3), 124-400, 2018 | 426 | 2018 |
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 | 131 | 2011 |
Residual for component specifications JB Raclet Electronic Notes in Theoretical Computer Science 215, 93-110, 2008 | 103 | 2008 |
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 | 81 | 2009 |
Contracts for systems design: Theory A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ... Inria Rennes Bretagne Atlantique; INRIA, 2015 | 74 | 2015 |
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 | 68 | 2009 |
Causality analysis in contract violation G Gößler, D Le Métayer, JB Raclet International Conference on Runtime Verification, 270-284, 2010 | 50 | 2010 |
Refinement and consistency of timed modal specifications N Bertrand, S Pinchinat, JB Raclet International Conference on Language and Automata Theory and Applications
, 2009 | 39 | 2009 |
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 | 32 | 2009 |
Quotient de spécifications pour la réutilisation de composants JB Raclet Rennes 1, 2007 | 31 | 2007 |
Modal contracts for component-based design G Goessler, JB Raclet 2009 Seventh IEEE International Conference on Software Engineering and
, 2009 | 27 | 2009 |
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 | 20 | 2012 |
Contracts for systems design: methodology and application cases A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ... Inria Rennes Bretagne Atlantique; INRIA, 2015 | 18 | 2015 |
Contracts for System Design, vol. 12 A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ... Now Publishers 10, 1000000053, 2018 | 13 | 2018 |
Git4School: A dashboard for supporting teacher interventions in software engineering courses JB Raclet, F Silvestre European Conference on Technology Enhanced Learning, 392-397, 2020 | 12 | 2020 |
Ensuring reachability by design B Caillaud, JB Raclet Theoretical Aspects of ComputingICTAC 2012: 9th International Colloquium
, 2012 | 11 | 2012 |
Contracts for the design of embedded systems, Part II: Theory A Benveniste, JB Raclet, B Caillaud, D Nickovic, R Passerone, ... Submitted for publication, 2011 | 11 | 2011 |
The control of non-deterministic systems: a logical approach JB Raclet, S Pinchinat Proc. 16th IFAC Word Congress, 2005 | 11 | 2005 |
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 | 7 | 2012 |
Supervisory control problems for nondeterministic discrete-event systems: a logical approach S Pinchinat, JB Raclet IFAC Proceedings Volumes 38 (1), 67-72, 2005 | 5 | 2005 |