Publications 2003

Books

1. Proceedings of the ATPN-Workshop on Discrete Event Systems Control. Philippe Darondeau, Sadatoshi Kumagai (eds.), BETA-RR, June 2003.

Academic Journals

1. Albert Benveniste, Paul Caspi, Stephen Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone. The Synchronous Languages Twelve Years Later. Proceedings of the IEEE, 91(1):64-83, 2003.
2. Philippe Darondeau, Xiaolan Xie. Linear Control of Live Marked Graphs. Automatica, 39(3):429-440, 2003.

International Conferences

1. Albert Benveniste, Benoît Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. In FMCO 2003, Proceedings of the Second International Symposium on Formal Methods for Components and Objects, Lecture Notes in Computer Science, Volume 3188, Pages 1-16, 2003.
2. Albert Benveniste, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Heterogeneous reactive systems modeling and correct-by-construction deployment. In Embedded software, third international conference, EMSOFT 2003, R. Alur, I. Lee (eds.), Lecture notes in computer science, Volume 2855, Pages 35-50, October 2003. download
3. Dumitru Potop-Butucaru. The Kahn Principle for Networks of Synchronous Endochronous Programs. In Proceedings of the 1st International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Architectures (FMGALS 2003), Pages 123-132, Pisa, Italy, September 2003.
4. Stéphane Riedweg, Sophie Pinchinat. Quantified Mu-Calculus for Control Synthesis. In MFCS 2003, 28th International Symposium on Mathematical Foundations of Computer Science, Lecture notes in computer science, Volume 2747, Pages 642-651, August 2003. download
5. Eric Badouel, Jules Chenou. Nets Enriched over Closed Monoidal Structures. In Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, W. van der Aalst, E. Best (eds.), Lecture Notes in Computer Science, Volume 2679, Pages 64-81, Eindhoven, The Netherlands, June 2003.
6. Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, W. Pawlowski, Lucia Pomello. Modular system development with pullbacks. In Applications and Theory of Petri Nets 2003, Lecture Notes in Computer Science, Volume 2679, Pages 140-160, June 2003.
7. Guillaume Feuillade, Thomas Genet. Reachability in conditional term rewriting systems. In FTP 2003, International Workshop on First-Order Theorem Proving, I. Dahn, L. Vigneron (eds.), Electronic Notes in Theoretical Computer Science, Volume 86, Valencia, Spain, June 2003. download
8. Dumitru Potop-Butucaru, Robert de Simone. Optimizations for Faster Execution of Esterel Programs. In Proceedings of the 1st ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), Pages 227-236, Mont-Saint-Michel, France, June 2003.

Research Reports

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

Thesis

1. Sophie Pinchinat. Contributions à l'analyse et au contrôle des systèmes réactifs. Habilitation à diriger des recherches Université de Rennes 1, école doctorale MATISSE, December 2003.
2. Stéphane Riedweg. Logiques pour le contrôle d'automatismes discrets. PhD Thesis Université de Renne 1, école doctorale MATISSE, December 2003.

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.