 |
 |
 |
 |
|
|
||
|---|---|---|
|
inria-00156468v1
Rapport
Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto Sangiovanni-Vincentelli et al. Loosely Time-Triggered Architectures based on Communication-by-Sampling [Research Report] PI 1854, 2007, pp.41 |
||
|
inria-00070648v1
Rapport
Eric Badouel, Jules Chenou, Goulven Guillou. Petri Algebras [Research Report] RR-5355, INRIA. 2004, pp.28 |
||
|
hal-00429669v1
Pré-publication, Document de travail
Philippe Darondeau, Blaise Genest, P.S. Thiagarajan, Yang Shaofa. Quasi-Static Scheduling of Communicating Tasks. 2009 |
||
|
hal-00696151v1
Rapport
Benoît Caillaud, Jean-Baptiste Raclet. Ensuring Reachability by Design [Research Report] RR-7928, INRIA. 2012, pp.20 |
||
|
inria-00000175v1
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] PI 1730, 2005, pp.22 |
||
|
inria-00000139v1
Rapport
Guillaume Feuillade. Modal specifications are a syntactic fragment of the Mu-calculus [Research Report] PI 1729, 2005, pp.17 |
||
|
tel-00925479v1
Thèse
Paul Istoan. Methodology for the derivation of product behaviour in a Software Product Line Other [cs.OH]. Université Rennes 1, 2013. English. <NNT : 2013REN1S013> |
||
|
tel-00926119v2
Thèse
Stephen Creff. Une modélisation de la variabilité multidimensionnelle pour une évolution incrémentale des lignes de produits Autre [cs.OH]. Université Rennes 1, 2013. Français. <NNT : 2013REN1S142> |
||
|
hal-00651208v1
Article dans une revue
Eike Best, Philippe Darondeau. Separability in Persistent Petri Nets Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2011, 112, pp.1-25. <10.3233/FI-2011-566> |
||
|
inria-00554283v1
Article dans une revue
Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay et al. A Modal Interface Theory for Component-based Design Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2011, 108 (1-2), pp.119-149. <10.3233/FI-2011-416> |
||
|
hal-00766726v1
Article dans une revue
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. Non-standard semantics of hybrid systems modelers Journal of Computer and System Sciences, Elsevier, 2012, In Commemoration of Amir Pnueli, 78 (3), pp.877-910. <10.1016/j.jcss.2011.08.009> |
||
|
hal-00650973v1
Communication dans un congrès
Philippe Darondeau, Laurie Ricker. Towards Distributed Control of Discrete Event Systems Jörg Desel and Alex Yakovlev. ART2011 : Workshop on Applications of Region Theory, Jun 2011, Newcastle upon Tyne, United Kingdom. 725, pp.63-78, 2011, CEUR Workshop Proceedings; ART2011 |
||
|
hal-00788506v1
Chapitre d'ouvrage
Jose Bijoy, Xue Bin, Sandeep Kumar Shukla, Jean-Pierre Talpin. Programming models for multi-core embedded systems Georgios Kornaros. Multi-Core Embedded Systems, CRC Press, pp.269-305, 2010, 978-1439811610 |
||
|
inria-00142027v1
Rapport
Jean-Baptiste Raclet. Residual for Component Specifications [Research Report] PI 1843, 2007, pp.19 |
||
|
hal-00788450v1
Communication dans un congrès
Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien Dagnat et al. Synoptic: a domain specific modeling language for embedded flight-software FMA 2009 : Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. 2009 |
||
|
hal-00788458v1
Communication dans un congrès
Eric Vecchié, Jean-Pierre Talpin, Klaus Schneider. Separate compilation and execution of imperative synchronous modules IEEE. DATE 2009 : Conference & Exhibition on Design, Automation & Test in Europe, Apr 2009, Nice, France. IEEE, pp.1580-1583, 2009, <10.1109/DATE.2009.5090916> |
||
|
hal-00788418v1
Communication dans un congrès
Yann Glouche, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. A module language for typing by contracts NFM 2009 : The First NASA Formal Methods Symposium, Apr 2009, Moffett Field, CA, United States. 2009 |
||
|
hal-00788422v1
Communication dans un congrès
Yue Ma, Jean-Pierre Talpin, Sandeep Kumar Shukla, Thierry Gautier. Distributed simulation of AADL specifications in a polychronous model of computation IEEE. ICESS 2009 : International Conference on Embedded software and systems, May 2009, HangZhou, Zhejiang, China. IEEE, pp.607-614, 2009, <10.1109/ICESS.2009.47> |
||
|
inria-00638342v1
Communication dans un congrès
Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard. Distributed Monitoring of Concurrent and Asynchronous Systems Amadio, Roberto M. and Lugiez, Denis. Proceedings of the 14th International Conference on Concurrency Theory (CONCUR'03), 2003, Marseilles, France, France. Springer, 2761, pp.1-26, 2003 |
||
|
inria-00638345v1
Communication dans un congrès
Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard. Diagnosis of Asynchronous Discrete Event Systems, A~Net Unfolding Approach Proceedings of the 6th Workshop on Discrete Event Systems (WODES'02), 2002, Zaragoza, Spain, Spain. pp.182-190, 2002 |
||
|
hal-00938866v1
Autre publication
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet. A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers Deliverable D3.1_1 v 1.0 of the Sys2soft collaborative project "Physics Aware Software". 2013 |
||
|
inria-00554271v1
Communication dans un congrès
Albert Benveniste, Benoît Caillaud, Marc Pouzet. The Fundamentals of Hybrid Systems Modelers 49th IEEE Conference on Decision and Control (CDC 2010), Dec 2010, Atlanta, United States. IEEE Computer Society, 2010 |
||
|
inria-00554297v1
Communication dans un congrès
Benoit Delahaye, Benoît Caillaud, Axel Legay. Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems. 10th International Conference on Application of Concurrency to System Design (ACSD), Jun 2010, Braga, Portugal. IEEE Computer Society, 2010 |
||
|
hal-00654113v1
Communication dans un congrès
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code Embedded Software (EMSOFT), 2011, Oct 2011, Taipei, Taiwan. 2011, <10.1145/2038642.2038664> |
||
|
hal-00654112v1
Communication dans un congrès
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. Divide and recycle: types and compilation for a hybrid synchronous language Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Apr 2011, Chicago, IL, United States. 2011, <10.1145/1967677.1967687> |
||
|
inria-00554321v1
Communication dans un congrès
Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoit Delahaye et al. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems John Hatcliff and Elena Zucca. Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings, Jun 2010, Amsterdam, Netherlands. Springer, 6117, pp.32-46, 2010 |
||
|
inria-00070396v1
Rapport
Guillaume Feuillade. Modal specifications are a syntactic fragment of the Mu-calculus [Research Report] RR-5612, INRIA. 2005, pp.17 |
||
|
hal-00766735v1
Communication dans un congrès
Benoît Caillaud, Jean-Baptiste Raclet. Ensuring Reachability by Design Abhik Roychoudhury and Meenakshi D'Souza. Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Sep 2012, Bangalore, India. Springer, 7521, pp.213-227, 2012, Lecture Notes in Computer Science; Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings. <10.1007/978-3-642-32943-2_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 |
||
|
|
||