1. Recherche
31 résultats  enregistrer la recherche


  • 1
  • 2
...
inria-00175793v2  Rapport
Eric Badouel, Rodrigue Djeumen. Modular Grammars and Splitting of Catamorphisms
[Research Report] RR-6313, INRIA. 2007, pp.17
...
inria-00070648v1  Rapport
Eric Badouel, Jules Chenou, Goulven Guillou. Petri Algebras
[Research Report] RR-5355, INRIA. 2004, pp.28
...
inria-00153477v2  Rapport
Albert Benveniste, Benoît Caillaud, Roberto Passerone. A Generic Model of Contracts for Embedded Systems
[Research Report] RR-6214, INRIA. 2007
...
inria-00070396v1  Rapport
Guillaume Feuillade. Modal specifications are a syntactic fragment of the Mu-calculus
[Research Report] RR-5612, INRIA. 2005, pp.17
...
inria-00072337v1  Rapport
Philippe Darondeau, Xiaolan Xie. Linear Control of Live Marked Graphs
[Research Report] RR-4251, INRIA. 2001, pp.24
...
inria-00072299v1  Rapport
Christian Retoré. Petri Nets Step Transitions and Proofs in Partially Commutative Linear Logic
[Research Report] RR-4288, INRIA. 2001
...
inria-00070290v1  Rapport
Christian Brunette, Jean-Pierre Talpin. Compositional modeling and transformation of multi-clocked mode automata
[Research Report] RR-5728, INRIA. 2005, pp.20
...
inria-00070302v1  Rapport
Christian Brunette, Romain Delamare, Abdoulaye Gamatié, Thierry Gautier, Jean-Pierre Talpin. A Modeling Paradigm for Integrated Modular Avionics Design
[Research Report] RR-5715, INRIA. 2005, pp.38
...
inria-00070245v1  Rapport
Loïc Besnard, Christian Brunette, Thierry Gautier, Jean-Pierre Talpin. Modeling multi-clocked data-flow programs in the Generic Modeling Environment
[Research Report] RR-5775, INRIA. 2005, pp.39
...
inria-00070249v1  Rapport
Eric Badouel, Marek Bednarczyk, Andrzej Borzyszkowski, Benoît Caillaud, Philippe Darondeau. Concurrent Secrets
[Research Report] RR-5771, INRIA. 2005, pp.22
...
inria-00070498v1  Rapport
Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Polychronous Design of Embedded Real-Time Systems
[Research Report] RR-5509, INRIA. 2005
...
inria-00070397v1  Rapport
Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud. Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications
[Research Report] RR-5610, INRIA. 2005, pp.22
...
inria-00071758v1  Rapport
Marek Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello. Modular system development with pullbacks
[Research Report] RR-4828, INRIA. 2003
...
inria-00071682v1  Rapport
Albert Benveniste, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
[Research Report] RR-4901, INRIA. 2003
...
inria-00071630v1  Rapport
Stéphane Riedweg, Sophie Pinchinat. Quantified Loop-mu-calculus for Control under Partial Observation
[Research Report] RR-4949, INRIA. 2003
...
inria-00071644v1  Rapport
Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep Kumar Shukla, Twan Basten. Modeling and Validation of Globally Asynchronous Design in Synchronous Frameworks
[Research Report] RR-4935, INRIA. 2003
...
inria-00071472v1  Rapport
Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste. Concurrency in synchronous systems
[Research Report] RR-5110, INRIA. 2004
...
inria-00071442v1  Rapport
Jean-Pierre Talpin, David Berner, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta et al.  Behavioral type inference for compositional system design
[Research Report] RR-5141, INRIA. 2004
...
inria-00071609v1  Rapport
Guillaume Feuillade, Thomas Genet, Valérie Viet Triem Tong. Reachability Analysis over Term Rewriting Systems
[Research Report] RR-4970, INRIA. 2003
...
inria-00071564v1  Rapport
Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, Paul Le Guernic. Hard real-time implementation of embedded software in JAVA
[Research Report] RR-5020, INRIA. 2003
...
inria-00071793v1  Rapport
Stéphane Riedweg, Sophie Pinchinat. Quantified Mu-calculus for Control Synthesis
[Research Report] RR-4793, INRIA. 2003
...
inria-00071907v1  Rapport
Abdoulaye Gamatié, Thierry Gautier. Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language
[Research Report] RR-4678, INRIA. 2002
...
inria-00072086v1  Rapport
Jacques Malenfant, Noël Plouzeau, Jean-Marc Jézéquel. The Design of GCCL: a Generalized Common Contract Language
[Research Report] RR-4502, INRIA. 2002
...
inria-00071843v1  Rapport
Jean-Pierre Talpin, Bruno Le Dez, Abdoulaye Gamatié, Paul Le Guernic, David Berner. Component-based engineering of real-time JAVA : applications on a polychronous design platform
[Research Report] RR-4744, INRIA. 2003
...
inria-00071878v1  Rapport
Philippe Darondeau, Harro Wimmel. From bounded T-systems to 1-safe T-systemsup to language equivalence
[Research Report] RR-4708, INRIA. 2003
...
inria-00071871v1  Rapport
Paul Le Guernic, Jean-Pierre Talpin, Jean-Christophe Le Lann. Polychrony for system design
[Research Report] RR-4715, INRIA. 2003
...
inria-00071924v1  Rapport
Eric Badouel, Philippe Darondeau. The Petri net synthesis problem for automatic graphs
[Research Report] RR-4661, INRIA. 2002
...
inria-00072021v1  Rapport
Claude Jard. Synthesis of Distributed Testers from True-concurrency Models of Reactive Systems
[Research Report] RR-4567, INRIA. 2002
...
inria-00072091v1  Rapport
Jacques Malenfant. Une étude sémantique du langage QML
[Rapport de recherche] RR-4497, INRIA. 2002
...
inria-00072089v1  Rapport
Jacques Malenfant. Modélisation de la sémantique formelle des langages de programmation en UML et OCL
RR-4499, INRIA. 2002
  • 1
  • 2

Contact


archive-ouverte@inria.fr