Publications 2002

Books

  1. Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie (eds.). Synthesis and Control of Discrete Event Systems. Kluwer Academic Press, 2002. details download

Academic Journals

  1. Eric Badouel, Benoît Caillaud, Philippe Darondeau. Distributing Finite Automata through Petri Net Synthesis. Journal on Formal Aspects of Computing, 13:447-470, 2002. details
  2. Loïc Hélouët, Claude Jard, Benoît Caillaud. An Event Structure Semantics for Message Sequence Chart. Mathematical Structures in Computer Science, 12:377-403, 2002. details

International Conferences

  1. Marek Bednarczyk, Philippe Darondeau. Looking for diamonds. In Synthesis and Control of Discrete Event Systems, Benoît Caillaud, Philippe Darondeau, L. Lavagno, X. Xie (eds.), Pages 214-219, 2002. details download
  2. Markus Lohrey. Safe realizability of high-level message sequence charts. In Concurrency Theory, 13th International Conference CONCUR'02, Lecture Notes in Computer Science, Volume 2421, Pages 177-192, 2002. details download
  3. Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis. A Protocol for Loosely Time-Triggered Architectures. In Embedded Software, Second International Workshop, EMSOFT 2002, Sangiovanni-Vincentelli, A. and Sifakis, J. A. and Sifakis, J. (ed.), Lecture Notes in Computer Science, Volume 2491, Pages 252-265, Grenoble, October 2002. details download
  4. Paul Caspi, Albert Benveniste. Toward an Approximation Theory for Computerised Control. In Embedded Software, Second International Workshop, EMSOFT 2002, A. Sangiovanni-Vincentelli, J. Sifakis (eds.), Lecture Notes in Computer Science, Volume 2491, Pages 294-304, Grenoble, October 2002. details download
  5. Albert Benveniste. Non-massive, Non-high Performance, Distributed Computing. In Euro-Par 2002, Parallel Processing, B. Monien, R. Feldmann (eds.), Lecture Notes in Computer Science, Volume 2400, Pages 29-48, Paderborn, Germany, August 2002. details download
  6. Markus Lohrey, Anca Muscholl. Bounded MSC Communication. In Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002, M. Nielsen, U. Engberg (eds.), Lecture Notes in Computer Science, Volume 2303, Pages 295-309, Grenoble, France, April 2002. details download

Research Reports

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

Thesis

  1. Pierre Le Maigat. Techniques algébriques max-plus pour l'analyse des performances temporelles de systèmes concurrents. PhD Thesis université de Rennes 1, école doctorale Matisse, September 2002. details

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.


This page is part the S4 project web site.
It has been automatically generated using the bib2html program.