EN FR
EN FR
MEXICO - 2017
MEXICO - 2017
Project-Team Mexico
Personnel
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
Project-Team Mexico
Personnel
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography


previous Previous | up Home


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, no 1-2, pp. 147-172.

    https://hal.archives-ouvertes.fr/hal-00925774
Publications of the year

Articles in International Peer-Reviewed Journals

  • 3E. Fabre, L. Hélouët, E. Lefaucheux, H. Marchand.

    Diagnosability of Repairable Faults, in: Discrete Event Dynamic Systems, June 2017.

    https://hal.inria.fr/hal-01646911
  • 4S. Haar, S. Haddad, T. Melliti, S. Schwoon.

    Optimal constructions for active diagnosis, in: Journal of Computer and System Sciences, February 2017, vol. 83, no 1, pp. 101-120. [ DOI : 10.1016/j.jcss.2016.04.007 ]

    https://hal.archives-ouvertes.fr/hal-01408047
  • 5S. Haddad, M. Blondin, C. Haase, A. Finkel.

    The Logical View on Continuous Petri Nets, in: ACM Transactions on Computational Logic, 2017, vol. 18, no 3.

    https://hal.inria.fr/hal-01652793
  • 6A. 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, forthcoming. [ DOI : 10.1007/s10703-017-0305-8 ]

    https://hal.archives-ouvertes.fr/hal-01399337

International Conferences with Proceedings

  • 7B. Bérard, S. Haar, S. Schmitz, S. Schwoon.

    The Complexity of Diagnosability and Opacity Verification for Petri Nets, in: Petri nets 2017, Zaragoza, Spain, W. van der Aalst, E. Best (editors), Lecture Notes in Computer Science, Springer, 2017.

    https://hal.inria.fr/hal-01484476
  • 8B. Bérard, S. Haddad, E. Lefaucheux.

    Probabilistic Disclosure: Maximisation vs. Minimisation , in: FSTTCS 2017, Kanpur, India, December 2017. [ DOI : 10.4230/LIPIcs.FSTTXS.2017 ]

    https://hal.inria.fr/hal-01618955
  • 9T. Chatain, J. Carmona, B. F. Van Dongen.

    Alignment-Based Trace Clustering, in: ER 2017 - 36th International Conference on Conceptual Modeling, Valencia, Spain, ER 2017: Conceptual Modeling, Springer, November 2017, vol. 10650, pp. 295-308. [ DOI : 10.1007/978-3-319-69904-2_24 ]

    https://hal.inria.fr/hal-01664235
  • 10T. Chatain, L. Paulevé.

    Goal-Driven Unfolding of Petri Nets, in: 28th International Conference on Concurrency Theory (CONCUR 2017), Berlin, Germany, September 2017. [ DOI : 10.4230/LIPIcs.CONCUR.2017.14 ]

    https://hal.archives-ouvertes.fr/hal-01392203
  • 11M. Függer, A. Kinali, C. Lenzen, T. Polzer.

    Metastability-Aware Memory-Efficient Time-to-Digital Converters, in: IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), San Diego, United States, May 2017.

    https://hal.archives-ouvertes.fr/hal-01652787
  • 12M. Függer, T. Nowak, M. Schwarz.

    Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks, in: 31st International Symposium on Distributed Computing (DISC), Wien, Austria, October 2017, vol. Proceedings of the 31st International Symposium on Distributed Computing (DISC 2017).

    https://hal.archives-ouvertes.fr/hal-01652851
  • 13S. 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
  • 14V. Jugé, P. Bouyer, S. Haddad.

    Unbounded product-form Petri nets, in: 28th International Conference on Concurrency Theory (CONCUR 2017), Berlin, Germany, 28th International Conference on Concurrency Theory (CONCUR 2017), September 2017, https://arxiv.org/abs/1708.05847 - 31 pages. [ DOI : 10.4230/LIPIcs.CONCUR.2017.31 ]

    https://hal.archives-ouvertes.fr/hal-01615257
  • 15H. Mandon, S. Haar, L. Paulevé.

    Temporal Reprogramming of Boolean Networks, in: CMSB 2017 - 15th conference on Computational Methods for Systems Biology, Darmstadt, Germany, J. Feret, H. Koeppl (editors), Lecture Notes in Computer Science, Springer International Publishing, September 2017, vol. 10545, pp. 179 - 195. [ DOI : 10.1007/978-3-319-67471-1_11 ]

    https://hal.archives-ouvertes.fr/hal-01589251
  • 16G. Tarawneh, M. Függer, C. Lenzen.

    Metastability Tolerant Computing, in: ASYNC17 - 23rd IEEE International Symposium on Asynchronous Circuits and Systems, San Diego, United States, May 2017.

    https://hal.archives-ouvertes.fr/hal-01652772
  • 17B. F. Van Dongen, J. Carmona, T. Chatain, F. Taymouri.

    Aligning Modeled and Observed Behavior: A Compromise Between Complexity and Quality, in: CAiSE 2017 - 29th International Conference on Advanced Information Systems Engineering, Essen, Germany, CAiSE 2017: Advanced Information Systems Engineering, Springer, June 2017, vol. 10253, pp. 94-109. [ DOI : 10.1007/978-3-319-59536-8_7 ]

    https://hal.inria.fr/hal-01664240

National Conferences with Proceedings

  • 18N. 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.

    https://hal.inria.fr/hal-01618922
  • 19B. Bérard, Y. Duplouy, S. Haddad.

    Une sémantique formelle pour les modèles Simulink, in: École d'été Temps Réel 2017, Paris, France, August 2017.

    https://hal.archives-ouvertes.fr/hal-01578297

Conferences without Proceedings

  • 20B. Barbot, B. Bérard, Y. Duplouy, S. Haddad.

    Statistical Model-Checking for Autonomous Vehicle Safety Validation, in: SIA Simulation Numérique, Montigny-le-Bretonneux, France, Société des Ingénieurs de l'Automobile, March 2017.

    https://hal.archives-ouvertes.fr/hal-01491064
  • 21A. Le Coënt, F. De Vuyst, L. Chamoin, L. Fribourg.

    Guaranteed control synthesis of nonlinear switched systems using Euler method, in: 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, Uppsala, Sweden, April 2017.

    https://hal.archives-ouvertes.fr/hal-01583164

Scientific Books (or Scientific Book chapters)

  • 22A. Le Coënt, J. Alexandre Dit Sandretto, A. Chapoutot, L. Fribourg, F. De Vuyst, L. Chamoin.

    Distributed control synthesis using Euler's method, in: International Workshop on Reachability Problems, August 2017. [ DOI : 10.1007/978-3-319-67089-8_9 ]

    https://hal.archives-ouvertes.fr/hal-01593225

Other Publications

References in notes
  • 26S. 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.
  • 27S. 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
  • 28R. Alur, K. Etessami, M. Yannakakis.

    Realizability and Verification of MSC Graphs, in: Theor. Comput. Sci., 2005, vol. 331, no 1, pp. 97–114.
  • 29P. 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, no 10, pp. 1169-1192.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BCHK-icomp10.pdf
  • 30P. 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.
  • 31P. 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.
  • 32F. 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
  • 33A. 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.
  • 34P. 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
  • 35A. 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
  • 36P. 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
  • 37G. 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, no 11, pp. 1343-1360.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/CDFH-toc93.ps
  • 38R. 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.
  • 39J. Esparza, K. Heljanko.

    Unfoldings - A Partial-Order Approach to Model Checking, EATCS Monographs in Theoretical Computer Science, Springer, 2008.
  • 40É. 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.
  • 41É. 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.
  • 42S. 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.
  • 43S. Haar.

    Probabilistic Cluster Unfoldings, in: Fundamenta Informaticae, 2003, vol. 53 (3-4), pp. 281-314.
  • 44S. 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, no 99, pp. 95–110.
  • 45K. 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.
  • 46L. Ricker, K. Rudie.

    Know Means No: Incorporating Knowledge into Discrete-Event Control Systems, in: IEEE Transactions on Automatic Control, September 2000, vol. 45, no 9, pp. 1656–1668.
  • 47L. 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, no 3, pp. 428–441.
  • 48C. 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
  • 49H. 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


previous Previous | up Home