Sites Inria

Version française

MEXICO Research team

MEXICO team publications

2019

Journal articles

titre
Concurrency in Boolean networks
auteur
Thomas Chatain, Stefan Haar, Juraj Kolčák, Loïc Paulevé, Aalok Thakkar
article
Natural Computing, Springer Verlag, 2019, ⟨10.1007/s11047-019-09748-4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01893106/file/main.pdf BibTex
titre
Algorithms for the Sequential Reprogramming of Boolean Networks
auteur
Hugues Mandon, Cui Su, Jun Pang, Soumya Paul, Stefan Haar, Loïc Paulevé
article
IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TCBB.2019.2914383⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02113864/file/main.pdf BibTex

Conference papers

titre
Sequential Reprogramming of Boolean Networks Made Practical
auteur
Hugues Mandon, Cui Su, Stefan Haar, Jun Pang, Loïc Paulevé
article
CMSB 2019 - 17th International Conference on Computational Methods in Systems Biology, Sep 2019, Trieste, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02178917/file/main.pdf BibTex
titre
Coverability and Termination in Recursive Petri Nets
auteur
Alain Finkel, Serge Haddad, Igor Khmelnitsky
article
Proceedings of the 40th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2019, Aachen, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02081019/file/Coverability%20and%20Termination%20in%20Recursive%20Petri%20Nets.pdf BibTex
titre
Generalized Alignment-Based Trace Clustering of Process Behavior
auteur
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
article
40th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2019, Aachen, Germany
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02176771/file/BoltenhagenChatainCarmona.pdf BibTex
titre
MCC'2017-The Seventh Model Checking Contest
auteur
Fabrice Kordon, Hubert Garavel, Lom Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jiří Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf
article
25th TACAS@ETAPS 2019, Apr 2019, Prague, Czech Republic. pp.181-209, ⟨10.1007/978-3-662-58381-4_9⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01917492/file/ToPNoC-mcc2017.pdf BibTex
titre
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics
auteur
Stefan Haar, Juraj Kolčák, Loïc Paulevé
article
VMCAI 2019 - 20th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Lisbon, Portugal. pp.555-576, ⟨10.1007/978-3-030-11245-5_26⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01940174/file/manuscript.pdf BibTex

Preprints, Working Papers, ...

titre
Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems
auteur
Adnane Saoud, Antoine Girard, Laurent Fribourg
article
2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02132070/file/double_column.pdf BibTex
titre
A symbolic approach to voltage stability and power sharing in time-varying DC microgrids
auteur
Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg
article
2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02070070/file/Symbolic%20Control%20of%20DC%20grids%20ECC%202019.pdf BibTex

2018

Journal articles

titre
An improved algorithm for the control synthesis of nonlinear sampled switched systems
auteur
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
article
Formal Methods in System Design, Springer Verlag, 2018, 53 (3), pp.363-383
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01399337/file/template-hal.pdf BibTex
titre
Compositional synthesis of state-dependent switching control
auteur
Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian de Vuyst, Ludovic Chamoin
article
Theoretical Computer Science, Elsevier, 2018, 750, pp.53-68. ⟨10.1016/j.tcs.2018.01.021⟩
Accès au bibtex
BibTex
titre
The Complexity of Diagnosability and Opacity Verification for Petri Nets
auteur
Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2018, 161 (4), pp.317--349. ⟨10.3233/FI-2018-1706⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01852119/file/bhss-fi.pdf BibTex
titre
Interval Iteration Algorithm for MDPs and IMDPs
auteur
Serge Haddad, Benjamin Monmege
article
Theoretical Computer Science, Elsevier, 2018, 735, pp.111 - 131. ⟨10.1016/j.tcs.2016.12.003⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01809094/file/tcs-version.pdf BibTex
titre
Metastability-Containing Circuits
auteur
Stephan Friedrichs, Matthias Függer, Christoph Lenzen
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2018, pp.1167 - 1183. ⟨10.1109/TC.2018.2808185⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01936292/file/paper.pdf BibTex
titre
A Unifying Survey on Weighted Logics and Weighted Automata
auteur
Paul Gastin, Benjamin Monmege
article
Soft Computing, Springer Verlag, 2018, 22 (4), pp.1047-1065. ⟨10.1007/s00500-015-1952-6⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01130216/file/unified-weights.pdf BibTex
titre
Memoryless Determinacy of Finite Parity Games: Another Simple Proof
auteur
Serge Haddad
article
Information Processing Letters, Elsevier, 2018, pp.3
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01541508/file/main.pdf BibTex
titre
Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks
auteur
Juraj Kolčák, David Šafránek, Stefan Haar, Loïc Paulevé
article
Theoretical Computer Science, Elsevier, 2018, 765, pp.120-144. ⟨10.1016/j.tcs.2018.03.009⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01734805/file/preprint.pdf BibTex
titre
Diagnosability of Repairable Faults
auteur
Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand
article
Discrete Event Dynamic Systems, Springer Verlag, 2018, 28 (2), pp.183-213. ⟨10.1007/s10626-017-0255-8⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01646911/file/jdeds.pdf BibTex

Conference papers

titre
Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems
auteur
Adnane Saoud, Antoine Girard, Laurent Fribourg
article
57th IEEE Conference on Decision and Control (CDC 2018), Dec 2018, Miami Beach, FL, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01857389/file/saoud_Hal.pdf BibTex
titre
Hyper Partial Order Logic
auteur
Béatrice Bérard, Stefan Haar, Loïc Hélouët
article
FSTTCS 2018 - Foundations of Software Technology and Theoretical Computer Science, Dec 2018, Ahmedabad, India. pp.20:1--20:21, ⟨10.4230/LIPIcs.FSTTCS.2018.20⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01884390/file/Hopla.pdf BibTex
titre
Fast Multidimensional Asymptotic and Approximate Consensus
auteur
Matthias Függer, Thomas Nowak
article
International Symposium on DIStributed Computing (DISC) 2018, Oct 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.27⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01936316/file/paper.pdf BibTex
titre
Site-Directed Deletion
auteur
Da-Jung Cho, Yo-Sub Han, Hwee Kim, Kai Salomaa
article
22nd International Conference on Developments in Language Theory (DLT 2018), Sep 2018, Tokyo, Japan
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01937635/file/sdd.pdf BibTex
titre
Site-Directed Insertion: Decision Problems, Maximality and Minimality
auteur
Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor Smith
article
20th International Conference on Descriptional Complexity of Formal Systems, Jul 2018, Halifax, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01937654/file/main.pdf BibTex
titre
Tight Bounds for Asymptotic and Approximate Consensus
auteur
Matthias Függer, Thomas Nowak, Manfred Schwarz
article
ACM Symposium on Principles of Distributed Computing (PODC'18), Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212762⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01799039/file/paper.pdf BibTex
titre
Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method.
auteur
Adrien Le Coënt, Laurent Fribourg, Jonathan Vacher
article
6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018 ADHS'18,, Jul 2018, Oxford, United Kingdom
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01959845/file/LFV-adhs18.pdf BibTex
titre
Message from the ACSD 2018 Program Chairs
auteur
Thomas Chatain, Radu Grosu
article
2018 18th International Conference on Application of Concurrency to System Design (ACSD), Jun 2018, Bratislava, France. ⟨10.1109/ACSD.2018.00005⟩
Accès au bibtex
BibTex
titre
Integrating Simulink Models into the Model Checker Cosmos
auteur
Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad
article
39th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. pp.363-373, ⟨10.1007/978-3-319-91268-4_19⟩
Accès au bibtex
BibTex
titre
Boolean Networks: Beyond Generalized Asynchronicity
auteur
Thomas Chatain, Stefan Haar, Loïc Paulevé
article
AUTOMATA 2018 - 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, Jun 2018, Ghent, Belgium. pp.29-42, ⟨10.1007/978-3-319-92675-9_3⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01768359/file/main.pdf BibTex
titre
Distributed computation of vector clocks in Petri nets unfolding for test selection
auteur
Loïg Jezequel, Agnes Madalinski, Stefan Schwoon
article
Workshop on Discrete Event Systems (WODES), May 2018, Sorrento, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01735406/file/paper.pdf BibTex
titre
Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance
auteur
Matthias Függer, Attila Kinali, Christoph Lenzen, Ben Wiederhake
article
24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), May 2018, Wien, Austria
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01936403/file/paper.pdf BibTex
titre
Pomsets and Unfolding of Reset Petri Nets
auteur
Loïg Jezequel, Thomas Chatain, Maurice Comlan, David Delfieu, Olivier H. Roux
article
12th International Conference on Language and Automata Theory and Applications (LATA 2018), Apr 2018, Ramat Gan, Israel
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01766530/file/main.pdf BibTex
titre
A Faithful Binary Circuit Model with Adversarial Noise
auteur
Matthias Függer, Jürgen Maier, Robert Najvirt, Thomas Nowak, Ulrich Schmid
article
DATE 2018 - Design, Automation and Test in Europe Conference and Exhibition, Mar 2018, Dresden, Germany. ⟨10.23919/DATE.2018.8342219⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01738254/file/paper.pdf BibTex
titre
On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance
auteur
Adnane Saoud, Antoine Girard, Laurent Fribourg
article
16th European Control Conference (ECC 2018), 2018, Limassol, Cyprus
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01712710/file/root060917_Hal.pdf BibTex

Reports

titre
Integrating Simulink Models into the Model Checker Cosmos
auteur
Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad
article
[Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); LIP6, Sorbonne Université, CNRS, UMR 7606; LACL, Université Paris-Est. 2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01725835/file/Simulink_Cosmos_HAL.pdf BibTex
titre
Most Permissive Semantics of Boolean Networks
auteur
Thomas Chatain, Stefan Haar, Loïc Paulevé
article
[Research Report] LRI, Univ. Paris-Sud, CNRS, Inria, Université Paris-Saclay; LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France). 2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01864693/file/mp.pdf BibTex

Theses

titre
Controlling information in Probabilistic Systems
auteur
Engel Lefaucheux
article
Computer Science [cs]. Université Rennes 1, 2018. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01946840/file/these.pdf BibTex

Preprints, Working Papers, ...

titre
Bounds Computation for Symmetric Nets
auteur
Benoît Barbot, Marco Beccuti, Giuliana Franceschinis, Serge Haddad, Claudine Picaronny
article
2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01726011/file/main.pdf BibTex

2017

Journal articles

titre
Optimal constructions for active diagnosis
auteur
Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon
article
Journal of Computer and System Sciences, Elsevier, 2017, 83 (1), pp.101-120. ⟨10.1016/j.jcss.2016.04.007⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01408047/file/HHMS-jcss16.pdf BibTex
titre
The Logical View on Continuous Petri Nets
auteur
Serge Haddad, Michael Blondin, Christoph Haase, Alain Finkel
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2017, 18 (3)
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01652793/file/main.pdf BibTex

Conference papers

titre
Probabilistic Disclosure: Maximisation vs. Minimisation
auteur
Béatrice Bérard, Serge Haddad, Engel Lefaucheux
article
FSTTCS 2017, Dec 2017, Kanpur, India. pp.13:1-13:14, ⟨10.4230/LIPIcs.FSTTXS.2017⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01618955/file/fsttcs-main.pdf BibTex
titre
Diagnostic et contrôle de la dégradation des systèmes probabilistes
auteur
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
article
MSR 2017 - Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01618922/file/msr.pdf BibTex
titre
Alignment-Based Trace Clustering
auteur
Thomas Chatain, Josep Carmona, Boudewijn Van Dongen
article
ER 2017 - 36th International Conference on Conceptual Modeling, Nov 2017, Valencia, Spain. pp.295-308, ⟨10.1007/978-3-319-69904-2_24⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01664235/file/CCV-er17.pdf BibTex
titre
Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks
auteur
Matthias Függer, Thomas Nowak, Manfred Schwarz
article
31st International Symposium on Distributed Computing (DISC), Oct 2017, Wien, Austria
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01652851/file/FNS18_DISC.pdf BibTex
titre
Temporal Reprogramming of Boolean Networks
auteur
Hugues Mandon, Stefan Haar, Loïc Paulevé
article
CMSB 2017 - 15th conference on Computational Methods for Systems Biology, Sep 2017, Darmstadt, Germany. pp.179 - 195, ⟨10.1007/978-3-319-67471-1_11⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01589251/file/cmsb17.pdf BibTex
titre
Unbounded product-form Petri nets
auteur
Vincent Jugé, Patricia Bouyer, Serge Haddad
article
28th International Conference on Concurrency Theory (CONCUR 2017), Sep 2017, Berlin, Germany. ⟨10.4230/LIPIcs.CONCUR.2017.31⟩
Accès au bibtex
https://arxiv.org/pdf/1708.05847 BibTex
titre
Goal-Driven Unfolding of Petri Nets
auteur
Thomas Chatain, Loïc Paulevé
article
28th International Conference on Concurrency Theory (CONCUR 2017), Sep 2017, Berlin, Germany. ⟨10.4230/LIPIcs.CONCUR.2017.14⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01392203/file/godunf.pdf BibTex
titre
Une sémantique formelle pour les modèles Simulink
auteur
Béatrice Bérard, Yann Duplouy, Serge Haddad
article
École d'été Temps Réel 2017, Aug 2017, Paris, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01578297/file/ETR17-paper.pdf BibTex
titre
The Complexity of Diagnosability and Opacity Verification for Petri Nets
auteur
Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon
article
Petri nets 2017 - 38th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2017, Zaragoza, Spain. pp.200--220, ⟨10.1007/978-3-319-57861-3_13⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01484476/file/bhss-fi.pdf BibTex
titre
Aligning Modeled and Observed Behavior: A Compromise Between Complexity and Quality
auteur
Boudewijn Van Dongen, Josep Carmona, Thomas Chatain, Farbod Taymouri
article
CAiSE 2017 - 29th International Conference on Advanced Information Systems Engineering, Jun 2017, Essen, Germany. pp.94-109, ⟨10.1007/978-3-319-59536-8_7⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01664240/file/VCCT-caise17.pdf BibTex
titre
Metastability Tolerant Computing
auteur
Ghaith Tarawneh, Matthias Függer, Christoph Lenzen
article
ASYNC17 - 23rd IEEE International Symposium on Asynchronous Circuits and Systems, May 2017, San Diego, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01652772/file/GFL17_async.pdf BibTex
titre
Metastability-Aware Memory-Efficient Time-to-Digital Converters
auteur
Matthias Függer, Attila Kinali, Christoph Lenzen, Thomas Polzer
article
IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), May 2017, San Diego, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01652787/file/tdc.pdf BibTex
titre
Guaranteed control synthesis of nonlinear switched systems using Euler method
auteur
Adrien Le Coënt, Florian de Vuyst, Ludovic Chamoin, Laurent Fribourg
article
3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, Apr 2017, Uppsala, Sweden
Accès au bibtex
BibTex
titre
Statistical Model-Checking for Autonomous Vehicle Safety Validation
auteur
Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad
article
SIA Simulation Numérique, Société des Ingénieurs de l'Automobile, Mar 2017, Montigny-le-Bretonneux, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01491064/file/SIA_SimNum.pdf BibTex
titre
D-SPACES: Implementing Declarative Semantics for Spatially Structured Information
auteur
Stefan Haar, Salim Perchy, Frank Valencia
article
11th International Conference on Semantic Computing , IEEE, Jan 2017, San Diego, California, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01328189/file/d-spaces.pdf BibTex

Book sections

titre
Distributed control synthesis using Euler's method
auteur
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian de Vuyst, Ludovic Chamoin
article
International Workshop on Reachability Problems, Lecture Notes in Computer Science (10506), pp.118-131, 2017, ⟨10.1007/978-3-319-67089-8_9⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01593225/file/euler-hal.pdf BibTex

Preprints, Working Papers, ...

titre
Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method
auteur
Adrien Le Coënt, L Fribourg, J Vacher
article
2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01670579/file/hscc.pdf BibTex
titre
Euler's method applied to the control of switched systems
auteur
Laurent Fribourg
article
2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01670089/file/F-formats17.pdf BibTex

2016

Journal articles

titre
Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion
auteur
Michell Guzmán, Stefan Haar, Salim Perchy, Camilo Rueda, Frank Valencia
article
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2016, ⟨10.1016/j.jlamp.2016.09.001⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01257113/file/mccp-jlamp.pdf BibTex
titre
Cyclic Ordering through Partial Orders *
auteur
Stefan Haar
article
Journal of Multivalued-Logic and Soft Computing, 2016, 27 (2-3), pp.209-228. ⟨http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-27-number-2-3-2016/⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01360144/file/Rogics_SI_HAAR_2013.pdf BibTex
titre
MCC’2015 – The Fifth Model Checking Contest
auteur
Fabrice Kordon, Hubert Garavel, Lom Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, Francis Hulin-Hubard
article
LNCS Transactions on Petri Nets and Other Models of Concurrency, Springer, 2016, Lecture Notes in Computer Science, 9930, pp.262-273. ⟨http://link.springer.com/chapter/10.1007/978-3-662-53401-4_12⟩. ⟨10.1007/978-3-662-53401-4_12⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01361274/file/main.pdf BibTex
titre
Preserving Partial Order Runs in Parametric Time Petri Nets
auteur
Étienne André, Thomas Chatain, César Rodriguez
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2016, 16, pp.25. ⟨10.1145/3012283⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01425696/file/IMPO-preprint.pdf BibTex

Conference papers

titre
One-Counter Automata with Counter Observability
auteur
Benedikt Bollig
article
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016), Dec 2016, Chennai, India. ⟨10.4230/LIPIcs.FSTTCS.2016⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01407932/file/fsttcs-2016.pdf BibTex
titre
Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph
auteur
Hugues Mandon, Stefan Haar, Loïc Paulevé
article
Fifth International Workshop on Hybrid Systems Biology (HSB 2016), Oct 2016, Grenoble, France. pp.113-127, ⟨10.1007/978-3-319-47151-8_8⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01354079/file/HSB16_preprint.pdf BibTex
titre
Alignment-based Quality Metrics in Conformance Checking
auteur
Boudewijn Van Dongen, Josep Carmona, Thomas Chatain
article
EMISA'16 - 7th International Workshop on Enterprise Modelling and Information Systems Architectures , Oct 2016, Vienna, Austria
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01406813/file/vanDongen-EMISA16.pdf BibTex
titre
Unfolding of Parametric Boolean Networks
auteur
Juraj Kolčák, David Šafránek, Stefan Haar, Loïc Paulevé
article
7th International Workshop on Static Analysis and Systems Biology (SASB 2016), Sep 2016, Edimbourg, United Kingdom. pp.67-90, ⟨10.1016/j.entcs.2018.03.009⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01354109/file/manuscript.pdf BibTex
titre
A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments
auteur
Boudewijn Van Dongen, J Carmona, T Chatain
article
14th International Conference on Business Process Management (BPM'16), Sep 2016, Rio de Janeiro, Brazil. pp.39 - 56, ⟨10.1007/978-3-319-45348-4_3⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01406850/file/vDCC-bpm16.pdf BibTex
titre
Decoupling Passenger Flows for Improved Load Prediction
auteur
Stefan Haar, Simon Theissing
article
13th International Conference on Quantitative Evaluation of SysTems (QEST 2016) , Aug 2016, Québec City, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01330136/file/Paper3.pdf BibTex
titre
Diagnosis in Infinite-State Probabilistic Systems
auteur
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
article
27th International Conference on Concurrency Theory (Concur 2016), Aug 2016, Québec city, Canada. pp.37:1-37:15, ⟨10.4230/LIPIcs.CONCUR.2016.37⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01373354/file/p37-bertrand.pdf BibTex
titre
Predicting Traffic Load in Public Transportation Networks
auteur
Stefan Haar, Simon Theissing
article
2016 American Control Conference, Jul 2016, Boston, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01329632/file/Final_HAL_2016_06_09.pdf BibTex
titre
Approaching the Coverability Problem Continuously
auteur
Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad
article
22nd International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 2016), Apr 2016, Eindhoven, Netherlands. pp.480-496, ⟨10.1007/978-3-662-49674-9_28⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01408044/file/arxiv15-BFHH.pdf BibTex
titre
Verification of parameterized communicating automata via split-width
auteur
Marie Fortin, Paul Gastin
article
19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2016), Apr 2016, Eindhoven, Netherlands. pp.197-213, ⟨10.1007/978-3-662-49630-5_12⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01408041/file/FG-fossacs16.pdf BibTex
titre
Accurate approximate diagnosability of stochastic systems
auteur
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
article
10th International Conference on Language and Automata Theory and Applications, Mar 2016, Prague, Czech Republic
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01220954/file/AA-main.pdf BibTex
titre
Diagnosability of Repairable Faults
auteur
Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand
article
13th International Workshop on Discrete Event Systems, 2016, Xi'an, China. pp.256-262
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01302562/file/repairdiag.pdf BibTex
titre
Anti-Alignments in Conformance Checking - The Dark Side of Process Models
auteur
Thomas Chatain, Josep Carmona
article
37th International Conference on Applications and Theory of Petri Nets (PETRI NETS 2016), 2016, Torún, Poland. pp.240-258
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01408043/file/CC-pn16.pdf BibTex
titre
Analyzing Timed Systems Using Tree Automata
auteur
S Akshay, Paul Gastin, Shankara Narayanan Krishna
article
27th International Conference on Concurrency Theory (CONCUR 2016), 2016, Québec City, Canada. pp.27:1-27:14, ⟨10.4230/LIPIcs.CONCUR.2016.27⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01407942/file/AGS-concur16.pdf BibTex

Reports

titre
Anti-Alignments in Conformance Checking – The Dark Side of Process Models
auteur
Thomas Chatain, Josep Carmona
article
[Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); Universitat Politècnica de Catalunya, Barcelona (Spain). 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01267015/file/main.pdf BibTex

Preprints, Working Papers, ...

titre
A Passenger-centric Multi-agent System Model for Multimodal Public Transportation
auteur
Stefan Haar, Simon Theissing
article
2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01322956/file/Root.pdf BibTex
titre
Decoupling Passenger Flows for Improved Load Prediction
auteur
Stefan Haar, Simon Theissing
article
2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01294498/file/QEST16.pdf BibTex
titre
Predicting traffic load in public transportation networks
auteur
Stefan Haar, Simon Theissing
article
2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01286476/file/Root.pdf BibTex
titre
Forecasting Passenger Loads in Transportation Networks
auteur
Stefan Haar, Simon Theissing
article
2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01259585/file/PASM_HAL_2016_01_23.pdf BibTex

2015

Journal articles

titre
HASL: A new approach for performance evaluation and model checking from concepts to experimentation
auteur
Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin
article
Performance Evaluation, Elsevier, 2015, 90, pp.53-77. ⟨10.1016/j.peva.2015.04.003⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01221815/file/main.pdf BibTex
titre
Rare Event Handling in Signalling Cascades
auteur
Benoît Barbot, Serge Haddad, Monika Heiner, Claudine Picaronny
article
International Journal On Advances in Systems and Measurements, IARIA, 2015, 8 (1-2), pp.69-79
Accès au bibtex
BibTex
titre
Checking conformance for time-constrained scenario-based specifications
auteur
S Akshay, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
article
Theoretical Computer Science, Elsevier, 2015, 549, pp.24-43
Accès au bibtex
BibTex
titre
Diagnosability under Weak Fairness
auteur
Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2015, 14 (4)
Accès au bibtex
BibTex
titre
Complexity Analysis of Continuous Petri Nets
auteur
Estíbaliz Fraca, Serge Haddad
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2015, 137 (1), pp.1-28. ⟨10.3233/FI-2015-1168⟩
Accès au bibtex
BibTex
titre
Cyclic Ordering through Partial Orders
auteur
Stefan Haar
article
Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, 2015
Accès au bibtex
BibTex

Conference papers

titre
Polynomial Interrupt Timed Automata
auteur
Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas
article
The 9th Workshop on Reachability Problems (RP'15), Sep 2015, Warsaw, Poland. pp.20-32, ⟨10.1007/978-3-319-24537-9_3⟩
Accès au bibtex
BibTex
titre
An Algebraic View of Space/Belief and Extrusion/Utterance for Concurrency/Epistemic Logic
auteur
Stefan Haar, Salim Perchy, Camilo Rueda, Frank Valencia
article
17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Jul 2015, Siena, Italy. pp.161-172, ⟨10.1145/2790449.2790520⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01256984/file/mccp-ppdp-author-copy.pdf BibTex
titre
Building Bridges Between Sets of Partial Orders
auteur
Hernan Ponce de Leon, Andrey Mokhov
article
International Conference on Language and Automata Theory and Applications, Mar 2015, Nice, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01060449/file/lata2015.pdf BibTex
titre
Non-Atomic Transition Firing in Contextual Nets
auteur
Thomas Chatain, Stefan Haar, Maciej Koutny, Stefan Schwoon
article
36th International Conference on Applications and Theory of Petri Nets (ICATPN'15), 2015, Brussels, Belgium
Accès au bibtex
BibTex
titre
Unfolding-Based Process Discovery
auteur
Hernan Ponce de León, César Rodriguez, Josep Carmona, Keijo Heljanko, Stefan Haar
article
13th International Symposium on Automated Technology for Verification and Analysis (ATVA'15), 2015, Shanghai, China
Accès au bibtex
BibTex
titre
A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems
auteur
Stefan Haar, Simon Theissing
article
5th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'15), 2015, Atlanta, Georgia, United States
Accès au bibtex
BibTex
titre
State Space Reduction Strategie for Model Checking Concurrent C Programs
auteur
Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui
article
9th Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'15), 2015, Bucharest, Romania. pp.65-76
Accès au bibtex
BibTex
titre
Test Case Generation for Concurrent Systems Using Event Structures
auteur
Konstantinos Athanasiou, Hernán Ponce de León, Stefan Schwoon
article
9th International Conference on Tests and Proofs (TAP'15), 2015, L'Aquila, Italy
Accès au bibtex
BibTex
titre
Preserving Partial Order Runs in Parametric Time Petri Nets
auteur
Etienne André, Thomas Chatain, César Rodriguez
article
15th International Conference on Application of Concurrency to System Design (ACSD'15), 2015, Brussels, Belgium
Accès au bibtex
BibTex
titre
Towards Formal Verification of Distributed Algorithms
auteur
Benedikt Bollig
article
22nd International Symposium on Temporal Representation and Reasoning, 2015, Kassel, Germany
Accès au bibtex
BibTex
titre
Active Diagnosis with Observable Quiescence
auteur
Stanislav Böhm, Stefan Haar, Serge Haddad, Piotr Hofman, Stefan Schwoon
article
54th IEEE Conference on Decision and Control (CDC'15), 2015, Osaka, Japan
Accès au bibtex
BibTex
titre
An Automata-Theoretic Approach to the Verification of Distributed Algorithms
auteur
Cyriac Aiswarya, Benedikt Bollig, Paul Gastin
article
26th International Conference on Concurrency Theory (CONCUR'15), 2015, Madrid, Spain. pp.340-353
Accès au bibtex
BibTex
titre
Automata and Logics for Concurrent Systems: Five Models in Five Pages
auteur
Benedikt Bollig
article
20th International Conference on Implementation and Application of Automata (CIAA'15), 2015, Umeå, Sweden. pp.3-12, ⟨10.1007/978-3-319-22360-5_1⟩
Accès au bibtex
BibTex

Book sections

titre
Contrôle, probabilités et observation partielle
auteur
Nathalie Bertrand, Serge Haddad
article
Informatique Mathématique. Une photographie en 2015, CNRS Édition, pp.177-227, 2015
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Proceedings 15th International Conference on Application of Concurrency to System Design (ACSD), 2015
auteur
Stefan Haar, Roland Meyer
article
Stefan Haar and Roland Meyer. ACSD 2015, Jun 2015, Brussels, Belgium. IEEE 2015, IEEE, ⟨10.1109/ACSD.2015.23⟩. ⟨http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7352411⟩
Accès au bibtex
BibTex
titre
Transactions on Petri Nets and Other Models of Concurrency X
auteur
Maciej Koutny, Jörg Desel, Serge Haddad
article
France. 9410, Springer, 2015
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Automata and Logics for Concurrent Systems: Realizability and Verification
auteur
Benedikt Bollig
article
Formal Languages and Automata Theory [cs.FL]. ENS Cachan, 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01242861/file/hdr-bollig.pdf BibTex

Reports

titre
Approaching the Coverability Problem Continuously
auteur
Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad
article
[Research Report] 1510.05724, Computing Research Repository. 2015
Accès au bibtex
BibTex

2014

Journal articles

titre
A Robust Class of Data Languages and an Application to Learning
auteur
Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (4:19), ⟨10.2168/LMCS-10(4:19)2014⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00920945/file/BolligHabermehlLeuckerMonmege%20-%2014%20-%20A%20Robust%20Class%20of%20Data%20Languages%20and%20an%20Application%20to%20Learning.pdf BibTex
titre
Model-based Testing for Concurrent Systems: Unfolding-based Test Selection
auteur
Hernán Ponce de León, Stefan Haar, Delphine Longuet
article
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2014, pp.14-28. ⟨10.1007/s10009-014-0353-y⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00996000/file/sttt_final.pdf BibTex
titre
Model Based Testing for Concurrent Systems with Labeled Event Structures
auteur
Hernán Ponce de León, Stefan Haar, Delphine Longuet
article
Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2014, Tests and Proofs in Model-based Testing, 24 (7), pp.558-590. ⟨10.1002/stvr.1543⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00914796/file/paper.pdf BibTex
titre
Pebble Weighted Automata and Weighted Logics
auteur
Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2014, 15 (2), pp.15. ⟨10.1145/2579819⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00964994/file/journal.pdf BibTex
titre
Distributed Timed Automata with Independently Evolving Clocks
auteur
Sundararaman Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2014, 130 (4), pp.377-407
Accès au bibtex
BibTex
titre
A Canonical Contraction for Safe Petri Nets
auteur
Thomas Chatain, Stefan Haar
article
LNCS Transactions on Petri Nets and Other Models of Concurrency, Springer, 2014, LNCS 8910, pp.83-98
Accès au bibtex
BibTex
titre
Adding Pebbles to Weighted Automata: Easy Specification & Efficient Evaluation
auteur
Paul Gastin, Benjamin Monmege
article
Theoretical Computer Science, Elsevier, 2014, 534, ⟨10.1016/j.tcs.2014.02.034⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01091105/file/HAL.pdf BibTex
titre
Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking
auteur
Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, Marc Zeitoun
article
Journal of Applied Logic, Elsevier, 2014, 12 (4), pp.395-416. ⟨10.1016/j.jal.2014.05.001⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01005353/file/BCGZ-jal14.pdf BibTex
titre
Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis
auteur
Marco Beccuti, Giuliana Franceschinis, Daniele Codetta-Raiteri, Serge Haddad
article
The Computer Journal, Oxford University Press (UK), 2014, 57 (12), pp.1870-1892. ⟨10.1093/comjnl/bxt134⟩
Accès au bibtex
BibTex
titre
Closed Sets in Occurrence Nets with Conflicts
auteur
Luca Bernardinello, Carlo Ferigato, Stefan Haar, Lucia Pomello
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2014, 133 (4), pp.323-344
Accès au bibtex
BibTex

Conference papers

titre
Reasoning about distributed systems: WYSIWYG
auteur
C. Aiswarya, Paul Gastin
article
34th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), Dec 2014, New Delhi, India
Accès au bibtex
BibTex
titre
Parameterized Communicating Automata: Complementation and Model Checking
auteur
Benedikt Bollig, Paul Gastin, Akshay Kumar
article
34th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), Dec 2014, New Delhi, India
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01030765/file/complementation.pdf BibTex
titre
Foundation of Diagnosis and Predictability in Probabilistic Systems
auteur
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
article
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), Dec 2014, New Delhi, India. pp.417-429
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088117/file/paper-90.pdf BibTex
titre
Computing Information Flow Using Symbolic Model-Checking
auteur
Rohit Chadha, Umang Mathur, Stefan Schwoon
article
34th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), Dec 2014, New Delhi, India. pp.505-516, ⟨10.4230/LIPIcs.FSTTCS.2014.505⟩
Accès au bibtex
BibTex
titre
Characterization of Reachable Attractors Using Petri Net Unfoldings
auteur
Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon
article
CMSB 2014, Nov 2014, Manchester, United Kingdom. pp.14, ⟨10.1007/978-3-319-12982-2_10⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01060450/file/unfolding_for_attractors.pdf BibTex
titre
Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue
auteur
Hernán Ponce de León, Stefan Haar, Delphine Longuet
article
Theoretical Aspects of Computing, Sep 2014, Bucharest, Romania. ⟨10.1007/978-3-319-10882-7_22⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00996002/file/ictac2014.pdf BibTex
titre
Reachability in MDPs: Refining Convergence of Value Iteration
auteur
Serge Haddad, Benjamin Monmege
article
8th International Workshop on Reachability Problems (RP'14), Sep 2014, Oxford, United Kingdom. pp.125-137, ⟨10.1007/978-3-319-11439-2_10⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01091122/file/value-iteration.pdf BibTex
titre
Logic for Communicating Automata with Parameterized Topology
auteur
Benedikt Bollig
article
Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (CSL-LICS'14), Jul 2014, Vienna, Austria
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00872807/file/parameterized.pdf BibTex
titre
Logical Characterization of Weighted Pebble Walking Automata
auteur
Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun
article
CSL-LICS '14, Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603118⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01006125/file/graphs-w.pdf BibTex
titre
BenchKit, a Tool for Massive Concurrent Benchmarking
auteur
Fabrice Kordon, Francis Hulin-Hubard
article
14th International Conference on Application of Concurrency to System Design (ACSD'14), Jun 2014, Tunis, Tunisia. pp.159-165, ⟨10.1109/ACSD.2014.12⟩
Accès au bibtex
BibTex
titre
Active diagnosis for probabilistic systems
auteur
Nathalie Bertrand, Eric Fabre, Stefan Haar, Serge Haddad, Loïc Hélouët
article
17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14), Verimag- INRIA Rhône Alpes, Apr 2014, Grenoble, France. pp.29-42, ⟨10.1007/978-3-642-54830-7_2 ⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00930919/file/long.pdf BibTex
titre
Controllers for the Verification of Communicating Multi-Pushdown Systems
auteur
Cyriac Aiswarya, Paul Gastin, K. Narayan Kumar
article
25th International Conference on Concurrency Theory (CONCUR'14),, 2014, Rome, Italy. pp.297-311
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01057525/file/phase-controller-hal.pdf BibTex
titre
Specification of Asynchronous Component Systems with Modal I/O-Petri Nets
auteur
Serge Haddad, Rolf Hennicker, Mikael H. Møller
article
8th Symposium on Trustworthy Global Computing (TGC'13), 2014, Buenos Aires, Argentina. pp.219-234
Accès au bibtex
BibTex
titre
Diagnosability under Weak Fairness
auteur
Vasileos Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon
article
14th International Conference on Application of Concurrency to System Design (ACSD'14), 2014, Tunis, Tunisia
Accès au bibtex
BibTex
titre
Rare Event Handling in Signalling Cascades
auteur
Benoît Barbot, Serge Haddad, Monika Heiner, Claudine Picaronny
article
6th International Conference on Advances in System Simulation (SIMUL'14), 2014, Nice, France. pp.126-131
Accès au bibtex
BibTex
titre
Parameterized Verification of Communicating Automata under Context Bounds
auteur
Benedikt Bollig, Paul Gastin, Jana Schubert
article
8th Workshop on Reachability Problems in Computational Models (RP'14), 2014, Oxford, United Kingdom. pp.45-57
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00984421/file/verifpca.pdf BibTex
titre
Verifying Communicating Multi-pushdown Systems
auteur
Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar
article
12th International Symposium on Automated Technology for Verification and Analysis (ATVA'14), 2014, Sydney, Australia. pp.1-17
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00943690/file/splitcbm-hal.pdf BibTex

Other publications

titre
TOURS (Testing On Reactive Unfolded Systems).
auteur
Hernan Ponce de Leon, Stefan Schwoon, Konstantinos Athanasiou
article
2014
Accès au bibtex
BibTex

Poster communications

titre
Parallel Diagnosability Analysis with LTL-X Model Checking based on Petri Net Unfoldings
auteur
Laura Brandan-Briones, Agnes Madalinski, Hernán Ponce de León
article
Workshop on Principles of Diagnosis, Sep 2014, Graz, Austria. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00915478/file/dx-2014.pdf BibTex

2013

Journal articles

titre
Fair Synthesis for Asynchronous Distributed Systems
auteur
Paul Gastin, Nathalie Sznajder
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2013, 14 (2), pp.9. ⟨10.1145/2480759.2480761⟩
Accès au bibtex
BibTex
titre
Bounding models families for performance evaluation in composite Web services
auteur
Serge Haddad, Lynda Mokdad, Samir Youcef
article
Journal of computational science, Elsevier, 2013, PEDISWESA 2011 and Sc. computing for Cog. Sciences, 4 (4), pp.232-241. ⟨10.1016/j.jocs.2011.11.003⟩
Accès au bibtex
BibTex
titre
The Expressive Power of Time Petri Nets
auteur
Béatrice Berard, Franck Cassez, Serge Haddad, Didier Lime, Olivier Henri Roux
article
Theoretical Computer Science, Elsevier, 2013, 474, pp.1-20
Accès au bibtex
BibTex
titre
Ordinal Theory for Expressiveness of Well-Structured Transition Systems
auteur
Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo
article
Information and Computation, Elsevier, 2013, 224, pp.1-22
Accès au bibtex
BibTex
titre
Computing the Reveals Relation in Occurrence Nets
auteur
Stefan Haar, Christian Kern, Stefan Schwoon
article
Theoretical Computer Science, Elsevier, 2013, 493, pp.66-79
Accès au bibtex
BibTex
titre
Event-clock Message Passing Automata: A logical characterization and an emptiness checking algorithm
auteur
Sundararaman Akshay, Benedikt Bollig, Paul Gastin
article
Formal Methods in System Design, Springer Verlag, 2013, 42 (3), pp.262-300
Accès au bibtex
BibTex
titre
Avoiding Shared Clocks in Networks of Timed Automata
auteur
Sandie Balaguer, Thomas Chatain
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2013, 9 (4:13), pp.1-26
Accès au bibtex
BibTex
titre
Synthesis and Analysis of Product-form Petri Nets
auteur
Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2013, 122 (1-2), pp.147-172
Accès au bibtex
BibTex
titre
Building Occurrence Nets from Reveals Relations
auteur
Sandie Balaguer, Thomas Chatain, Stefan Haar
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2013, 123 (3), pp.245-272
Accès au bibtex
BibTex

Conference papers

titre
Optimal Constructions for Active Diagnosis
auteur
Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon
article
33rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'13), Dec 2013, Guwahati, India. pp.527-539
Accès au bibtex
BibTex
titre
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems
auteur
Étienne André, Benoît Barbot, Clément Démoulins, Lom Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci
article
15th International Conference on Formal Engineering Methods (ICFEM'13), Oct 2013, Queenstown, New Zealand. pp.199-214, ⟨10.1007/978-3-642-41202-8_14⟩
Accès au bibtex
BibTex
titre
Parametric Interrupt Timed Automata
auteur
Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime
article
7th Workshop on Reachability Problems in Computational Models (RP'13), Sep 2013, Uppsala, Sweden. pp.59-69, ⟨10.1007/978-3-642-41036-9_7⟩
Accès au bibtex
BibTex
titre
The steady-state control problem for Markov decision processes
auteur
Sundararaman Akshay, Nathalie Bertrand, Serge Haddad, Loic Helouet
article
Qest 2013, Sep 2013, Buenos Aires, Argentina. pp.290-304
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00879355/file/Qest_paper_29.pdf BibTex
titre
CosyVerif: An Open Source Extensible Verification Environment
auteur
Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon
article
18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Jul 2013, Singapore, Singapore. pp.33-36, ⟨10.1109/ICECCS.2013.15⟩
Accès au bibtex
BibTex
titre
Dynamic Communicating Automata and Branching High-Level MSCs
auteur
Benedikt Bollig, Aiswarya Cyriac, Loic Helouet, Ahmet Kara, Thomas Schwentick
article
LATA 2013, Apr 2013, bilbao, Spain. pp.177-189
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00879353/file/lata2013.pdf BibTex
titre
Weighted Specifications over Nested Words
auteur
Benedikt Bollig, Paul Gastin, Benjamin Monmege
article
Foundations of Software Science and Computation Structures (FoSSaCS'13), Mar 2013, Rome, Italy. pp.385-400, ⟨10.1007/978-3-642-37075-5_25⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00909035/file/nestedWords_FINAL.pdf BibTex
titre
Reveal Your Faults: It's Only Fair!
auteur
Stefan Haar, César Rodríguez, Stefan Schwoon
article
13th International Conference on Application of Concurrency to System Design (ACSD'13), 2013, Spain. pp.120-129
Accès au bibtex
BibTex
titre
The Complexity of Model Checking Multi-Stack Systems
auteur
Benedikt Bollig, Dietrich Kuske, Roy Mennicke
article
28th Annual IEEE Symposium on Logic in Computer Science (LICS'13), 2013, United States. pp.163-170, ⟨10.1109/LICS.2013.22⟩
Accès au bibtex
BibTex
titre
An Improved Construction of Petri Net Unfoldings
auteur
César Rodríguez, Stefan Schwoon
article
1st French-Singaporean Workshop on Formal Methods and Applications (FSFMA'13), 2013, Singapore. pp.47-52
Accès au bibtex
BibTex
titre
Complexity Analysis of Continuous Petri Nets
auteur
Estíbaliz Fraca, Serge Haddad
article
34th International Conference on Applications and Theory of Petri Nets (ICATPN'13), 2013, Italy. pp.170-189, ⟨10.1007/978-3-642-38697-8_10⟩
Accès au bibtex
BibTex
titre
Distributed Analysis of Diagnosability in Concurrent Systems
auteur
Hernán Ponce de León, Gonzalo Bonigo, Laura Brandán Briones
article
24th International Workshop on Principles of Diagnosis (DX'13), 2013, Israel. pp.142-147
Accès au bibtex
BibTex
titre
Back in Time Petri Nets
auteur
Thomas Chatain, Claude Jard
article
FORMATS'13, 2013, Argentina. pp.91-105
Accès au bibtex
BibTex
titre
Cunf: A Tool for Unfolding and Verifying Petri Nets with Read arcs
auteur
César Rodríguez, Stefan Schwoon
article
11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13), 2013, Vietnam. pp.492-495
Accès au bibtex
BibTex
titre
Unfolding-based Test Selection for Concurrent Conformance
auteur
Hernán Ponce de León, Stefan Haar, Delphine Longuet
article
25th IFIP International Conference on Testing Software and Systems (ICTSS'13), 2013, Turkey. pp.98-113
Accès au bibtex
BibTex
titre
A Canonical Contraction for Safe Petri Nets
auteur
Thomas Chatain, Stefan Haar
article
7th International Workshop on Petri Nets and Software Engineering (PNSE'13), 2013, Germany. pp.25-39
Accès au bibtex
BibTex
titre
Channel Properties of Asynchronously Composed Petri Nets
auteur
Serge Haddad, Rolf Hennicker, Mikael H. Møller
article
34th International Conference on Applications and Theory of Petri Nets (ICATPN'13), 2013, Italy. pp.369-388, ⟨10.1007/978-3-642-38697-8_20⟩
Accès au bibtex
BibTex
titre
Contextual Merged Processes
auteur
César Rodríguez, Stefan Schwoon, Victor Khomenko
article
34th International Conference on Applications and Theory of Petri Nets (ICATPN'13), 2013, Italy. pp.29-48, ⟨10.1007/978-3-642-38697-8_3⟩
Accès au bibtex
BibTex
titre
Simulation-based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric Nets
auteur
Elvio Gilberto Amparore, Benoît Barbot, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
article
1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS'13), 2013, Canada. pp.253-264, ⟨10.1145/2486092.2486124⟩
Accès au bibtex
BibTex
titre
Computation of summaries using net unfoldings
auteur
Javier Esparza, Loïg Jezequel, Stefan Schwoon
article
33rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'13), 2013, Guwahati, India. pp.225-236
Accès au bibtex
BibTex
titre
A Fresh Approach to Learning Register Automata
auteur
Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege
article
Developments in Language Theory, 2013, France. pp.118-130, ⟨10.1007/978-3-642-38771-5_12⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00908998/file/paper47.pdf BibTex

Book sections

titre
Languages, Decidability, and Complexity
auteur
Stefan Haar, Tomáš Masopust
article
Carla Seatzu and Manuel Silva and Jan H. van Schuppen. Control of Discrete-Event Systems - Automata and Petri Net Perspectives, Springer, pp.23-43, 2013, Lecture Notes in Control and Information Sciences, 978-1-4471-4275-1. ⟨10.1007/978-1-4471-4276-8_2⟩
Accès au bibtex
BibTex
titre
Diagnosis with Petri Net Unfoldings
auteur
Stefan Haar, Eric Fabre
article
Carla Seatzu and Manuel Silva and Jan H. van Schuppen. Control of Discrete-Event Systems - Automata and Petri Net Perspectives, Springer, pp.301-318, 2013, Lecture Notes in Control and Information Sciences, 978-1-4471-4276-8. ⟨10.1007/978-1-4471-4276-8_15⟩
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Concurrency in Real-Time Distributed Systems, from Unfoldings to Implementability
auteur
Thomas Chatain
article
Formal Languages and Automata Theory [cs.FL]. École normale supérieure de Cachan - ENS Cachan, 2013
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00926306/file/hdr-chatain13.pdf BibTex
titre
Efficient verification of sequential and concurrent systems
auteur
Stefan Schwoon
article
Formal Languages and Automata Theory [cs.FL]. École normale supérieure de Cachan - ENS Cachan, 2013
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00927066/file/hdr-schwoon13.pdf BibTex

Other publications

titre
Web Report on the Model Checking Contest @ Petri Net 2013
auteur
Fabrice Kordon, Alban Linard, Marco Becutti, Didier Buchs, Lukasz Fronc, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Haro Wimmel, Carsten Wolf
article
2013
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
Model Based Testing for Concurrent Systems with Labeled Event Structures
auteur
Hernán Ponce de León, Stefan Haar, Delphine Longuet
article
2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00796006/file/report.pdf BibTex

2012

Journal articles

titre
Interrupt Timed Automata: verification and expressiveness
auteur
Béatrice Bérard, Serge Haddad, Mathieu Sassolas
article
Formal Methods in System Design, Springer Verlag, 2012, 40 (1), pp.41-87. ⟨10.1007/s10703-011-0140-2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00683279/file/paper.pdf BibTex
titre
An optimal construction of Hanf sentences
auteur
Benedikt Bollig, Dietrich Kuske
article
Journal of Applied Logic, Elsevier, 2012, 10 (2), pp.179-186. ⟨10.1016/j.jal.2012.01.002⟩
Accès au bibtex
BibTex
titre
Efficient unfolding of contextual Petri nets
auteur
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, César Rodríguez, Stefan Schwoon
article
Theoretical Computer Science, Elsevier, 2012, 449 (1), pp.2-22. ⟨10.1016/j.tcs.2012.04.046⟩
Accès au bibtex
BibTex
titre
A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata
auteur
Sandie Balaguer, Thomas Chatain, Stefan Haar
article
Formal Methods in System Design, Springer Verlag, 2012, 40 (3), pp.330-355. ⟨10.1007/s10703-012-0146-4⟩
Accès au bibtex
BibTex
titre
Bounded underapproximations
auteur
Pierre Ganty, Rupak Majumdar, Benjamin Monmege
article
Formal Methods in System Design, Springer Verlag, 2012, 40 (2), pp.206-231. ⟨10.1007/s10703-011-0136-y⟩
Accès au bibtex
BibTex
titre
What topology tells us about diagnosability in partial order semantics
auteur
Stefan Haar
article
Discrete Event Dynamic Systems, Springer Verlag, 2012, 22 (4), pp.383-402. ⟨10.1007/s10626-011-0121-z⟩
Accès au bibtex
BibTex

Conference papers

titre
A Probabilistic Kleene Theorem
auteur
Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun
article
Automated Technology for Verification and Analysis (ATVA'12), Oct 2012, Thiruvananthapuram, India. pp.400-415, ⟨10.1007/978-3-642-33386-6_31⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00909042/file/BGMZ-atva12.pdf BibTex
titre
Concurrent Games on VASS with Inhibition
auteur
Béatrice Bérard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder
article
23rd International Conference on Concurrency Theory (CONCUR'12), Sep 2012, Newcastle upon Tyne, United Kingdom. pp.39-52, ⟨10.1007/978-3-642-32940-1_5⟩
Accès au bibtex
BibTex
titre
Model Checking Languages of Data Words
auteur
Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar
article
Lars Birkedal. FoSSaCS 2012, Mar 2012, Tallinn, Estonia. Springer, 2012, LNCS
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00658333/file/modelchecking.pdf BibTex
titre
Coupling and Importance Sampling for Statistical Model Checking
auteur
Benoît Barbot, Serge Haddad, Claudine Picaronny
article
Proceedings of the 18th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'12), 2012, Tallinn, Estonia. pp.331-346, ⟨10.1007/978-3-642-28756-5_23⟩
Accès au bibtex
BibTex
titre
Conformance Relations for Labeled Event Structures
auteur
Hernán Ponce de León, Stefan Haar, Delphine Longuet
article
Proceedings of the 6th International Conference on Tests and Proofs (TAP'12), 2012, Prague, Czech Republic. pp.83-98, ⟨10.1007/978-3-642-30473-6_8⟩
Accès au bibtex
BibTex
titre
Frequency Linear-time Temporal Logic
auteur
Benedikt Bollig, Normann Decker, Martin Leucker
article
Proceedings of the 6th International Symposium on Theoretical Aspects of Software Engineering (TASE'12), 2012, Beijing, China. pp.85-92, ⟨10.1109/TASE.2012.43⟩
Accès au bibtex
BibTex
titre
Effective Verification of Weak Diagnosability
auteur
Anoopam Agarwal, Agnes Madalinski, Stefan Haar
article
Proceedings of the 8th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS'12), 2012, Mexico City, Mexico. ⟨10.3182/20120829-3-MX-2028.00083⟩
Accès au bibtex
BibTex
titre
Avoiding Shared Clocks in Networks of Timed Automata
auteur
Sandie Balaguer, Thomas Chatain
article
Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR'12), 2012, Newcastle, UK, United Kingdom. pp.100-114, ⟨10.1007/978-3-642-32940-1_9⟩
Accès au bibtex
BibTex
titre
Verification of Petri Nets with Read Arcs
auteur
César Rodríguez, Stefan Schwoon
article
Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR'12), 2012, Newcastle, United Kingdom. pp.471-485, ⟨10.1007/978-3-642-32940-1_33⟩
Accès au bibtex
BibTex
titre
Importance Sampling for Model Checking of Continuous Time Markov Chains
auteur
Benoît Barbot, Serge Haddad, Claudine Picaronny
article
Proceedings of the 4th International Conference on Advances in System Simulation (SIMUL'12), 2012, Lisbon, Portugal. pp.30-35
Accès au bibtex
BibTex
titre
MSO Decidability of Multi-Pushdown Systems via Split-Width
auteur
Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar
article
Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR'12), 2012, Newcastle, United Kingdom. pp.547-561, ⟨10.1007/978-3-642-32940-1_38⟩
Accès au bibtex
BibTex
titre
Adding Pebbles to Weighted Automata
auteur
Paul Gastin, Benjamin Monmege
article
Proceedings of the 17th International Conference on Implementation and Application of Automata (CIAA'12), 2012, Porto, Portugal. pp.28-51, ⟨10.1007/978-3-642-31606-7_4⟩
Accès au bibtex
BibTex

Book sections

titre
Specification and Verification using Temporal Logics
auteur
Stéphane Demri, Paul Gastin
article
D'Souza, Deepak and Shankar, Priti. Modern applications of automata theory, 2, World Scientific, pp.457-494, 2012
Accès au bibtex
BibTex

Reports

titre
Avoiding Shared Clocks in Networks of Timed Automata
auteur
Sandie Balaguer, Thomas Chatain
article
[Research Report] RR-7990, INRIA. 2012, pp.26
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00706608/file/RR-7990.pdf BibTex
titre
A Fresh Approach to Learning Register Automata
auteur
Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege
article
2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00743240/file/main.pdf BibTex

2011

Journal articles

titre
Lumping partially symmetrical stochastic models
auteur
Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
article
Performance Evaluation, Elsevier, 2011, 68 (1), pp.21-44. ⟨10.1016/j.peva.2010.09.002⟩
Accès au bibtex
BibTex

Conference papers

titre
Building Tight Occurrence Nets from Reveals Relations.
auteur
Sandie Balaguer, Thomas Chatain, Stefan Haar
article
ACSD 2011, Jun 2011, Newcastle, United Kingdom. pp.44-53, ⟨10.1109/ACSD.2011.16⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00638232/file/BCH-acsd11.pdf BibTex
titre
Computing the Reveals Relation in Occurrence Nets
auteur
Stefan Haar, Christian Kern, Stefan Schwoon
article
Gandalf, Jun 2011, Minori, Italy. pp.31-44, ⟨10.4204/EPTCS.54.3⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00638262/file/HKS-gandalf11.pdf BibTex
titre
HASL: An Expressive Language for Statistical Verification of Stochastic Models
auteur
Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
article
VALUETOOLS’11, 2011, Cachan, France
Accès au bibtex
BibTex
titre
Échantillonnage préférentiel pour le model checking statistique
auteur
Benoît Barbot, Serge Haddad, Claudine Picaronny
article
MSR'11, 2011, Lille, France
Accès au bibtex
BibTex
titre
Efficient contextual unfolding
auteur
César Rodríguez, Stefan Schwoon, Paolo Baldan
article
Proceedings of the 22nd International Conference on Concurrency Theory (CONCUR'11), 2011, Aachen, Germany, Germany. pp.342-357, ⟨10.1007/978-3-642-23217-6_23⟩
Accès au bibtex
BibTex
titre
Construction and SAT-based verification of Contextual Unfoldings
auteur
Stefan Schwoon, César Rodríguez
article
Proceedings of the 13th International Workshop on Descriptional Complexity of Formal Systems (DCFS'11), 2011, Limburg, Germany, Germany. pp.34-42, ⟨10.1007/978-3-642-22600-7_3⟩
Accès au bibtex
BibTex

Patents

titre
Cunf
auteur
César Rodríguez, Stefan Schwoon
article
Patent n° : N/A. v35. 2011
Accès au bibtex
BibTex

Reports

titre
What Topology tells us about Diagnosability in Partial Order Semantics
auteur
Stefan Haar
article
[Research Report] RR-7593, INRIA. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00583666/file/RR-7593.pdf BibTex
titre
Weighted Expressions and DFS Tree Automata
auteur
Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun
article
[Research Report] LSV-11-08, 2011
Accès au bibtex
BibTex

2010

Journal articles

titre
Unfolding-based Diagnosis of Systems with an Evolving Topology
auteur
Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König
article
Information and Computation, Elsevier, 2010, 10, pp.1169-1192. ⟨10.1016/j.ic.2009.11.009⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00638204/file/BCHK-icomp10.pdf BibTex
titre
Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets
auteur
Stefan Haar
article
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2010, 55 (10), pp.2310-2320. ⟨10.1016/j.ic.2009.11.009⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00638209/file/haar-tac10.pdf BibTex
titre
Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces
auteur
Paul Gastin, Dietrich Kuske
article
Information and Computation, Elsevier, 2010, 208 (7), pp.797-816. ⟨10.1016/j.ic.2009.12.003⟩
Accès au bibtex
BibTex
titre
Continuous Petri Nets: Expressive Power and Decidability Issues
auteur
Laura Recalde, Serge Haddad, Manuel Silva
article
International Journal of Foundations of Computer Science, World Scientific Publishing, 2010, 21 (2), pp.235-256. ⟨10.1142/S0129054110007222⟩
Accès au bibtex
BibTex
titre
Scenario-based verification of real-time systems using \textscUppaal
auteur
Shuhao Li, Sandie Balaguer, Alexandre David, Kim Guldstrand Larsen, Brian Nielsen, Saulius Pusinskas
article
Formal Methods in System Design, Springer Verlag, 2010, 37 (2-3), pp.200-264. ⟨10.1007/s10703-010-0103-z⟩
Accès au bibtex
BibTex
titre
Propositional Dynamic Logic for Message-Passing Systems
auteur
Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2010, 6 (3:16), ⟨10.2168/LMCS-6(3:16)2010⟩
Accès au bibtex
BibTex
titre
SMA---The Smyle Modeling Approach
auteur
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
article
Computing and Informatics, Slovak University Press, Bratislava, 2010, 29 (1), pp.45-72
Accès au bibtex
BibTex
titre
Learning Communicating Automata from~MSCs
auteur
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2010, 36 (3), pp.390-408. ⟨10.1109/TSE.2009.89⟩
Accès au bibtex
BibTex

Conference papers

titre
A~Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata
auteur
Sandie Balaguer, Thomas Chatain, Stefan Haar
article
TIME'10 - Proceedings of the 17th International Symposium on Temporal Representation and Reasoning, Sep 2010, Paris, France, France. pp.77-84, ⟨10.1109/TIME.2010.12⟩
Accès au bibtex
BibTex
titre
Real Time Properties for Interrupt Timed Automata
auteur
Béatrice Bérard, Serge Haddad, Mathieu Sassolas
article
17th International Symposium on Temporal Representation (TIME 2010), Sep 2010, Paris, France. pp.69-76, ⟨10.1109/TIME.2010.11⟩
Accès au bibtex
BibTex
titre
What Topology Tells us about Diagnosability in Partial Order Semantics
auteur
Stefan Haar
article
Proceedings of the 10th Workshop on Discrete Event Systems (WODES'10), Aug 2010, Berlin, Germany. pp.221-226
Accès au bibtex
BibTex
titre
Pebble weighted automata and transitive closure logics
auteur
Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun
article
Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP'10) - Part II, Jul 2010, Bordeaux, France. pp.587-598, ⟨10.1007/978-3-642-14162-1_49⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00608179/file/BolligGastinMonmegeZeitoun_-_10_-_Pebble_Weighted_Automata_and_Transitive_Closure_Logics0.pdf BibTex
titre
Response time of BPEL4WS constructors
auteur
Serge Haddad, Lynda Mokdad, Samir Youcef
article
Proceedings of the 15th IEEE Symposium on Computers and Communications (ISCC'10), 2010, Riccione, Italy, Italy. pp.695-700, ⟨10.1109/ISCC.2010.5546538⟩
Accès au bibtex
BibTex
titre
libalf: the Automata Learning Framework
auteur
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon
article
Proceedings of the 22nd International Conference on Computer Aided Verification (CAV'10), 2010, Edinburgh, Scotland, UK, United Kingdom. pp.360-364, ⟨10.1007/978-3-642-14295-6_32⟩
Accès au bibtex
BibTex
titre
Factorization Properties of Symbolic Unfoldings of Colored Petri Nets
auteur
Thomas Chatain, Éric Fabre
article
Proceedings of the 31st International Conference on Applications and Theory of Petri Nets (ICATPN'10), 2010, Braga, Portugal. pp.165-184, ⟨10.1007/978-3-642-13675-7_11⟩
Accès au bibtex
BibTex
titre
Sémantique concurrente symbolique des réseaux de Petri saufs et dépliages finis des réseaux temporels
auteur
Thomas Chatain, Claude Jard
article
Actes de la 10ème Conférence Internationale sur les NOuvelles TEchnologies de la RÉpartition (NOTERE'10), 2010, Tozeur, Tunisia, Tunisie
Accès au bibtex
BibTex
titre
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars
auteur
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon
article
Proceedings of the 5th International Conference on Graph Transformations (ICGT'10), 2010, Enschede, Netherlands. pp.91-106, ⟨10.1007/978-3-642-15928-2_7⟩
Accès au bibtex
BibTex
titre
Client Synthesis for Aspect Oriented Web Services
auteur
Mehdi Ben Hmida, Serge Haddad
article
Revised Selected Papers of the 15th Monterey Workshop on Foundations of Computer Software (MONTEREY'08), 2010, Budapest, Hungary, Hungary. pp.24-42, ⟨10.1007/978-3-642-12566-9_2⟩
Accès au bibtex
BibTex
titre
Process Refinement and Asynchronous Composition with Modalities
auteur
Dorsaf El~hog-Benzina, Serge Haddad, Rolf Hennicker
article
Proceedings of the 2nd International Workshop on Abstractions for Petri Nets and Other Models of Concurrency (APNOC'10), 2010, Braga, Portugal
Accès au bibtex
BibTex
titre
Stochastic Bounds for Censored Markov Chains
auteur
Ana Bušić, Hilal Djafri, Jean-Michel Fourneau
article
Proceedings of the 6th International Meeting on the Numerical Solution of Markov Chain (NSMC'10), 2010, Williamsburg, Virginia, USA, United States
Accès au bibtex
BibTex
titre
Selection of the Best composite Web Service Based on Quality of Service
auteur
Serge Haddad, Lynda Mokdad, Samir Youcef
article
Proceedings of the 2nd International Symposium on Services Science and 3rd International Conference on Business Process and Services Computing (ISSS\slashBPSC'10), 2010, Leipzig, Germany, Germany. pp.255-266
Accès au bibtex
BibTex

Reports

titre
A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata
auteur
Sandie Balaguer, Thomas Chatain, Stefan Haar
article
[Research Report] RR-7338, INRIA. 2010, pp.22
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00504058/file/RR-7338.pdf BibTex
titre
Distributed Synthesis with Incomparable Information
auteur
Béatrice Bérard, Serge Haddad, Mathieu Sassolas, Marc Zeitoun
article
[Research Report] LSV-10-17, LSV. 2010
Accès au bibtex
BibTex

2009

Journal articles

titre
An Inverse Method for Parametric Timed Automata
auteur
Étienne André, Emmanuelle Encrenaz, Laurent Fribourg, Thomas Chatain
article
International Journal of Foundations of Computer Science, World Scientific Publishing, 2009, 20 (5), pp.819-836. ⟨10.1142/S0129054109006905⟩
Accès au bibtex
BibTex
titre
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
auteur
Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer
article
CoRR, Arxive, 2009, abs/0901.0501
Accès au bibtex
BibTex
titre
Model Checking Timed and Stochastic Properties with CSL\textsuperscriptTA
auteur
Susanna Donatelli, Serge Haddad, Jeremy Sproston
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2009, 35 (2), pp.224-240. ⟨10.1109/TSE.2008.108⟩
Accès au bibtex
BibTex

Conference papers

titre
Qualitative Diagnosability of Labeled Petri Nets Revisited
auteur
Stefan Haar
article
Proceedings of the Joint 48th IEEE Conference on Decision and Control (CDC'09) and 28th Chinese Control Conference (CCC'09), Dec 2009, Shanghai, China, China. pp.1248-1253, ⟨10.1109/CDC.2009.5400917⟩
Accès au bibtex
BibTex
titre
Comparison of Algorithms for Checking Emptiness on Büchi Automata
auteur
Andreas Gaiser, Stefan Schwoon
article
MEMICS, Nov 2009, Znojmo, Czech Republic
Accès au bibtex
BibTex
titre
Agents Secure Interaction in Data Driven Languages
auteur
H. Mahdi Zargayouna, Flavien Balbo, Serge Haddad
article
Revised Selected Papers of the 2nd Workshop on LAnguages, methodologies and Development tools for multi-agent systemS (LADS'09), Sep 2009, Torino, Italy, Italy. pp.72-91, ⟨10.1007/978-3-642-13338-1_5⟩
Accès au bibtex
BibTex
titre
Playing Games with Timed Games
auteur
Thomas Chatain, Alexandre David, Kim Guldstrand Larsen
article
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09), Sep 2009, Zaragoza, Spain, Spain
Accès au bibtex
BibTex
titre
Checking simulation relation between timed game automata
auteur
Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Thomas Chatain
article
Proceedings of the 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09), Sep 2009, Budapest, Hungary, Hungary. pp.73-87, ⟨10.1007/978-3-642-04368-0_8⟩
Accès au bibtex
BibTex
titre
Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains
auteur
Serge Haddad, Nihal Pekergin
article
Proceedings of the 6th International Conference on Quantitative Evaluation of Systems (QEST'09), Sep 2009, Budapest, Hungary, Hungary. pp.177-186, ⟨10.1109/QEST.2009.42⟩
Accès au bibtex
BibTex
titre
Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domains
auteur
Serge Haddad, Fabrice Kordon, Laure Petrucci, Jean-François Pradat-Peyre, Nicolas Trèves
article
28th American Control Conference (ACC'09), Jun 2009, Saint Louis, MO, United States. pp.5018-5025, ⟨10.1109/ACC.2009.5160020⟩
Accès au bibtex
BibTex
titre
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
auteur
Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer
article
FOSSACS, Mar 2009, York, United Kingdom. pp.440-455
Accès au bibtex
BibTex
titre
Interrupt Timed Automata
auteur
Béatrice Bérard, Serge Haddad
article
12th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'09), Mar 2009, York, United Kingdom. pp.197-211, ⟨10.1007/978-3-642-00596-1_15⟩
Accès au bibtex
BibTex
titre
Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems
auteur
Paul Gastin, Nathalie Sznajder, Thomas Chatain
article
Proceedings of the 35th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'09), Jan 2009, Mlýn, Czech Republic. pp.141-152, ⟨10.1007/978-3-540-95891-8_16⟩
Accès au bibtex
BibTex
titre
Weighted versus Probabilistic Logics
auteur
Paul Gastin, Benedikt Bollig
article
Proceedings of the 13th International Conference on Developments in Language Theory (DLT'09), 2009, Stuttgart, Germany, Germany. pp.18-38, ⟨10.1007/978-3-642-02737-6_2⟩
Accès au bibtex
BibTex
titre
Realizability of Concurrent Recursive Programs
auteur
Benedikt Bollig, Manuela-Lidia Grindei, Peter Habermehl
article
Proceedings of the 12th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'09), 2009, York, UK, United Kingdom. pp.410-424, ⟨10.1007/978-3-642-00596-1_29⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00772771/file/BGH-fossacs09.pdf BibTex
titre
Critical paths in the Partial Order Unfolding of a Stochastic Petri Net
auteur
Anne Bouillard, Stefan Haar, Sidney Rosario
article
Proceedings of the 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09), 2009, Budapest, Hungary, Hungary. pp.43-57, ⟨10.1007/978-3-642-04368-0_6⟩
Accès au bibtex
BibTex
titre
Monotonicity in Service Orchestrations
auteur
Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar
article
Proceedings of the 30th International Conference on Applications and Theory of Petri Nets (ICATPN'09), 2009, Paris, France, France. pp.263-282, ⟨10.1007/978-3-642-02424-5_16⟩
Accès au bibtex
BibTex

Book sections

titre
Weighted automata and weighted logics
auteur
Manfred Droste, Paul Gastin
article
Kuich, Werner and Vogler, Heiko and Droste, Manfred. Handbook of Weighted Automata, Springer, pp.175-211, 2009
Accès au bibtex
BibTex
titre
Reachability and boundedness in time-constrained MSC graphs
auteur
Paul Gastin, Madhavan Mukund, K. Narayan Kumar
article
Lodaya, Kamal and Mukund, Madhavan and Ramanujam, R. Perspectives in Concurrency Theory, Universities Press, pp.157-183, 2009
Accès au bibtex
BibTex
titre
Local safety and local liveness for distributed systems
auteur
Volker Diekert, Paul Gastin
article
Lodaya, Kamal and Mukund, Madhavan and Ramanujam, R. Perspectives in Concurrency Theory, Universities Press, pp.86-106, 2009
Accès au bibtex
BibTex

Reports

titre
Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets
auteur
Stefan Haar
article
[Research Report] RR-6902, INRIA. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00379540/file/RR-6902.pdf BibTex

2008

Journal articles

titre
Distributed Busacker-Gowen algorithm for end-to-end QoS pipe negotiation in X-domain networks
auteur
Hélia Pouyllau, Stefan Haar
article
Annals of Telecommunications - annales des télécommunications, Springer, 2008, 63 (11-12), pp.621-630. ⟨10.1007/s12243-008-0055-0⟩
Accès au bibtex
BibTex

Conference papers

titre
Unfolding-based Diagnosis of Systems with an Evolving Topology
auteur
Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König
article
Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08), 2008, Toronto, Canada, Canada. pp.203-217, ⟨10.1007/978-3-540-85361-9_19⟩
Accès au bibtex
BibTex

2000

Journal articles

titre
Occurrence Net Logics
auteur
Stefan Haar
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2000, 43 (1-4), pp.105-127
Accès au bibtex
BibTex

Conference papers

titre
A~Limit Semantics for Timed Petri Nets
auteur
Bruno Gaujal, Stefan Haar
article
Proceedings of the 5th Workshop on Discrete Event Systems (WODES'00), 2000, Ghent, Belgium, Belgium. pp.219-228
Accès au bibtex
BibTex

1998

Conference papers

titre
Branching Processes of General S/T-Systems and their Properties
auteur
Stefan Haar
article
Proceedings of the MFCS'98 Workshop on Concurrency, 1998, Brno, Czech Republic, Czech Republic. pp.65-74, ⟨10.1016/S1571-0661(05)80250-6⟩
Accès au bibtex
BibTex