Publications 2005

Books

1. Gianfranco Ciardo, Philippe Darondeau, (eds.). 26th International Conference on Applications and Theory of Petri Nets, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings. Lecture Notes in Computer Science, Springer, Miami, USA, June 2005.

Academic Journals

1. Andrzej Borzyszkowski, Philippe Darondeau. Transition systems without transitions. Theoretical Computer Science, 338:1-16, 2005.
2. Philippe Darondeau. Equality of languages coincides with isomorphism of reachable state graphs for bounded and persistent Petri nets. Information Processing Letters, 94:241-245, 2005.
3. Guillaume Feuillade, Sophie Pinchinat. Spécifications modales de réseaux de Petri. Journal Européen des Systèmes Automatisés, 39(1), October 2005.
4. Sophie Pinchinat, Stéphane Riedweg. A Decidable Class of Problems for Control under Partial Observation. Information Processing Letters, 95(4):454-465, August 2005.

International Conferences

1. Eric Badouel, Jules Chenou, Goulven Guillou. Petri Algebras. In Automata, Languages and Programming, ICALP'2005, L. Caires, G. Italiano, L. Monteiro, C. Palamidessi, M. Yung (eds.), Lecture Notes in Computer Science, Volume 3580, Pages 742-754, 2005.
2. Sohini Dasgupta, Dumitru Potop-Butucaru, Benoît Caillaud, Alex Yakovlev. From weakly endochronous systems to delay-insensitive circuits. In Proceedings of the second international workshop on formal methods for globally asynchronous locally synchronous design (FMGALS 2005), 2005.
3. Jacques Klein, Benoît Caillaud, Loïc Hélouët. Merging Scenarios. In Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS'04, Electronic Notes in Theoretical Computer Science, Volume 133, Pages 193-215, Linz, Austria, 2005. download
4. Dumitru Potop-Butucaru, Robert de Simone, Jean-Pierre Talpin. The Synchronous Hypothesis and Synchronous Languages. In Embedded Systems Handbook, R. Zurawski (ed.), 2005.
5. Dumitru Potop-Butucaru, Benoît Caillaud. Correct-by-construction asynchronous implementation of modular synchronous specifications. In Proceedings of the Fifth International Conference on Application of Concurrency to System Design, ACSD 2005, 2005.
6. Philippe Darondeau. Distributed implementations of Ramadge-Wonham supervisory control with Petri nets. In 44th IEEE Conference on Decision and Control and European Control Conference, Pages 2107-2112, Sevilla, Spain, December 2005.
7. Stéphane Riedweg, Sophie Pinchinat. On the Architectures in Decentralized Supervisory Control. In 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005, Seville, Spain, December 2005.
8. Albert Benveniste, Benoît Caillaud, Luca Carloni, Alberto Sangiovanni-Vincentelli. Tag Machines. In Proceedings of the fifth ACM International Conference on Embedded Software (Emsoft), Pages 255-263, Jersey City, NJ, USA, September 2005. download
9. Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud. From multi-clocked synchronous processes to latency-insensitive modules (short paper). In Proceedings of the fifth ACM International Conference on Embedded Software (Emsoft), Pages 282-285, Jersey City, NJ, USA, September 2005. download
10. Jean-Baptiste Raclet, Sophie Pinchinat. The control of non-deterministic Systems: a logical approach. In Proc. 16th IFAC Word Congress, Prague, Czech Republic, July 2005.
11. Stéphane Riedweg, Sophie Pinchinat. You Can Always Compute Maximally Permissive Controllers Under Partial Observation When They Exist. In Proc. 2005 American Control Conference, Portland, Oregon, June 2005.

Research Reports

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

Thesis

1. Guillaume Feuillade. Spécification logique de réseaux de Petri. PhD Thesis Université de Rennes 1, école doctorale MATISSE, December 2005.

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.