International Conferences

2012

  1. Benoît Caillaud, Jean-Baptiste Raclet. Ensuring Reachability by Design. In Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, Abhik Roychoudhury, Meenakshi D'Souza (eds.), Lecture Notes in Computer Science, Volume 7521, Pages 213-227, 2012. details
  2. Albert Benveniste, Benoît Caillaud, Raclet Jean-Baptiste. Application of Interface Theories to the Separate Compilation of Synchronous Programs. In Proc. of the 51st IEEE Conference on Decision and Control (CDC'12), Hawaii, December 2012. details download

2011

  1. Eric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda. Residuation of tropical series: rationality issues. In CDC-ECC, IEEE society (ed.), 2011. details
  2. Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. Divide and recycle: types and compilation for a hybrid synchronous language. In Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Chicago, IL, USA, April 11-14, 2011, Jan Vitek, Bjorn De Sutter (eds.), Pages 61-70, 2011. details download
  3. Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. In Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, Samarjit Chakraborty, Ahmed Jerraya, Sanjoy K. Baruah, Sebastian Fischmeister (eds.), Pages 137-148, 2011. details download
  4. Eike Best, Philippe Darondeau. Petri Net Distributability. In PSI, Lecture Notes in Computer Science, Volume 7162, 2011. details
  5. Philippe Darondeau, Laurie Ricker. Towards Distributed Control of Discrete Event Systems. In Workshop on Applications of Region Theory, Jörg Desel, Alex Yakovlev (eds.), CEUR Workshop Proceedings, Volume 725, Pages 63-78, 2011. details download
  6. Philippe Darondeau, Sté Demri, Roland Meyer, Christophe Morvan. Petri Net Reachability Graphs: Decidability Status of FO Properties. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011, December 12-14, 2011, Mumbai, India, Supratik Chakraborty, Amit Kumar (eds.), LIPIcs, Volume 13, Pages 140-151, 2011. details
  7. Philippe Darondeau, Lo\"\i Hélou\"et, Madhavan Mukund. Assembling Sessions. In Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, Tevfik Bultan, Pao-Ann Hsiung (eds.), Lecture Notes in Computer Science, Volume 6996, Pages 259-274, 2011. details
  8. Bastien Maubert, Sophie Pinchinat, Laura Bozzelli. Opacity Issues in Games with Imperfect Information. In Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, Giovanna D'Agostino, Salvatore La Torre (eds.), EPTCS, Volume 54, Pages 87-101, 2011. details

2010

  1. Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. In Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings, John Hatcliff, Elena Zucca (eds.), Lecture Notes in Computer Science, Volume 6117, Pages 32-46, 2010. details
  2. Ananda Basu, Marius Bozga, Saddek Bensalem, Benoît Delahaye, Axel Legay, Emmanuel Sifakis. Verification of an AFDX Infrastructure using Simulations and Probabilities. In Proc. 1st International Conference on Runtime Verification, Malta, Lecture Notes in Computer Science, Volume, Pages 0-0, 2010. details
  3. Albert Benveniste, Benoît Caillaud, Marc Pouzet. The Fundamentals of Hybrid Systems Modelers. In 49th IEEE Conference on Decision and Control (CDC 2010), 2010. details
  4. Timothy Bourke, Arcot Sowmya. Delays in Esterel. In 09481 Abstracts Collection - SYNCHRON 2009, Albert Benveniste, Stephen A. Edwards, Edward Lee, Klaus Schneider, Reinhard von Hanxleden (eds.), Dagstuhl Seminar Proceedings, Pages 55-84, Dagstuhl, Germany, 2010. details download
  5. Laura Bozzelli, Sophie Pinchinat, Axel Legay. Hardness of preorder checking for basic formalisms. In Proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16, Lecture Notes in Articifial Intellingence, Volume 6355, Dakar, Senegal, 2010. details
  6. Benoît Caillaud, Benoît Delahaye, Kim G. G. Larsen, Axel Legay, Mikkel Larsen Pedersen, Andrzej Wasowski. Compositional design methodology with constraint Markov chains. In Proceedings of the 7th International Conference on Quantitative Evaluation of SysTems (QEST) 2010, 2010. details download
  7. R. Chadha, A. Legay, P. Prabhakar, M. Viswanathan. Complexity bounds for the verification of real-time software. In Proc. 11th International Conference on Verification, Model Checking, and Abstraction Interpretation, Madrid, Lecture Notes in Computer Science, Volume 5944, Pages 95-111, 2010. details
  8. A. Classen, P. Heymans, A. Legay, J-F Raskin, P-Y Schobbens. Model Checking lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines. In Proc. 32nd International Conference on Software Engineering, ACM, Cap Town,, Pages 335-344, 2010. details
  9. Alexandre David, Kim G. G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski. ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. In Proc. 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, Singapore, Lecture Notes in Computer Science, Volume 6252, Pages 365-370, 2010. details
  10. Alexandre David, Kim G. G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski. Timed I/O Automata: A Complete Specification Theory for Real-time Systems. In Proc. 13th International Conference on Hybrid Systems, ACM, Stockholm,, Pages 91-100, 2010. details
  11. Alexandre David, Kim G. G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski. Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. In Proc. 8th Symposium on Automated Technology for Verification and Analysis, Singapore, Lecture Notes in Computer Science, Pages 0-0, 2010. details
  12. Benoît Delahaye, Benoît Caillaud, Axel Legay. Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems. In Proc. 10th International Conference on Application of Concurrency to System Design (ACSD), Braga, Portugal, 2010. details download
  13. Hans van Ditmarsch, Tim French, Sophie Pinchinat. Future Event Logic - axioms and complexity. In Proceedings of Advances in Modal Logic, Moscow. Russia (ed.), Lecture Notes in Computer Science, 2010. details
  14. Eike Best, Philippe Darondeau, Roberto Gorrieri. On the Decidability of Non Interference over Unbounded Petri Nets. In 8th International Workshop on Security Issues in Concurrency, SecCo 2010, Paris, France, August 2010. details
  15. Ph. Darondeau, J. Dubreil, H. Marchand. Supervisory Control for Modal Specifications of Services. In Workshop on Discrete Event Systems, WODES'10, Pages 428-435, Berlin, Germany, August 2010. details
  16. Eike Best, Philippe Darondeau. Separability in Persistent Petri Nets. In Applications and Theory of Petri Nets, ATPN 2010, Pages 246-266, Braga, Portugal, June 2010. details

2009

  1. Albert Benveniste, Benoît Caillaud, Roberto Passerone. Multi-Viewpoint State Machines for Rich Component Models. In Model-Based Design of Heterogeneous Embedded Systems, Pieter Mosterman, Gabriela Nicolescu (eds.), 2009. details download
  2. Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis. Actors without Directors: A Kahnian View of Heterogeneous Systems. In HSCC, Pages 46-60, 2009. details
  3. E.M. Clarke, C. J. Langmead, A. Legay, S.K. Jha, A. Platzer, P. Zuliani. A Bayesian Approach to Model Checking Biological Systems. In Proc. 7th Annual Conference on Computational Methods in Systems Biology, Lecture Notes in Computer Science (Bioinformatics), Volume 5688, Pages 218-234, 2009. details
  4. Alexandre Donzé, G. Clermont, C. J. Langmead, Axel Legay. Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. In Proc. 13th Annual International Conference on Research in Computational Molecular Biology, Lecture Notes in Computer Science, Volume 5541, Pages 155-169, 2009. details
  5. A. Legay, M. Viswanathan. Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems (tutorial). In Proc. 6th International Conference on Quantitative Evaluation of Systems, 2009. details
  6. Bastien Maubert, Sophie Pinchinat. Games with Opacity Condition. In Proceedings of the 3rd International Workshop on Reachability Problem, Lecture Notes in Computer Science, Volume 5797, Pages 166-175, Palaiseau, France, 2009. details
  7. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone. Why are modalities good for Interface Theories?. In Proc. of the 9th International Conference on Application of Concurrency to System Design (ACSD'09),, Pages 119-127, 2009. details download
  8. Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. A Compositional Approach on Modal Specifications for Timed Systems. In Proc. of the 11th International Conference on Formal Engineering Methods (ICFEM'09), Lecture Notes in Computer Science, Rio de Janeiro, Brazil, December 2009. details
  9. Laura Bozzelli, Sophie Pinchinat, Axel Legay. On Timed Alternating Simulation for Concurrent Timed Games. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), Leibniz International Proceedings in Informatics, IIT Kanpur, India, December 2009. details
  10. Christophe Morvan, Sophie Pinchinat. Diagnosability of Pushdown Systems. In Proceedings of the Haifa Verification Conference, HVC2009, Haifa, Israel, October 2009. details
  11. Jean-Baptiste Raclet, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone. Modal Interfaces: Unifying Interface Automata and Modal Specifications. In Proc. 9th International Conference on Embedded Software (EMSOFT'09), October 2009. details download
  12. Laurie Ricker, Benoît Caillaud. Revisiting State-Baed Models for Synthesizing Optimal Communicating Decentralized Discrete-Event Controllers. In European Control Conference 2009 (ECC'09), Budapest, Hungary, August 2009. details
  13. John McCabe-Dansted, Tim French, Sophie Pinchinat, Mark Reynolds. On the Expressivity of RoCTL*. In Proceedings of the 16th International Symposium on Temporal Representation and Reasoning, Brixen-Bressanone, Italy, July 2009. details
  14. Mateus Oliveira. Hasse Diagram Generators and Petri Nets. In Petri Nets 2009: 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Lecture Notes in Computer Science, Volume, Paris, France, June 2009. details
  15. Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet. Refinement and Consistency of Timed Modal Specifications. In Proceedings of the 3rd International Conference on Language and Automata Theory and Applications (LATA'09), Lecture Notes in Computer Science, Volume 5457, Pages 152-163, Tarragona, Spain, April 2009. details
  16. Dietmar Berwanger, Sophie Pinchinat. Game Quantification Patterns. In Proceedings of the 3rd Indian Conference on Logic and its Applications, ICLA2009, Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming, Lecture Notes in Artificial Intelligence, Volume 5378, Chennai, India, January 2009. details
  17. Dietmar Berwanger, Sophie Pinchinat. Game Quantification Patterns. In Proceedings of the 3rd Indian Conference on Logic and its Applications, ICLA 2009, Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming, Lecture Notes in Artificial Intelligence, Volume 5378, Chennai, India, January 2009. details

2008

  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

2007

  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. details 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. details
  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. details
  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. details
  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. details
  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. details

2006

  1. Eric Badouel, Tchoupé Maurice. Cohérence de vues dans les grammaires algébriques. In Actes du CARI 2006, K. Assogba, Eric Badouel, Y. Slimani (eds.), Pages 115-122, 2006. details download
  2. Albert Benveniste, Benoît Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Communication by Sampling in Time-Sensitive Distributed Systems. In Proceedings of the Sixth Annual ACM Conference on Embedded Software, EMSOFT'06, Pages 152-160, 2006. details download
  3. Jan Komenda, Hervé Marchand, Sophie Pinchinat. A Constructive and Modular Approach to Decentralized Supervisory Control Problems. In 3rd IFAC Workshop on Discrete-Event System Design, DESDes'06, Rydzyna Castle, Poland, September 2006. details
  4. Eric Badouel, Marek A. Bednarczyk, Andrzej Borzyszkowski, Benoît Caillaud, Philippe Darondeau. Concurrent Secrets. In 8th Workshop on Discrete Event Systems, WODES'06, S. Lafortune, F. Lin, D. Tilbury (eds.), Ann Arbor, Michigan, USA, July 2006. details
  5. Thierry Jéron, Hervé Marchand, Sophie Pinchinat, Marie-Odile Cordier. Supervision Patterns in Discrete Event Systems Diagnosis. In 8th Workshop on Discrete Event Systems, WODES'06, Ann Arbor, Michigan, USA, July 2006. details

2005

  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. details
  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. details
  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. details 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. details
  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. details
  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. details
  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. details
  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. details 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. details 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. details
  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. details

2004

  1. Eric Badouel, Jules Chenou. Les algèbres de Petri commutatives. In 7th African Conference on Research in Computer Science, CARI'04, 2004. details
  2. Philippe Darondeau. Unbounded Petri Net Synthesis. In Lectures on Concurrency and Petri Nets, Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (eds.), Lecture Notes in Computer Science, Volume 3098, Pages 413-438, 2004. details
  3. Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste. Concurrency in Synchronous Systems. In Proceedings of the International Conference on Application of Concurrency to System Design, ACSD 2004, 2004. details
  4. Dumitru Potop-Butucaru, Robert de Simone. Optimizations for Faster Execution of Esterel Programs. In Formal Methods and Models for System Design, R. Gupta, P. Le Guernic, S. Shukla, J.-P. Talpin (eds.), 2004. details download
  5. Albert Benveniste, Benoît Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Heterogeneous Reactive Systems Modeling: Capturing Causality and the Correctness of Loosely Time-Triggered Architectures (LTTA). In Proceedings of the Fourth ACM International Conference on Embedded Software, EMSOFT'04, September 2004. details download
  6. Stéphane Riedweg, Sophie Pinchinat. Maximally Permissive Controllers in All Contexts. In WODES'04, 7th IFAC Workshop on Discrete Event Systems, September 2004. details

2003

  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. details
  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. details 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. details
  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. details 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. details
  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. details
  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. details 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. details

2002

  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

2001

  1. Eric Badouel, Marek A. Bednarczyk, Philippe Darondeau. Generalized Automata and their Net Representations. In Unifying Petri Nets, Advances in Petri Nets, H. Ehrig, G. Juhás, J. Padberg, G. Rozenberg (eds.), Lecture Notes in Computer Science, Volume 2128, Pages 304-345, 2001. details download
  2. Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes. HMSCs as specifications. with PN as completions. In Modeling and Verification of Parallel Processes, F. Cassez, Claude Jard, B. Rozoy, M. Dermot (eds.), Lecture Notes in Computer Science, Volume 2067, Pages 125-152, 2001. details
  3. Albert Benveniste. Some Synchronization Issues When Designing Embedded Systems from Components. In Embedded Software, First International Workshop, EMSOFT 2001, T.A. Henzinger, C. M. Kirsch (eds.), Lecture Notes in Computer Science, Volume 2211, Pages 32-49, Tahoe City, CA, USA, October 2001. details download
  4. Marek Bednarczyk, Philippe Darondeau. Looking for diamonds. In Proceedings of the Workshop on Synthesis of Concurrent Systems, Philippe Darondeau, L. Lavagno (eds.), Pages 11-18, Newcastle upon Tyne, UK, June 2001. details

2000

  1. Loïc Hélouët, Pierre Le Maigat. Decomposition of message sequence charts. In Proceedings of the 2nd Workshop on SDL and MSC, SAM'2000, Pages 47-60, Grenoble, France, 2000. details
  2. Olga Kushnarenko, Sophie Pinchinat. Intensional Approaches for Symbolic Methods. In Electronic Notes in Theoretical Computer Science, P. Jancar, M. Kretinsky (eds.), Volume 18, 2000. details
  3. Pierre Le Maigat, Loïc Hélouët. A (max,+) approach for time in message sequence charts. In Proceedings of the 5th Workshop on Discrete Event Systems, R. Boel, G. Stremersch (eds.), Pages 83-92, Ghent, Belgium, 2000. details
  4. A. Turodet, S. Nadjm-Tehrani, Albert Benveniste, J. E. Strömberg. Co-simulation of Hybrid Systems: Signal-Simulink. In Proceedings of 6th international school and symposium on Formal Techniques in Real-time and Fault-tolerant Systems, 2000. details
  5. Sophie Pinchinat, Hervé Marchand. Symbolic Abstractions of Automata. In Proc of 5th Workshop on Discrete Event Systems, WODES 2000, Pages 39-48, Ghent, Belgium, August 2000. details
  6. Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic. Compilation and distribution of state machines using Spots. In 16th IFIP World Computer Congress (WCC'2000), August 2000. details
  7. Philippe Darondeau. Region Based Synthesis of P/T-Nets and Its Potential Applications. In Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000, Lecture Notes in Computer Science, Volume 1825, Aarhus, Denmark, June 2000. details download
  8. Hervé Marchand, Sophie Pinchinat. Supervisory Control Problem using Symbolic Bisimulation Techniques. In 2000 American Control Conference, Pages 4067-4071, Chicago, Illinois, USA, June 2000. details
  9. Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic. A semantics of UML state-machines using synchronous pre-order transition systems. In International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'2000), March 2000. details

1999

  1. Eric Badouel, Philippe Darondeau, Andrew Tokmakoff. Modelling Dynamic Agents Systems with Cooperating Automata. In PDPTA'99, Pages 11-17, Las Vegas, USA, 1999. details
  2. Albert Benveniste, Benoît Caillaud, Paul Le Guernic. From Synchrony to Asynchrony. In CONCUR'99, Concurrency Theory, 10th International Conference, J.C.M. Baeten, S. Mauw (eds.), Lecture Notes in Computer Science, Volume 1664, Pages 162-177, August 1999. details

1998

  1. Albert Benveniste, Stéphane Gaubert, Claude Jard. Monotone rational series and max-plus algebraic models of real-time systems. In Proc. of the Fourth Workshop on Discrete Event Systems (WODES98), Cagliari, Italy, 1998. details
  2. Philippe Darondeau. Deriving unbounded nets from formal languages. In CONCUR'98, Lecture Notes in Computer Science, Volume 1466, Pages 533-548, 1998. details
  3. Sophie Pinchinat, Eric Rutten, R. K. Shyamasundar. Taxonomy and Expressiveness of Preemption: A syntactic approach. In Advances in Computing Science - ASIAN'98, A. Ohori J. Hsiang (ed.), Pages 111-125, Manila, The Philippines, December 1998. details
  4. Albert Benveniste, Claude Jard, Stéphane Gaubert. Algebraic techniques for timed systems. In Proceedings of CONCUR'98, Nice, France, September 1998. details
  5. Albert Benveniste, M. Siegel, L. Holenderski, Klaus Winkelmann, E. Sefton, Eric Rutten, Paul Le Guernic, Thierry Gautier. Safety Critical Embedded Systems Design: the SACRES approach. In Formal Techniques in Real-Time and Fault Tolerant systems, FTRTFT'98 school, Lyngby, Denmark, September 1998. details
  6. Albert Benveniste. Synchronous languages and reactive system design. In Proceedings of the 9th IFAC-INCOM'98, Nancy, France, June 1998. details
  7. Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon. BDL, a Language of Distributed Reactive Objects. In ISORC'98, The 1st IEEE International Symposium on Object-oriented Real-time Distributed Computing, Kyoto, Japan, April 1998. 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.