Bibliography

Major publications by the team in recent years

• 1S. Haar, S. Haddad, T. Melliti, S. Schwoon.
  
  Optimal Constructions for Active Diagnosis, in: Proceedings of the 33rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'13), Guwahati, India, A. Seth, N. Vishnoi (editors), Leibniz International Proceedings in Informatics, Leibniz-Zentrum für Informatik, December 2013, vol. 24, pp. 527-539.
  
  http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/HHMS13-fsttcs.pdf
• 2S. Haddad, J. Mairesse, H.-T. Nguyen.
  
  Synthesis and Analysis of Product-form Petri Nets, in: Fundamenta Informaticae, 2013, vol. 122, n^o 1-2, pp. 147-172.
  
  https://hal.archives-ouvertes.fr/hal-00925774
• 3A. Le Coënt, J. Alexandre dit Sandretto, A. Chapoutot, L. Fribourg.
  
  An Improved Algorithm for the Control Synthesis of Nonlinear Sampled Switched Systems, in: Formal Methods in System Design, November 2017, vol. 53, n^o 3, pp. 363-383. [ DOI : 10.1007/s10703-017-0305-8 ]
  
  https://hal.archives-ouvertes.fr/hal-01399337

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 4E. Lefaucheux.
  
  Controlling information in Probabilistic Systems, Université Rennes 1, September 2018.
  
  https://hal.inria.fr/tel-01946840

Articles in International Peer-Reviewed Journals

• 5B. Bérard, S. Haar, S. Schmitz, S. Schwoon.
  
  The Complexity of Diagnosability and Opacity Verification for Petri Nets, in: Fundamenta Informaticae, July 2018, vol. 161, n^o 4, pp. 317–349. [ DOI : 10.3233/FI-2018-1706 ]
  
  https://hal.inria.fr/hal-01852119
• 6É. Fabre, L. Hélouët, E. Lefaucheux, H. Marchand.
  
  Diagnosability of Repairable Faults, in: Discrete Event Dynamic Systems, 2018, vol. 28, n^o 2, pp. 183-213. [ DOI : 10.1007/s10626-017-0255-8 ]
  
  https://hal.inria.fr/hal-01646911
• 7S. Friedrichs, M. Függer, C. Lenzen.
  
  Metastability-Containing Circuits, in: IEEE Transactions on Computers, March 2018, pp. 1167 - 1183. [ DOI : 10.1109/TC.2018.2808185 ]
  
  https://hal.inria.fr/hal-01936292
• 8P. Gastin, B. Monmege.
  
  A Unifying Survey on Weighted Logics and Weighted Automata: Core Weighted Logic: Minimal and Versatile Specification of Quantitative Properties, in: Soft Computing, February 2018, vol. 22, n^o 4, pp. 1047-1065. [ DOI : 10.1007/s00500-015-1952-6 ]
  
  https://hal.archives-ouvertes.fr/hal-01130216
• 9S. Haddad.
  
  Memoryless Determinacy of Finite Parity Games: Another Simple Proof, in: Information Processing Letters, 2018, n^o 132, 3 p.
  
  https://hal.inria.fr/hal-01541508
• 10S. Haddad, B. Monmege.
  
  Interval Iteration Algorithm for MDPs and IMDPs, in: Theoretical Computer Science, July 2018, vol. 735, pp. 111 - 131. [ DOI : 10.1016/j.tcs.2016.12.003 ]
  
  https://hal.archives-ouvertes.fr/hal-01809094
• 11J. Kolčák, D. Šafránek, S. Haar, L. Paulevé.
  
  Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks, in: Theoretical Computer Science, 2018. [ DOI : 10.1016/j.tcs.2018.03.009 ]
  
  https://hal.archives-ouvertes.fr/hal-01734805
• 12F. Kordon, H. Garavel, L. Hillah, E. Paviot-Adet, L. Jezequel, F. Hulin-Hubard, E. Amparore, M. Beccuti, B. Berthomieu, H. Evrard, P. G. Jensen, D. Le Botlan, T. Liebke, J. Meijer, J. Srba, Y. Thierry-Mieg, J. Van De Pol, K. Wolf.
  
  MCC'2017-The Seventh Model Checking Contest, in: LNCS Transactions on Petri Nets and Other Models of Concurrency , 2018, vol. 11090, pp. 181-209. [ DOI : 10.1007/978-3-662-58381-4_9 ]
  
  https://hal.inria.fr/hal-01917492
• 13A. Le Coënt, L. Fribourg, N. Markey, F. De Vuyst, L. Chamoin.
  
  Compositional synthesis of state-dependent switching control, in: Theoretical Computer Science, November 2018, vol. 750, pp. 53-68. [ DOI : 10.1016/j.tcs.2018.01.021 ]
  
  https://hal-utc.archives-ouvertes.fr/hal-01958874
• 14A. Le Coënt, L. Fribourg, N. Markey, F. De Vuyst, L. Chamoin.
  
  Compositional synthesis of state-dependent switching control, in: Theoretical Computer Science, November 2018, vol. 750, pp. 53-68. [ DOI : 10.1016/j.tcs.2018.01.021 ]
  
  https://hal.archives-ouvertes.fr/hal-01860379

International Conferences with Proceedings

• 15B. Barbot, B. Bérard, Y. Duplouy, S. Haddad.
  
  Integrating Simulink Models into the Model Checker Cosmos, in: 39th International Conference on Applications and Theory of Petri Nets and Concurrency, Bratislava, Slovakia, Lecture Notes in Computer Sciences, Springer, June 2018, vol. 10877, pp. 363-373. [ DOI : 10.1007/978-3-319-91268-4_19 ]
  
  https://hal.archives-ouvertes.fr/hal-01916467
• 16B. Bérard, S. Haar, L. Helouet.
  
  Hyper Partial Order Logic, in: FSTTCS 2018 - Foundations of Software Technology and Theoretical Computer Science, Ahmedabad, India, December 2018.
  
  https://hal.inria.fr/hal-01884390
• 17D.-J. CHO, Y.-S. Han, H. Kim, K. Salomaa.
  
  Site-Directed Deletion, in: 22nd International Conference on Developments in Language Theory (DLT 2018), Tokyo, Japan, September 2018.
  
  https://hal.inria.fr/hal-01937635
• 18D.-J. CHO, Y.-S. Han, K. Salomaa, T. J. Smith.
  
  Site-Directed Insertion: Decision Problems, Maximality and Minimality, in: 20th International Conference on Descriptional Complexity of Formal Systems, Halifax, Canada, July 2018.
  
  https://hal.inria.fr/hal-01937654
• 19T. Chatain, R. Grosu.
  
  Message from the ACSD 2018 Program Chairs, in: 2018 18th International Conference on Application of Concurrency to System Design (ACSD), Bratislava, France, IEEE, June 2018. [ DOI : 10.1109/ACSD.2018.00005 ]
  
  https://hal.inria.fr/hal-01936815
• 20T. Chatain, S. Haar, L. Paulevé.
  
  Boolean Networks: Beyond Generalized Asynchronicity, in: AUTOMATA 2018 - 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, Ghent, Belgium, J. M. Baetens, M. Kutrib (editors), Lecture Notes in Computer Science, Springer, June 2018, vol. 10875, pp. 29-42. [ DOI : 10.1007/978-3-319-92675-9_3 ]
  
  https://hal.archives-ouvertes.fr/hal-01768359
• 21M. Függer, A. Kinali, C. Lenzen, B. Wiederhake.
  
  Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance, in: 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), Wien, Austria, May 2018.
  
  https://hal.inria.fr/hal-01936403
• 22S. Haar, J. Kolčák, L. Paulevé.
  
  Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics, in: VMCAI 2019 - 20th International Conference on Verification, Model Checking, and Abstract Interpretation, Lisbon, Portugal, January 2019, https://arxiv.org/abs/1811.12377.
  
  https://hal.archives-ouvertes.fr/hal-01940174
• 23L. Jezequel, T. Chatain, M. Comlan, D. Delfieu, O. H. Roux.
  
  Pomsets and Unfolding of Reset Petri Nets, in: 12th International Conference on Language and Automata Theory and Applications (LATA 2018), Ramat Gan, Israel, S. T. Klein, C. Martín-Vide, D. Shapira (editors), Language and Automata Theory and Applications, Springer, April 2018.
  
  https://hal.archives-ouvertes.fr/hal-01766530
• 24L. Jezequel, A. Madalinski, S. Schwoon.
  
  Distributed computation of vector clocks in Petri nets unfolding for test selection, in: Workshop on Discrete Event Systems (WODES), Sorrento, Italy, May 2018.
  
  https://hal.inria.fr/hal-01735406
• 25A. Saoud, A. Girard, L. Fribourg.
  
  Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems, in: 57th IEEE Conference on Decision and Control (CDC 2018), Miami Beach, FL, United States, December 2018.
  
  https://hal.archives-ouvertes.fr/hal-01857389

Conferences without Proceedings

• 26M. Függer, J. Maier, R. Najvirt, T. Nowak, U. Schmid.
  
  A Faithful Binary Circuit Model with Adversarial Noise, in: DATE 2018 - Design, Automation and Test in Europe Conference and Exhibition, Dresden, Germany, March 2018. [ DOI : 10.23919/DATE.2018.8342219 ]
  
  https://hal.archives-ouvertes.fr/hal-01738254
• 27M. Függer, T. Nowak.
  
  Fast Multidimensional Asymptotic and Approximate Consensus, in: International Symposium on DIStributed Computing (DISC) 2018, New Orleans, United States, October 2018. [ DOI : 10.4230/LIPIcs.DISC.2018.27 ]
  
  https://hal.archives-ouvertes.fr/hal-01936316
• 28M. Függer, T. Nowak, M. Schwarz.
  
  Tight Bounds for Asymptotic and Approximate Consensus, in: ACM Symposium on Principles of Distributed Computing (PODC'18), Egham, United Kingdom, July 2018. [ DOI : 10.1145/3212734.3212762 ]
  
  https://hal.archives-ouvertes.fr/hal-01799039
• 29A. Le Coënt, L. Fribourg, J. Vacher.
  
  Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method, in: 6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018 ADHS'18,, Oxford, United Kingdom, July 2018, vol. 51, n^o 16.
  
  https://hal.archives-ouvertes.fr/hal-01959845
• 30A. Saoud, A. Girard, L. Fribourg.
  
  On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance, in: European Control Conference (ECC 2018), Limassol, Cyprus, 2018.
  
  https://hal.archives-ouvertes.fr/hal-01712710

Internal Reports

• 31B. Barbot, B. Bérard, Y. Duplouy, S. Haddad.
  
  Integrating Simulink Models into the Model Checker Cosmos, LSV, ENS Cachan, CNRS, Inria, Université Paris-Saclay, Cachan (France) ; LIP6, Sorbonne Université, CNRS, UMR 7606 ; LACL, Université Paris-Est, March 2018.
  
  https://hal.archives-ouvertes.fr/hal-01725835
• 32T. Chatain, S. Haar, L. Paulevé.
  
  Most Permissive Semantics of Boolean Networks, LRI, Univ. Paris-Sud, CNRS, Inria, Université Paris-Saclay ; LSV, ENS Cachan, CNRS, Inria, Université Paris-Saclay, Cachan (France), 2018, https://arxiv.org/abs/1808.10240.
  
  https://hal.archives-ouvertes.fr/hal-01864693

Other Publications

• 33B. Barbot, M. Beccuti, G. Franceschinis, S. Haddad, C. Picaronny.
  
  Bounds Computation for Symmetric Nets, March 2018, working paper or preprint.
  
  https://hal.inria.fr/hal-01726011
• 34T. Chatain, S. Haar, J. Kolčák, A. Thakkar, L. Paulevé.
  
  Concurrency in Boolean networks, October 2018, working paper or preprint.
  
  https://hal.inria.fr/hal-01893106

References in notes

• 35S. Abbes, A. Benveniste, S. Haar.
  
  A Petri net model for distributed estimation, in: Proc. MTNS 2004, Sixteenth International Symposium on Mathematical Theory of Networks and Systems, Louvain (Belgium), ISBN 90-5682-517-8, 2004.
• 36S. Akshay, N. Bertrand, S. Haddad, L. Helouet.
  
  The steady-state control problem for Markov decision processes, in: Qest 2013, Buenos Aires, Argentina, K. R. Joshi, M. Siegle, M. Stoelinga, P. R. D'Argenio (editors), Springer, September 2013, vol. 8054, pp. 290-304.
  
  https://hal.inria.fr/hal-00879355
• 37R. Alur, K. Etessami, M. Yannakakis.
  
  Realizability and Verification of MSC Graphs, in: Theor. Comput. Sci., 2005, vol. 331, n^o 1, pp. 97–114.
• 38P. Baldan, Th. Chatain, S. Haar, B. König.
  
  Unfolding-based Diagnosis of Systems with an Evolving Topology, in: Information and Computation, October 2010, vol. 208, n^o 10, pp. 1169-1192.
  
  http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BCHK-icomp10.pdf
• 39P. Baldan, A. Corradini, B. König, S. Schwoon.
  
  McMillan's complete prefix for contextual nets, in: Transactions on Petri Nets and Other Models of Concurrency, November 2008, vol. 1, pp. 199–220, Volume 5100 of Lecture Notes in Computer Science.
• 40P. Baldan, S. Haar, B. Koenig.
  
  Distributed Unfolding of Petri Nets, in: Proc.FOSSACS 2006, LNCS, Springer, 2006, vol. 3921, pp. 126-141, Extended version: Technical Report CS-2006-1. Department of Computer Science, University Ca' Foscari of Venice.
• 41F. Baskett, K. M. Chandy, R. R. Muntz, F. G. Palacios.
  
  Open, Closed, and Mixed Networks of Queues with Different Classes of Customers, in: J. ACM, April 1975, vol. 22, pp. 248–260.
  
  http://doi.acm.org/10.1145/321879.321887
• 42A. Benveniste, É. Fabre, S. Haar.
  
  Markov Nets: Probabilistic Models for distributed and concurrent Systems, in: IEEE Transactions on Automatic Control, 2003, vol. 48 (11), pp. 1936-1950, Extended version: IRISA Research Report 1538.
• 43P. Bhateja, P. Gastin, M. Mukund, K. Narayan Kumar.
  
  Local testing of message sequence charts is difficult, in: Proceedings of the 16th International Symposium on Fundamentals of Computation Theory (FCT'07), Budapest, Hungary, E. Csuhaj-Varjú, Z. Ésik (editors), Lecture Notes in Computer Science, Springer, August 2007, vol. 4639, pp. 76-87. [ DOI : 10.1007/978-3-540-74240-1_8 ]
  
  http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BGMN-fct07.pdf
• 44A. Bouillard, S. Haar, S. Rosario.
  
  Critical paths in the Partial Order Unfolding of a Stochastic Petri Net, in: Proceedings of the 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09), Budapest, Hungary, J. Ouaknine, F. Vaandrager (editors), Lecture Notes in Computer Science, Springer, September 2009, vol. 5813, pp. 43-57. [ DOI : 10.1007/978-3-642-04368-0_6 ]
  
  http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BHR-formats09.pdf
• 45P. Bouyer, S. Haddad, P.-A. Reynier.
  
  Timed Unfoldings for Networks of Timed Automata, in: Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06), Beijing, ROC, S. Graf, W. Zhang (editors), Lecture Notes in Computer Science, Springer, October 2006, vol. 4218, pp. 292-306.
  
  http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BHR-atva06.pdf
• 46G. Chiola, C. Dutheillet, G. Franceschinis, S. Haddad.
  
  Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications, in: IEEE Transactions on Computers, November 1993, vol. 42, n^o 11, pp. 1343-1360.
  
  http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/CDFH-toc93.ps
• 47R. Debouk, D. Teneketzis.
  
  Coordinated decentralized protocols for failure diagnosis of discrete-event systems, in: Journal of Discrete Event Dynamical Systems: Theory and Application, 2000, vol. 10, pp. 33–86.
• 48J. Esparza, K. Heljanko.
  
  Unfoldings - A Partial-Order Approach to Model Checking, EATCS Monographs in Theoretical Computer Science, Springer, 2008.
• 49É. Fabre, A. Benveniste, C. Jard, S. Haar.
  
  Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach, in: IEEE Trans. Aut. Control, 2003, vol. 48 (5), pp. 714-727.
• 50É. Fabre, A. Benveniste, C. Jard, S. Haar.
  
  Distributed monitoring of concurrent and asynchronous systems, in: Discrete Event Dynamic Systems: theory and application, 2005, vol. 15 (1), pp. 33-84, Preliminary version: Proc. CONCUR 2003, LNCS 2761, pp.1–28, Springer.
• 51S. Haar, A. Benveniste, É. Fabre, C. Jard.
  
  Partial Order Diagnosability Of Discrete Event Systems Using Petri Net Unfoldings, in: 42nd IEEE Conference on Decision and Control (CDC), 2003.
• 52S. Haar.
  
  Probabilistic Cluster Unfoldings, in: Fundamenta Informaticae, 2003, vol. 53 (3-4), pp. 281-314.
• 53S. Lafortune, Y. Wang, T.-S. Yoo.
  
  Diagnostic Decentralisé Des Systèmes A Evénements Discrets, in: Journal Europeen des Systèmes Automatisés (RS-JESA), August 2005, vol. 99, n^o 99, pp. 95–110.
• 54K. G. Larsen, P. Pettersson, W. Yi.
  
  Compositional and symbolic model-checking of real-time systems, in: Proc. of RTSS 1995, IEEE Computer Society, 1995, pp. 76-89.
• 55L. Ricker, K. Rudie.
  
  Know Means No: Incorporating Knowledge into Discrete-Event Control Systems, in: IEEE Transactions on Automatic Control, September 2000, vol. 45, n^o 9, pp. 1656–1668.
• 56L. Ricker, K. Rudie.
  
  Knowledge Is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems, in: IEEE Transactions on Automatic Control, MarchSeptember 2007, vol. 52, n^o 3, pp. 428–441.
• 57C. Rodríguez, S. Schwoon, V. Khomenko.
  
  Contextual Merged Processes, in: 34th International Conference on Applications and Theory of Petri Nets (ICATPN'13), Italy, Lecture Notes in Computer Science, Springer, 2013, vol. 7927, pp. 29-48. [ DOI : 10.1007/978-3-642-38697-8_3 ]
  
  https://hal.archives-ouvertes.fr/hal-00926202
• 58H. L. S. Younes, R. G. Simmons.
  
  Statistical probabilistic model checking with a focus on time-bounded properties, in: Inf. Comput., September 2006, vol. 204, pp. 1368–1409. [ DOI : 10.1016/j.ic.2006.05.002 ]
  
  http://dl.acm.org/citation.cfm?id=1182767.1182770