Jean-Baptiste Raclet
Jean-Baptiste Raclet
Dirección de correo verificada de irit.fr - Página principal
Título
Citado por
Citado por
Año
Contracts for system design
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
189*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
1142011
Residual for component specifications
JB Raclet
Electronic Notes in Theoretical Computer Science 215, 93-110, 2008
992008
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
772009
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össler, D Le Métayer, JB Raclet
International Conference on Runtime Verification, 270-284, 2010
462010
Contracts for systems design: Theory
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
392015
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
332009
Quotient de spécifications pour la réutilisation de composants
JB Raclet
Rennes 1, 2007
302007
Modal contracts for component-based design
G Goessler, JB Raclet
2009 Seventh IEEE International Conference on Software Engineering and …, 2009
262009
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
182012
Contracts for systems design: methodology and application cases
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
122015
Ensuring reachability by design
B Caillaud, JB Raclet
International Colloquium on Theoretical Aspects of Computing, 213-227, 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
The control of non-deterministic systems: a logical approach
JB Raclet, S Pinchinat
Proc. 16th IFAC Word Congress, 2005
102005
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
51993
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20