Publications 2007

Academic Journals

1. Eric Badouel, Jules Chenou, Gurvan Guillou. An axiomatization of the token game based on Petri algebras. Fundamenta Informaticae, 77(3):187-215, 2007.
2. Eric Badouel, Maurice TchoupéYahya Slimani. Projections et cohérence de vues dans les grammaires algébriques. Revue ARIMA, 2007. download
3. Eike Best, Philippe Darondeau, Harro Wimmel. Making Petri Nets Safe and Free of Internal Transitions. Fundamenta Informaticae, 80(1):75-90, 2007.
4. Guillaume Feuillade, Sophie Pinchinat. Modal Specifications for the Control Theory of Discrete-Event Systems. Discrete Event Dynamic Systems, 17(2):211-232, 2007.
5. Dumitru Potop-Butucaru, Benoît Caillaud. Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. Fundamenta Informaticae, 78(1):131-159, 2007. download
6. Eric Badouel, Marek A. Bednarczyk, Andrzej Borzyszkowski, Benoît Caillaud, Philippe Darondeau. Concurrent Secrets. Discrete Event Dynamic Systems, 17(4):425-446, December 2007.

International Conferences

1. Albert Benveniste, Paul Caspi, Marco di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis. Loosely Time-Triggered Architectures based on Communication-by-Sampling. In Proc. 7th International Conference on Embedded Software (EMSOFT'07), 2007. download
2. Sophie Pinchinat. A generic constructive solution for concurrent games with expressive constraints on strategies. In 5th International Symposium on Automated Technology for Verification and Analysis, Tokyo, Japan, 2007.
3. Laurie Ricker, Benoît Caillaud. Mind the Gap: Expanding Communication Options in Decentralized Discrete-Event Control. In 46th IEEE Conference on Decision and Control, New Orleans, LA, USA, 2007.
4. Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis. Multiple Viewpoint Contract-Based Specification and Design. In Proceedings of the Software Technology Concertation on Formal Methods for Components and Objects (FMCO'07), Revised Lectures, Lecture Notes in Computer Science, Volume 5382, Amsterdam, The Netherlands, October 2007.
5. Jean-Baptiste Raclet. Residual for Component Specifications. In Proceedings of the 4th International Workshop on Formal Aspects of Component Software, Sophia-Antipolis, France, September 2007.
6. Philippe Darondeau. Synthesis and Control of Asynchronous and Distributed Systems. In 78th International Conference on Application of Concurrency to System Design, T. Basten, G. Juhas, S. Shukla (eds.), Bratislava, Slovak Republic, July 2007.

Research Reports

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

Thesis

1. Jean-Baptiste Raclet. Quotient de spécifications pour la réutilisation de composants. PhD Thesis \'Ecole doctorale Matisse, université de Rennes 1, 2007.

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.