Bibliography

Major publications by the team in recent years

• 1B. Barbot, S. Haddad, C. Picaronny.
  Coupling and Importance Sampling for Statistical Model Checking, in: Proceedings of the 18th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'12), Tallinn, Estonia, C. Flanagan, B. König (editors), Lecture Notes in Computer Science, Springer, March 2012, vol. 7214, pp. 331-346.
  http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BHP-tacas12.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

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 3S. Perchy.
  Opinions, Lies and Knowledge. An Algebraic Approach to Mobility of Information and Processes, Université Paris-Saclay, October 2016.
  https://hal.inria.fr/tel-01413970
• 4S. Theissing.
  Supervision in Multimodal Transportation Systems, Université Paris-Saclay, December 2016.
  https://hal.inria.fr/tel-01419126

Articles in International Peer-Reviewed Journals

• 5É. André, T. Chatain, C. Rodriguez.
  Preserving Partial Order Runs in Parametric Time Petri Nets, in: ACM Transactions on Embedded Computing Systems (TECS), 2016, vol. 16, 25 p. [ DOI : 10.1145/3012283 ]
  https://hal.inria.fr/hal-01425696
• 6M. Guzman, S. Haar, S. Perchy, C. Rueda, F. Valencia.
  Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion, in: Journal of Logical and Algebraic Methods in Programming, September 2016. [ DOI : 10.1016/j.jlamp.2016.09.001 ]
  https://hal.inria.fr/hal-01257113
• 7S. Haar.
  Cyclic Ordering through Partial Orders *, in: Journal of Multivalued-Logic and Soft Computing, September 2016, vol. 27, n^o 2-3, pp. 209-228.
  https://hal.inria.fr/hal-01360144
• 8S. Haar, S. Haddad, T. Melliti, S. Schwoon.
  Optimal constructions for active diagnosis, in: Journal of Computer and System Sciences, 2017, vol. 83, n^o 1, pp. 101-120. [ DOI : 10.1016/j.jcss.2016.04.007 ]
  https://hal.archives-ouvertes.fr/hal-01408047
• 9F. Kordon, H. Garavel, L. M. Hillah, E. Paviot-Adet, L. Jezequel, C. Rodríguez, F. Hulin-Hubard.
  MCC’2015 – The Fifth Model Checking Contest, in: Transactions on Petri Nets and Other Models of Concurrency, 2016, vol. 9930, pp. 262-273. [ DOI : 10.1007/978-3-662-53401-4_12 ]
  https://hal.inria.fr/hal-01361274

International Conferences with Proceedings

• 10S. Akshay, P. Gastin, S. N. Krishna.
  Analyzing Timed Systems Using Tree Automata, in: 27th International Conference on Concurrency Theory (CONCUR 2016), Québec City, Canada, Proceedings of the 27th International Conference on Concurrency Theory (CONCUR 2016), Leibniz-Zentrum für Informatik, 2016, vol. 59, pp. 27:1–27:14. [ DOI : 10.4230/LIPIcs.CONCUR.2016.27 ]
  https://hal.archives-ouvertes.fr/hal-01407942
• 11N. 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, Springer, March 2016.
  https://hal.inria.fr/hal-01220954
• 12N. Bertrand, S. Haddad, E. Lefaucheux.
  Diagnosis in Infinite-State Probabilistic Systems , in: 27th International Conference on Concurrency Theory (Concur 2016), Québec city, Canada, 27th International Conference on Concurrency Theory (Concur 2016), August 2016. [ DOI : 10.4230/LIPIcs.CONCUR.2016.37 ]
  https://hal.inria.fr/hal-01373354
• 13M. Blondin, A. Finkel, C. Haase, S. Haddad.
  Approaching the Coverability Problem Continuously, in: 22nd International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 2016), Eindhoven, Netherlands, Proceedings of the 22nd International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 2016), 2016, vol. LNCS 9636, pp. 480-496.
  https://hal.archives-ouvertes.fr/hal-01408044
• 14B. Bollig.
  One-Counter Automata with Counter Observability, in: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016), Chennai, India, Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016), December 2016. [ DOI : 10.4230/LIPIcs.FSTTCS.2016 ]
  https://hal.archives-ouvertes.fr/hal-01407932
• 15T. Chatain, J. Carmona.
  Anti-Alignments in Conformance Checking - The Dark Side of Process Models, in: 37th International Conference on Applications and Theory of Petri Nets (PETRI NETS 2016), Torún, Poland, Proceedings of the 37th International Conference on Applications and Theory of Petri Nets (PETRI NETS 2016), 2016, vol. LNCS 9698, pp. 240-258.
  https://hal.archives-ouvertes.fr/hal-01408043
• 16M. Fortin, P. Gastin.
  Verification of parameterized communicating automata via split-width, in: 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2016), Eindhoven, Netherlands, Proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2016), 2016, vol. LNCS 9634, pp. 197-213.
  https://hal.archives-ouvertes.fr/hal-01408041
• 17S. Haar, S. Perchy, F. Valencia.
  D-SPACES: Implementing Declarative Semantics for Spatially Structured Information, in: 11th International Conference on Semantic Computing, San Diego, California, United States, IEEE ICSC 2017, IEEE, January 2017, vol. 11.
  https://hal.inria.fr/hal-01328189
• 18J. Kolčák, D. Šafránek, S. Haar, L. Paulevé.
  Unfolding of Parametric Logical Regulatory Networks, in: The Seventh International Workshop on Static Analysis and Systems Biology (SASB 2016), Edimbourg, United Kingdom, Electronic Notes in Theoretical Computer Science, Elsevier, September 2016, forthcoming.
  https://hal.archives-ouvertes.fr/hal-01354109
• 19B. F. Van Dongen, J. Carmona, T. F. Chatain.
  A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments, in: 14th International Conference on Business Process Management (BPM'16), Rio de Janeiro, Brazil, Proceedings of the 14th International Conference on Business Process Management (BPM'16), September 2016, pp. 39 - 56. [ DOI : 10.1007/978-3-319-45348-4_3 ]
  https://hal.archives-ouvertes.fr/hal-01406850
• 20B. van Dongen, J. Carmona, T. Chatain.
  Alignment-based Quality Metrics in Conformance Checking, in: 7th International Workshop on Enterprise Modelling and Information Systems Architectures (EMISA'16), Vienna, Austria, Proceedings of the 7th Int. Workshop on Enterprise Modelling and Information Systems Architectures (EMISA'16), October 2016.
  https://hal.archives-ouvertes.fr/hal-01406813

Conferences without Proceedings

• 21E. Fabre, L. Hélouët, E. Lefaucheux, H. Marchand.
  Diagnosability of Repairable Faults, in: 13th International Workshop on Discrete Event Systems, Xi'an, China, 2016, pp. 256-262, (Version Longue).
  https://hal.inria.fr/hal-01302562
• 22S. Haar, S. Theissing.
  Decoupling Passenger Flows for Improved Load Prediction, in: 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016), Québec City, Canada, August 2016.
  https://hal.inria.fr/hal-01330136
• 23S. Haar, S. Theissing.
  Predicting Traffic Load in Public Transportation Networks, in: 2016 American Control Conference, Boston, United States, July 2016.
  https://hal.inria.fr/hal-01329632
• 24H. Mandon, S. Haar, L. Paulevé.
  Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph, in: Fifth International Workshop on Hybrid Systems Biology (HSB 2016), Grenoble, France, E. Cinquemani, A. Donzé (editors), Lecture Notes in Computer Science, Springer International Publishing, October 2016, vol. 9957, pp. 113-127. [ DOI : 10.1007/978-3-319-47151-8_8 ]
  https://hal.archives-ouvertes.fr/hal-01354079

Internal Reports

• 25T. Chatain, J. Carmona.
  Anti-Alignments in Conformance Checking – The Dark Side of Process Models, LSV, ENS Cachan, CNRS, Inria, Université Paris-Saclay, Cachan (France) ; Universitat Politècnica de Catalunya, Barcelona (Spain), January 2016.
  https://hal.inria.fr/hal-01267015

Other Publications

• 26T. Chatain, L. Paulevé.
  Goal-Driven Unfolding of Petri Nets, October 2016, working paper or preprint.
  https://hal.archives-ouvertes.fr/hal-01392203
• 27S. Haar, S. Theissing.
  A Passenger-centric Multi-agent System Model for Multimodal Public Transportation, May 2016, working paper or preprint.
  https://hal.inria.fr/hal-01322956
• 28S. Haar, S. Theissing.
  Decoupling Passenger Flows for Improved Load Prediction, March 2016, working paper or preprint.
  https://hal.inria.fr/hal-01294498
• 29S. Haar, S. Theissing.
  Forecasting Passenger Loads in Transportation Networks, January 2016, working paper or preprint.
  https://hal.inria.fr/hal-01259585
• 30S. Haar, S. Theissing.
  Predicting traffic load in public transportation networks, March 2016, working paper or preprint.
  https://hal.archives-ouvertes.fr/hal-01286476

References in notes

• 31W. Kuich, H. Vogler, M. Droste (editors)
  Handbook of Weighted Automata, EATCS Monographs in Theoretical Computer Science, Springer, 2009.
• 32S. 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.
• 33S. 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
• 34R. Alur, K. Etessami, M. Yannakakis.
  Realizability and Verification of MSC Graphs, in: Theor. Comput. Sci., 2005, vol. 331, n^o 1, pp. 97–114.
• 35P. 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
• 36P. 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.
• 37P. 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.
• 38F. 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
• 39A. 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.
• 40P. 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
• 41G. V. Bochmann, S. Haar, C. Jard, G.-V. Jourdan.
  Testing Systems Specified as Partial Order Input/Output Automata, in: Proc. TESTCOM/Fates 08, 20th IFIP International Conference on Testing of Communicating Systems and 8th International Workshop on Formal Approaches to Testing of Software, LNCS, Springer, 2008, vol. 5047, pp. 169-183.
• 42B. Bollig, P. Gastin.
  Weighted versus Probabilistic Logics, in: Proceedings of the 13th International Conference on Developments in Language Theory (DLT'09), Stuttgart, Germany, V. Diekert, D. Nowotka (editors), Lecture Notes in Computer Science, Springer, June-July 2009, vol. 5583, pp. 18-38. [ DOI : 10.1007/978-3-642-02737-6_2 ]
  http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BG-dlt09.pdf
• 43A. 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
• 44P. 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
• 45Th. Chatain, P. Gastin, N. Sznajder.
  Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems, in: Proceedings of the 35th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'09), Špindlerův Mlýn, Czech Republic, M. Nielsen, A. Kučera, P. Bro Miltersen, C. Palamidessi, P. Tůma, F. Valencia (editors), Lecture Notes in Computer Science, Springer, January 2009, vol. 5404, pp. 141-152. [ DOI : 10.1007/978-3-540-95891-8_16 ]
  http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/CGS-sofsem09.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
• 47A. Church.
  Logic, arithmetics, and automata, in: Proc. of Int. Congr. of Mathematicians, 1962, pp. 23–35.
• 48R. 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.
• 49D. El Hog-Benzina, S. Haddad, R. Hennicker.
  Process Refinement and Asynchronous Composition with Modalities, in: Proceedings of the 2nd International Workshop on Abstractions for Petri Nets and Other Models of Concurrency (APNOC'10), Braga, Portugal, N. Sidorova, A. Serebrenik (editors), June 2010.
  http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/EHH-apnoc10.pdf
• 50J. Esparza, K. Heljanko.
  Unfoldings - A Partial-Order Approach to Model Checking, EATCS Monographs in Theoretical Computer Science, Springer, 2008.
• 51É. 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.
• 52É. 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.
• 53B. Finkbeiner, S. Schewe.
  Uniform distributed synthesis, in: Proc. of the 20th IEEE Annual Symposium on Logic in Computer Science (LICS'05), IEEE Computer Society Press, 2005, pp. 321–330.
• 54P. Gastin, B. Lerman, M. Zeitoun.
  Distributed games with causal memory are decidable for series-parallel systems, in: Proceedings of the 24th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'04), Chennai, India, K. Lodaya, M. Mahajan (editors), Lecture Notes in Computer Science, Springer, December 2004, vol. 3328, pp. 275-286.
  http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/GLZ-fsttcs04.pdf
• 55P. Gastin, N. Sznajder, M. Zeitoun.
  Distributed synthesis for well-connected architectures, in: Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), Kolkata, India, N. Garg, S. Arun-Kumar (editors), Lecture Notes in Computer Science, Springer, December 2006, vol. 4337, pp. 321-332. [ DOI : 10.1007/11944836_30 ]
  http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/GSZ-fsttcs2006.pdf
• 56S. 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.
• 57S. Haar.
  Probabilistic Cluster Unfoldings, in: Fundamenta Informaticae, 2003, vol. 53 (3-4), pp. 281-314.
• 58S. Haar, C. Jard, G.-V. Jourdan.
  Testing Input/Output Partial Order Automata, in: Proc. TESTCOM/FATES, LNCS, Springer, 2007, vol. 4581, pp. 171-185, LNCS 4581.
• 59O. Kupferman, M. Y. Vardi.
  Synthesizing Distributed Systems, in: Proc. of the 16th IEEE Annual Symposium on Logic in Computer Science (LICS'01), IEEE Computer Society Press, 2001.
• 60S. 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.
• 61K. 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.
• 62S. Mohalik, I. Walukiewicz.
  Distributed Games, in: Proc. of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'03), LNCS, Springer, 2003, vol. 2914, pp. 338–351.
• 63A. Pnueli, R. Rosner.
  Distributed reactive systems are hard to synthesize, in: Proc. of the 31st Annual IEEE Symposium on Foundations of Computer Science (FOCS'90), IEEE Computer Society Press, 1990, vol. II, pp. 746–757.
• 64L. 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.
• 65L. 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.
• 66C. 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
• 67H. 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