Thomas Nowak, Ulrich Schmid, Kyrill Winkler. Topological Characterization of Consensus in Distributed Systems. Journal of the ACM (JACM), 2024, 71 (6), pp.39:1-39:48. ⟨10.1145/3687302⟩. ⟨hal-04724510⟩

Lélia Blin, Gabriel Le Bouder, Franck Petit. Optimal Memory Requirement for Self-Stabilizing Token Circulation. Structural Information and Communication Complexity (SIROCCO 2024), May 2024, Salerno, Italy. pp.101-118, ⟨10.1007/978-3-031-60603-8_6⟩. ⟨hal-04448960⟩

Sylvain Conchon, Alexandrina Korneva. The Cubicle Fuzzy Loop: A Fuzzing-Based Extension for the Cubicle Model Checker. SEFM 2023 - Software Engineering and Formal Methods, Nov 2023, Eindhoven, Netherlands. pp.30-46, ⟨10.1007/978-3-031-47115-5_3⟩. ⟨hal-04394062v2⟩

Hagit Attiya, Armando Castañeda, Thomas Nowak. Topological Characterization of Task Solvability in General Models of Computation. 37th International Symposium on Distributed Computing (DISC 2023), European Association for Theoretical Computer Science, Oct 2023, L'Aquila, Italy. ⟨10.4230/LIPIcs.DISC.2023.5⟩. ⟨hal-04230650⟩

Arman Ferdowsi, Matthias Függer, Josef Salzmann, Ulrich Schmid. A Hybrid Delay Model for Interconnected Multi-Input Gates. DSD 2023 - 26th Euromicro Conference on Digital System Design, Sep 2023, Golem, Albania. pp.381-390, ⟨10.1109/DSD60849.2023.00060⟩. ⟨hal-04786960⟩

Nick Würdemann, Thomas Chatain, Stefan Haar. Taking Complete Finite Prefixes To High Level, Symbolically (Full Version). Petri Nets 2023 - 44TH International Conference on Applications and Theory of Petri Nets and Concurrency, R&D Group on Reconfigurable and Embedded Systems at NOVA School of Science and Technology, Mar 2023, Caparica (Lisbonne), Portugal. ⟨hal-04029490⟩

Amrita Suresh. Formal Verification of Communicating Automata. Logic in Computer Science [cs.LO]. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPASG092⟩. ⟨tel-04047037⟩

Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder. Synthesis in presence of dynamic links. Information and Computation, 2022, 289 (Part B), pp.104856. ⟨10.1016/j.ic.2021.104856⟩. ⟨hal-03518879⟩

Neha Rino, Thomas Chatain. Timed Alignments with Mixed Moves. 2022. ⟨hal-03831470⟩

Thomas Chatain, Neha Rino. Timed Alignments. 2022 4th International Conference on Process Mining (ICPM), Oct 2022, Bolzano, Italy. pp.112-119, ⟨10.1109/ICPM57379.2022.9980687⟩. ⟨hal-03703712⟩

Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé, Stefan Schwoon, Nick Würdemann. Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets. GandALF 2022 - Games, Automata, Logics, and Formal Verification, Sep 2022, Madrid, Spain. ⟨10.4204/EPTCS.370.12⟩. ⟨hal-03773855⟩

Lulu He, Philippe Dague, Lina Ye. Using Delay Blocks to Make Non-Diagnosable Discrete Event Systems Diagnosable. DX 2022 - 33rd International Workshop on Principle of Diagnosis, LAAS-CNRS-ANITI, Sep 2022, Toulouse, France. ⟨hal-03773712⟩

Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil. Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages. 33rd International Conference on Concurrency Theory (CONCUR 2022), Sep 2022, Warszawa, Poland. pp.28:1-28:19, ⟨10.4230/LIPIcs.CONCUR.2022.28⟩. ⟨hal-03770358⟩

Giann Karlo Aguirre-Samboní, Cédric Gaucherel, Stefan Haar, Franck Pommereau. Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs. PNSE 2023 - International Workshop on Petri Nets and Software Engineering, Jul 2022, Bergen, Norway. pp.213--214. ⟨hal-03750233⟩

Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil. Asynchronous wreath product and cascade decompositions for concurrent behaviours. Logical Methods in Computer Science, 2022, ⟨10.46298/LMCS-18(2:22)2022⟩. ⟨hal-03709692⟩

Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier Henri Roux. Pomset bisimulation and unfolding for reset Petri nets. Information and Computation, 2022, 283, pp.104674. ⟨10.1016/j.ic.2020.104674⟩. ⟨hal-03650582⟩

Igor Khmelnitsky. Verification of Infinite-State Systems and Machine Learning. Computer science. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPASG001⟩. ⟨tel-04054017⟩

Alain Finkel, Serge Haddad, Igor Khmelnitsky. Coverability, Termination, and Finiteness in Recursive Petri Nets. Fundamenta Informaticae, 2022, 183, pp.33 - 66. ⟨10.3233/fi-2021-2081⟩. ⟨hal-04270919⟩

Matthias Függer, Attila Kinali, Christoph Lenzen, Ben Wiederhake. Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022, 41 (8), pp.2518-2531. ⟨10.1109/TCAD.2021.3097599⟩. ⟨hal-03536906⟩

Mathilde Boltenhagen, Thomas Chatain, Josep Carmona. An A*-Algorithm for Computing Discounted Anti-Alignments in Process Mining. 3rd International Conference on Process Mining, Oct 2021, Eindhoven, Netherlands. ⟨hal-03229744v2⟩

Matthias Függer, Thomas Nowak, Manfred Schwarz. Tight Bounds for Asymptotic and Approximate Consensus. Journal of the ACM (JACM), 2021, ⟨10.1145/3485242⟩. ⟨hal-03408731⟩

Mathilde Boltenhagen. Partitionnement d’instances de processus basé sur les techniques de conformité de modèles. Other [cs.OH]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG060⟩. ⟨tel-03461959⟩

Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, et al.. Distributed computation with continual population growth. Distributed Computing, 2021, ⟨10.1007/s00446-021-00404-8⟩. ⟨hal-03519002⟩

Anirban Majumdar. Vérification et synthèse de systèmes concurrents paramétrés. Other [cs.OH]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG059⟩. ⟨tel-03412980⟩

Mathilde Boltenhagen, Thomas Chatain, Josep Carmona. A Discounted Cost Function for Fast Alignments of Business Processes. BPM 2021 - 19th International Conference on Business Process Management, Sep 2021, Rome, France. ⟨10.1007/978-3-030-85469-0_17⟩. ⟨hal-03362277⟩

Benedikt Bollig, Cinzia Di Giusto, Alain Finkel, Laetitia Laversa, Etienne Lozes, et al.. A Unifying Framework for Deciding Synchronizability. CONCUR 2021 - 32nd International Conference on Concurrency Theory, Aug 2021, Paris, France. pp.1-33. ⟨hal-03278370⟩

Juraj Kolcak. Dépliages et interprétation abstraite pour réseaux de régulation biologiques paramétrés. Bioinformatics [q-bio.QM]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG048⟩. ⟨tel-03338961v2⟩

Serge Haddad, Didier Lime, Olivier H Roux. A Turn-Based Approach for Qualitative Time Concurrent Games. PETRI NETS 2021 - 42nd International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.76-92, ⟨10.1007/978-3-030-76983-3_5⟩. ⟨hal-03561748⟩

Wolfgang Dür, Matthias Függer, Andreas Steininger. Generation of a fault-tolerant clock through redundant crystal oscillators. Microelectronics Reliability, 2021, 120, pp.114088. ⟨10.1016/j.microrel.2021.114088⟩. ⟨hal-03329844⟩

Thomas Chatain, Mathilde Boltenhagen, Josep Carmona. Anti-Alignments -- Measuring The Precision of Process Models and Event Logs. Information Systems, 2021, ⟨10.1016/j.is.2020.101708⟩. ⟨hal-02383546v3⟩

Benedikt Bollig, Marie Fortin, Paul Gastin. Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic. Journal of Computer and System Sciences, 2021, 115, pp.22-53. ⟨10.1016/j.jcss.2020.06.006⟩. ⟨hal-03334813⟩

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Computer Aided Formal Design of Swarm Robotics Algorithms. 2021. ⟨hal-03111541⟩

Sylvain Conchon, Alexandrina Korneva, Çagdas Bozman, Mohamed Iguernlala, Alain Mebsout. Formally Documenting Tenderbake. Open Access Series in Informatics, In press, ⟨10.4230/OASIcs.FMBC.2021.5⟩. ⟨hal-03398884⟩

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Comment s'assurer de garder le contact (et nos distances). ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, 2021, La Rochelle, France. ⟨hal-03219933⟩

Alain Finkel, Serge Haddad, Igor Khmelnitsky. Commodification of accelerations for the Karp and Miller Construction.. Discrete Event Dynamic Systems, 2021, 31 (2), pp.251-270. ⟨hal-03137054⟩

Mathieu Lehaut. Synthesis for parameterized systems. Théorie et langage formel [cs.FL]. Sorbonne Université, 2020. Français. ⟨NNT : 2020SORUS341⟩. ⟨tel-03987575⟩

Stefan Haar, Serge Haddad, Stefan Schwoon, Lina Ye. Active Prediction for Discrete Event Systems. FSTTCS 2020 - 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2020, Goa / Virtual, India. ⟨hal-02951944v3⟩

Wenbo Zhou, Philippe Dague, Lei Liu, Lina Ye, Fatiha Zaïdi. A Coloured Petri Nets Based Attack Tolerance Framework. 27th Asia-Pacific Software Engineering Conference (APSEC 2020), IEEE, Dec 2020, Singapore, Singapore. ⟨hal-03133790⟩

Nathalie Bertrand, Serge Haddad, Engel Lefaucheux. Diagnosis and Degradation Control for Probabilistic Systems. Discrete Event Dynamic Systems, 2020, 30 (4), pp.695-723. ⟨10.1007/s10626-020-00320-2⟩. ⟨hal-03095652⟩

Mathilde Boltenhagen, Thomas Chatain, Josep Carmona. Model-based trace variant analysis of event logs. Information Systems, 2020, pp.101675. ⟨10.1016/j.is.2020.101675⟩. ⟨hal-03132606⟩

Johannes Bund, Matthias Függer, Christoph Lenzen, Moti Medina. Synchronizer-free Digital Link Controller. IEEE Transactions on Circuits and Systems I: Regular Papers, 2020, 67 (10), pp.3562-3573. ⟨10.1109/TCSI.2020.2989552⟩. ⟨hal-03070312⟩

Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder. Synthesis in Presence of Dynamic Links. GandALF'20 - 11th International Symposium on Games, Automata, Logics, and Formal Verification, Sep 2020, Brussels (online), Belgium. ⟨hal-02917542⟩

Sani Mohammadreza Fani, Mathilde Boltenhagen, Aalst Wil van Der. Prototype Selection using Clustering and Conformance Metrics for Process Discovery. BPI’20 - 16th International Workshop on Business Process Intelligence, Sep 2020, Sevilla, Spain. ⟨hal-03134093⟩

Serge Haddad, Igor Khmelnitsky. Dynamic Recursive Petri Nets. PETRI NETS 2020 - 41st International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2020, Paris, France. ⟨hal-02511321⟩

Alain Finkel, Serge Haddad, Igor Khmelnitsky. Minimal Coverability Tree Construction Made Complete and Efficient. FoSSaCS 2020 - 23rd International Conference on Foundations of Software Science and Computation Structures, Apr 2020, Dublin, Ireland. ⟨hal-02479879⟩

Matthias Függer, Thomas Nowak, Kyrill Winkler. On the Radius of Nonsplit Graphs and Information Dissemination in Dynamic Networks. Discrete Applied Mathematics, 2020. ⟨hal-02946849⟩

Thomas Chatain, Stefan Haar, Juraj Kolčák, Loïc Paulevé, Aalok Thakkar. Concurrency in Boolean networks. Natural Computing, 2020, 19 (1), pp.91--109. ⟨10.1007/s11047-019-09748-4⟩. ⟨hal-01893106v2⟩

Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, et al.. Distributed Computation with Continual Population Growth. DISC 2020 - 34th International Symposium on DIStributed Computing, 2020, virtual, Germany. p. 1-17, ⟨10.4230/LIPIcs.DISC.2020.6⟩. ⟨hal-02946883⟩

Wil M.P. van Der Aalst, Josep Carmona, Thomas Chatain, Boudewijn F. van Dongen. A Tour in Process Mining: From Practice to Algorithmic Challenges. LNCS Transactions on Petri Nets and Other Models of Concurrency, 2019, ⟨10.1007/978-3-662-60651-3_1⟩. ⟨hal-02419141⟩

Nathalie Bertrand, Serge Haddad, Engel Lefaucheux. A Tale of Two Diagnoses in Probabilistic Systems. Information and Computation, 2019, 269, pp.1-33. ⟨10.1016/j.ic.2019.104441⟩. ⟨hal-02430814⟩

Lina Ye, Philippe Dague, Lulu He. Manifestability Verification of Discrete Event Systems. DX 2019 - 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. pp.1-9. ⟨hal-02425146⟩

Hugues Mandon, Cui Su, Stefan Haar, Jun Pang, Loïc Paulevé. Sequential Reprogramming of Boolean Networks Made Practical. CMSB 2019 - 17th International Conference on Computational Methods in Systems Biology, Sep 2019, Trieste, France. pp.3--19, ⟨10.1007/978-3-030-31304-3_1⟩. ⟨hal-02178917v2⟩

Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg. Decentralized monotonicity-based voltage control of DC microgrids with ZIP loads. NecSys 2019 - 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, Sep 2019, Chicago, United States. ⟨10.1016/j.ifacol.2019.12.148⟩. ⟨hal-02208665⟩

Mathilde Boltenhagen, Thomas Chatain, Josep Carmona. Encoding Conformance Checking Artefacts in SAT. BPI 2019 - 15th International Workshop on Business Process Intelligence, Sep 2019, Wien, Austria. ⟨hal-02419980⟩

Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar. Reconfiguration and message losses in parameterized broadcast networks. CONCUR 2019 - 30th International Conference on Concurrency Theory, Aug 2019, Amsterdam, Netherlands. pp.1 - 15, ⟨10.4230/LIPIcs.CONCUR.2019.32⟩. ⟨hal-02191382⟩

Daniel Ohlinger, Jürgen Maier, Matthias Függer, Ulrich Schmid. The Involution Tool for Accurate Digital Timingand Power Analysis. PATMOS 2019 - 29th International Symposium on Power and Timing Modeling, Optimization and Simulation, Jul 2019, Rhodes, Greece. ⟨10.1109/PATMOS.2019.8862165⟩. ⟨hal-02395242⟩

Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg. A symbolic approach to voltage stability and power sharing in time-varying DC microgrids. ECC 2019 - European control conference, Jun 2019, Naples, Italy. ⟨10.23919/ecc.2019.8796095⟩. ⟨hal-02070070⟩

Alain Finkel, Serge Haddad, Igor Khmelnitsky. Coverability and Termination in Recursive Petri Nets. Petri Nets 2019 / ACSD 2019 - 40th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2019, Aachen, Germany. ⟨hal-02081019⟩

Mathilde Boltenhagen, Thomas Chatain, Josep Carmona. Generalized Alignment-Based Trace Clustering of Process Behavior. Petri Nets 2019 / ACSD 2019 - 40th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2019, Aachen, Germany. ⟨hal-02176771⟩

Adnane Saoud, Antoine Girard, Laurent Fribourg. Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems. 57th IEEE Conference on Decision and Control (CDC 2018), Dec 2018, Miami Beach, FL, United States. ⟨10.1109/CDC.2018.8619099⟩. ⟨hal-01857389⟩

Béatrice Bérard, Stefan Haar, Loïc Hélouët. Hyper Partial Order Logic. 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⟩. ⟨hal-01884390⟩

Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg. An improved algorithm for the control synthesis of nonlinear sampled switched systems. Formal Methods in System Design, 2018, 53 (3), pp.363-383. ⟨10.1007/s10703-017-0305-8⟩. ⟨hal-01399337v2⟩

Fabrice Kordon, Hubert Garavel, Lom Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, et al.. MCC’2017 - The Seventh Model Checking Contest. LNCS Transactions on Petri Nets and Other Models of Concurrency, 11090, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩. ⟨hal-01917492⟩

Matthias Függer, Thomas Nowak. Fast Multidimensional Asymptotic and Approximate Consensus. International Symposium on DIStributed Computing (DISC) 2018, Oct 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.27⟩. ⟨hal-01936316⟩

Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder. Round-Bounded Control of Parameterized Systems. 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), Oct 2018, Los Angeles, California, United States. pp.370-386, ⟨10.1007/978-3-030-01090-4_22⟩. ⟨hal-01849206⟩

Da-Jung Cho, Yo-Sub Han, Hwee Kim, Kai Salomaa. Site-Directed Deletion. 22nd International Conference on Developments in Language Theory (DLT 2018), Sep 2018, Tokyo, Japan. ⟨hal-01937635⟩

Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith. Site-Directed Insertion: Decision Problems, Maximality and Minimality. 20th International Conference on Descriptional Complexity of Formal Systems, Jul 2018, Halifax, Canada. ⟨hal-01937654⟩

Matthias Függer, Thomas Nowak, Manfred Schwarz. Tight Bounds for Asymptotic and Approximate Consensus. ACM Symposium on Principles of Distributed Computing (PODC'18), Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212762⟩. ⟨hal-01799039⟩

Adrien Le Coënt, Laurent Fribourg, Jonathan Vacher. Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method.. 6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018 ADHS'18,, Jul 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.044⟩. ⟨hal-01959845⟩

Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon. The Complexity of Diagnosability and Opacity Verification for Petri Nets. Fundamenta Informaticae, 2018, 161 (4), pp.317--349. ⟨10.3233/FI-2018-1706⟩. ⟨hal-01852119⟩

Serge Haddad, Benjamin Monmege. Interval Iteration Algorithm for MDPs and IMDPs. Theoretical Computer Science, 2018, 735, pp.111 - 131. ⟨10.1016/j.tcs.2016.12.003⟩. ⟨hal-01809094⟩

Engel Lefaucheux, Alessandro Giua, Carla Seatzu. Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis. Petri Nets 2018 - International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. pp.164-183, ⟨10.1007/978-3-319-91268-4_9⟩. ⟨hal-01882129⟩

Thomas Chatain, Stefan Haar, Loïc Paulevé. Boolean Networks: Beyond Generalized Asynchronicity. 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⟩. ⟨hal-01768359v2⟩

Loïg Jezequel, Agnes Madalinski, Stefan Schwoon. Distributed computation of vector clocks in Petri nets unfolding for test selection. Workshop on Discrete Event Systems (WODES), May 2018, Sorrento, Italy. ⟨10.1016/j.ifacol.2018.06.287⟩. ⟨hal-01735406⟩

Matthias Függer, Attila Kinali, Christoph Lenzen, Ben Wiederhake. Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance. 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), May 2018, Wien, Austria. ⟨hal-01936403⟩

Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando. Parameterized Verification of Topology-sensitive Distributed Protocols goes Declarative. International Conference on Networked Systems (NETYS), May 2018, Essaouira, Morocco. ⟨hal-02001652⟩

Loïg Jezequel, Thomas Chatain, Maurice Comlan, David Delfieu, Olivier Henri Roux. Pomsets and Unfolding of Reset Petri Nets. LATA 2018 - 12th International Conference on Language and Automata Theory and Applications, Apr 2018, Ramat Gan, Israel. ⟨10.1007/978-3-319-77313-1_20⟩. ⟨hal-01766530⟩

Matthias Függer, Jürgen Maier, Robert Najvirt, Thomas Nowak, Ulrich Schmid. A Faithful Binary Circuit Model with Adversarial Noise. DATE 2018 - Design, Automation and Test in Europe Conference and Exhibition, Mar 2018, Dresden, Germany. ⟨10.23919/DATE.2018.8342219⟩. ⟨hal-01738254⟩

Stephan Friedrichs, Matthias Függer, Christoph Lenzen. Metastability-Containing Circuits. IEEE Transactions on Computers, 2018, pp.1167 - 1183. ⟨10.1109/TC.2018.2808185⟩. ⟨hal-01936292⟩

Paul Gastin, Benjamin Monmege. A Unifying Survey on Weighted Logics and Weighted Automata. Soft Computing, 2018, 22 (4), pp.1047-1065. ⟨10.1007/s00500-015-1952-6⟩. ⟨hal-01130216v2⟩

Adnane Saoud, Antoine Girard, Laurent Fribourg. On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance. European Control Conference (ECC 2018), 2018, Limassol, Cyprus. ⟨10.23919/ECC.2018.8550622⟩. ⟨hal-01712710⟩

Serge Haddad. Memoryless Determinacy of Finite Parity Games: Another Simple Proof. Information Processing Letters, 2018, 132, pp.3. ⟨hal-01541508⟩

Philippe Darondeau, Stephane Demri, Roland Meyer, Christophe Morvan. Petri Net Reachability Graphs: Decidability Status of First Order Properties. Logical Methods in Computer Science, 2012, 8 (4:9), pp.1-28. ⟨10.2168/LMCS-8(4:9)2012⟩. ⟨hal-00743935⟩

Philippe Darondeau, Stephane Demri, Roland Meyer, Christophe Morvan. Petri Net Reachability Graphs: Decidability Status of FO Properties. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, IARCS, Dec 2011, Bombay, India. ⟨inria-00627657⟩