Publications 2008

Academic Journals

  1. Eric Badouel, Maurice TchoupéYahya Slimani. Projections et cohérence de vues dans les grammaires algébriques. Revue ARIMA, 8, 2008. details download
  2. Albert Benveniste, Benoît Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Composing Heterogeneous Reactive Systems. ACM Transactions on Embedded Computing Systems (TECS), 7(4), 2008. details download

International Conferences

  1. Eric Badouel, Bernard Fotsing, Rodrigue Tchougong. Attribute grammars as recursion schemes over cyclic representations of zippers. In Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science (CMCS 2008), Elsevier (ed.), Electronic Notes in Theoretical Computer Science, Pages 37-54, 2008. details
  2. Eike Best, Philippe Darondeau. Decomposition Theorems for Bounded Persistent Petri Nets. In Applications and Theory of Petri Nets, Springer Berlin / Heidelberg (ed.), Lecture Notes in Computer Science, Volume 5062, Pages 33-51, 2008. details
  3. Philippe Darondeau, Blaise Genest, P. S. S. Thiagarajan, Shaofa Yang. Quasi-Static Scheduling of Communicating Tasks. In CONCUR 2008 - Concurrency Theory, Springer-Verlag (ed.), Lecture Notes in Computer Science, Volume 5201, Pages 310-324, Berlin/Heidelberg, 2008. details
  4. Philippe Darondeau. On the Synthesis of Zero-Safe Nets. In Concurrency, Graphs and Models. Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, Springer Berlin / Heidelberg (ed.), Lecture Notes in Computer Science, Volume 5065, 2008. details
  5. Philippe Darondeau, Blaise Genest, Loïc Hélouët. Products of Message Sequence Charts. In Foundations of Software Science and Computational Structures, Springer Berlin / Heidelberg (ed.), Lecture Notes in Computer Science, Volume 4962, Pages 458-473, 2008. details
  6. Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alex Yakovlev. Synthesis of Nets with Step Firing Policies. In Applications and Theory of Petri Nets, Springer Berlin / Heidelberg (ed.), Lecture Notes in Computer Science, Volume 5062, Pages 112-131, 2008. details
  7. Paul Caspi, Albert Benveniste. Time-Robust discrete control over networked Loosely Time-Triggered Architectures. In IEEE Control and Decision Conference, December 2008. details download
  8. Bernard Fotsing. Interactive editing of tree-structured data. In Proceedings of the 9th African Conference on Research in Computer Science and Applied Mathematics (CARI'08), Abderrahmane Sbihi, Marc Kokou Assogba Eric Badouel (ed.), Pages 711-718, October 2008. details
  9. Eric Badouel, Maurice Tchoupé. Merging Hierarchically-Structured Documents in Workflow Systems. In Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science (CMCS 2008), Elsevier (ed.), Electronic Notes in Theoretical Computer Science, Volume 203, Pages 3-24, June 2008. details
  10. Andreas Bauer, Sophie Pinchinat. A Topological Perspective on Diagnosis. In Proceedings of the 9th International Workshop on Discrete Event Systems (WODES'08), B. Lennartson, M. Fabian, K. Akesson, A. Giua, R. Kumar (eds.), Pages 28-30, May 2008. details
  11. Jérémy Dubreil, Philippe Darondeau, Hervé Marchand. Opacity Enforcing Control Synthesis. In Proceedings of the 9th International Workshop on Discrete Event Systems (WODES'08), B. Lennartson, M. Fabian, K. Akesson, A. Giua, R. Kumar (eds.), Pages 28-35, Göteborg, Sweden, May 2008. details
  12. Laurie Ricker. Asymptotic Minimal Communication for Decentralized Discrete-Event Control. In Proceedings of the 9th International Workshop on Discrete Event Systems (WODES'08), B. Lennartson, M. Fabian, K. Akesson, A. Giua, R. Kumar (eds.), Pages 486-491, May 2008. details

Research Reports

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


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