
Selection by year

Selection by authors

Complete lists
International Conferences
2023
 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 312, Antwerp, Belgium, September 2023.
 Saumya Shankar, Srinivas Pinisetty, Thierry Jéron. BoundedMemory 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.
 Isseinie Calviac, Ocan Sankur, Francois Schwarzentruber. Improved Complexity Results and an Efficient Solution for Connected MultiAgent Path Finding. In 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), London, United Kingdom, May 2023.
 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.
 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
 N. Bertrand, N. Markey, S. Sadhukhan, O. Sankur. Semilinear Representations for SeriesParallel Atomic Congestion Games. In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022), Chennai, France, December 2022.
 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.
 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.
 R. Noguchi, O. Sankur, T. Jéron, N. Markey, D. Mentré. Repairing RealTime Requirements. In ATVA 2022  The 20th International Symposium on Automated Technology for Verification and Analysis, Beijing, China, October 2022.
 P. Bouyer, P. Gastin, F Herbreteau, O. Sankur, B. Srivathsan. Zonebased 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.
 E Fabre. Resilience in Discrete Event Systems. In WODES 2022, Prague, Czech Republic, September 2022.
 A. Goeminne, N. Markey, O. Sankur. Nonblind Strategies in Timed Network Congestion Games. In Formal Modeling and Analysis of Timed Systems. FORMATS 2022, Lecture Notes in Computer Science, Volume 13465, Pages 183199, Warsaw, Poland, September 2022.
 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.
 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.
 N. Bertrand, N. Markey, O. Sankur, N. Waldburger. Parameterized safety verification of roundbased sharedmemory systems. In ICALP 2022, Paris, France, July 2022.
 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 6789, Bergen, Norway, June 2022.
 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 120, Marseille, France, May 2022.
2021
 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 122, Virtual Conference due to COVID, India, December 2021.
 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 117, Paris, France, August 2021.
 N. Bertrand, L. de Alfaro, R. J Van Glabbeek, C. Palamidessi, N. Yoshida. CONCUR TestOfTime Award 2021. In Concur 2021  International Conference on Concurrency Theory, Pages 13, Paris, France, August 2021.
 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 118, Paris, France, August 2021.
 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 3354, Paris, France, June 2021.
 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 123, Vancouver / Virtual, Canada, May 2021.
 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 18, Milan, Italy, April 2021.
 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 219239, Copenhagen, Denmark, January 2021.
2020
 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 304326, Los Angeles, United States, 2020.
 Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax. Succinct Population Protocols for Presburger Arithmetic. In STACS 2020, STACS 2020, Volume LIPICS, Pages 4040, Montpellier, France, 2020.
 G. Zinck, L. S. L. Ricker, H. Marchand, L. Hélouet. Enforcing Opacity in Modular Systems. In Ifac world Congress, Berlin, Germany, 2020.
 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.
 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.
 E. Clement, T. Jéron, N. Markey, D. Mentré. Computing maximallypermissive strategies in acyclic timed automata. In FORMATS 2020  18th International Conference on Formal Modeling and Analysis of Timed Systems, Augmented version with proofs, Pages 133, Vienna, Austria, September 2020.
 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 126, Vienna, Austria, September 2020.
 T. Jéron, N. Markey, D. Mentré, R. Noguchi, O. Sankur. Incremental methods for checking realtime consistency. In FORMATS 2020  18th International Conference on Formal Modeling and Analysis of Timed Systems, 18 pages, published in Formats 2020, Pages 118, Vienne, Austria, September 2020.
 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.
 N. Bertrand. Concurrent Games with Arbitrarily Many Players. In 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), Prag, France, August 2020.
 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 139, Paris, France, June 2020.
 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 200208, Ghent, France, June 2020.
 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
 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 114, Bombay, India, December 2019.
 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 115, Bombay, India, December 2019.
 R. MeiraGóes, H. Marchand, S. Lafortune. Towards resilient supervisors against sensor deception attacks. In CDC 2019  58th IEEE Conference on Decision and Control, Pages 16, Nice, France, December 2019.
 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 1733, Bordeaux, France, September 2019.
 N. Bertrand, P. Bouyer, A. Majumdar. Reconfiguration and message losses in parameterized broadcast networks. In CONCUR 2019  30th International Conference on Concurrency Theory, Pages 115, Amsterdam, Netherlands, August 2019.
 N. Bertrand, I. Konnov, M. Lazic, J. Widder. Verification of Randomized Consensus Algorithms under RoundRigid Adversaries. In CONCUR 2019  30th International Conference on Concurrency Theory, Pages 116, Amsterdam, Netherlands, August 2019.
 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 TwentyEighth International Joint Conference on Artificial Intelligence (IJCAI'19), Pages 15881594, Macao, France, August 2019.
 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 17, Macao, China, August 2019.
 D. BusattoGaston, 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 572590, NewYork, United States, July 2019.
 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 2240, New York, United States, July 2019.
 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 3653, Aachen, Germany, June 2019.
 Ch. Baier, N. Bertrand, J. Piribauer, O. Sankur. Longrun Satisfaction of Path Properties. In LICS 2019  34th Annual ACM/IEEE Symposium on Logic in Computer Science, Pages 131, Vancouver, Canada, June 2019.
 N. Bertrand, B. Bordais, L. Hélouet, T. Mari, J. Parreaux, O. Sankur. Performance Evaluation of Metro Regulations Using Probabilistic Modelchecking. In RSSRail 2019  International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification, LNCS, Pages 122, Lille, France, June 2019.
 T.A. Pham, Th. Jéron, M. Quinson. Unfoldingbased Dynamic Partial Order Reduction of Asynchronous Distributed Programs. In FORTE 2019  39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Pages 118, Copenhagen, Denmark, June 2019.
2018
 H. Bazille, E. Fabre, B. Genest. Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings. In FOSSACS 2018, xx, France, 2018.
 H. Bazille, E. Fabre, B. Genest. Complexity reduction techniques for quantified diagnosability of stochastic systems. In WODES'18, Sorrento Coast, Italy, 2018.
 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 2136, Madrid, Spain, 2018.
 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.
 P. Bouyer, S. Jaziri, N. Markey. Efficient timed diagnosis using automata with timed domains. In RV 2018  18th International Conference on Runtime Verification, Pages 126, Limassol, Cyprus, November 2018.
 E. Badouel, R. Djeumen Djatcha. Modular Design of DomainSpecific 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 6279, Stellenbosch, South Africa, October 2018.
 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 112, Stellenbosch, South Africa, October 2018.
 P. Bouyer, M. Gonzalez, N. Markey, M. Randour. Multiweighted Markov Decision Processes with Reachability Objectives. In Gandalf 2018  Ninth International Symposium on Games, Automata, Logics, and Formal Verification, Volume 277, Pages 250264, Sarrebruck, Germany, September 2018.
 S. Akshay, B. Genest, N. Vyas. Distributionbased objectives for Markov Decision Processes. In LICS 2018, the 33rd Annual ACM/IEEE Symposium, Oxford, United Kingdom, July 2018.
 G. Bacci, P. Bouyer, U. Fahrenberg, K. Larsen, N. Markey, PA. Reynier. Optimal and Robust Controller Synthesis. In FM 2018  International Symposium on Formal Methods, LNCS, Volume 10951, Pages 203221, Oxford, United Kingdom, July 2018.
 C. Baier, N. Bertrand, C. Dubslaff, D. Gburek, O. Sankur. Stochastic Shortest Paths and WeightBounded Properties in Markov Decision Processes. In LICS '18  33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Pages 8694, Oxford, United Kingdom, July 2018.
 L. Henry, T. Jéron, N. Markey. Control strategies for offline testing of timed systems. In SPIN 2018  International Symposium on Model Checking Software, Pages 171189, Malaga, Spain, June 2018.
 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 7584, Bratislava, Slovakia, June 2018.
 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 164183, Bratislava, Slovakia, June 2018.
 N. Berthier, H. Marchand, E Rutten. Symbolic Limited Lookahead Control for Besteffort Dynamic Computing Resource Management. In WODES 2018  14th Workshop on Discrete Event Systems, Pages 18, Sorrento Coast, Italy, May 2018.
 L. Hélouet, H. Marchand, L. Ricker. Opacity with powerful attackers. In WODES 2018  14th Workshop on Discrete Event Systems, Pages 475482, Sorrento Coast, Italy, May 2018.
 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 3854, Thessaloniki, Greece, April 2018.
 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 18, Paris, France, February 2018.
 P. Gardy, P. Bouyer, N. Markey. Dependences in Strategy Logic. In STACS 2018, Volume 34, Pages 3536, Caen, France, February 2018.
2017
 M. Pichené, S.K. Palaniappan, E. Fabre, B. Genest. NonDisjoint 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 324326, Darmstadt, Germany, 2017.
 H. Bazille, E. Fabre, B. Genest. Diagnosability Degree of Stochastic Discrete Event Systems. In CDC 2017  56th IEEE Conference on Decision and Control, Pages 16, Melbourne, Australia, December 2017.
 B. Bérard, S. Haddad, E. Lefaucheux. Probabilistic Disclosure: Maximisation vs. Minimisation . In FSTTCS 2017, Kanpur, India, December 2017.
 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.
 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.
 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.
 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.
 N. Bertrand, M. Dewaskar, B. Genest, H. Gimbert. Controlling a Population. In CONCUR 2017  28th International Conference on Concurrency Theory, Pages 123, Berlin, Germany, September 2017.
 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 2541, Berlin, Germany, September 2017.
 R. Brenguier, A. Pauly, JF. 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.
 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.
 N. Berthier, F. Alvares, H. Marchand, G. Delaval, E. Rutten. Logiconumerical Control for Software Components Reconfiguration. In CCTA 2017  IEEE Conference on Control Technology and Applications, Pages 15991606, Mauna Lani, HI, United States, August 2017.
 N. Markey. Temporal Logics for MultiAgent Systems. In MFCS 2017  42nd International Symposium on Mathematical Foundations of Computer Science, Aalborg, Denmark, August 2017.
 N. Basset, G. Geeraerts, JF. 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.
 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.
 L. Ricker, T.F. Lidbetter, H. Marchand. Inferencing and beyond: further adventures with paritybased architectures for decentralized discreteevent systems. In 20th World Congress The International Federation of Automatic Control, Toulouse, France, July 2017.
 P. Bouyer, P. Hofman, N. Markey, M. Randour, M. Zimmermann. Bounding AverageEnergy Games. In FoSSaCS'17, Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structure (FoSSaCS'17), Volume 10203, Pages 179195, Uppsala, Sweden, April 2017.
 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
 S. Akshay, B. Genest, V. Karelovic, N. Vyas. On Regularity of unary Probabilistic Automata. In STACS 2016, STACS 2016, Orléans, France, 2016.
 Eric Fabre, Loic Hélouet, Engel Lefaucheux, Hervé Marchand. Diagnosability of Repairable Faults. In 13th International Workshop on Discrete Event Systems, (Version Longue), Pages 256262, Xi'an, China, 2016.
 R. Brenguier, G. Pérez, JF 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.
 L. Ricker, H. Marchand. Finding the weakest link(s): Coalition games for decentralized discreteevent control. In IEEE Conference on Decision and Control, LasVegas, United States, December 2016.
 N. Bertrand, S. Haddad, E. Lefaucheux. Diagnosis in InfiniteState 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.
 R. Nsaibirni, E. Badouel, G. Texier, G. Kouamou. ActiveWorkspaces: 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.
 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.
 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
 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.
 B. Genest, D. Peled, S. Schewe. Knowledge = Observation + Memory + Computation. In FoSSaCS 2015, FoSSaCS 2015, Volume LNCS, Pages 215229, London, United Kingdom, 2015. download
 N. Berthier, H. Marchand. Deadlockfree Discrete Controller Synthesis for Infinite State Systems. In 54th IEEE Conference on Decision and Control, Pages 10001007, Osaka, Japan, December 2015. download
 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
 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.
 R. Brenguier, JF Raskin, O. Sankur. AssumeAdmissible Synthesis. In 26th International Conference on Concurrency Theory (CONCUR 2015), Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, Pages 100113, Madrid, Spain, September 2015.
 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
 R. Brenguier, G. Pérez, JF. Raskin, O. Sankur. Compositional Algorithms for Succinct Safety Games. In 4th Workshop on Synthesis, San Francisco, United States, July 2015.
 M. Randour, JF Raskin, O. Sankur. Percentile Queries in Multidimensional Markov Decision Processes. In 27th International Conference on Computer Aided Verification (CAV 2015), Lecture Notes in Computer Science, Volume 9206, Pages 123139, San Francisco, United States, July 2015.
 E. Badouel, L. Hélouet, C. Morvan. Petri nets with semistructured 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
 B. BÃ©rard, L. Hélouet, J. Mullins. Noninterference in partial order models. In ACSD 2015, ACSD 2015, Brussels, Belgium, June 2015. download
 N. Berthier, X. An, H. Marchand. Towards Applying Logiconumerical Control to Dynamically Partially Reconfigurable Architectures. In 5th IFAC International Workshop On Dependable Control of Discrete Systems  DCDS'15, Volume 48, Pages 132138, Cancun, Mexico, May 2015. download
 E. Badouel, L. Hélouet, GE. Kouamou, C. Morvan. A Grammatical Approach to Datacentric 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
 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
 X. An, G. Delaval, JP. Diguet, A. Gamatie, A. Gueye, H. Marchand, N. De Palma, E. Rutten. Discrete ControlBased 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.
 M. Randour, JF Raskin, O. Sankur. Variations on the Stochastic Shortest Path Problem. In Verification, Model Checking, and Abstract Interpretation, Mumbai, India, January 2015.
2014
 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.
 Romain Brenguier, Guillermo A. Pérez, JeanFran\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.
 N. Bertrand, S. Haddad, E. Lefaucheux. Foundation of Diagnosis and Predictability in Probabilistic Systems. In FSTTCS'14, New Delhi, India, December 2014.
 N. Bertrand, Th. Brihaye, B. Genest. Deciding the value 1 problem for reachability in 1clock decision stochastic timed automata. In proceedings of the 11th International Conference on Quantitative Evaluation of Systems (QEST'14), Springer (ed.), LNCS, Volume 8657, Pages 313328, Firenze, Italy, September 2014.
 N. Berthier, H. Marchand. Discrete Controller Synthesis for Infinite State Systems with ReaX. In IEEE International Workshop on Discrete Event Systems, Pages 4653, Cachan, France, May 2014.
 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 420427, Cachan, France, May 2014.
 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 2942, Grenoble, France, April 2014. download
 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 134148, Grenoble, France, April 2014.
 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 ACMSAC 2014, Pages 12791286, Gyeongju, Korea, March 2014.
2013
 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 213224, Guwahati, Inde, December 2013.
 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 501513, IIT Guwahati, India, December 2013.
 Y. Falcone, H. Marchand. Runtime Enforcement of Kstep Opacity. In 52nd IEEE Conference on Decision and Control, Pages 72717278, Florence, Italy, December 2013.
 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.
 S. Akshay, L. Hélouet, C. Jard, D. Lime, OH. 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 1126, Warwik, United Kingdom, September 2013.
 S Akshay, N. Bertrand, Haddad S, L. Hélouet. The steadystate control problem for Markov decision processes. In 10th International Conference on Quantitative Evaluation of SysTems (QEST'13), LNCS, Volume 8054, Pages 390304, Buenos Aires, Argentina, August 2013.
 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 355371, Buenos Aires, Argentina, August 2013.
 Anne Bouillard, Claude Jard, Aurore Junier. Some Synchronization Issues in OSPF Routing. In DCNET  10th International Joint Conference on eBusiness and Telecommunications., Reykjav\'\ik, Islande, July 2013.
 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 117124, Zurich. Switzerland, July 2013.
 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 275286, Riga, Latvia, July 2013.
 L. Ricker, H. Marchand. A paritybased architecture for decentralized discreteevent control. In American Control Conference, Pages 56785684, Washington, DC, USA, June 2013.
 B. Bollig, A. Cyriac, L. Hélouet, A. Kara, T. Schwentick. Dynamic Communicating Automata and Branching HighLevel MSCs. In LATA 2013, Adrian Horia Dediu, Carlos Mart\'\inVide, Bianca Truthe (eds.), LNCS, Volume 7810, Pages 177189, bilbao, Spain, April 2013.
 R. Abdallah, A. Gotlieb, L. Hélouet, C. Jard. Scenario Realizability with Constraint Optimization. In Fundamental Approaches to Software Engineering, LNCS, Volume 7793, Pages 194209, March 2013.
 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.
 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
 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 5564, 2012.
 S. Akshay, B. Genest, L. Hélouet, S. Yang. Symbolically Bounding the Drift in TimeConstrained 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 115, 2012.
 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 1126, 2012.
 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 92106, 2012.
 Eric Badouel. On the alphaReconstructibility of Workflow Nets. In Application and Theory of Petri Nets, Lecture Notes in Computer Science, Volume 7347, Pages 128147, 2012.
 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.
 C. Hounkonnou, E. Fabre. Empowering selfdiagnosis with selfmodeling. In Conf. on Network and System Management, CNSM'12, Pages 364370, 2012.
 L. Jezequel, E. Fabre. Turbo Planning. In Workshop on Discrete Event Systems, WODES'12, 2012.
 L. Jezequel, E. Fabre. A\# : a distributed version of A* for factored planning. In IEEE Conf. on Decision and Control, CDC'12, Pages 73777382, 2012.
 A. Kattepur, A. Benveniste, C. Jard. Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations. In ICWS, Pages 106113, 2012.
 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.
 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 265271, Guadalajara, Mexico, October 2012.
 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 92106, Fontainebleau, France, September 2012.
 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 4358, London, UK, September 2012.
 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 229244, Istanbul, Turkey, September 2012.
 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.
 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 101116, Nagoya, Japan, May 2012.
 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 99114, Prague, May 2012.
 P. Bulychev, D. David, K. Larsen, A. Legay, G. Li, D. Poulsen, A. Stainer. MonitorBased 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 168182, Mérida, Venezuela, March 2012.
2011
 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 1114, 2011, Jan Vitek, Bjorn De Sutter (eds.), Pages 6170, 2011. download
 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 137148, 2011. download
 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 411422, Bombay, India, 2011. download
 E. Best, P. Darondeau. Petri Net Distributability. In PSI, Lecture Notes in Computer Science, to appear, Volume 7162, 2011.
 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 140151, Bombay, India, 2011. download
 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 6378, 2011. download
 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 18031810, Orlando, USA, December 2011.
 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 246257, ZÃ¼rich, Switzerland, July 2011.
 H. Yu, JP. 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 2130, Cambridge, United Kingdom, July 2011.
 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 198212, Reykjavik, Iceland, June 2011.
 N. Bertrand, T. Jéron, A. Stainer, M. Krichen. Offline Test Selection with Test Purposes for NonDeterministic Timed Automata. In 17th International Conference on Tools and Algorithms for the Construction And Analysis of Systems (TACAS), LNCS, Volume 6605, Pages 96111, SaarbrÃ¼cken, Germany, April 2011.
 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 245259, SaarbrÃ¼cken, Germany, April 2011.
 W. L. Andrade, P. Machado, T. Jéron, H. Marchand. Abstracting Time and Data for Conformance Testing of RealTime Systems. In 7th Workshop on Advances in Model Based Testing AMOST 2011, Berlin, Germany, March 2011.
2010
 Eric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda. Residuation of tropical series: Rationality issues. In Conference on Decision and Control and European Control Conference, CDCECC, Pages 38553861, 2010.
 A. Benveniste, B. Caillaud, M. Pouzet. The Fundamentals of Hybrid Systems Modelers. In 49th IEEE Conference on Decision and Control (CDC 2010), 2010.
 B. Bollig, L. Hélouet. Realizability of Dynamic MSC Languages. In CSR, Lecture Notes in Computer Science, Volume 6072, Pages 4859, 2010.
 T. Chatain, E. Fabre. Factorization Properties of Symbolic Unfoldings of Colored Petri Nets. In Petri Nets, Pages 165184, 2010.
 E. Fabre, Loig Jézéquel. On the construction of probabilistic diagnosers. In Workshop on Discrete Event Systems, WODES'2010, 2010.
 L. Hélou\"et, A. Benveniste. Document Based Modeling of Web Services Choreographies Using Active XML. In ICWS, Pages 291298, 2010.
 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 93116, 2010.
 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 3046, Natal, Brazil, November 2010.
 O. Landry Nguena, H. Marchand, A. Rollet. Automatic Test Generation for DataFlow Reactive Systems with time constraints (Short paper). In 22nd IFIP International Conference on Testing Software and Systems, Pages 2530, Natal, Brazil, November 2010.
 N. Bertrand, C. Morvan. Probabilistic Regular Graphs. In Infinity, EPTCS, Volume 39, Pages 7790, Singapore, September 2010.
 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.
 Ph. Darondeau, J. Dubreil, H. Marchand. Supervisory Control for Modal Specifications of Services. In Workshop on Discrete Event Systems, WODES'10, Pages 428435, Berlin, Germany, August 2010.
 E. Dumitrescu, A. Girault, H. Marchand, E. Rutten. Multicriteria optimal discrete controller synthesis for faulttolerant realtime tasks. In Workshop on Discrete Event Systems, WODES'10, Pages 366373, Berlin, Germany, August 2010.
 C. Morvan. Contextual graph grammars characterising Rational Graphs. In NonClassical Models of Automata and Applications (NCMA), Pages 141153, Jena, Germany, August 2010.
 E. Best, P. Darondeau. Separability in Persistent Petri Nets. In Applications and Theory of Petri Nets, ATPN 2010, Pages 246266, Braga, Portugal, June 2010.
 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 5766, Stockholm, Sweden, April 2010.
 E. Fabre, L. Jézéquel, P. Haslum, S. Thiébaux. CostOptimal Factored Planning: Promises and Pitfalls. In Proceedings of the 29th International Conference on Automated Planning and Scheduling, ICAPS 2010, Pages 6572, Toronto, Ontario, Canada, 2010.
2009
 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 1933, Spindleruv Mlyn, Czech, 2009.
 P. Caspi, A. Benveniste, R. Lublinerman, S. Tripakis. Actors without Directors: A Kahnian View of Heterogeneous Systems. In HSCC, Pages 4660, 2009.
 JeanBaptiste 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 119127, 2009.
 JeanBaptiste 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 8796, 2009.
 N. Bertrand, A. Legay, S. Pinchinat, JP. 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 679697, Rio de Janeiro, Brazil, December 2009.
 G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Computational Complexity for StateFeedback Controllers with Partial Observation. In 7th International Conference on Control and Automation, ICCA'09, Pages 435441, Christchurch, New Zealand, December 2009.
 H. Marchand, J. Dubreil, T. Jéron. Automatic Testing of Access Control for Security Properties. In TestCom'09, LNCS, Volume 5826, Pages 113128, November 2009.
 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 352367, Macao SAR, China, October 2009.
 C. Morvan, S. Pinchinat. Diagnosability of pushdown systems. In HVC2009, Haifa Verification Conference, LNCS, Volume 6405, Pages 2133, Haifa, Israel, October 2009.
 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 319328, Los Angeles, CA, USA, August 2009.
 J. Dubreil, T. Jéron, H. Marchand. Monitoring Confidentiality by Diagnosis Techniques. In European Control Conference, Pages 25842590, Budapest, Hungary, August 2009.
 G. Kalyon, Le Gall T, H. Marchand, T. Massart. Control of Infinite Symbolic Transition Systems under Partial Observation. In European Control Conference, Pages 14561462, Budapest, Hungary, August 2009.
 C. Morvan. On external presentations of infinite graphs. In 11th International Workshop on Verification of InfiniteState Systems, INFINITY'09, EPTCS, Volume 10, Pages 2235, Bologna, Italy, August 2009. download
 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 4354, Rhodes, Greece, July 2009.
 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 152163, Tarragona, Spain, April 2009.
2008
 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 3351, 2008.
 P. Darondeau, B. Genest, P. S. S. Thiagarajan, S. Yang. QuasiStatic Scheduling of Communicating Tasks. In CONCUR 2008  Concurrency Theory, SpringerVerlag (ed.), Lecture Notes in Computer Science, Volume 5201, Pages 310324, Berlin/Heidelberg, 2008.
 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 458473, 2008.
 P. Darondeau, M. Koutny, M. PietkiewiczKoutny, 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 112131, 2008.
 N. Bertrand, P. Bouyer, Th. Brihaye, N. Markey. Quantitative ModelChecking of OneClock Timed Automata under Probabilistic Semantics. In Proceedings of the 5th International Conference on the Quantitative Evaluation of SysTems (QEST'08), Pages 5564, Saint Malo, France, September 2008.
 T. Jéron, H. Marchand, S. Genc, S. Lafortune. Predictability of Sequence Patterns in Discrete Event Systems. In IFAC World Congress, Pages 537453, Seoul, Korea, July 2008.
 Ch. Baier, N. Bertrand, P. Bouyer, Th. Brihaye, M. Groesser. AlmostSure Model Checking of Infinite Paths in OneClock Timed Automata. In Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science (LICS'08), Pages 217226, Pittsburgh, PA, USA, June 2008.
 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 287301, Budapest, Hungary, March 2008.
 J. Dubreil, Ph. Darondeau, H. Marchand. Opacity Enforcing Control Synthesis. In Workshop on Discrete Event Systems, WODES'08, Pages 2835, Gothenburg, Sweden, March 2008.
2007
 A. Benveniste, P. Caspi, M. di Natale, C. Pinello, A.o L. SangiovanniVincentelli, S. Tripakis. Loosely TimeTriggered Architectures based on CommunicationbySampling. In Proc. 7th International Conference on Embedded Software (EMSOFT'07), 2007. download
 Dragan Bosnacki, Edith Elkind, B. Genest, Doron Peled. On Commutativity Based Edge Lean Search. In ICALP, Volume LNCS 4596, Pages 158170, 2007.
 E. Elkind, B. Genest, D. Peled. Detecting Races in Ensembles of Message Sequence Charts. In TACAS, Volume LNCS 4424, Pages 420434, 2007.
 E. Elkind, B. Genest, D. Peled, P. Spoletini. Quantifying the Discord: Order Discrepancies in Message Sequence Charts. In ATVA, LNCS, Pages 378393, 2007.
 T. Gazagnaire, B. Genest, L. Hélouet, P.S. and Yang, S. Thiagarajan. Causal Message Sequence Charts. In Proceedings of CONCUR 2007, 2007.
 T. Gazagnaire, L. Hélouet. Reconstructing Causal Ordering with boxed pomsets. In Proceedings of FORTE 2007, 2007.
 B. Jeannet, T. Jéron, V. Rusu. Modelbased test selection for infinite state reactive systems. In Formal Methods of Components and Objects  FMCO 2006, Amsterdam, Netherlands, Revised Lectures, LNCS, Volume 4709, Pages 4769, 2007.
 S. Rosario, A. Benveniste, S. Haar, C. Jard. Probabilistic QoS and soft contracts for transaction based Web services. In ICWS, Pages 126133, 2007.
 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 15293785, New Delhi, India, December 2007.
 A. Benveniste, B. Caillaud, A.o Ferrari, L. Mangeruca, R. Passerone, C. Sofronis. Multiple Viewpoint ContractBased 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.
 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 (WSFM 2007), Brisbane, Australia, October 2007.
 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.
 C. Constant, B. Jeannet, T. Jéron. Automatic test generation from interprocedural specifications. In TestCom/Fates07, LNCS, Volume 4581, Pages 4157, Tallinn, Estonia, June 2007.
 E. Dumitrescu, A. Girault, H. Marchand, E. Rutten. Optimal discrete controller synthesis for the modeling of faulttolerant distributed systems. In First IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), Paris, France, June 2007.
 E. Fabre. Modular Processings Based on Unfoldings. In UFO, Workshop on Unfoldings and Partial Order Techniques, invited talk, 2007.
 A. Madalinski, E. Fabre. Modular Construction of Finite and Complete Prefixes. In UFO, Workshop on Unfoldings and Partial Order Techniques, Pages 6984, 2007.
2006
 Eric Badouel, Maurice Tchoupé. Cohérence de vues dans les grammaires algébriques. In Actes du CARI 2006, Pages 115122, 2006.
 A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, A.o SangiovanniVincentelli. Communication by Sampling in TimeSensitive Distributed Systems. In Proceedings of the Sixth Annual ACM Conference on Embedded Software, EMSOFT'06, Pages 152160, 2006. download
 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.
 E. Elkind, B. Genest, D. Peled, H. Qu. Grey Box Checking. In FORTE, Volume LNCS 4229, Pages 420435, 2006.
 B. Genest, A. Muscholl. Constructing Exponentialsize Deterministic Zielonka Automata. In ICALP, Volume LNCS 4052, Pages 565576, 2006.
 L. Hélouet, T. Gazagnaire, B. Genest. Diagnosis from Scenarios. In proc. of the 8th Int. Workshop on Discrete Events Systems, WODES'06, Pages 307312, 2006.
 L. Hélouet, T. Hénin, C. Chevrier. Automating scenario merging. In Proc. of SAM'06, Pages 6481, 2006.
 J. Komenda, H. Marchand, S. Pinchinat. A constructive and modular approach to decentralized supervisory Control problems. In 3rd IFAC Workshop on DiscreteEvent System Design, 2006.
 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.
 T. Jéron. Modelbased 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.
 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, JeanFrancois PradatPeyre, Véronique Vigui\' DonzeauGouge (eds.), Lecture Notes in Computer Science, Volume 4229, Pages 212227, Paris, France, September 2006.
 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 197212, Stantiago, Chile, August 2006.
 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.
 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 5969, San Francisco, CA, USA, July 2006.
 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.
 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.
 T. Jéron, H. Marchand, S. Pinchinat, MO. 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 262268, AnnArbor (MI, USA), July 2006.
 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 204219, July 2006.
 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 149154, AnnArbor (MI, USA), July 2006.
 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.
 A. Aghasaryan, S. Piekarec, H. Pouyllau, S. Haar, E. Fabre, L. Ciarletta, N. Mbarek, E. Moreau. MultiDomain Self Aware Management: Negotiation and Monitoring. In 13th Int. Conf. on Telecommunications, Funchal, Madeira, May 2006.
 J. Klein, L. Hélouet, JM Jézéquel. Semanticbased Weaving of Scenarios. In Proc. of the 5th International Conference on AspectOriented Software Development (AOSD 06), Pages 2738, Bonn, Germany, March 2006.
2005
 S. Abbes, A. Benveniste. Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. In FoSSaCS, V. Sassone (ed.), Volume 3441, Pages 95109, 2005.
 Eric Badouel, Jules Chenou, Goulven Guillou. Petri Algebras. In Automata, Languages and Programming, ICALP, Lecture Notes in Computer Science, Volume 3580, Pages 742754, 2005.
 B. Genest. Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs. In TACAS, Volume LNCS 3440, Pages 429444, 2005.
 B. Genest. On Implementation of Global Concurrent Systems with Local Asynchronous Controllers. In CONCUR, Volume LNCS 3653, Pages 443457, 2005.
 B. Genest, D. Kuske, A. Muscholl, D. Peled. Snapshot Verification. In TACAS, Volume LNCS 3440, Pages 510525, 2005.
 B. Genest, A. Muscholl. Message Sequence Charts: A Survey. In ACSD, Pages 24, 2005.
 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.
 P. Darondeau. Distributed implementations of RamadgeWonham supervisory control with Petri nets. In 44th IEEE Conference on Decision and Control and European Control Conference, Pages 21072112, Sevilla, Spain, December 2005.
 E. Fabre. Distributed Diagnosis based on Trellis Processes. In 44th Conf. on Decision and Control (CDC), Seville, Spain, December 2005.
 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 27632768, Seville (Spain), December 2005.
 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 34743479, Seville (Spain), December 2005.
 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 3135, Seville (Spain), December 2005.
 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 489502, October 2005.
 A. Benveniste, B. Caillaud, L. Carloni, A.o SangiovanniVincentelli. Tag Machines. In Proceedings of the fifth ACM International Conference on Embedded Software (Emsoft), Pages 255263, Jersey City, NJ, USA, September 2005. download
 E. Fabre. A Trellis Notion for Distributed Systems. In 43rd Allerton Conf. on Communication, Control and Computing, Monticello, (Ill, USA), September 2005.
 B. Gaudin, H. Marchand. Efficient Computation of supervisors for loosely synchronous Discrete Event Systems: A StateBased Approach. In 6th IFAC World Congress, Prague, Czech Republic, July 2005.
 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 189204, July 2005.
 B. Gaudin, H. Marchand. Safety Control of Hierarchical Synchronous Discrete Event Systems: A StateBased Approach. In 13th Mediterranean Conference on Control and Automation, Pages 889895, Limassol, Cyprus, June 2005.
 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 349364, Edinburgh (Scottland), April 2005.
2004
 S. Abbes, A. Benveniste, S. Haar. A Petri net model for distributed learning. In Proceedings of MTNS 2004, 2004.
 Eric Badouel, Jules Chenou. Les algèbres de Petri commutatives. In 7th African Conference on Research in Computer Science, CARI'04, 2004.
 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 3048, 2004.
 B. Genest, M. Minea, A. Muscholl, D. Peled. Specifying and Verifying Partial Order Properties Using Template MSCs. In FoSSaCS, Volume LNCS 2987, Pages 195210, 2004.
 A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, A.o SangiovanniVincentelli. Heterogeneous Reactive Systems Modeling: Capturing Causality and the Correctness of Loosely TimeTriggered Architectures (LTTA). In Proceedings of the Fourth ACM International Conference on Embedded Software, EMSOFT'04, September 2004. download
 B. Gaudin, H. Marchand. Modular Supervisory Control of a class of Concurrent Discrete Event Systems. In Workshop on Discrete Event Systems, WODES'04, Pages 181186, September 2004.
 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.
 E. Fabre. Runs of a Distributed System are a Product of Local Runs. In Mathematical Theory of Networks and Systems (MTNS), July 2004.
 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.
 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.
 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.
 A. Roumy, D. Declercq, E. Fabre. Low Complexity Code Design for the 2user Gaussian Multiple Access Channel. In Proc. of ISIT, IEEE Int. Conference on Information Theory, June 2004.
 N. Bertrand, Ph. Schnoebelen. Verifying Nondeterministic Channel Systems With Probabilistic Message Losses. In Proceedings of the 3rd International Workshop on Automated Verification of InfiniteState Systems (AVIS'04), Ramesh Bharadwaj (ed.), Barcelona, Spain, April 2004.
 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.
 J. Klein, B. Caillaud, L. Hélouet. Merging Scenarios. In Proc. of FMICS'04 (Formal Methods in Industrial and Critical Systems, 2004.
 T. Ziadi, L. Hélouet, JM. Jézéquel. Revisiting Statechart Synthesis with an Algebraic Approach. In Proc. of ICSE 2004, 2004.
 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
 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 6481, 2003.
 Eric Badouel, Marisa Llorens, Javier Oliver. Modeling Concurrent Systems: Reconfigurable Nets. In International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA, Pages 15681574, 2003.
 A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, A.o SangiovanniVincentelli. 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 116, 2003.
 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.
 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 126, 2003.
 B. Genest, A. Muscholl, D. Peled. Message Sequence Charts. In Lectures on Concurrency and Petri Nets, Volume LNCS 3098, Pages 537558, 2003.
 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.
 T. Jéron, H. Marchand, V. Rusu, V. Tschaen. Ensuring the conformance of reactive discreteevent systems using supervisory control. In 42nd IEEE Conference on Decision and Control, Hawaii, USA, December 2003.
 A. Benveniste, L. Carloni, P. Caspi, A.o SangiovanniVincentelli. Heterogeneous reactive systems modeling and correctbyconstruction deployment. In Embedded software, third international conference, EMSOFT 2003, R. Alur, I. Lee (eds.), Lecture notes in computer science, Volume 2855, Pages 3550, October 2003. download
 A. Khoumsi, Jéron T, H. Marchand. Test Cases Generation for Nondeterministic Realtime Systems. In 3rd International Workshop on Formal Approaches To Testing of Software (FATES 2003), Montréal, Québec, Canada, October 2003.
 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/2003ECCExtendedversion.pdf, Cambridge, UK, September 2003.
 B. Genest, L. Hélouet, A. Muscholl. Highlevel Message Sequence Charts projection. In proceedings of CONCUR 2003, Marseille, September 2003.
 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.
 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 120135, Warsaw, Poland, April 2003.
2002
 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.
 B. Genest, A. Muscholl. Pattern Matching and Membership for Hierarchical Message Sequence Charts. In LATIN, Volume LNCS 2286, Pages 326340, 2002.
 B. Genest, A. Muscholl, H. Seidl, M. Zeitoun. InfiniteState HighLevel MSCs: ModelChecking and Realizability. In ICALP, Volume LNCS 2380, Pages 657668, 2002.
 E. Fabre. Compositional models of distributed and asynchronous dynamical systems. In 41st IEEE Conference on Decision and Control (CDC), Las Vegas, December 2002.
 E. Fabre, V. Pigourier. Monitoring distributed systems with distributed algorithms. In 41st IEEE Conference on Decision and Control (CDC), Las Vegas, December 2002.
 H. Marchand, B. Gaudin. Supervisory Control Problems of Hierarchical Finite State Machines. In 41th IEEE Conference on Decision and Control, Pages 11991204, Las Vegas, USA, December 2002.
 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.
 A. Benveniste, P. Caspi, P. Le Guernic, H. Marchand, J.P. Talpin, S. Tripakis. A Protocol for Loosely TimeTriggered Architectures. In Embedded Software Conference (EMSOFT '02), LNCS, Volume 2491, Pages 252265, Grenoble, France, October 2002.
 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.
 P. Caspi, A. Benveniste. Toward an Approximation Theory for Computerised Control. In Embedded Software, Second International Workshop, EMSOFT 2002, A. SangiovanniVincentelli, J. Sifakis (eds.), Lecture Notes in Computer Science, Volume 2491, Pages 294304, Grenoble, October 2002. download
 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.
 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.
 A. Benveniste. Nonmassive, Nonhigh Performance, Distributed Computing. In EuroPar 2002, Parallel Processing, B. Monien, R. Feldmann (eds.), Lecture Notes in Computer Science, Plenary talk, Volume 2400, Pages 2948, Paderborn, Germany, August 2002. download
 T. Guionnet, C. Guillemot, E. Fabre. Soft Decoding of Multiple Descriptions. In International Conference on Multimedia and Expo, August 2002.
 E. Fabre, A. Benveniste, C. Jard. Distributed diagnosis for large discrete event dynamic systems. In 15th IFAC World Congress, Barcelona, July 2002.
 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.
 H. Marchand, E. Rutten. Managing multimode tasks with time cost and quality levels using optimal discrete control synthesis. In 14th Euromicro Conference on RealTime Systems (ECRTS'02), Pages 241248, June 2002.
2001
 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 304345, 2001.
 D. Clarke, T. Jéron, V. Rusu, E. Zinovieva. Automated Test and Oracle Generation for SmartCard Applications. In International Conference on Research in Smart Cards (eSmart'01), Volume 2140 of LNCS, Pages 5870, 2001.
 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 (FSE9), 2001.
 L. Hélouet. Some pathological Message SequenceCharts and how to detect them. In Proc. of SDL'2001, LNCS, 2001.
 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 32843289, Orlando, Florida, USA, December 2001.
 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 FrP126, December 2001.
 H. Marchand, O. Boivineau, S. Lafortune. Optimal control of discrete event systems under partial observation. In 40th IEEE Conference on Decision and Control, Pages 22352240, Orlando, Florida, USA, December 2001.
 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 3249, Tahoe City, CA, USA, October 2001. download
 E. Fabre, A. Benveniste, C. Jard. Distributed State Reconstruction for Large DEDS. In Allerton Conference on Communications, Control, and Computing, October 2001.
 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.
 E. Fabre, A. Guyader, C. Guillemot. Joint sourcechannel turbo decoding of VLCencoded Markov sources. In 18ème Colloque GRETSI, Toulouse, September 2001.
 E. Fabre, A. Guyader, C. Guillemot. Robust decoding of VLCencoded Markov sources. In 18ème Colloque GRETSI, Toulouse, September 2001.
 M. Bednarczyk, P. Darondeau. Looking for diamonds. In Proceedings of the Workshop on Synthesis of Concurrent Systems, P. Darondeau, L. Lavagno (eds.), Pages 1118, Newcastle upon Tyne, UK, June 2001.
 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.
 E. Fabre, A. Guyader, C. Guillemot. Joint sourcechannel turbo decoding of VLCcoded Markov sources. In 26th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Salt Lake City, Volume Volume IV, May 2001.
2000
 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 22522257, December 2000.
 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 338357, November 2000.
 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.
 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.
 S. Pinchinat, H. Marchand. Symbolic Abstractions of Automata. In Proc of 5th Workshop on Discrete Event Systems, WODES 2000, Pages 3948, Ghent, Belgium, August 2000.
 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 87103, Nantes, June 2000.
 P. Darondeau. Region Based Synthesis of P/TNets 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
 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.
 E. Fabre, A. Guyader. Dealing with short cycles in graphical codes. In IEEE International Symposium on Information Theory (ISIT), Sorrento, Abstract, June 2000.
 L. Hélouet, P. Le Maigat. Decomposition of Message Sequence Charts. In Proc. of SAM2000(2nd conference on SDL and MSCs), Grenoble, June 2000.
 H. Marchand, S. Pinchinat. Supervisory Control Problem using Symbolic Bisimulation Techniques. In 2000 American Control Conference, Pages 40674071, Chicago, Illinois, USA, June 2000.
 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
 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 1117, 1999.
 L. Hélouet. A Simulation Framework for Message Sequence Charts. In Proc. of SDL'99: The Next Millenium, Pages 473488, 1999.
 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/rr3726.html, Pages 178192, 1999.
 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 260269, November 1999.
 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 2540, October 1999.
 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 16051624, Toulouse, France, October 1999.
 E. Farbe. Mixing probabilities and constraints in conditional independance structures. In Fields Institute Workshop on Conditional Independence Structures and Graphical Models, Toronto, September 1999.
 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.
 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 162177, August 1999.
 T. Jéron, P. Morel. Test generation derived from modelchecking. In CAV'99, Trento, Italy, N. Halbwachs, D. Peled (eds.), LNCS, Volume 1633, Pages 108122, July 1999.
 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 135152, June 1999.
 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.
 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 315329, March 1999.
1998
 A. Benveniste, S. Gaubert, C. Jard. Monotone rational series and maxplus algebraic models of realtime systems. In Proc. of the Fourth Workshop on Discrete Event Systems (WODES98), Cagliari, Italy, 1998.
 P. Darondeau. Deriving unbounded nets from formal languages. In CONCUR'98, Lecture Notes in Computer Science, Volume 1466, Pages 533548, 1998.
 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.
 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.
 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 734739, San Diego, California, USA, October 1998.
 H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic. A Design Environment for DiscreteEvent Controllers based on the SIGNAL Language. In 1998 IEEE International Conf. On Systems, Man, And Cybernetics, Pages 770775, San Diego, California, USA, October 1998.
 A. Benveniste, C. Jard, S. Gaubert. Algebraic techniques for timed systems. In Proceedings of CONCUR'98, Nice, France, September 1998.
 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 RealTime and Fault Tolerant systems, FTRTFT'98 school, Lyngby, Denmark, September 1998.
 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.
 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.
 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 385390, Cagliari, Italie, August 1998.
 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 921924, July 1998.
 A. Benveniste. Synchronous languages and reactive system design. In Proceedings of the 9th IFACINCOM'98, Nancy, France, June 1998.
 T. Jéron, J.M. Jézéquel, A. Le Guennec. Validation and Test Generation for ObjectOriented Distributed Software. In IEEE Proc. Parallel and Distributed Software Engineering, PDSE'98, Kyoto, Japan, April 1998.
1997
 Eric Badouel, Philippe Darondeau. Stratified Petri Nets. In Fundamentals of Computation Theory, FCT, Lecture Notes in Theoretical Computer Science, Volume 1279, Pages 117128, 1997.
 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 726731, December 1997.
 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 720725, December 1997.
 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
 Eric Badouel, Philippe Darondeau. A survey on net synthesis. In Symposium on discrete events and manufacturing systems, CESA, Pages 309316, 1996.
 O. Roux, V. Rusu. Deciding timebounded properties for ELECTRE reactive programs with stopwatch automata. In International workshop on Hybrid Systems and Autonomous Control (WHSAC'94), Volume 999 of LNCS, Pages 405416, Cornell University, Ithaca (New York, USA), 1996.
 Y.M. Quemener, T. Jéron. Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. In FORTE/PSTV'96, October 1996. download
 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.
 J.C. Fernandez, C. Jard, T. Jéron, G. Viho. Using onthefly Verification Techniques for the Generation of Test Suites. In Conference on ComputerAided Verification (CAV'96), New Brunswick, New Jersey, USA, A. Alur, T. Henzinger (eds.), LNCS, Volume 1102, July 1996.
 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 271285, Munich, Germany, July 1996.
1995
 Eric Badouel, Philippe Darondeau, JeanClaude Raoult. ContextFree Event Domains are Recognizable. In Algebraic Methodology and Software Technology, AMAST, Lecture Notes in Computer Science, Volume 936, Pages 214229, 1995.
 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 2443, 1995.
 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 364378, 1995.
 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 754759, September 1995.
 Y.M. Quemener, T. Jéron. ModelChecking 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 6474, September 1995. download
 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 373386, May 1995. download
1994
 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.
 T. Jéron, C. Jard. 3D Layout of Reachability Graphs of Communicating Processes. In Graph Drawing'94, DIMACS Workshop, Princeton, NewJersey, LNCS, Volume 894, Pages 2533, October 1994. download
 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 396403, June 1994.
1993
 Eric Badouel, Philippe Darondeau. Trace Nets. In Semantics: Foundations and Applications, REX Workshop, Lecture Notes in Computer Science, Volume 666, Pages 2150, 1993.
1992
 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 302316, 1992.
 Eric Badouel. Algebraic semantics and monad theory. In The unified computation laboratory, Pages 6375, 1992.
1991
 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 192202, June 1991.
 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 322333, February 1991.
 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 322333, February 1991.
1989
 Eric Badouel. Algebraic Closed Theories. In Mathematical Foundations of Computer Science, MFCS, Lecture Notes in Computer Science, Volume 379, Pages 155164, 1989.
 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 89103, 1989.
 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.
 C. Jard, T. Jéron. Online modelchecking 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 275285, 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 20022007, Projet Lagadic