Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Major publications by the team in recent years
[1]
É. André, Th. Chatain, C. Rodríguez.
Preserving Partial-Order Runs in Parametric Time Petri Nets, in: ACM Transactions in Embedded Computing Systems, 2017, vol. 16, no 2, pp. 1–26.
[2]
B. Bérard, S. Haar, S. Schmitz, S. Schwoon.
The Complexity of Diagnosability and Opacity Verification for Petri Nets, in: Fundamenta Informaticae, 2018, vol. 161, no 4, pp. 317-349. [ DOI : 10.3233/FI-2018-1706 ]
[3]
Th. Chatain, S. Haar, J. Kolčák, L. Paulevé, A. Thakkar.
Concurrency in Boolean networks, in: Natural Computing, 2019.
[4]
S. Friedrichs, M. Függer, C. Lenzen.
Metastability-Containing Circuits, in: IEEE Transactions on Computers, 2018, vol. 67, no 8. [ DOI : 10.1109/TC.2018.2808185 ]
[5]
S. Haar, S. Haddad, T. Melliti, S. Schwoon.
Optimal constructions for active diagnosis, in: Journal of Computer and System Sciences, 2017, vol. 83, no 1, pp. 101-120.
[6]
S. 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.
[7]
J. Kolčák, D. Šafránek, S. Haar, L. Paulevé.
Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks, in: Theoretical Computer Science, 2019, vol. 765, pp. 120-144.
https://hal.archives-ouvertes.fr/hal-01734805
Publications of the year

Doctoral Dissertations and Habilitation Theses

[8]
H. Mandon.
Algorithms for Cell Reprogramming Strategies in Boolean Networks, Université Paris-Saclay, November 2019.
https://hal.archives-ouvertes.fr/tel-02412717

Articles in International Peer-Reviewed Journals

[9]
N. Bertrand, S. Haddad, E. Lefaucheux.
A Tale of Two Diagnoses in Probabilistic Systems, in: Journal of Information and Computation, December 2019, vol. 269, pp. 1-33. [ DOI : 10.1016/j.ic.2019.104441 ]
https://hal.inria.fr/hal-02430814
[10]
T. Chatain, S. Haar, J. Kolčák, L. Paulevé, A. Thakkar.
Concurrency in Boolean networks, in: Natural Computing, 2019. [ DOI : 10.1007/s11047-019-09748-4 ]
https://hal.inria.fr/hal-01893106
[11]
P. Dague, L. He, L. Ye.
How to be sure a faulty system does not always appear healthy?Fault manifestability analysis for discrete event and timed systems, in: Innovations in Systems and Software Engineering, 2019, forthcoming. [ DOI : 10.1007/s11334-019-00357-z ]
https://hal.archives-ouvertes.fr/hal-02425142
[12]
M. Függer, R. Najvirt, T. Nowak, U. Schmid.
A Faithful Binary Circuit Model, in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, August 2019. [ DOI : 10.1109/TCAD.2019.2937748 ]
https://hal.inria.fr/hal-02395251
[13]
J. Kolčák, D. Šafránek, S. Haar, L. Paulevé.
Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks, in: Theoretical Computer Science, December 2019, vol. 765, pp. 120-144. [ DOI : 10.1016/j.tcs.2018.03.009 ]
https://hal.archives-ouvertes.fr/hal-01734805
[14]
H. Mandon, C. Su, J. Pang, S. Paul, S. Haar, L. Paulevé.
Algorithms for the Sequential Reprogramming of Boolean Networks, in: IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2019, vol. 16, no 5, pp. 1610-1619. [ DOI : 10.1109/TCBB.2019.2914383 ]
https://hal.archives-ouvertes.fr/hal-02113864
[15]
W. M. van der Aalst, J. Carmona, T. Chatain, B. F. Van Dongen.
A Tour in Process Mining: From Practice to Algorithmic Challenges, in: LNCS Transactions on Petri Nets and Other Models of Concurrency, December 2019. [ DOI : 10.1007/978-3-662-60651-3_1 ]
https://hal.inria.fr/hal-02419141

International Conferences with Proceedings

[16]
M. Boltenhagen, T. Chatain, J. Carmona.
Encoding Conformance Checking Artefacts in SAT, in: 15th International Workshop on Business Process Intelligence (BPI'19), Wien, Austria, September 2019.
https://hal.inria.fr/hal-02419980
[17]
M. Boltenhagen, T. Chatain, J. Carmona.
Generalized Alignment-Based Trace Clustering of Process Behavior, in: Petri Nets 2019 / ACSD 2019 - 40th International Conference on Application and Theory of Petri Nets and Concurrency, Aachen, Germany, Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings, June 2019.
https://hal.archives-ouvertes.fr/hal-02176771
[18]
A. Finkel, S. Haddad, I. Khmelnitsky.
Coverability and Termination in Recursive Petri Nets, in: Petri Nets 2019 / ACSD 2019 - 40th International Conference on Application and Theory of Petri Nets and Concurrency, Aachen, Germany, June 2019.
https://hal.inria.fr/hal-02081019
[19]
A. Finkel, S. Haddad, I. Khmelnitsky.
Réification des accélérations pour la construction de Karp et Miller, in: MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Angers, France, November 2019.
https://hal.inria.fr/hal-02319755
[20]
S. 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, Lecture Notes in Computer Science, Springer, 2019, vol. 11388, pp. 555-576, https://arxiv.org/abs/1811.12377. [ DOI : 10.1007/978-3-030-11245-5_26 ]
https://hal.archives-ouvertes.fr/hal-01940174
[21]
J. Maier, M. Függer, T. Nowak, U. Schmid.
Transistor-Level Analysis of Dynamic Delay Models, in: ASYNC 2019 - 25th IEEE International Symposium on Asynchronous Circuits and Systems, Hirosaki, Japan, IEEE, May 2019, pp. 76-85. [ DOI : 10.1109/ASYNC.2019.00019 ]
https://hal.inria.fr/hal-02395229
[22]
Best Paper
H. Mandon, C. Su, S. Haar, J. Pang, L. Paulevé.
Sequential Reprogramming of Boolean Networks Made Practical, in: CMSB 2019 - 17th International Conference on Computational Methods in Systems Biology, Trieste, France, Lecture Notes in Computer Science, Springer, 2019, vol. 11773, pp. 3–19, Best paper award. [ DOI : 10.1007/978-3-030-31304-3_1 ]
https://hal.archives-ouvertes.fr/hal-02178917
[23]
D. Ohlinger, J. Maier, M. Függer, U. Schmid.
The Involution Tool for Accurate Digital Timingand Power Analysis, in: PATMOS 2019 - 29th International Symposium on Power and Timing Modeling, Optimization and Simulation, Rhodes, Greece, IEEE, July 2019. [ DOI : 10.1109/PATMOS.2019.8862165 ]
https://hal.inria.fr/hal-02395242
[24]
Best Paper
L. Ye, P. Dague, L. He.
Manifestability Verification of Discrete Event Systems, in: DX'19 - 30th International Workshop on Principles of Diagnosis, Klagenfurt, Austria, November 2019, vol. 19, pp. 1-9, Best Paper Award (https://dx-workshop.org/2019/awards/).
https://hal.archives-ouvertes.fr/hal-02425146
[25]
D. Zonetti, A. Saoud, A. Girard, L. Fribourg.
A symbolic approach to voltage stability and power sharing in time-varying DC microgrids, in: ECC 2019 - European control conference, Naples, Italy, June 2019, European Control Conference 2019. [ DOI : 10.23919/ecc.2019.8796095 ]
https://hal.archives-ouvertes.fr/hal-02070070
[26]
D. Zonetti, A. Saoud, A. Girard, L. Fribourg.
Decentralized monotonicity-based voltage control of DC microgrids with ZIP loads, in: NecSys 2019 - 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, Chicago, United States, September 2019, 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems (NECSYS) 2019.
https://hal.archives-ouvertes.fr/hal-02208665

Internal Reports

[27]
S. Donatelli, S. Haddad.
Autonomous Transitions Enhance CSLTA Expressiveness and Conciseness, Inria Saclay Ile de France ; LSV, ENS Cachan, CNRS, Inria, Université Paris-Saclay, Cachan (France) ; Universita degli Studi di Torino, October 2019.
https://hal.inria.fr/hal-02306021

Other Publications

[28]
T. Chatain, M. Boltenhagen, J. Carmona.
Anti-Alignments – Measuring The Precision of Process Models and Event Logs, November 2019, https://arxiv.org/abs/1912.05907 - working paper or preprint.
https://hal.inria.fr/hal-02383546
[29]
A. Saoud, A. Girard, L. Fribourg.
Assume-guarantee contracts for discrete and continuous-time systems, July 2019, working paper or preprint.
https://hal.archives-ouvertes.fr/hal-02196511
[30]
A. Saoud, A. Girard, L. Fribourg.
Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems, May 2019, working paper or preprint.
https://hal.archives-ouvertes.fr/hal-02132070
References in notes
[31]
S. 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.
[32]
S. 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
[33]
R. Alur, K. Etessami, M. Yannakakis.
Realizability and Verification of MSC Graphs, in: Theor. Comput. Sci., 2005, vol. 331, no 1, pp. 97–114.
[34]
P. 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
[35]
P. 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.
[36]
P. 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.
[37]
F. 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
[38]
A. 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.
[39]
P. 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
[40]
A. 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
[41]
P. 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
[42]
G. 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
[43]
R. 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.
[44]
J. Esparza, K. Heljanko.
Unfoldings - A Partial-Order Approach to Model Checking, EATCS Monographs in Theoretical Computer Science, Springer, 2008.
[45]
É. 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.
[46]
É. 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.
[47]
S. 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.
[48]
S. Haar.
Probabilistic Cluster Unfoldings, in: Fundamenta Informaticae, 2003, vol. 53 (3-4), pp. 281-314.
[49]
S. 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.
[50]
K. 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.
[51]
L. 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.
[52]
L. 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.
[53]
C. 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
[54]
H. 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