• Home
• People
• Publications

International Conferences

2023

1. Nicolas Markey. Computing the Price of Anarchy in Atomic Network Congestion Games (Invited Talk). In FORMATS 2023 - International Conference on Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science, Volume 14138, Pages 3-12, Antwerp, Belgium, September 2023.
2. Saumya Shankar, Srinivas Pinisetty, Thierry Jéron. Bounded-Memory Runtime Enforcement of Timed Properties. In 30th International Symposium on Temporal Representation and Reasoning (TIME 2023)., Alexander Artikis, Florian Bruse, Luke Hunsberger (eds.), Demokritos - Athènes, Greece, September 2023.
3. Isseinie Calviac, Ocan Sankur, Francois Schwarzentruber. Improved Complexity Results and an Efficient Solution for Connected Multi-Agent Path Finding. In 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), London, United Kingdom, May 2023.
4. Ocan Sankur. Timed Automata Verification and Synthesis via Finite Automata Learning. In TACAS 2023 - 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, April 2023.
5. Bastien Thomas, Ocan Sankur. PyLTA: A Verification Tool for Parameterized Distributed Algorithms. In TACAS 2023 - 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, April 2023.

2022

1. N. Bertrand, N. Markey, S. Sadhukhan, O. Sankur. Semilinear Representations for Series-Parallel Atomic Congestion Games. In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022), Chennai, France, December 2022.
2. T. Guyet, N. Markey. Logical forms of chronicles. In TIME 2022 - 29th International Symposium on Temporal Representation and Reasoning, online, Heard & McDonald Islands, November 2022.
3. N. Bertrand, V. Gramoli, I. Konnov, M. Lazic, P. Tholoniat, J. Widder. Holistic Verification of Blockchain Consensus. In DISC 2022 - 36th International Symposium on Distributed Computing, Augusta, United States, October 2022.
4. R. Noguchi, O. Sankur, T. Jéron, N. Markey, D. Mentré. Repairing Real-Time Requirements. In ATVA 2022 - The 20th International Symposium on Automated Technology for Verification and Analysis, Beijing, China, October 2022.
5. P. Bouyer, P. Gastin, F Herbreteau, O. Sankur, B. Srivathsan. Zone-based verification of timed automata: extrapolations, simulations and what next?. In FORMATS'22, 20th International Conference on Formal Modeling and Analysis of Timed Systems, Invited contribution at FORMATS'22, Warsaw, Poland, September 2022.
6. E Fabre. Resilience in Discrete Event Systems. In WODES 2022, Prague, Czech Republic, September 2022.
7. A. Goeminne, N. Markey, O. Sankur. Non-blind Strategies in Timed Network Congestion Games. In Formal Modeling and Analysis of Timed Systems. FORMATS 2022, Lecture Notes in Computer Science, Volume 13465, Pages 183-199, Warsaw, Poland, September 2022.
8. C K Sharpe, S L Ricker, Hervé Marchand. Mutual Opacity between Multiple Adversaries. In Wodes 2022 - 16th IFAC Workshop on Discrete Event Systems, Prague, Czech Republic, September 2022.
9. N. Bertrand, V. Gramoli, I. Konnov, M. Lazic, P. Tholoniat, J. Widder. Brief Announcement: Holistic Verification of Blockchain Consensus. In PODC 2022 - The 41st ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 2022.
10. N. Bertrand, N. Markey, O. Sankur, N. Waldburger. Parameterized safety verification of round-based shared-memory systems. In ICALP 2022, Paris, France, July 2022.
11. L. Hélouet, P. Agrawal. Waiting Nets. In PETRI NETS 2022 - 43rd International Conference on Application and Theory of Petri Nets and Concurrency, Lecture Notes in Computer Science, Volume 13288, Pages 67-89, Bergen, Norway, June 2022.
12. S Akshay, H. Bazille, B. Genest, M. Vahanwala. On Robustness for the Skolem and Positivity Problems. In STACS 2022 - 39th International Symposium on Theoretical Aspects of Computer Science, Volume 219, Pages 1-20, Marseille, France, May 2022.

2021

1. S. Akshay, B. Genest, L. Hélouet, S. Krishna, S. Roychowdhury. Resilience of Timed Systems. In FSTTCS 2021 - 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Pages 1-22, Virtual Conference due to COVID, India, December 2021.
2. N. Bertrand, B. Thomas, J. Widder. Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms. In Concur 2021 - International Conference on Concurrency Theory, Pages 1-17, Paris, France, August 2021.
3. N. Bertrand, L. de Alfaro, R. J Van Glabbeek, C. Palamidessi, N. Yoshida. CONCUR Test-Of-Time Award 2021. In Concur 2021 - International Conference on Concurrency Theory, Pages 1-3, Paris, France, August 2021.
4. Jakob Piribauer, Christel Baier, Nathalie Bertrand, Ocan Sankur. Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking. In CONCUR 2021 - 32nd International Conference on Concurrency Theory, Pages 1-18, Paris, France, August 2021.
5. L. Hélouet, Z. Miklos, R. Singh. Cost and Quality in Crowdsourcing Workflows. In PETRI NETS 2021 - 42nd International Conference on Applications and Theory of Petri Nets and Concurrency, Lecture Notes in Computer Science, Volume 12734, Pages 33-54, Paris, France, June 2021.
6. Arthur Queffelec, Ocan Sankur, Fran\c cois Schwarzentruber. Planning for Connected Agents in a Partially Known Environment. In AI 2021 - 34th Canadian Conference on Artificial Intelligence, Pages 1-23, Vancouver / Virtual, Canada, May 2021.
7. Abdul Majith, Ocan Sankur, Hervé Marchand, Thai Dinh. Compositional model checking of an SDN platform. In DRCN 2021 - 17th International Conference on the Design of Reliable Communication Networks, Pages 1-8, Milan, Italy, April 2021.
8. N. Bertrand, M. Lazic, J. Widder. A Reduction Theorem for Randomized Distributed Algorithms Under Weak Adversaries. In 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'21), Pages 219-239, Copenhagen, Denmark, January 2021.

2020

1. Hugo Bazille, Blaise Genest, Cyrille Jegourel, Jun Sun. Global PAC Bounds for Learning Discrete Time Markov Chains. In CAV 2020, CAV 2020, Volume LNCS, Pages 304-326, Los Angeles, United States, 2020.
2. Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax. Succinct Population Protocols for Presburger Arithmetic. In STACS 2020, STACS 2020, Volume LIPICS, Pages 40-40, Montpellier, France, 2020.
3. G. Zinck, L. S. L. Ricker, H. Marchand, L. Hélouet. Enforcing Opacity in Modular Systems. In Ifac world Congress, Berlin, Germany, 2020.
4. N. Bertrand, N. Markey, S. Sadhukhan, O. Sankur. Dynamic network congestion games. In 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), Goa, India, December 2020.
5. Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar. Synthesizing safe coalition strategies. In FSTTCS'20, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, on line, India, December 2020.
6. E. Clement, T. Jéron, N. Markey, D. Mentré. Computing maximally-permissive strategies in acyclic timed automata. In FORMATS 2020 - 18th International Conference on Formal Modeling and Analysis of Timed Systems, Augmented version with proofs, Pages 1-33, Vienna, Austria, September 2020.
7. L. Henry, N. Markey, T. Jéron. Active learning of timed automata with unobservable resets. In FORMATS 2020 - 18th International Conference on Formal Modeling and Analysis of Timed Systems, Long version of the FORMATS2020 paper of same name, Pages 1-26, Vienna, Austria, September 2020.
8. T. Jéron, N. Markey, D. Mentré, R. Noguchi, O. Sankur. Incremental methods for checking real-time consistency. In FORMATS 2020 - 18th International Conference on Formal Modeling and Analysis of Timed Systems, 18 pages, published in Formats 2020, Pages 1-18, Vienne, Austria, September 2020.
9. R. Singh, L. Hélouet, Z. Miklos. Reducing the Cost of Aggregation in Crowdsourcing. In Web Services - (ICWS) 2020 - 27th International Conference, Proceedings of Web Services - (ICWS) 2020 - 27th International Conference, Held as Part of the Services Conference Federation SCF 2020), Volume 12406, Honolulu, United States, September 2020.
10. N. Bertrand. Concurrent Games with Arbitrarily Many Players. In 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), Prag, France, August 2020.
11. P. Bourhis, L. Hélouet, Z. Miklos, R. Singh. Data Centric Workflows for Crowdsourcing. In Petri Nets 2020 - 41st International Conference on Application and Theory of Petri Nets and Concurrency, Pages 1-39, Paris, France, June 2020.
12. Arij Elmajed, Armen Aghasaryan, Eric Fabre. Machine Learning Approaches to Early Fault Detection and Identification in NFV Architectures. In NetSoft 2020 - 6th IEEE International Conference on Network Softwarization, Pages 200-208, Ghent, France, June 2020.
13. S Akshay, B. Genest, L. Hélouet, S. Mital. Timed Negotiations. In 23rd International Conference on Foundations of Software Science and Computation Structures, Dublin (physical conference cancelled), Ireland, April 2020.

2019

1. S Akshay, H. Bazille, E. Fabre, B. Genest. Classification among Hidden Markov Models. In FSTTCS 2019 - 39th IARCS Annual Conference on. Foundations of Software Technology and Theoretical Computer Science, Volume 150 of LIPIcs, Pages 1-14, Bombay, India, December 2019.
2. N. Bertrand, P. Bouyer, A. Majumdar. Concurrent parameterized games. In FSTTCS 2019 - 39th IARCS Annual Conference on. Foundations of Software Technology and Theoretical Computer Science, Pages 1-15, Bombay, India, December 2019.
3. R. Meira-Góes, H. Marchand, S. Lafortune. Towards resilient supervisors against sensor deception attacks. In CDC 2019 - 58th IEEE Conference on Decision and Control, Pages 1-6, Nice, France, December 2019.
4. L. Hélouet, N. Markey, R. Raha. Reachability Games with Relaxed Energy Constraints. In GandALF 2019 - Tenth International Symposium on Games, Automata, Logics, and Formal Verification, EPTCS, Volume 305, Pages 17-33, Bordeaux, France, September 2019.
5. N. Bertrand, P. Bouyer, A. Majumdar. Reconfiguration and message losses in parameterized broadcast networks. In CONCUR 2019 - 30th International Conference on Concurrency Theory, Pages 1-15, Amsterdam, Netherlands, August 2019.
6. N. Bertrand, I. Konnov, M. Lazic, J. Widder. Verification of Randomized Consensus Algorithms under Round-Rigid Adversaries. In CONCUR 2019 - 30th International Conference on Concurrency Theory, Pages 1-16, Amsterdam, Netherlands, August 2019.
7. P. Bouyer, O. Kupferman, N. Markey, B. Maubert, A. Murano, G. Perelli. Reasoning about Quality and Fuzziness of Strategic Behaviours. In IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI'19), Pages 1588-1594, Macao, France, August 2019.
8. T. Charrier, A. Queffelec, O, Sankur, F. Schwarzentruber. Reachability and Coverage Planning for Connected Agents. In IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Pages 1-7, Macao, China, August 2019.
9. D. Busatto-Gaston, B. Monmege, P.-A. Reynier, O. Sankur. Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach. In CAV 2019 - 31st International Conference on Computer Aided Verification, Pages 572-590, New-York, United States, July 2019.
10. Victor Roussanaly, Ocan Sankur, Nicolas Markey. Abstraction Refinement Algorithms for Timed Automata. In CAV 2019 - 31st International Conference on Computer Aided Verification, LNCS, Volume 11561, Pages 22-40, New York, United States, July 2019.
11. F. Adobbati, C. Ferigato, S. Gandelli, A. Puerto Aubel. Two Operations for Stable Structures of Elementary Regions. In ATAED 2019 - Workshop Algorithms & Theories for the Analysis of Event Data, Volume 2371, Pages 36-53, Aachen, Germany, June 2019.
12. Ch. Baier, N. Bertrand, J. Piribauer, O. Sankur. Long-run Satisfaction of Path Properties. In LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Pages 1-31, Vancouver, Canada, June 2019.
13. N. Bertrand, B. Bordais, L. Hélouet, T. Mari, J. Parreaux, O. Sankur. Performance Evaluation of Metro Regulations Using Probabilistic Model-checking. In RSSRail 2019 - International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification, LNCS, Pages 1-22, Lille, France, June 2019.
14. T.A. Pham, Th. Jéron, M. Quinson. Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs. In FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Pages 1-18, Copenhagen, Denmark, June 2019.

2018

1. H. Bazille, E. Fabre, B. Genest. Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings. In FOSSACS 2018, xx, France, 2018.
2. H. Bazille, E. Fabre, B. Genest. Complexity reduction techniques for quantified diagnosability of stochastic systems. In WODES'18, Sorrento Coast, Italy, 2018.
3. E. Fabre, G. Pinna. Toward a Uniform Approach to the Unfolding of Nets. In 13th International Federated Conference on Distributed Computing Techniques, Volume 279, Pages 21-36, Madrid, Spain, 2018.
4. B. Bérard, S. Haar, L. H\'elouet. Hyper Partial Order Logic. In FSTTCS 2018 - Foundations of Software Technology and Theoretical Computer Science, Ahmedabad, India, December 2018.
5. P. Bouyer, S. Jaziri, N. Markey. Efficient timed diagnosis using automata with timed domains. In RV 2018 - 18th International Conference on Runtime Verification, Pages 1-26, Limassol, Cyprus, November 2018.
6. E. Badouel, R. Djeumen Djatcha. Modular Design of Domain-Specific Languages using Splittings of Catamorphisms. In ICTAC 2018 - 15th International Colloquium on the Theoretical Aspects of Computing, Bernd Fischer, Tarmo Uustalu (eds.), LNCS, Volume 11187, Pages 62-79, Stellenbosch, South Africa, October 2018.
7. Eric Badouel, Rodrigue Djeumen Djatcha. Interfaces of Roles in Distributed Collaborative Systems. In CARI 2018 - Colloque Africain sur la Recherche en Informatique et Mathématiques Appliquées, Pages 1-12, Stellenbosch, South Africa, October 2018.
8. P. Bouyer, M. Gonzalez, N. Markey, M. Randour. Multi-weighted Markov Decision Processes with Reachability Objectives. In Gandalf 2018 - Ninth International Symposium on Games, Automata, Logics, and Formal Verification, Volume 277, Pages 250-264, Sarrebruck, Germany, September 2018.
9. S. Akshay, B. Genest, N. Vyas. Distribution-based objectives for Markov Decision Processes. In LICS 2018, the 33rd Annual ACM/IEEE Symposium, Oxford, United Kingdom, July 2018.
10. G. Bacci, P. Bouyer, U. Fahrenberg, K. Larsen, N. Markey, P-A. Reynier. Optimal and Robust Controller Synthesis. In FM 2018 - International Symposium on Formal Methods, LNCS, Volume 10951, Pages 203-221, Oxford, United Kingdom, July 2018.
11. C. Baier, N. Bertrand, C. Dubslaff, D. Gburek, O. Sankur. Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. In LICS '18 - 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Pages 86-94, Oxford, United Kingdom, July 2018.
12. L. Henry, T. Jéron, N. Markey. Control strategies for off-line testing of timed systems. In SPIN 2018 - International Symposium on Model Checking Software, Pages 171-189, Malaga, Spain, June 2018.
13. L. Hélouet, H. Marchand, J. Mullins. Concurrent secrets with quantified suspicion. In ACSD' 2018 - 18th International Conference on Application of Concurrency to System Design, Pages 75-84, Bratislava, Slovakia, June 2018.
14. E. Lefaucheux, A. Giua, C. Seatzu. Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis. In Petri Nets 2018 - International Conference on Applications and Theory of Petri Nets and Concurrency, Pages 164-183, Bratislava, Slovakia, June 2018.
15. N. Berthier, H. Marchand, E Rutten. Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management. In WODES 2018 - 14th Workshop on Discrete Event Systems, Pages 1-8, Sorrento Coast, Italy, May 2018.
16. L. Hélouet, H. Marchand, L. Ricker. Opacity with powerful attackers. In WODES 2018 - 14th Workshop on Discrete Event Systems, Pages 475-482, Sorrento Coast, Italy, May 2018.
17. A.R. Balasubramanian, N. Bertrand, N. Markey. Parameterized verification of synchronization in constrained reconfigurable broadcast networks. In TACAS 2018 - International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Pages 38-54, Thessaloniki, Greece, April 2018.
18. S. Cherrared, S. Imadali, E. Fabre, G. Gössler. LUMEN: A Global Fault Management Framework For Network Virtualization Environments. In ICIN 2018 - 21st Conference on Innovation in Clouds, Internet and Networks and Workshops, Pages 1-8, Paris, France, February 2018.
19. P. Gardy, P. Bouyer, N. Markey. Dependences in Strategy Logic. In STACS 2018, Volume 34, Pages 35-36, Caen, France, February 2018.

2017

1. M. Pichené, S.K. Palaniappan, E. Fabre, B. Genest. Non-Disjoint Clustered Representation for Distributions over a Population of Cells (poster). In CMSB 2017, CMSB 2017 - 15th International Conference on Computational Methods in Systems Biology, Volume LNCS/LNBI, Pages 324-326, Darmstadt, Germany, 2017.
2. H. Bazille, E. Fabre, B. Genest. Diagnosability Degree of Stochastic Discrete Event Systems. In CDC 2017 - 56th IEEE Conference on Decision and Control, Pages 1-6, Melbourne, Australia, December 2017.
3. B. Bérard, S. Haddad, E. Lefaucheux. Probabilistic Disclosure: Maximisation vs. Minimisation . In FSTTCS 2017, Kanpur, India, December 2017.
4. B. Adeline, P. Dersin, . Fabre, L. Hélouet, K. Kecir. An efficient evaluation scheme for KPIs in regulated urban train systems. In RSSRail 2017 - International Conference on reliability, safety, and security of railway systems, Lecture Notes in Computer Science, Pistoia, Italy, November 2017.
5. N. Bertrand, S. Haddad, E. Lefaucheux. Diagnostic et contrôle de la dégradation des systèmes probabilistes. In MSR 2017 - Modélisation des Systèmes Réactifs, Marseille, France, November 2017.
6. T. Pham, T. Jéron, M. Quinson. Verifying MPI Applications with SimGridMC. In Correctness 2017 - First International Workshop on Software Correctness for HPC Applications, Denver, United States, November 2017.
7. S Akshay, L.c Hélouet, R. Phawade. Combining Free choice and Time in Petri Nets. In 6th IFIP Working group on trends in Concurrency, Présentation dans un working group sans actes, Berlin, Germany, September 2017.
8. N. Bertrand, M. Dewaskar, B. Genest, H. Gimbert. Controlling a Population. In CONCUR 2017 - 28th International Conference on Concurrency Theory, Pages 1-23, Berlin, Germany, September 2017.
9. P. Bouyer, S. Jaziri, N. Markey. On the determinization of timed systems. In FORMATS'17, Proceedings of the 15th International Conferences on Formal Modelling and Analysis of Timed Systems (FORMATS'17), Volume 10419, Pages 25-41, Berlin, Germany, September 2017.
10. R. Brenguier, A. Pauly, J-F. Raskin, O. Sankur. Admissibility in Games with Imperfect Information. In CONCUR 2017 - 28th International Conference on Concurrency Theory, LIPICs, Volume 85, Berlin, Germany, September 2017.
11. L. Hélouet, H. Marchand. On the cost of diagnosis with disambiguation. In QEST 2017, 14th International Conference on Quantitative Evaluation of SysTems (QEST 2017), Berlin, France, September 2017.
12. N. Berthier, F. Alvares, H. Marchand, G. Delaval, E. Rutten. Logico-numerical Control for Software Components Reconfiguration. In CCTA 2017 - IEEE Conference on Control Technology and Applications, Pages 1599-1606, Mauna Lani, HI, United States, August 2017.
13. N. Markey. Temporal Logics for Multi-Agent Systems. In MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aalborg, Denmark, August 2017.
14. N. Basset, G. Geeraerts, J-F. Raskin, O. Sankur. Admissiblity in Concurrent Games. In ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, LIPICs, Volume 80, Warsaw, Poland, July 2017.
15. N. Basset, J.-F. Raskin, O. Sankur. Admissible Strategies in Timed Games. In Models, Algorithms, Logics and Tools. , Lecture Notes in Computer Science, Volume 10460, aalborg, Denmark, July 2017.
16. L. Ricker, T.F. Lidbetter, H. Marchand. Inferencing and beyond: further adventures with parity-based architectures for decentralized discrete-event systems. In 20th World Congress The International Federation of Automatic Control, Toulouse, France, July 2017.
17. P. Bouyer, P. Hofman, N. Markey, M. Randour, M. Zimmermann. Bounding Average-Energy Games. In FoSSaCS'17, Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structure (FoSSaCS'17), Volume 10203, Pages 179-195, Uppsala, Sweden, April 2017.
18. O. Sankur, J.-P. Talpin. An Abstraction Technique For Parameterized Model Checking of Leader Election Protocols: Application to FTSP. In 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science, Volume 10206, Uppsala, Sweden, April 2017.

2016

1. S. Akshay, B. Genest, V. Karelovic, N. Vyas. On Regularity of unary Probabilistic Automata. In STACS 2016, STACS 2016, Orléans, France, 2016.
2. Eric Fabre, Loic Hélouet, Engel Lefaucheux, Hervé Marchand. Diagnosability of Repairable Faults. In 13th International Workshop on Discrete Event Systems, (Version Longue), Pages 256-262, Xi'an, China, 2016.
3. R. Brenguier, G. Pérez, J-F Raskin, O. Sankur. Admissibility in Quantitative Graph Games. In 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Chennai, India, December 2016.
4. L. Ricker, H. Marchand. Finding the weakest link(s): Coalition games for decentralized discrete-event control. In IEEE Conference on Decision and Control, Las-Vegas, United States, December 2016.
5. N. Bertrand, S. Haddad, E. Lefaucheux. Diagnosis in Infinite-State Probabilistic Systems . In 27th International Conference on Concurrency Theory (Concur 2016), 27th International Conference on Concurrency Theory (Concur 2016), Québec city, Canada, August 2016.
6. R. Nsaibirni, E. Badouel, G. Texier, G. Kouamou. Active-Workspaces: A Dynamic Collaborative Business Process Model for Disease Surveillance Systems. In Worldcomp'16- The 2nd International Conference on Health Informatics and Medical Systems, Las Vegas, United States, July 2016.
7. S. Pinisetty, V. Preoteasa, S. Tripakis, T. Jéron, Y. Falcone, H. Marchand. Predictive Runtime Enforcement. In SAC 2016 31st ACM Symposium on Applied Computing, Pisa, Italy, April 2016.
8. N. Bertrand, S. Haddad, E. Lefaucheux. Accurate approximate diagnosability of stochastic systems. In 10th International Conference on Language and Automata Theory and Applications, Prague, Czech Republic, March 2016.

2015

1. T. Brihaye, G. Geeraerts, A. Haddad, E. Lefaucheux, B. Monmege. Simple Priced Timed Games Are Not That Simple. In 35th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'15), Banaglore, India, 2015.
2. B. Genest, D. Peled, S. Schewe. Knowledge = Observation + Memory + Computation. In FoSSaCS 2015, FoSSaCS 2015, Volume LNCS, Pages 215-229, London, United Kingdom, 2015. download
3. N. Berthier, H. Marchand. Deadlock-free Discrete Controller Synthesis for Infinite State Systems. In 54th IEEE Conference on Decision and Control, Pages 1000-1007, Osaka, Japan, December 2015. download
4. M. Renard, Y. Falcone, A. Rollet, S. Pinisetty, T. Jéron, H. Marchand. Enforcement of (Timed) Properties with Uncontrollable Events. In 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Theoretical Aspects of Computing - ICTAC 2015, Volume LNCS, Cali, Colombia, October 2015. download
5. N. Bertrand, P. Fournier, A. Sangnier. Distributed local strategies in broadcast networks. In 26th International Conference on Concurrency Theory (CONCUR 2015), Madrid, Spain, September 2015.
6. R. Brenguier, J-F Raskin, O. Sankur. Assume-Admissible Synthesis. In 26th International Conference on Concurrency Theory (CONCUR 2015), Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, Pages 100-113, Madrid, Spain, September 2015.
7. S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand. TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. In RV'2015, 6th International Conference on Runtime Verification, Ezio Bartocci, Rupak Majumdar (eds.), Lecture Notes in Computer Science, Volume 9333, Vienne, Austria, September 2015. download
8. R. Brenguier, G. Pérez, J-F. Raskin, O. Sankur. Compositional Algorithms for Succinct Safety Games. In 4th Workshop on Synthesis, San Francisco, United States, July 2015.
9. M. Randour, J-F Raskin, O. Sankur. Percentile Queries in Multi-dimensional Markov Decision Processes. In 27th International Conference on Computer Aided Verification (CAV 2015), Lecture Notes in Computer Science, Volume 9206, Pages 123-139, San Francisco, United States, July 2015.
10. E. Badouel, L. Hélouet, C. Morvan. Petri nets with semi-structured data. In 36th International Conference on Application and Theory of Petri Nets and Concurrency, 36th International Conference on Application and Theory of Petri Nets and Concurrency, Bruxelles, Belgium, June 2015. download
11. B. Bérard, L. Hélouet, J. Mullins. Non-interference in partial order models. In ACSD 2015, ACSD 2015, Brussels, Belgium, June 2015. download
12. N. Berthier, X. An, H. Marchand. Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures. In 5th IFAC International Workshop On Dependable Control of Discrete Systems - DCDS'15, Volume 48, Pages 132-138, Cancun, Mexico, May 2015. download
13. E. Badouel, L. Hélouet, G-E. Kouamou, C. Morvan. A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment. In The 30th ACM/SIGAPP Symposium On Applied Computing, The 30th ACM/SIGAPP Symposium On Applied Computing, Salamanca, Spain, April 2015. download
14. O. Sankur. Symbolic Quantitative Robustness Analysis of Timed Automata. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), Lecture Notes in Computer Science, Volume 9035, London, United Kingdom, April 2015. download
15. X. An, G. Delaval, J-P. Diguet, A. Gamatie, A. Gueye, H. Marchand, N. De Palma, E. Rutten. Discrete Control-Based Design of Adaptive and Autonomic Computing Systems. In ICDCIT: International Conference on Distributed Computing and Internet Technology, 11th International Conference on Distributed Computing and Internet Technology, ICDCIT 2015, Volume LNCS, Bhubaneswar, India, February 2015.
16. M. Randour, J-F Raskin, O. Sankur. Variations on the Stochastic Shortest Path Problem. In Verification, Model Checking, and Abstract Interpretation, Mumbai, India, January 2015.

2014

1. S. Akshay, L. L. Hélouet, M.L. Mukund. Active Diagnosis for Probabilistic Systems. In 14th International Conference on Application of Concurrency to System Design, Tunis, Tunisia, 2014.
2. Romain Brenguier, Guillermo A. Pérez, Jean-Fran\ccois Raskin, Ocan Sankur. AbsSynthe: abstract synthesis from succinct safety specifications. In Proceedings 3rd Workshop on, Krishnendu Chatterjee, Rüdiger Ehlers, Susmit Jha (eds.), 2014.
3. N. Bertrand, S. Haddad, E. Lefaucheux. Foundation of Diagnosis and Predictability in Probabilistic Systems. In FSTTCS'14, New Delhi, India, December 2014.
4. N. Bertrand, Th. Brihaye, B. Genest. Deciding the value 1 problem for reachability in 1-clock decision stochastic timed automata. In proceedings of the 11th International Conference on Quantitative Evaluation of Systems (QEST'14), Springer (ed.), LNCS, Volume 8657, Pages 313-328, Firenze, Italy, September 2014.
5. N. Berthier, H. Marchand. Discrete Controller Synthesis for Infinite State Systems with ReaX. In IEEE International Workshop on Discrete Event Systems, Pages 46-53, Cachan, France, May 2014.
6. S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand. Runtime Enforcement of Parametric Timed Properties with Practical Applications. In IEEE International Workshop on Discrete Event Systems, Pages 420-427, Cachan, France, May 2014.
7. N. Bertrand, E, Fabre, S. Haar, S. Haddad, L. Hélouet. Active diagnosis for probabilistic systems. In 17th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS'14, Springer (ed.), LNCS, Volume 8412, Pages 29-42, Grenoble, France, April 2014. download
8. N. Bertrand, P. Fournier, A. Sangnier. Playing with probabilities in reconfigurable broadcast networks. In 17th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS'14, Springer (ed.), LNCS, Volume 8412, Pages 134-148, Grenoble, France, April 2014.
9. S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand. Runtime Enforcement of Regular Timed Properties. In Software Verification and Testing, track of the Symposium on Applied Computing ACM-SAC 2014, Pages 1279-1286, Gyeongju, Korea, March 2014.

2013

1. S. Akshay, Ionut Dinca, Blaise Genest, Alin Stefanescu. Implementing Realistic Asynchronous Automata.. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, LIPIcs, Volume 24, Pages 213-224, Guwahati, Inde, December 2013.
2. N. Bertrand, P. Fournier. Parameterized verification of many identical probabilistic timed processes. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTCS'13, LIPIcs, Volume 24, Pages 501-513, IIT Guwahati, India, December 2013.
3. Y. Falcone, H. Marchand. Runtime Enforcement of K-step Opacity. In 52nd IEEE Conference on Decision and Control, Pages 7271-7278, Florence, Italy, December 2013.
4. Anne Bouillard, Aurore Junier, Benoit Ronot. Impact of Rare Alarms on Event Correlation. In CNSM - 9th international Conference on Network and Service Management, Zürich, Suisse, October 2013.
5. S. Akshay, L. Hélouet, C. Jard, D. Lime, O-H. Roux. Robustness of Time Petri Nets under architectural constraints. In Formal Modeling and Analysis of Timed Systems, Marcin Jurdzinski, Dejan Nickovic (eds.), LNCS, Volume 7595, Pages 11-26, Warwik, United Kingdom, September 2013.
6. S Akshay, N. Bertrand, Haddad S, L. Hélouet. The steady-state control problem for Markov decision processes. In 10th International Conference on Quantitative Evaluation of SysTems (QEST'13), LNCS, Volume 8054, Pages 390-304, Buenos Aires, Argentina, August 2013.
7. P. Ballarini, N. Bertrand, A. Horvath, M. Paolieri, E. Vicario. Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes. In 10th International Conference on Quantitative Evaluation of SysTems (QEST'13), LNCS, Volume 8054, Pages 355-371, Buenos Aires, Argentina, August 2013.
8. Anne Bouillard, Claude Jard, Aurore Junier. Some Synchronization Issues in OSPF Routing. In DCNET - 10th International Joint Conference on e-Business and Telecommunications., Reykjav\'\ik, Islande, July 2013.
9. G. Delaval, N. De palma, S. Gueye, H. Marchand, E. Rutten. Discrete Control of Computing Systems Administration: a Programming Language supported Approach. In Euopean Control Conference, Pages 117-124, Zurich. Switzerland, July 2013.
10. B. Genest, H. Gimbert, A. Muscholl, I. Walukiewicz. Asynchronous Games over Tree Architectures. In 40th International Colloquium on Automata, Languages and Programming (ICALP'13), Springer (ed.), LNCS, Volume 7966, Pages 275-286, Riga, Latvia, July 2013.
11. L. Ricker, H. Marchand. A parity-based architecture for decentralized discrete-event control. In American Control Conference, Pages 5678-5684, Washington, DC, USA, June 2013.
12. B. Bollig, A. Cyriac, L. Hélouet, A. Kara, T. Schwentick. Dynamic Communicating Automata and Branching High-Level MSCs. In LATA 2013, Adrian Horia Dediu, Carlos Mart\'\in-Vide, Bianca Truthe (eds.), LNCS, Volume 7810, Pages 177-189, bilbao, Spain, April 2013.
13. R. Abdallah, A. Gotlieb, L. Hélouet, C. Jard. Scenario Realizability with Constraint Optimization. In Fundamental Approaches to Software Engineering, LNCS, Volume 7793, Pages 194-209, March 2013.
14. N. Bertrand, Ph. Schnoebelen. Solving Stochastic Büchi Games on Infinite Arenas with a Finite Attractor. In 11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'13), Open Publishing Association (ed.), Volume 117, Roma, Italia, March 2013.
15. L. Clemente, F. Herbreteau, G. Sutre, A. Stainer. Reachability of Communicating Timed Processes. In proceedings of the 16th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'13), Springer (ed.), LNCS, Volume 7794, Rome, Italy, March 2013.

2012

1. M. Agrawal, S. Akshay, B. Genest, P. S. Thiagarajan. Approximate Verification of the Symbolic Dynamics of Markov Chains. In Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Pages 55-64, 2012.
2. S. Akshay, B. Genest, L. Hélouet, S. Yang. Symbolically Bounding the Drift in Time-Constrained MSC Graphs. In Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Abhik Roychoudhury, Meenakshi D'Souza (eds.), Lecture Notes in Computer Science, Volume 7521, Pages 1-15, 2012.
3. S. Akshay, L. Hélouet, C. Jard, D. Lime, O. H. Roux. Robustness of Time Petri Nets under Architectural Constraints. In FORMATS, Lecture Notes in Computer Science, Volume 7595, Pages 11-26, 2012.
4. S. Akshay, L. Hélouet, C. Jard, PA. Reynier. Robustness of Time Petri Nets under Guard Enlargement. In RP, Lecture Notes in Computer Science, Volume 7550, Pages 92-106, 2012.
5. Eric Badouel. On the alpha-Reconstructibility of Workflow Nets. In Application and Theory of Petri Nets, Lecture Notes in Computer Science, Volume 7347, Pages 128-147, 2012.
6. Eric Badouel, Mohamadou Lamine Diouf. Opacité dans les systèmes workflows. In Conférence africaine sur la recherche en informatique et mathématiques appliquées, CARI, 2012.
7. C. Hounkonnou, E. Fabre. Empowering self-diagnosis with self-modeling. In Conf. on Network and System Management, CNSM'12, Pages 364-370, 2012.
8. L. Jezequel, E. Fabre. Turbo Planning. In Workshop on Discrete Event Systems, WODES'12, 2012.
9. L. Jezequel, E. Fabre. A\# : a distributed version of A* for factored planning. In IEEE Conf. on Decision and Control, CDC'12, Pages 7377-7382, 2012.
10. A. Kattepur, A. Benveniste, C. Jard. Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations. In ICWS, Pages 106-113, 2012.
11. A. Benveniste, B. Caillaud, JB. Raclet. 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.
12. S. Chédor, C. Morvan, S. Pinchinat, H. Marchand. Analysis of partially observed recursive tile systems. In 11th Int. Workshop on Discrete Event Systems, Pages 265-271, Guadalajara, Mexico, October 2012.
13. N. Bertrand, J. Fearnley, S. Schewe. Bounded Satisfiability for PCTL. In proceedings of the 21st EACSL Annual Conferences on Computer Science Logic (CSL'12), LIPIcs, Pages 92-106, Fontainebleau, France, September 2012.
14. N. Bertrand, S. Schewe. Playing Optimally on Timed Automata with Random Delays. In proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (Formats'12), LNCS, Volume 7595, Pages 43-58, London, UK, September 2012.
15. S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand, A. Rollet, O. Nguena Timo. Runtime Enforcement of Timed Properties. In Third International Conference on Runtime Verification RV 2012, LNCS, Volume 7687, Pages 229-244, Istanbul, Turkey, September 2012.
16. A. Stainer. Frequencies in Forgetful Timed Automata. In proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (Formats'12), LNCS, Volume 7595, London, UK, September 2012.
17. N. Bertrand, G. Delzanno, B. König, A. Sangnier, J. Stückrath. On the Decidability Status of Reachability and Coverability in Graph Transformation Systems. In 23rd International Conference on Rewriting Techniques and Applications, LIPIcs 15, Pages 101-116, Nagoya, Japan, May 2012.
18. S. Chédor, T. Jéron, C. Morvan. Test generation from recursive tiles systems. In TAP - 6th International Conference on Tests & Proofs - 2012, LNCS, Volume 7305, Pages 99-114, Prague, May 2012.
19. P. Bulychev, D. David, K. Larsen, A. Legay, G. Li, D. Poulsen, A. Stainer. Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. In The 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning, LNCS, Volume 7180, Pages 168-182, Mérida, Venezuela, March 2012.

2011

1. A. Benveniste, T. Bourke, B. Caillaud, M. 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. download
2. A. Benveniste, T. Bourke, B. Caillaud, M. 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. download
3. N. Bertrand, B. Genest. Minimal Disclosure in Partially Observable Markov Decision Processes . In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011), Leibniz International Proceedings in Informatics (LIPIcs), Volume 13, Pages 411-422, Bombay, India, 2011. download
4. E. Best, P. Darondeau. Petri Net Distributability. In PSI, Lecture Notes in Computer Science, to appear, Volume 7162, 2011.
5. Ph. Darondeau, S. Demri, R. Meyer, Ch. 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), Leibniz International Proceedings in Informatics (LIPIcs), Volume 13, Pages 140-151, Bombay, India, 2011. download
6. P. Darondeau, L. 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. download
7. G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Synthesis of Communicating Controllers for Distributed Systems. In 50th IEEE Conference on Decision and Control and European Control Conference, Pages 1803-1810, Orlando, USA, December 2011.
8. N. Bertrand, P Bouyer, Th. Brihaye, A. Stainer. Emptiness and Universality Problems in Timed Automata with Positive Frequency. In Proceedings of the 38th International Colloquium on Automata, Languages and Programming (ICALP'11), LNCS, Volume 6756, Pages 246-257, Zürich, Switzerland, July 2011.
9. H. Yu, J-P. Talpin, L. Besnard, T. Gautier, H. Marchand, P. Le Guernic. Polychronous Controller Synthesis from MARTE CCSL Timing Specifications. In ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign (MEMOCODE), Pages 21-30, Cambridge, United Kingdom, July 2011.
10. G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Global State Estimates for Distributed Systems. In 31th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems, FORTE, LNCS, Volume 6722, Pages 198-212, Reykjavik, Iceland, June 2011.
11. N. Bertrand, T. Jéron, A. Stainer, M. Krichen. Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata. In 17th International Conference on Tools and Algorithms for the Construction And Analysis of Systems (TACAS), LNCS, Volume 6605, Pages 96-111, Saarbrücken, Germany, April 2011.
12. N. Bertrand, A. Stainer, T. Jéron, M. Krichen. A game approach to determinize timed automata. In 14th International Conference on Foundations of Software Science and Computation Structures (FOSSACS), LNCS, Volume 6604, Pages 245-259, Saarbrücken, Germany, April 2011.
13. W. L. Andrade, P. Machado, T. Jéron, H. Marchand. Abstracting Time and Data for Conformance Testing of Real-Time Systems. In 7th Workshop on Advances in Model Based Testing A-MOST 2011, Berlin, Germany, March 2011.

2010

1. Eric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda. Residuation of tropical series: Rationality issues. In Conference on Decision and Control and European Control Conference, CDC-ECC, Pages 3855-3861, 2010.
2. A. Benveniste, B. Caillaud, M. Pouzet. The Fundamentals of Hybrid Systems Modelers. In 49th IEEE Conference on Decision and Control (CDC 2010), 2010.
3. B. Bollig, L. Hélouet. Realizability of Dynamic MSC Languages. In CSR, Lecture Notes in Computer Science, Volume 6072, Pages 48-59, 2010.
4. T. Chatain, E. Fabre. Factorization Properties of Symbolic Unfoldings of Colored Petri Nets. In Petri Nets, Pages 165-184, 2010.
5. E. Fabre, Loig Jézéquel. On the construction of probabilistic diagnosers. In Workshop on Discrete Event Systems, WODES'2010, 2010.
6. L. Hélou\"et, A. Benveniste. Document Based Modeling of Web Services Choreographies Using Active XML. In ICWS, Pages 291-298, 2010.
7. L. Hélou\"et, A. Roumy. Covert channel detection using Information Theory. In Secco 2010,8th International Workshop on Security Issues in Concurrency, ENTCS, Pages 93-116, 2010.
8. Y. Falcone, Fernandez J.-C, T. Jéron, H. Marchand, L. Mounier. More Testable Properties. In 22nd IFIP International Conference on Testing Software and Systems, LNCS, Volume 6435, Pages 30-46, Natal, Brazil, November 2010.
9. O. Landry Nguena, H. Marchand, A. Rollet. Automatic Test Generation for Data-Flow Reactive Systems with time constraints (Short paper). In 22nd IFIP International Conference on Testing Software and Systems, Pages 25-30, Natal, Brazil, November 2010.
10. N. Bertrand, C. Morvan. Probabilistic Regular Graphs. In Infinity, EPTCS, Volume 39, Pages 77-90, Singapore, September 2010.
11. E. Best, P. Darondeau, R. 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.
12. 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.
13. E. Dumitrescu, A. Girault, H. Marchand, E. Rutten. Multicriteria optimal discrete controller synthesis for fault-tolerant real-time tasks. In Workshop on Discrete Event Systems, WODES'10, Pages 366-373, Berlin, Germany, August 2010.
14. C. Morvan. Contextual graph grammars characterising Rational Graphs. In Non-Classical Models of Automata and Applications (NCMA), Pages 141-153, Jena, Germany, August 2010.
15. E. Best, P. Darondeau. Separability in Persistent Petri Nets. In Applications and Theory of Petri Nets, ATPN 2010, Pages 246-266, Braga, Portugal, June 2010.
16. G. Delaval, H. Marchand, E. Rutten. Contracts for Modular Discrete Controller Synthesis. In Conference on Languages, Compilers and Tools for Embedded Systems, LCTES 2010, Pages 57-66, Stockholm, Sweden, April 2010.
17. E. Fabre, L. Jézéquel, P. Haslum, S. Thiébaux. Cost-Optimal Factored Planning: Promises and Pitfalls. In Proceedings of the 29th International Conference on Automated Planning and Scheduling, ICAPS 2010, Pages 65-72, Toronto, Ontario, Canada, 2010.

2009

1. C. Baier, N. Bertrand, M. Grosser. Probabilistic Acceptors for Languages over Infinite Words. In 35th Conference on Current Trends in Theory and Practice of Computer Science, LNCS, Volume 5404, Pages 19-33, Spindleruv Mlyn, Czech, 2009.
2. P. Caspi, A. Benveniste, R. Lublinerman, S. Tripakis. Actors without Directors: A Kahnian View of Heterogeneous Systems. In HSCC, Pages 46-60, 2009.
3. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone. Why Are Modalities Good for Interface Theories?. In Conference on Application of Concurrency to System Design, ACSD, Pages 119-127, 2009.
4. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone. Modal interfaces: unifying interface automata and modal specifications. In ACM International conference on Embedded software, EMSOFT, Pages 87-96, 2009.
5. N. Bertrand, A. Legay, S. Pinchinat, J-P. Raclet. A Compositional Approach on Modal Specifications for Timed Systems. In Proceedings of the 11th International Conference on Formal Engineering Methods (ICFEM'09), LNCS, Volume 5885, Pages 679-697, Rio de Janeiro, Brazil, December 2009.
6. G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Computational Complexity for State-Feedback Controllers with Partial Observation. In 7th International Conference on Control and Automation, ICCA'09, Pages 435-441, Christchurch, New Zealand, December 2009.
7. H. Marchand, J. Dubreil, T. Jéron. Automatic Testing of Access Control for Security Properties. In TestCom'09, LNCS, Volume 5826, Pages 113-128, November 2009.
8. F. Cassez, J. Dubreil, H. Marchand. Dynamic Observers for the Synthesis of Opaque Systems. In 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), Z. Liu, A.P. Ravn (eds.), LNCS, Volume 5799, Pages 352-367, Macao SAR, China, October 2009.
9. C. Morvan, S. Pinchinat. Diagnosability of pushdown systems. In HVC2009, Haifa Verification Conference, LNCS, Volume 6405, Pages 21-33, Haifa, Israel, October 2009.
10. N. Bertrand, B. Genest, Gimbert. H.. Qualitative Determinacy and Decidability of Stochastic Games with Signals. In 24th Annual IEEE Symposium on Logic in Computer Science (LICS'09), Pages 319-328, Los Angeles, CA, USA, August 2009.
11. J. Dubreil, T. Jéron, H. Marchand. Monitoring Confidentiality by Diagnosis Techniques. In European Control Conference, Pages 2584-2590, Budapest, Hungary, August 2009.
12. G. Kalyon, Le Gall T, H. Marchand, T. Massart. Control of Infinite Symbolic Transition Systems under Partial Observation. In European Control Conference, Pages 1456-1462, Budapest, Hungary, August 2009.
13. C. Morvan. On external presentations of infinite graphs. In 11th International Workshop on Verification of Infinite-State Systems, INFINITY'09, EPTCS, Volume 10, Pages 22-35, Bologna, Italy, August 2009. download
14. C. Baier, N. Bertrand, P. Bouyer, Th. Brihaye. When are timed automata determinizable?. In 36th International Colloquium on Automata, Languages and Programming (ICALP'09), LNCS, Volume 5556, Pages 43-54, Rhodes, Greece, July 2009.
15. N. Bertrand, S. Pinchinat, J.B. Raclet. Refinement and Consistency of Timed Modal Specifications. In Proceedings of the 3rd International Conference on Language and Automata Theory and Applications (LATA'09), LNCS, Volume 5457, Pages 152-163, Tarragona, Spain, April 2009.

2008

1. E. Best, P. 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.
2. P. Darondeau, B. Genest, P. S. S. Thiagarajan, S. 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.
3. P. Darondeau, B. Genest, L. Hélouet. 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.
4. P. Darondeau, M. Koutny, M. Pietkiewicz-Koutny, A. 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.
5. N. Bertrand, P. Bouyer, Th. Brihaye, N. Markey. Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. In Proceedings of the 5th International Conference on the Quantitative Evaluation of SysTems (QEST'08), Pages 55-64, Saint Malo, France, September 2008.
6. T. Jéron, H. Marchand, S. Genc, S. Lafortune. Predictability of Sequence Patterns in Discrete Event Systems. In IFAC World Congress, Pages 537-453, Seoul, Korea, July 2008.
7. Ch. Baier, N. Bertrand, P. Bouyer, Th. Brihaye, M. Groesser. Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. In Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science (LICS'08), Pages 217-226, Pittsburgh, PA, USA, June 2008.
8. Ch. Baier, N. Bertrand, M. Groesser. On Decision Problems for Probabilistic Büchi Automata. In Proceedings of the 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'08), LNCS, Volume 4962, Pages 287-301, Budapest, Hungary, March 2008.
9. J. Dubreil, Ph. Darondeau, H. Marchand. Opacity Enforcing Control Synthesis. In Workshop on Discrete Event Systems, WODES'08, Pages 28-35, Gothenburg, Sweden, March 2008.

2007

1. A. Benveniste, P. Caspi, M. di Natale, C. Pinello, A.o L. Sangiovanni-Vincentelli, S. Tripakis. Loosely Time-Triggered Architectures based on Communication-by-Sampling. In Proc. 7th International Conference on Embedded Software (EMSOFT'07), 2007. download
2. Dragan Bosnacki, Edith Elkind, B. Genest, Doron Peled. On Commutativity Based Edge Lean Search. In ICALP, Volume LNCS 4596, Pages 158-170, 2007.
3. E. Elkind, B. Genest, D. Peled. Detecting Races in Ensembles of Message Sequence Charts. In TACAS, Volume LNCS 4424, Pages 420-434, 2007.
4. E. Elkind, B. Genest, D. Peled, P. Spoletini. Quantifying the Discord: Order Discrepancies in Message Sequence Charts. In ATVA, LNCS, Pages 378-393, 2007.
5. T. Gazagnaire, B. Genest, L. Hélouet, P.S. and Yang, S. Thiagarajan. Causal Message Sequence Charts. In Proceedings of CONCUR 2007, 2007.
6. T. Gazagnaire, L. Hélouet. Reconstructing Causal Ordering with boxed pomsets. In Proceedings of FORTE 2007, 2007.
7. B. Jeannet, T. Jéron, V. Rusu. Model-based test selection for infinite state reactive systems. In Formal Methods of Components and Objects - FMCO 2006, Amsterdam, Netherlands, Revised Lectures, LNCS, Volume 4709, Pages 47-69, 2007.
8. S. Rosario, A. Benveniste, S. Haar, C. Jard. Probabilistic QoS and soft contracts for transaction based Web services. In ICWS, Pages 126-133, 2007.
9. C. Baier, N. Bertrand, P. Bouyer, Th. Brihaye, M. Groesser. Probabilistic and Topological Semantics for Timed Automata. In Proceedings of the 27th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'07), V. Arvind, Sanjiva Prasad (eds.), Lecture Notes in Computer Science, Volume 4855, Pages 1529-3785, New Delhi, India, December 2007.
10. A. Benveniste, B. Caillaud, A.o Ferrari, L. Mangeruca, R. Passerone, C. 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.
11. S. Rosario, D. Kitchin, A. Benveniste, W. and Haar,S. Cook, C. Jard. Event Structure Semantics of ORC. In 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), Brisbane, Australia, October 2007.
12. P. 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.
13. C. Constant, B. Jeannet, T. Jéron. Automatic test generation from interprocedural specifications. In TestCom/Fates07, LNCS, Volume 4581, Pages 41-57, Tallinn, Estonia, June 2007.
14. E. Dumitrescu, A. Girault, H. Marchand, E. Rutten. Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems. In First IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), Paris, France, June 2007.
15. E. Fabre. Modular Processings Based on Unfoldings. In UFO, Workshop on Unfoldings and Partial Order Techniques, invited talk, 2007.
16. A. Madalinski, E. Fabre. Modular Construction of Finite and Complete Prefixes. In UFO, Workshop on Unfoldings and Partial Order Techniques, Pages 69-84, 2007.

2006

1. Eric Badouel, Maurice Tchoupé. Cohérence de vues dans les grammaires algébriques. In Actes du CARI 2006, Pages 115-122, 2006.
2. A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, A.o 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. download
3. B. Blanc, F. Bouquet, A. Gotlieb, B. Jeannet, T. Jéron, B. Legeard, B. Marre, C. Michel, M. Rueher. The V3F Project. In Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA06), Nantes, B. Blanc, A. Gotlieb, C. Michel (eds.), 2006.
4. E. Elkind, B. Genest, D. Peled, H. Qu. Grey Box Checking. In FORTE, Volume LNCS 4229, Pages 420-435, 2006.
5. B. Genest, A. Muscholl. Constructing Exponential-size Deterministic Zielonka Automata. In ICALP, Volume LNCS 4052, Pages 565-576, 2006.
6. L. Hélouet, T. Gazagnaire, B. Genest. Diagnosis from Scenarios. In proc. of the 8th Int. Workshop on Discrete Events Systems, WODES'06, Pages 307-312, 2006.
7. L. Hélouet, T. Hénin, C. Chevrier. Automating scenario merging. In Proc. of SAM'06, Pages 64-81, 2006.
8. J. Komenda, H. Marchand, S. Pinchinat. A constructive and modular approach to decentralized supervisory Control problems. In 3rd IFAC Workshop on Discrete-Event System Design, 2006.
9. S. Rosario, A. Benveniste, S. Haar, C. Jard. Foundations for Web services Orchestrations: functional and QoS aspects. In ISOLA 2006, 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006.
10. T. Jéron. Model-based test selection for infinite state reactive systems. In 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'06, Braga, Portugal, Invited paper, October 2006.
11. C. Baier, N. Bertrand, Ph. Schnoebelen. Symbolic verification of communicating systems with probabilistic message losses: liveness and fairness. In Proceedings of 26th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'06), Elie Najm, Jean-Francois Pradat-Peyre, Véronique Vigui\' Donzeau-Gouge (eds.), Lecture Notes in Computer Science, Volume 4229, Pages 212-227, Paris, France, September 2006.
12. T. Jéron, H. Marchand, V. Rusu. Symbolic Determinisation of Extended Automata. In 4th IFIP International Conference on Theoretical Computer Science, IFIP book series, Pages 197-212, Stantiago, Chile, August 2006.
13. Eric Badouel, Marek 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.
14. N. Bertrand, Ph. Schnoebelen. A short visit to the STS hierarchy. In Proceedings of the 12th International Workshop on Expressiveness in Concurrency (EXPRESS'05), Jos Baeten, Iain Phillips (eds.), Electronic Notes in Theoretical Computer Science, Volume 154, Pages 59-69, San Francisco, CA, USA, July 2006.
15. E. Fabre, A. Benveniste. Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them. In plenary address, 8th Int. Workshop on Discrete Events Systems, WODES, Ann Arbor, July 2006.
16. E. Fabre. A Trellis Notion for Distributed System Diagnosis with Sequential Semantics. In 8th Int. Workshop on Discrete Events Systems, WODES, Ann Arbor, July 2006.
17. T. Jéron, H. Marchand, S. Pinchinat, M-O. Cordier. Supervision Patterns in Discrete Event Systems Diagnosis. In Workshop on Discrete Event Systems, WODES'06, Also published in DX'06, Penaranda de Duero (Burgos, Spain), Pages 262-268, Ann-Arbor (MI, USA), July 2006.
18. T. Le Gall, B. Jeannet, T. Jéron. Verification of Communication Protocols using Abstract Interpretation of FIFO queues. In 11th International Conference on Algebraic Methodology and Software Technology, AMAST '06, Kuressaare, Estonia, Michael Johnson, Varmo Vene (eds.), LNCS, Volume 4019, Pages 204-219, July 2006.
19. K. Schmidt, H. Marchand, B. Gaudin.. Modular and Decentralized Supervisory Control of Concurrent Discrete Event Systems Using Reduced System Models. In Workshop on Discrete Event Systems, WODES'06, Pages 149-154, Ann-Arbor (MI, USA), July 2006.
20. E. Fabre. On the Construction of Pullbacks for Safe Petri Nets. In Applications and Theory of Petri Nets and other Models of Concurrency, ATPN'06, Turku, Finland, June 2006.
21. A. Aghasaryan, S. Piekarec, H. Pouyllau, S. Haar, E. Fabre, L. Ciarletta, N. Mbarek, E. Moreau. Multi-Domain Self Aware Management: Negotiation and Monitoring. In 13th Int. Conf. on Telecommunications, Funchal, Madeira, May 2006.
22. J. Klein, L. Hélouet, JM Jézéquel. Semantic-based Weaving of Scenarios. In Proc. of the 5th International Conference on Aspect-Oriented Software Development (AOSD 06), Pages 27-38, Bonn, Germany, March 2006.

2005

1. S. Abbes, A. Benveniste. Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. In FoSSaCS, V. Sassone (ed.), Volume 3441, Pages 95-109, 2005.
2. Eric Badouel, Jules Chenou, Goulven Guillou. Petri Algebras. In Automata, Languages and Programming, ICALP, Lecture Notes in Computer Science, Volume 3580, Pages 742-754, 2005.
3. B. Genest. Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs. In TACAS, Volume LNCS 3440, Pages 429-444, 2005.
4. B. Genest. On Implementation of Global Concurrent Systems with Local Asynchronous Controllers. In CONCUR, Volume LNCS 3653, Pages 443-457, 2005.
5. B. Genest, D. Kuske, A. Muscholl, D. Peled. Snapshot Verification. In TACAS, Volume LNCS 3440, Pages 510-525, 2005.
6. B. Genest, A. Muscholl. Message Sequence Charts: A Survey. In ACSD, Pages 2-4, 2005.
7. S. Haar, A. Benveniste, E. Fabre, C. Jard. Fault Diagnosis for Distributed Asynchronous Dynamically Reconfigured Discrete Event Systems. In IFAC World Congress Praha, Partial orders, scenarios, unfoldings, 2005.
8. P. 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.
9. E. Fabre. Distributed Diagnosis based on Trellis Processes. In 44th Conf. on Decision and Control (CDC), Seville, Spain, December 2005.
10. B. Gaudin, H. Marchand. Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems. In 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Pages 2763-2768, Seville (Spain), December 2005.
11. J. Komenda, J. H. van Schuppen, B. Gaudin, H. Marchand. Modular supervisory control with general indecomposable specification languages. In 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Pages 3474-3479, Seville (Spain), December 2005.
12. T. Le Gall, B. Jeannet, H. Marchand. Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation. In 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Pages 31-35, Seville (Spain), December 2005.
13. T. Chatain, L. Hélouet, C. Jard. From Automata Networks to HMSCs: a Reverse Model Engineering Perspective. In 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2005), LNCS, Partial orders, scenarios, unfoldings, Volume 3731, Pages 489-502, October 2005.
14. A. Benveniste, B. Caillaud, L. Carloni, A.o 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
15. E. Fabre. A Trellis Notion for Distributed Systems. In 43rd Allerton Conf. on Communication, Control and Computing, Monticello, (Ill, USA), September 2005.
16. B. Gaudin, H. Marchand. Efficient Computation of supervisors for loosely synchronous Discrete Event Systems: A State-Based Approach. In 6th IFAC World Congress, Prague, Czech Republic, July 2005.
17. V. Rusu, H. Marchand, T. Jéron. Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. In Formal Methods 2005 (FM05), John Fitzgerald, Andrzej Tarlecki, Ian Hayes (eds.), LNCS, Volume 3582, Pages 189-204, July 2005.
18. B. Gaudin, H. Marchand. Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach. In 13th Mediterranean Conference on Control and Automation, Pages 889-895, Limassol, Cyprus, June 2005.
19. B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva. Symbolic Test Selection based on Approximate Analysis. In 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), LNCS, Volume 3440, Pages 349-364, Edinburgh (Scottland), April 2005.

2004

1. S. Abbes, A. Benveniste, S. Haar. A Petri net model for distributed learning. In Proceedings of MTNS 2004, 2004.
2. Eric Badouel, Jules Chenou. Les algèbres de Petri commutatives. In 7th African Conference on Research in Computer Science, CARI'04, 2004.
3. B. Genest, A. Muscholl, D. Kuske. A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms. In Developments in Language Theory, Volume LNCS 3340, Pages 30-48, 2004.
4. B. Genest, M. Minea, A. Muscholl, D. Peled. Specifying and Verifying Partial Order Properties Using Template MSCs. In FoSSaCS, Volume LNCS 2987, Pages 195-210, 2004.
5. A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, A.o 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. download
6. B. Gaudin, H. Marchand. Modular Supervisory Control of a class of Concurrent Discrete Event Systems. In Workshop on Discrete Event Systems, WODES'04, Pages 181-186, September 2004.
7. E. Fabre, A. Benveniste, S. Haar, C. Jard, A. Aghasaryan. Algorithms for Distributed Fault Management in Telecommunications Networks. In International Communication Conference (ICT), August 2004.
8. E. Fabre. Runs of a Distributed System are a Product of Local Runs. In Mathematical Theory of Networks and Systems (MTNS), July 2004.
9. L. Hélouet, M. Zeitoun, A. Degorre. Scenarios and cover channels: yet another game. In Proc. of GDV'04 : 1st workshop on Games In design and Verification, July 2004.
10. M. Koca, E. Fabre, A. Roumy. Turbo Decoding of multiple descriptions with quantized frame expansions. In International Symposium on Image/Video Communications over fixed and mobile networks, ISIVC'04, July 2004.
11. L. Hélouet. Finding covert channels in protocols with Message Sequence Charts: the case of RMTP2. In Proc. of SAM'2004, 4th conference on SDL and MSC, June 2004.
12. A. Roumy, D. Declercq, E. Fabre. Low Complexity Code Design for the 2-user Gaussian Multiple Access Channel. In Proc. of ISIT, IEEE Int. Conference on Information Theory, June 2004.
13. N. Bertrand, Ph. Schnoebelen. Verifying Nondeterministic Channel Systems With Probabilistic Message Losses. In Proceedings of the 3rd International Workshop on Automated Verification of Infinite-State Systems (AVIS'04), Ramesh Bharadwaj (ed.), Barcelona, Spain, April 2004.
14. V. Rusu, H. Marchand, V. Tschaen, T. Jéron, B. Jeannet. From Safety Verification to Safety Testing. In The 16th IFIP International Conference on Testing of Communicating Systems (TestCom04). Volume 2978 of LNCS, Oxford, UK, March 2004.
15. J. Klein, B. Caillaud, L. Hélouet. Merging Scenarios. In Proc. of FMICS'04 (Formal Methods in Industrial and Critical Systems, 2004.
16. T. Ziadi, L. Hélouet, JM. Jézéquel. Revisiting Statechart Synthesis with an Algebraic Approach. In Proc. of ICSE 2004, 2004.
17. T. Ziadi, L. Hélouet, JM. Jézéquel. Behaviors Generation From Product Lines Requirements. In Proc. of UML2004 workshop on Software Architecture Description and UML, 2004.

2003

1. Eric Badouel, Jules Chenou. Nets Enriched over Closed Monoidal Structures. In Applications and Theory of Petri Nets, ICATPN, Lecture Notes in Computer Science, Volume 2679, Pages 64-81, 2003.
2. Eric Badouel, Marisa Llorens, Javier Oliver. Modeling Concurrent Systems: Reconfigurable Nets. In International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA, Pages 1568-1574, 2003.
3. A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, A.o 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.
4. A. Benveniste, S. Haar, E. Fabre, C. Jard. Distributed Unfoldings: a Tool to Address Distributed Discrete Event Systems Diagnosis. In Proc of the 42nd IEEE Conference on Decision and Control(CDC), 2003.
5. A. Benveniste, S. Haar, E. Fabre, C. Jard. Distributed monitoring of concurrent and asynchronous systems (plenary address). In Proc. of CONCUR'2003, Marseille, LNCS, Pages 1-26, 2003.
6. B. Genest, A. Muscholl, D. Peled. Message Sequence Charts. In Lectures on Concurrency and Petri Nets, Volume LNCS 3098, Pages 537-558, 2003.
7. S. Haar, A. Benveniste, E. Fabre, C. Jard. Partial Order Diagnosability of Discrete Event Systems using Petri Nets Unfoldings. In 42nd IEEE Conference on Decision and Control (CDC), 2003.
8. T. Jéron, H. Marchand, V. Rusu, V. Tschaen. Ensuring the conformance of reactive discrete-event systems using supervisory control. In 42nd IEEE Conference on Decision and Control, Hawaii, USA, December 2003.
9. A. Benveniste, L. Carloni, P. Caspi, A.o 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
10. A. Khoumsi, Jéron T, H. Marchand. Test Cases Generation for Nondeterministic Real-time Systems. In 3rd International Workshop on Formal Approaches To Testing of Software (FATES 2003), Montréal, Québec, Canada, October 2003.
11. B. Gaudin, H Marchand. Modular Supervisory Control of Asynchronous and Hierarchical Finite State Machines. In European Control Conference, ECC 2003, An extended version (with the proofs) is available at http://www.irisa.fr/vertecs/Publis/Ps/2003-ECC-Extended-version.pdf, Cambridge, UK, September 2003.
12. B. Genest, L. Hélouet, A. Muscholl. High-level Message Sequence Charts projection. In proceedings of CONCUR 2003, Marseille, September 2003.
13. L. Hélouet, M. Zeitoun, C. Jard. Covert channels detection in protocols using scenarios. In Proceedings of SPV'03, Security Protocols Verification, Marseille, September 2003.
14. N. Bertrand, Ph. Schnoebelen. Model Checking Lossy Channels Systems Is Probably Decidable. In Proceedings of the 6th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'03), Andrew D. Gordon (ed.), Lecture Notes in Computer Science, Volume 2620, Pages 120-135, Warsaw, Poland, April 2003.

2002

1. D. Clarke, T. Jéron, V. Rusu, E. Zinovieva. STG: a Symbolic Test Generation tool. In (Tool paper) Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02). Volume 2280 of LNCS, 2002.
2. B. Genest, A. Muscholl. Pattern Matching and Membership for Hierarchical Message Sequence Charts. In LATIN, Volume LNCS 2286, Pages 326-340, 2002.
3. B. Genest, A. Muscholl, H. Seidl, M. Zeitoun. Infinite-State High-Level MSCs: Model-Checking and Realizability. In ICALP, Volume LNCS 2380, Pages 657-668, 2002.
4. E. Fabre. Compositional models of distributed and asynchronous dynamical systems. In 41st IEEE Conference on Decision and Control (CDC), Las Vegas, December 2002.
5. E. Fabre, V. Pigourier. Monitoring distributed systems with distributed algorithms. In 41st IEEE Conference on Decision and Control (CDC), Las Vegas, December 2002.
6. H. Marchand, B. Gaudin. Supervisory Control Problems of Hierarchical Finite State Machines. In 41th IEEE Conference on Decision and Control, Pages 1199-1204, Las Vegas, USA, December 2002.
7. S. Pickin, C. Jard, Y. Le Traon, T. Jéron, J.-M. Jezequel, A. Le Guennec. System Test Synthesis from UML Models of Distributed Software. In Forte 2002, 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems. Volume 2529 of LNCS, Houston, Texas, November 2002.
8. A. Benveniste, P. Caspi, P. Le Guernic, H. Marchand, J.P. Talpin, S. Tripakis. A Protocol for Loosely Time-Triggered Architectures. In Embedded Software Conference (EMSOFT '02), LNCS, Volume 2491, Pages 252-265, Grenoble, France, October 2002.
9. A. Benveniste, E. Fabre, C. Jard, S. Haar. Diagnosis of asynchronous discrete event systems, a net unfolding approach. In Workshop on Discrete Event Systems (WODES), Zaragoza, October 2002.
10. P. Caspi, A. 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. download
11. H. Marchand, E. Rutten. A case study in applying discrete control synthesis to excavator operation. In IEEE International Conference on Systems, Man and Cybernetics (IEEE SMC), Hammamet, Tunisia, October 2002.
12. A. Aghasaryan, C. Dousson, E. Fabre, A. Osmani, Y. Pencolé. Modeling Fault Propagation In Telecommunications Networks for Diagnosis Purposes. In World Telecommunication Congress, September 2002.
13. A. Benveniste. Non-massive, Non-high Performance, Distributed Computing. In Euro-Par 2002, Parallel Processing, B. Monien, R. Feldmann (eds.), Lecture Notes in Computer Science, Plenary talk, Volume 2400, Pages 29-48, Paderborn, Germany, August 2002. download
14. T. Guionnet, C. Guillemot, E. Fabre. Soft Decoding of Multiple Descriptions. In International Conference on Multimedia and Expo, August 2002.
15. E. Fabre, A. Benveniste, C. Jard. Distributed diagnosis for large discrete event dynamic systems. In 15th IFAC World Congress, Barcelona, July 2002.
16. C. Jard, T. Jéron. TGV: theory, principles and algorithms. In The Sixth World Conference on Integrated Design & Process Technology (IDPT'02), Pasadena, California, USA, June 2002.
17. H. Marchand, E. Rutten. Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis. In 14th Euromicro Conference on Real-Time Systems (ECRTS'02), Pages 241-248, June 2002.

2001

1. Eric Badouel, Marek A. Bednarczyk, Philippe Darondeau. Generalized Automata and Their Net Representations. In Unifying Petri Nets, Advances in Petri Nets, Lecture Notes in Computer Science, Volume 2128, Pages 304-345, 2001.
2. D. Clarke, T. Jéron, V. Rusu, E. Zinovieva. Automated Test and Oracle Generation for Smart-Card Applications. In International Conference on Research in Smart Cards (e-Smart'01), Volume 2140 of LNCS, Pages 58-70, 2001.
3. D. Clarke, T. Jéron, V. Rusu, E. Zinovieva. STG : A Tool for Generating Symbolic Test Programs and Oracles from Operational Specifications. In Joint 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), 2001.
4. L. Hélouet. Some pathological Message SequenceCharts and how to detect them. In Proc. of SDL'2001, LNCS, 2001.
5. A. Benveniste, P. Bournai, T. Gautier, M. Le Borgne, P. Le Guernic, H. Marchand. The Signal declarative synchronous language : controller synthesis & systems/architecture design. In 40th IEEE Conference on Decision and Control, Pages 3284-3289, Orlando, Florida, USA, December 2001.
6. A. Benveniste, E. Fabre, S. Haar. Markov Nets\,: Probabilistic Models for Distributed and Concurrent Systems. In 40th IEEE Conference on Decision and Control (CDC), Orlando, Paper FrP12-6, December 2001.
7. H. Marchand, O. Boivineau, S. Lafortune. Optimal control of discrete event systems under partial observation. In 40th IEEE Conference on Decision and Control, Pages 2235-2240, Orlando, Florida, USA, December 2001.
8. A. 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. download
9. E. Fabre, A. Benveniste, C. Jard. Distributed State Reconstruction for Large DEDS. In Allerton Conference on Communications, Control, and Computing, October 2001.
10. L. Hélouet. Etat de l'art sur les langages de scénarios. In proceedings of MSR'2001,Colloque francophone sur la modélisation des systèmes réactifs, October 2001.
11. E. Fabre, A. Guyader, C. Guillemot. Joint source-channel turbo decoding of VLC-encoded Markov sources. In 18ème Colloque GRETSI, Toulouse, September 2001.
12. E. Fabre, A. Guyader, C. Guillemot. Robust decoding of VLC-encoded Markov sources. In 18ème Colloque GRETSI, Toulouse, September 2001.
13. M. Bednarczyk, P. Darondeau. Looking for diamonds. In Proceedings of the Workshop on Synthesis of Concurrent Systems, P. Darondeau, L. Lavagno (eds.), Pages 11-18, Newcastle upon Tyne, UK, June 2001.
14. S. Haar, A. Benveniste, E. Fabre. Markov nets : A new probabilistic model for fault diagnosis in concurrent systems. In Workshop on Concurrency in Dependable Computing, Newcastle, June 2001.
15. E. Fabre, A. Guyader, C. Guillemot. Joint source-channel turbo decoding of VLC-coded Markov sources. In 26th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Salt Lake City, Volume Volume IV, May 2001.

2000

1. E. Fabre, A. Benveniste, C. Jard, L. S. Ricker, M. Smith. Distributed state reconstruction for discrete event systems. In 39th IEEE Conference on Decision and Control (CDC), Sydney, Pages 2252-2257, December 2000.
2. V. Rusu, L. du Bousquet, T. Jéron. An approach to symbolic test generation. In International Conference on Integrating Formal Methods (IFM'00), LNCS 1945, Pages 338-357, November 2000.
3. C. Jard, T. Jéron, P. Morel. Verification of Test Suites. In TestCom 2000, IFIP TC 6 / WG 6.1, The IFIP 13th International Conference on Testing of Communicating Systems, Ottawa, Ontario, Canada, H. Ural, R.L. Probert, G. v. Bochman (eds.), August 2000.
4. P. Le Maigat, L. Hélouet. A (max,+) approach for time in Message Sequence Charts. In 5th Workshop on Discrete Event Systems (WODES 2000), Ghent, August 2000.
5. S. Pinchinat, H. Marchand. Symbolic Abstractions of Automata. In Proc of 5th Workshop on Discrete Event Systems, WODES 2000, Pages 39-48, Ghent, Belgium, August 2000.
6. B. Caillaud, P. Darondeau, L. Hélouet, G. Lesventes. HMSCs as specifications. with PN as completions. In Proceedings of the summer school MOVEP'2k: Modelling and verification of parallel processes, F. Cassez, Claude Jard, B. Rozoy, M. Ryan (eds.), Pages 87-103, Nantes, June 2000.
7. P. 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, Invited paper, Volume 1825, Aarhus, Denmark, June 2000. download
8. E. Fabre, A. Benveniste, C. Jard, L. Ricker, M. Smith. Inference on (Bayesian) networks of dynamic systems. In Partial Knowledge and Uncertainty workshop, June 2000.
9. E. Fabre, A. Guyader. Dealing with short cycles in graphical codes. In IEEE International Symposium on Information Theory (ISIT), Sorrento, Abstract, June 2000.
10. L. Hélouet, P. Le Maigat. Decomposition of Message Sequence Charts. In Proc. of SAM2000(2nd conference on SDL and MSCs), Grenoble, June 2000.
11. H. Marchand, S. Pinchinat. Supervisory Control Problem using Symbolic Bisimulation Techniques. In 2000 American Control Conference, Pages 4067-4071, Chicago, Illinois, USA, June 2000.
12. L. Hélouet, C. Jard. Conditions for synthesis of communicating automata from HMSCs. In 5th International Workshop on Formal Methods for Industrial Cr itical Systems (FMICS), http://www.gmd.de/publications/report/0091, Berlin, April 2000.

1999

1. Eric Badouel, Philippe Darondeau, Andrew Tokmakoff. Modelling Dynamic Agent Systems with Cooperating Automata. In International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA, Pages 11-17, 1999.
2. L. Hélouet. A Simulation Framework for Message Sequence Charts. In Proc. of SDL'99: The Next Millenium, Pages 473-488, 1999.
3. V. Rusu, E. Singerman. On proving safety properties by integrating static analysis, theorem proving and abstraction. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), LNCS 1579, An improved version appeared as INRIA research report 3726, available at http://www.inria.fr/rrrt/rr-3726.html, Pages 178-192, 1999.
4. T. Jéron, J.-M. Jézéquel, Y. Le Traon, P. Morel. Efficient Strategies for Integration and Regression Testing of 00 Systems. In 10th IEEE International Symposium on Software Reliability Engineering, ISSRE'99, Boca Raton, Florida, Pages 260-269, November 1999.
5. C. Jard, T. Jéron, L. Tanguy, C. Viho. Remote testing can be as powerful as local testing. In Formal methods for protocol engineering and distributed systems, FORTE XII/ PSTV XIX' 99, Beijing, China, J. Wu, S. Chanson, Q. Gao (eds.), Pages 25-40, October 1999.
6. H. Marchand, M. Samaan. On the Incremental Design of a Power Transformer Station Controller using Controller Synthesis Methodology. In World Congress on Formal Methods (FM'99), Volume 1709 of LNCS, Pages 1605-1624, Toulouse, France, October 1999.
7. E. Farbe. Mixing probabilities and constraints in conditional independance structures. In Fields Institute Workshop on Conditional Independence Structures and Graphical Models, Toronto, September 1999.
8. B. Jeannet, N. Halbwachs, P. Raymond. Dynamic Partitioning in Analyses of Numerical Properties. In Static Analysis Symposium, SAS'99, LNCS, Volume 1694, Venezia (Italy), September 1999.
9. A. Benveniste, B. Caillaud, P. 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.
10. T. Jéron, P. Morel. Test generation derived from model-checking. In CAV'99, Trento, Italy, N. Halbwachs, D. Peled (eds.), LNCS, Volume 1633, Pages 108-122, July 1999.
11. R. Groz, T. Jéron, A. Kerbrat. Automated Test Generation from SDL specifications. In SDL'99 The Next Millenium, 9th SDL Forum, Montréal, Québec, R. Dssouli, G. von Bochmann, Y. Lahav (eds.), Pages 135-152, June 1999.
12. S. Ramangalahy, P. Le Gall, T. Jéron. Une application de la théorie des jeux au test de conformité. In Colloque Francophone sur l'Ingénierie des Protocoles, CFIP 99, Nancy, France, A. Schaff (ed.), April 1999.
13. H. Kahlouche, C. Viho, M. Zendri. Hardware Testing using a Communication Protocol Conformance Testing Tool. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), W.R. Cleaveland (ed.), LNCS, Volume 1579, Pages 315-329, March 1999.

1998

1. A. Benveniste, S. Gaubert, C. 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.
2. P. Darondeau. Deriving unbounded nets from formal languages. In CONCUR'98, Lecture Notes in Computer Science, Volume 1466, Pages 533-548, 1998.
3. C. Jard, T. Jéron, H. Kahlouche, C. Viho. Towards Automatic Distribution of Testers for Distributed Conformance Testing. In FORTE/PSTV'98, Paris, France, November 1998.
4. C. Jard, T. Jéron. Verification and distributed observation of the alternating bit protocol. In FORTE/PSTV'98, ECASP: Special Session on Educational Case Studies in Protocols, Paris, France, November 1998.
5. H. Marchand, O. Boivineau, S. Lafortune. On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals. In 1998 IEEE International Conf. On Systems, Man, And Cybernetics, Pages 734-739, San Diego, California, USA, October 1998.
6. H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic. A Design Environment for Discrete-Event Controllers based on the SIGNAL Language. In 1998 IEEE International Conf. On Systems, Man, And Cybernetics, Pages 770-775, San Diego, California, USA, October 1998.
7. A. Benveniste, C. Jard, S. Gaubert. Algebraic techniques for timed systems. In Proceedings of CONCUR'98, Nice, France, September 1998.
8. A. Benveniste, M. Siegel, L. Holenderski, Klaus Winkelmann, E. Sefton, E. 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.
9. H. Kahlouche, C. Viho, M. Zendri. An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol. In IFIP TC6 11th International Workshop on Testing of Communicating Systems, A. Petrenko, N. Yevtushenko (eds.), September 1998.
10. H. Marchand, M. Le Borgne. Partial Order Control of Discrete Event Systems modeled as Polynomial Dynamical Systems. In 1998 IEEE International Conference On Control Applications, Trieste, Italie, September 1998.
11. H. Marchand, M. Le Borgne. On the Optimal Control of Polynomial Dynamical Systems over Z/pZ. In 4th IEE International Workshop on Discrete Event Systems, Pages 385-390, Cagliari, Italie, August 1998.
12. A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, C. Jard. A ``hybrid'' stochastic Petri net approach to fault diagnosis in large distributed system. In Mathematical Theory of Networks and Systems (MTNS), Pages 921-924, July 1998.
13. A. Benveniste. Synchronous languages and reactive system design. In Proceedings of the 9th IFAC-INCOM'98, Nancy, France, June 1998.
14. T. Jéron, J.-M. Jézéquel, A. Le Guennec. Validation and Test Generation for Object-Oriented Distributed Software. In IEEE Proc. Parallel and Distributed Software Engineering, PDSE'98, Kyoto, Japan, April 1998.

1997

1. Eric Badouel, Philippe Darondeau. Stratified Petri Nets. In Fundamentals of Computation Theory, FCT, Lecture Notes in Theoretical Computer Science, Volume 1279, Pages 117-128, 1997.
2. A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, C. Jard. A Petri Net Approach to Fault Detection & Diagnosis in Distributed Systems (Part 2). In 36th IEEE Conference on Decision and Control (CDC), San Diego, Pages 726-731, December 1997.
3. R. Boubour, C. Jard, A. Aghasaryan, E. Fabre, A. Benveniste. A Petri Net Approach to Fault Detection & Diagnosis in Distributed Systems (Part 1). In 36th IEEE Conference on Decision and Control (CDC), San Diego, Pages 720-725, December 1997.
4. T. Jéron, P. Morel. Abstraction, $\tau$-réduction et déterminisation à la volée: application à la génération de test. In CFIP'97, Congrès Francophone sur l'Ingéniérie des Protocoles, Liège, Belgique, September 1997.

1996

1. Eric Badouel, Philippe Darondeau. A survey on net synthesis. In Symposium on discrete events and manufacturing systems, CESA, Pages 309-316, 1996.
2. O. Roux, V. Rusu. Deciding time-bounded properties for ELECTRE reactive programs with stopwatch automata. In International workshop on Hybrid Systems and Autonomous Control (WHSAC'94), Volume 999 of LNCS, Pages 405-416, Cornell University, Ithaca (New York, USA), 1996.
3. Y.-M. Quemener, T. Jéron. Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. In FORTE/PSTV'96, October 1996. download
4. L. Doldi, V. Encontre, J.-C. Fernandez, T. Jéron, S. Le Bricquir, N. Texier, M. Phalippou. Assessment of Automatic Generation Methods of Conformance Test Suites in an Industrial Context. In IFIP TC6 9th International Workshop on Testing of Communicating Systems, B. Baumgarten, H.-J. Burkhardt, A. Giessler (eds.), September 1996.
5. J.-C. Fernandez, C. Jard, T. Jéron, G. Viho. Using on-the-fly Verification Techniques for the Generation of Test Suites. In Conference on Computer-Aided Verification (CAV'96), New Brunswick, New Jersey, USA, A. Alur, T. Henzinger (eds.), LNCS, Volume 1102, July 1996.
6. M. Le Borgne, H. Marchand, E. Rutten, M. Samaan. Formal Verification of SIGNAL programs: Application to a Power Transformer Station Controller. In Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology AMAST'96, Pages 271-285, Munich, Germany, July 1996.

1995

1. Eric Badouel, Philippe Darondeau, Jean-Claude Raoult. Context-Free Event Domains are Recognizable. In Algebraic Methodology and Software Technology, AMAST, Lecture Notes in Computer Science, Volume 936, Pages 214-229, 1995.
2. Eric Badouel, Philippe Darondeau. Dualities Between Nets and Automata Induced by Schizophrenic Objects. In Category Theory and Computer Science, CTCS, Lecture Notes in Computer Science, Volume 953, Pages 24-43, 1995.
3. Eric Badouel, Luca Bernardinello, Philippe Darondeau. Polynomial Algorithms for the Synthesis of Bounded Nets. In Theory and Practice of Software Development, TAPSOFT, Lecture Notes in Computer Science, Volume 915, Pages 364-378, 1995.
4. H. Marchand, E. Rutten, M. Samaan. Synchronous design of a transformer station controller in Signal. In Proceedings of the 4th IEEE Conference on Control Applications, CCA '95, Albany, New York, Pages 754-759, September 1995.
5. Y.-M. Quemener, T. Jéron. Model-Checking of Infinite Kripke Structures Defined by Simple Graph Grammars. In SEGRAGRA'95, Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, Volterra, Italie, A. Corradini, U. Montanari (eds.), ENTCS, Egalement disponible en rapport de recherche Irisa n$^o$ 927 et Inria n$^o$ 2563, Pages 64-74, September 1995. download
6. T. Jéron. Dessin en 3 dimensions de graphes d'accessibilité de processus communicants. In CFIP'95, Colloque Francophone sur l'Ingéniérie des Protocoles, Rennes, France, C. Jard, P. Rolin (eds.), Pages 373-386, May 1995. download

1994

1. C. Jard, T. Jéron. Formal Analysis of Distributed Computations. In (Conférence invitée) Septièmes entretiens du centre Jacques Cartier, Communicating Informatics and Distributed Systems, Grenoble, France, Gv. Bochmann, M. Barbeau, M. Riveill, J. Sifakis (eds.), December 1994.
2. T. Jéron, C. Jard. 3D Layout of Reachability Graphs of Communicating Processes. In Graph Drawing'94, DIMACS Workshop, Princeton, New-Jersey, LNCS, Volume 894, Pages 25-33, October 1994. download
3. C. Jard, T. Jéron, G.-V. Jourdan, J.-X. Rampon. A General Approach to Trace Checking in Distributed Computing Systems. In 14th International Conference on Distributed Computing Systems, Poznan, Pologne, Pages 396-403, June 1994.

1993

1. Eric Badouel, Philippe Darondeau. Trace Nets. In Semantics: Foundations and Applications, REX Workshop, Lecture Notes in Computer Science, Volume 666, Pages 21-50, 1993.

1992

1. Eric Badouel, Philippe Darondeau. Structural Operational Specifications and the Trace Automata. In Conference on Concurrency Theory, CONCUR, Lecture Notes in Computer Science, Volume 630, Pages 302-316, 1992.
2. Eric Badouel. Algebraic semantics and monad theory. In The unified computation laboratory, Pages 63-75, 1992.

1991

1. C. Jard, T. Jéron. Bounded Memory Algorithms for Verification On the fly. In CAV'91: Symposium on Computer Aided Verification, Aalborg, Denmark, LNCS, Volume 575, Pages 192-202, June 1991.
2. T. Jéron. Testing for unboundedness of fifo channels. In STACS 91 : Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, LNCS, Volume 480, Pages 322-333, February 1991.
3. T. Jéron. Prototype of a verification tool. In STACS 91 (Tool Demonstration): Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, LNCS, Volume 480, Pages 322-333, February 1991.

1989

1. Eric Badouel. Algebraic Closed Theories. In Mathematical Foundations of Computer Science, MFCS, Lecture Notes in Computer Science, Volume 379, Pages 155-164, 1989.
2. Eric Badouel. Terms and Infinite Trees as Monads Over a Signature. In International Joint Conference on Theory and Practice of Software Development, TAPSOFT, Lecture Notes in Computer Science, Volume 351, Pages 89-103, 1989.
3. M. Adam, P. Burgevin, B. Caillaud, A. Couvert, J.-M. Helary, P. Ingels, C. Jard, T. Jeron, J.-M. Jezequel, R. Pedrono, M. Raynal. Distributed Computers in the Design and Analysis of Distributed Algorithms. In 1er Colloque Européen sur les Hypercubes et Calculateurs Distribués, Rennes, October 1989.
4. C. Jard, T. Jéron. On-line model-checking for finite linear temporal logic specifications. In Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France, LNCS, Volume 407, Pages 275-285, June 1989.

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 automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic