Research Reports

2012

1. Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas Henzinger, Kim G. Larsen. Contracts for System Design. Rapport de recherche INRIA, No 8147, November 2012. download

2009

1. Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski. Compositional Design Methodology with Constraint Markov Chains. Research Report INRIA, No 0, 2009. download
2. Benoît Delahaye, Benoît Caillaud, Axel Legay. Compositional Reasoning on (Probabilistic) Contracts. Research Report INRIA, No 0, 2009. download
3. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone. Why are modalities good for Interface Theories?. Research Report INRIA, No 6899, 2009. download

2008

1. Benoît Delahaye, Benoît Caillaud. A model for Probabilistic Reasoning on Assume/Guarantee Contracts. Research Report INRIA, No 6719, 2008. download
2. Christophe Morvan, Sophie Pinchinat. Diagnosis of Pushdown Systems. PI Irisa, No 1904, November 2008. download

2007

1. Eric Badouel, Rodrigue Djeumen. Modular Grammars and Splitting of Catamorphisms. Research Report INRIA, No 6313, October 2007. download
2. Eric Badouel, Marcel Tonga. Growing a Domain Specific Language with Split Extensions. Research Report INRIA, No 6314, October 2007. download
3. Eric Badouel, Bernard Fotsing, Rodrigue Tchougong. Yet Another Implementation of Attribute Evaluation. Research Report INRIA, No 6315, October 2007. download
4. Philippe Darondeau, Blaise Genest, Loïc Hélouët. Products of Message Sequence Charts. Research Report INRIA, No 6258, July 2007. download
5. Albert Benveniste, Benoît Caillaud, Roberto Passerone. A Generic Model of Contracts for Embedded Systems. Research report INRIA Rennes, No 6214, June 2007. download
6. Philippe Darondeau, Laure Petrucci. Modular Automata 2 Distributed Petri Nets 4 Synthesis. Research Report INRIA, No 6192, May 2007. download
7. Jean-Baptiste Raclet. Residual for Component Specifications. Research Report INRIA, No 6196, May 2007. download

2005

1. Eric Badouel, Marek A. Bednarczyk, Andrzej Borzyszkowski, Benoît Caillaud, Philippe Darondeau. Concurrent Secrets. Rapport de recherche INRIA, No 5771, November 2005. download
2. Guillaume Feuillade. Modal specifications are a syntactic fragment of the Mu-calculus. Research Report INRIA, No 0, June 2005. download
3. Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud. Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications. Research report IRISA, No 1730, June 2005. download

2004

1. Eric Badouel, Jules Chenou, Goulven Guillou. Petri Algebras. Research Report INRIA, No 5355, November 2004. download
2. Jean-Baptiste Raclet, Sophie Pinchinat. The Control of Non-deterministic Systems. PI Irisa, No 1648, October 2004.
3. Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste. Concurrency in Synchronous Systems. Research Report INRIA, No 5110, February 2004. download

2003

1. Andrzej Borzyszkowski, Philippe Darondeau. Transition Systems without Transitions. Manuscript IPI PAN, No 964, October 2003.
2. Guillaume Feuillade, Thomas Genet, Valérie Viet Triem Tong. Reachability Analysis over Term Rewriting Systems. Research report INRIA Rennes, No 4970, October 2003. download
3. Stéphane Riedweg, Sophie Pinchinat. Quantified Loop-mu-calculus for Control under Partial Observation. Research report INRIA Rennes, No 4949, September 2003. download
4. Artist. Hard Real-Time Development Environments. Roadmap report Artist, No 0, June 2003.
5. Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, W. Pawlowski, Lucia Pomello. Modular system development with pullbacks. Research report INRIA Rennes, No 4828, May 2003. download
6. Stéphane Riedweg, Sophie Pinchinat. Quantified Mu-calculus for Control Synthesis. Research report INRIA Rennes, No 4793, April 2003. download
7. Philippe Darondeau, Harro Wimmel. From bounded T-systems to 1-safe T-systems up to language equivalence. Research report INRIA Rennes, No 4708, January 2003. download

2002

1. Eric Badouel, Philippe Darondeau. The Petri net synthesis problem for automatic graphs. Research report INRIA Rennes, No 4661, December 2002. download

2001

1. Philippe Darondeau, Xiaolan Xie. Linear Control of Live Marked Graphs. Research report INRIA Rennes, No 4251, July 2001. download

2000

1. Benoît Caillaud, Jean-Pierre Talpin, Jean-Marc Jézéquel, Albert Benveniste, Claude Jard. BDL: A Semantics Backbone for UML Dynamic Diagrams. Research report INRIA Rennes, No 4003, September 2000. download
2. Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes. HMSCs as specifications. with PN as completions. Research report INRIA Rennes, No 3970, July 2000. download
3. Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic. Pre-order semantics of UML state machines. Research report IRISA, No 1336, June 2000. download

1999

1. Albert Benveniste, Paul Caspi. Distributing synchronous programs on a loosely synchronous, distributed architecture. Research report IRISA, No 1289, December 1999. download
2. Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Paul Le Guernic. Hierarchic Normal Forms for Desynchronization. Research report INRIA Rennes, No 3822, December 1999. download
3. Sophie Pinchinat, Hervé Marchand, Michel Le Borgne. Symbolic Abstractions of Automata and their application to the Supervisory Control Problem Research. Research report IRISA, No 1279, November 1999. download
4. Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic. Asynchronous deployment of synchronous transition systems. Research report IRISA, No 1269, October 1999. download
5. Eric Badouel, Philippe Darondeau, Danièle Quichaud, Andrew Tokmakoff. Modelling Dynamic Agents Systems with Cooperating Automata. Research report IRISA, No 1253, June 1999. download
6. Philippe Darondeau. On the Petri Net Realization of Context-Free Graphs. Research report INRIA Rennes, No 3674, May 1999. download
7. Albert Benveniste, Benoît Caillaud, Paul Le Guernic. From synchrony to asynchrony. Research report INRIA Rennes, No 3641, March 1999. download

1998

1. Loïc Hélouët, Claude Jard, Benoît Caillaud. An Effective Equivalence for Sets of Scenarios Represented by HMSCs. Research report INRIA Rennes, No 3499, September 1998. download
2. Olga Kushnarenko, Sophie Pinchinat. Intensional Approaches for Symbolic Methods. Research report INRIA Rennes, No 3448, July 1998. download
3. Philippe Darondeau, Vincent Schmitt. State Graphs of Stratified Flip-Flop Nets. Research report IRISA, No 1177, March 1998. download
4. Philippe Darondeau. Deriving Unbounded Petri Nets from Formal Languages. Research report INRIA Rennes, No 3365, February 1998. download
5. Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon. BDL, a language of distributed reactive objects. Research report Inria-Rennes, No 3353, February 1998. download

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.