Jean-Baptiste Raclet
Jean-Baptiste Raclet
Email verificata su irit.fr - Home page
Titolo
Citata da
Citata da
Anno
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
A new aproach to parallel sparse cholesky factorization on distributed memory parallel computers
M Hahad, J Erhel, T Priol
INRIA, 1993
51993
Quotient of acceptance specifications under reachability constraints
G Verdier, JB Raclet
International Conference on Language and Automata Theory and Applications …, 2015
42015
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20