Parametrized Verification and Synthesis

Adaptive Synchronisation of Pushdown Automata

Autorzy: A. R. Balasubramanian, K. S. Thejaswini
Opublikowane w: 32nd International Conference on Concurrency Theory, CONCUR 2021, Numer 203, 2021, Strona(/y) 17:1 -- 17:15, ISBN 978-3-95977-203-7
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.concur.2021.17

Abstraction-Based Segmental Simulation of Chemical Reaction Networks

Autorzy: Martin Helfrich, Milan Ceska, Jan Kretínský, Stefan Marticek
Opublikowane w: 20th International Conference on Computational Methods in Systems Biology, CMSB 2022, 2022, Strona(/y) 41--60, ISBN 978-3-031-15034-0
Wydawca: Springer
DOI: 10.1007/978-3-031-15034-0_3

Fast and Succinct Population Protocols for Presburger Arithmetic

Autorzy: Czerner, Philipp; Guttenberg, Roland; Helfrich, Martin; Esparza, Javier
Opublikowane w: 1st Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2022, Numer 221, 2022, Strona(/y) 11:1--11:17, ISBN 978-3-95977-224-2
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.sand.2022.11

Separators in Continuous Petri Nets

Autorzy: Michael Blondin, Javier Esparza
Opublikowane w: 25th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2022, 2022, Strona(/y) 81--100
Wydawca: Springer
DOI: 10.1007/978-3-030-99253-8_5

Parameterized Analysis of Reconfigurable Broadcast Networks (Long Version)

Autorzy: Balasubramanian, A. R.; Guillou, Lucie; Weil-Kennedy, Chana
Opublikowane w: 25th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2022, 2022, Strona(/y) 61–80, ISBN 978-3-030-99253-8
Wydawca: Springer
DOI: 10.1007/978-3-030-99253-8_4

Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling

Autorzy: Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kučera, Philipp J. Meyer
Opublikowane w: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Numer 12225, 2020, Strona(/y) 372-397, ISBN 978-3-030-53290-1
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-53291-8_20

Abduction of trap invariants in parameterized systems

Autorzy: Javier Esparza, Mikhail A. Raskin, Christoph Welzel
Opublikowane w: 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, 2021, Strona(/y) 1--17
Wydawca: Electronic Proceedings in Theoretical Computer Science 346 (EPTCS)
DOI: 10.4204/eptcs.346.1

Geometry of Reachability Sets of Vector Addition Systems

Autorzy: Roland Guttenberg, Mikhail A. Raskin, Javier Esparza
Opublikowane w: 34th International Conference on Concurrency Theory, CONCUR 2023, 2023
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2023.6

Computing Parameterized Invariants of Parameterized Petri Nets

Autorzy: Javier Esparza, Mikhail A. Raskin, Christoph Welzel
Opublikowane w: 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, Numer 12734, 2021, Strona(/y) 141--163
Wydawca: Springer
DOI: 10.1007/978-3-030-76983-3_8

Giant Components in Random Temporal Graphs

Autorzy: Ruben Becker, Arnaud Casteigts, Pierluigi Crescenzi, Bojana Kodric, Malte Renken, Michael Raskin, Viktor Zamaraev
Opublikowane w: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2023, 2023
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.approx/random.2023.29

Brief Announcement: Population Protocols Decide Double-exponential Thresholds

Autorzy: Philipp Czerner
Opublikowane w: 2023 ACM Symposium on Principles of Distributed Computing, PODC 2023, 2023
Wydawca: ACM
DOI: 10.1145/3583668.3594571

Coefficient Synthesis for Threshold Automata

Autorzy: Balasubramanian, A.R.
Opublikowane w: 16th International Conference on Reachability Problems, RP 2022, Numer 13608, 2022, Strona(/y) 125--139, ISBN 978-3-031-19135-0
Wydawca: Springer
DOI: 10.1007/978-3-031-19135-0_9

Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics

Autorzy: A. R. Balasubramanian, Timo Lang, Revantha Ramanayake
Opublikowane w: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, 2021, Strona(/y) 1--13
Wydawca: IEEE
DOI: 10.1109/lics52264.2021.9470733

QueryFS: compiling queries to define a filesystem

Autorzy: Raskin, Michael
Opublikowane w: The 15th European Lisp Symposium, ELS 2022, Numer 3, 2022
Wydawca: Zenodo
DOI: 10.5281/zenodo.6308532

Characterizing Consensus in the Heard-Of Model

Autorzy: A. R. Balasubramanian, Igor Walukiewicz
Opublikowane w: 31st International Conference on Concurrency Theory, CONCUR 2020, Numer 171, 2020, Strona(/y) 9:1--9:18
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2020.9

A Reduction Theorem for Randomized Distributed Algorithms Under Weak Adversaries

Autorzy: Nathalie Bertrand, Marijana Lazic, Josef Widder
Opublikowane w: 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, 2021, Strona(/y) 219--239
Wydawca: Springer
DOI: 10.1007/978-3-030-67067-2_11

Certifying Inexpressibility

Autorzy: Orna Kupferman, Salomon Sickert
Opublikowane w: Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Numer 12650, 2021, Strona(/y) 385-405, ISBN 978-3-030-71994-4
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-71995-1_20

Lower Bounds on the State Complexity of Population Protocols

Autorzy: Philipp Czerner; Javier Esparza
Opublikowane w: The 2021 ACM Symposium on Principles of Distributed Computing, PODC 2021, Numer 2, 2021, Strona(/y) 45--54
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3465084.3467912

Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent

Autorzy: A. R. Balasubramanian; Chana Weil-Kennedy
Opublikowane w: 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Numer 1, 2021, Strona(/y) 18--34
Wydawca: Electronic Proceedings in Theoretical Computer Science 346 (EPTCS)
DOI: 10.48550/arxiv.2109.08315

Complexity of Coverability in Depth-Bounded Processes

Autorzy: Balasubramanian, A. R.
Opublikowane w: 33rd International Conference on Concurrency Theory, CONCUR 2022, Numer 243, 2022, Strona(/y) 17:1--17:19, ISBN 978-3-95977-246-4
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.concur.2022.17

Tutorial: Parameterized Verification with Byzantine Model Checker

Autorzy: Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
Opublikowane w: Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, 2020
Wydawca: Springer
DOI: 10.1007/978-3-030-50086-3_11

Flatness and Complexity of Immediate Observation Petri Nets

Autorzy: Mikhail Raskin, Chana Weil-Kennedy, Javier Esparza
Opublikowane w: 31st International Conference on Concurrency Theory, CONCUR 2020, Numer 171, 2020, Strona(/y) 45:1--45:19
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2020.45

Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs

Autorzy: Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer
Opublikowane w: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, Numer 12302, 2020, Strona(/y) 550-556, ISBN 978-3-030-59151-9
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-59152-6_32

Affine Extensions of Integer Vector Addition Systems with States

Autorzy: Michael Blondin, Christoph Haase, Filip Mazowiecki, Mikhail Raskin
Opublikowane w: 29th International Conference on Concurrency Theory, CONCUR 2018, 2018, Strona(/y) 14:1--14:17, ISBN 978-3-95977-087-3
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.concur.2018.14

Decision Power of Weak Asynchronous Models of Distributed Computing

Autorzy: Philipp Czerner; Roland Guttenberg; Martin Helfrich; Javier Esparza
Opublikowane w: The 2021 ACM Symposium on Principles of Distributed Computing, PODC 2021, Numer 13, 2021
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.48550/arxiv.2102.11630

A Simple Rewrite System for the Normalization of Linear Temporal Logic

Autorzy: Javier Esparza, Ruben Rubio, Salomon Sickert
Opublikowane w: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, Numer 13660, 2022, Strona(/y) 208--227
Wydawca: Springer
DOI: 10.1007/978-3-031-22337-2_10

Verification of Immediate Observation Population Protocols

Autorzy: Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy
Opublikowane w: 29th International Conference on Concurrency Theory, CONCUR 2018, 2018, ISBN 978-3-95977-087-3
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CONCUR.2018.31

Automatic Analysis of Expected Termination Time for Population Protocols

Autorzy: Michael Blondin, Javier Esparza, Antonín Kučera
Opublikowane w: 29th International Conference on Concurrency Theory, CONCUR 2018, 2018, ISBN 978-3-95977-087-3
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CONCUR.2018.33

Parameterized Analysis of Immediate Observation Petri Nets

Autorzy: Javier Esparza, Mikhail Raskin, Chana Weil-Kennedy
Opublikowane w: Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings, Numer 11522, 2019, Strona(/y) 365-385, ISBN 978-3-030-21570-5
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-21571-2_20

Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics

Autorzy: Idan Berkovits, Marijana Lazić, Giuliano Losa, Oded Padon, Sharon Shoham
Opublikowane w: Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, Numer 11562, 2019, Strona(/y) 245-266, ISBN 978-3-030-25542-8
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-25543-5_15

Computing the Expected Execution Time of Probabilistic Workflow Nets

Autorzy: Philipp J. Meyer, Javier Esparza, Philip Offtermatt
Opublikowane w: Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II, Numer 11428, 2019, Strona(/y) 154-171, ISBN 978-3-030-17464-4
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-17465-1_9

Working with first-order proofs and provers

Autorzy: Mikhail Raskin, Christoph Welzel
Opublikowane w: 12-th European Lisp Symposium, ELS 2019, 2019
Wydawca: ELS
DOI: 10.5281/zenodo.2633990

Expressive Power of Broadcast Consensus Protocols

Autorzy: Michael Blondin, Javier Esparza, Stefan Jaax
Opublikowane w: 30th International Conference on Concurrency Theory, CONCUR 2019, 2019, Strona(/y) 31:1--31:16, ISBN 978-3-95977-121-4
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.concur.2019.31

Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries

Autorzy: Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder
Opublikowane w: 30th International Conference on Concurrency Theory, CONCUR 2019, 2019, Strona(/y) 33:1--33:15, ISBN 978-3-95977-121-4
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.concur.2019.33

How to Win First-Order Safety Games

Autorzy: Helmut Seidl, Christian Müller, Bernd Finkbeiner
Opublikowane w: Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings, Numer 11990, 2020, Strona(/y) 426-448, ISBN 978-3-030-39321-2
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-39322-9_20

Succinct Population Protocols for Presburger Arithmetic

Autorzy: Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax
Opublikowane w: 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020, Numer volume 154, 2020, Strona(/y) 40:1--40:15, ISBN 978-3-95977-140-5
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.stacs.2020.40

Wait-Free Solvability of Equality Negation Tasks

Autorzy: Eric Goubault, Marijana Lazic, Jeremy Ledent, Sergio Rajsbaum
Opublikowane w: 33rd International Symposium on Distributed Computing, DISC 2019, Numer Volume 146, 2019, Strona(/y) 21:1--21:16, ISBN 978-3-95977-126-9
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.disc.2019.21

A Dynamic Epistemic Logic Analysis of the Equality Negation Task

Autorzy: Éric Goubault, Marijana Lazić, Jérémy Ledent, Sergio Rajsbaum
Opublikowane w: Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings, Numer 12005, 2020, Strona(/y) 53-70, ISBN 978-3-030-38807-2
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-38808-9_4

Perfectly Secure Oblivious RAM with Sublinear Bandwidth Overhead

Autorzy: Michael Raskin, Mark Simkin
Opublikowane w: Advances in Cryptology – ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part II, Numer 11922, 2019, Strona(/y) 537-563, ISBN 978-3-030-34620-1
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-34621-8_19

Population Protocols with Unreliable Communication

Autorzy: Mikhail Raskin
Opublikowane w: Algorithms for Sensor Systems, ALGOSENSORS 2021, Numer 12961, 2021, Strona(/y) 140--154, ISBN 978-3-030-89240-1
Wydawca: Springer
DOI: 10.1007/978-3-030-89240-1_10

On Affine Reachability Problems

Autorzy: Stefan Jaax, Stefan Kiefer
Opublikowane w: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, 2020
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.mfcs.2020.48

Structural Invariants for the Verification of Systems with Parameterized Architectures

Autorzy: Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel
Opublikowane w: Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I, Numer 12078, 2020, Strona(/y) 228-246, ISBN 978-3-030-45189-9
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-45190-5_13

The Complexity of Reachability in Affine Vector Addition Systems with States

Autorzy: Michael Blondin, Mikhail Raskin
Opublikowane w: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Strona(/y) 224-236, ISBN 9781-450371049
Wydawca: ACM
DOI: 10.1145/3373718.3394741

An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata

Autorzy: Salomon Sickert, Javier Esparza
Opublikowane w: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Strona(/y) 831-844, ISBN 9781-450371049
Wydawca: ACM
DOI: 10.1145/3373718.3394743

Complexity of controlled bad sequences over finite sets of Nd

Autorzy: A. R. Balasubramanian
Opublikowane w: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Strona(/y) 130-140, ISBN 9781-450371049
Wydawca: ACM
DOI: 10.1145/3373718.3394753

Efficient Restrictions of Immediate Observation Petri Nets

Autorzy: Michael Raskin, Chana Weil-Kennedy
Opublikowane w: Reachability Problems - 14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings, Numer 12448, 2020, Strona(/y) 99-114, ISBN 978-3-030-61738-7
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-61739-4_7

Making IP = PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms

Autorzy: Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar
Opublikowane w: 35th International Conference on Computer Aided Verification, CAV 2023, 2023
Wydawca: Springer
DOI: 10.1007/978-3-031-37709-9_21

Running Time Analysis of Broadcast Consensus Protocols

Autorzy: Philipp Czerner, Stefan Jaax
Opublikowane w: Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Numer 12650, 2021, Strona(/y) 164-183, ISBN 978-3-030-71994-4
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-71995-1_9

Practical Applications of the Alternating Cycle Decomposition

Autorzy: Antonio Casares, Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin, Salomon Sickert
Opublikowane w: 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, 2022, Strona(/y) 99--117
Wydawca: Springer
DOI: 10.1007/978-3-030-99527-0_6

Regular Model Checking Upside-Down: An Invariant-Based Approach

Autorzy: Esparza, Javier; Raskin, Mikhail; Welzel, Christoph
Opublikowane w: 33rd International Conference on Concurrency Theory, CONCUR 2022, Numer 1, 2022, Strona(/y) 23:1 -- 23:19, ISBN 978-3-95977-246-4
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.concur.2022.23

Complexity of Verification and Synthesis of Threshold Automata

Autorzy: A. R. Balasubramanian, Javier Esparza, Marijana Lazić
Opublikowane w: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, Numer 12302, 2020, Strona(/y) 144-160, ISBN 978-3-030-59151-9
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-59152-6_8

Holistic Verification of Blockchain Consensus

Autorzy: Bertrand, Nathalie ; Gramoli, Vincent ; Konnov, Igor ; Lazić, Marijana ; Tholoniat, Pierre ; Widder, Josef
Opublikowane w: 36th International Symposium on Distributed Computing, DISC 2022, Numer 246, 2022, Strona(/y) 10:1--10:24, ISBN 978-3-95977-255-6
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.disc.2022.10

Complexity of Coverability in Bounded Path Broadcast Networks

Autorzy: Balasubramanian, A. R.
Opublikowane w: 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021, Numer 213, 2021, Strona(/y) 35:1--35:16, ISBN 978-3-95977-215-0
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.fsttcs.2021.35

Lisp in the middle: using Lisp to manage a Linux system

Autorzy: Raskin, Michael
Opublikowane w: The 14th European Lisp Symposium, ELS 2021, Numer 4, 2021, ISSN 2677-3465
Wydawca: Zenodo
DOI: 10.5281/zenodo.4724166

Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy

Autorzy: A. R. Balasubramanian, Javier Esparza, Mikhail Raskin
Opublikowane w: Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Numer 12650, 2021, Strona(/y) 42-61, ISBN 978-3-030-71994-4
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-71995-1_3

A Classification of Weak Asynchronous Models of Distributed Computing

Autorzy: Javier Esparza, Fabian Reiter
Opublikowane w: 31st International Conference on Concurrency Theory, CONCUR 2020, Numer 171, 2020, Strona(/y) 10:1--10:16
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2020.10

Population Protocols: Beyond Runtime Analysis

Autorzy: Esparza, Javier
Opublikowane w: Reachability Problems - 15th International Conference, RP 2021, 2021, Strona(/y) 28--51, ISBN 978-3-030-89716-1
Wydawca: Springer
DOI: 10.1007/978-3-030-89716-1_3

Sharp Thresholds in Random Simple Temporal Graphs

Autorzy: Arnaud Casteigts, Michael Raskin, Malte Renken, Viktor Zamaraev
Opublikowane w: 62nd Annual Symposium on Foundations of Computer Science, FOCS 2022, 2022, Strona(/y) 319-326, ISBN 978-1-6654-2055-6
Wydawca: IEEE
DOI: 10.1109/focs52979.2021.00040

Proving Noninterference in Multi-Agent Systems

Autorzy: Christian Müller
Opublikowane w: 2020
Wydawca: Technical University of Munich

Efficient Analysis of Population Protocols and Chemical Reaction Networks (under review, will be published under open access by the university library)

Autorzy: Martin Helfrich
Opublikowane w: 2023
Wydawca: Technical University of Munich

Computational Complexity of the Verification of Parameterized Systems (under review, will be published under open access by the university library)

Autorzy: A.R. Balasubramanian
Opublikowane w: 2023
Wydawca: Technical University of Munich

Observation Petri Nets

Autorzy: Chana Weil-Kennedy
Opublikowane w: 2023
Wydawca: Technical University of Munich

Inductive Statements for Regular Transition Systems (under review, will be published under open access by the university library)

Autorzy: Christoph Welzel-Mohr
Opublikowane w: 2023
Wydawca: Technical University of Munich

Constraint-based Analysis of Distributed Systems

Autorzy: Philipp Klara Johanna Meyer
Opublikowane w: 2021
Wydawca: Technical University of Munich

Population Protocols: Expressiveness, Succinctness and Automatic Verification

Autorzy: Stefan Jaax
Opublikowane w: 2020
Wydawca: Technical University of Munich

Regular Model Checking Upside-Down: An Invariant-Based Approach (submitted, under review)

Autorzy: Javier Esparza, Mikhail Raskin, Christoph Welzel
Opublikowane w: Logical Methods in Computer Science, 2023, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.48550/arxiv.2205.03060

A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks

Autorzy: Hans van Ditmarsch, Éric Goubault, Marijana Lazić, Jérémy Ledent, Sergio Rajsbaum
Opublikowane w: Journal of Logical and Algebraic Methods in Programming, Numer 121, 2021, Strona(/y) 100662, ISSN 2352-2208
Wydawca: Elsevier
DOI: 10.1016/j.jlamp.2021.100662

Parameterized verification of coverability in infinite state broadcast networks

Autorzy: A. R. Balasubramanian
Opublikowane w: Information and Computation, Numer Volume 278, 2021, ISSN 0890-5401
Wydawca: Academic Press
DOI: 10.1016/j.ic.2020.104592

A Unified Translation of Linear Temporal Logic to ω-Automata

Autorzy: Javier Esparza, Jan Křetínský, Salomon Sickert
Opublikowane w: Journal of the ACM, Numer 67/6, 2020, Strona(/y) 1-61, ISSN 0004-5411
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3417995

Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker

Autorzy: Igor Konnov; Marijana Lazić; Ilina Stoilkovska; Josef Widder
Opublikowane w: Logical Methods in Computer Science, Numer Volume 19, Numer 1, 2023, Strona(/y) 5:1 -- 5:37, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.48550/arxiv.2011.14789

Lower bounds on the state complexity of population protocols

Autorzy: Philipp Czerner, Javier Esparza, Jérôme Leroux
Opublikowane w: Distributed Computing, 2023, ISSN 1432-0452
Wydawca: Springer
DOI: 10.1007/s00446-023-00450-4

Computing Parameterized Invariants of Parameterized Petri Nets

Autorzy: Javier Esparza; Mikhail Raskin; Christoph Welzel
Opublikowane w: Fundamental Informaticae, Numer 1, 2022, Strona(/y) 197--243, ISSN 0169-2968
Wydawca: IOS Press
DOI: 10.3233/fi-222137

From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata

Autorzy: Javier Esparza, Jan Křetínský, Jean-François Raskin, Salomon Sickert
Opublikowane w: International Journal on Software Tools for Technology Transfer, Numer 24, 2022, Strona(/y) 635–659, ISSN 1433-2779
Wydawca: Springer Verlag
DOI: 10.1007/s10009-022-00663-1

Efficient Normalization of Linear Temporal Logic (submitted, subject to minor revisions)

Autorzy: Javier Esparza, Rubén Rubio, Salomon Sickert
Opublikowane w: Journal of the ACM, 2023, ISSN 0004-5411
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.48550/arxiv.2310.12613

Practical synthesis of reactive systems from LTL specifications via parity games

Autorzy: Michael Luttenberger, Philipp J. Meyer, Salomon Sickert
Opublikowane w: Acta Informatica, 2019, ISSN 0001-5903
Wydawca: Springer Verlag
DOI: 10.1007/s00236-019-00349-3

A Stay-in-a-Set Game without a Stationary Equilibrium

Autorzy: Kristoffer Arnsfelt Hansen, Mikhail Raskin
Opublikowane w: Electronic Proceedings in Theoretical Computer Science, Numer 305, 2019, Strona(/y) 83-90, ISSN 2075-2180
Wydawca: Electronic Proceedings in Theoretical Computer Science
DOI: 10.4204/eptcs.305.6

On defining linear orders by automata

Autorzy: Bruno Courcelle, Irène Durand, Michael Raskin
Opublikowane w: Moscow Journal of Combinatorics and Number Theory, Numer 9/3, 2020, Strona(/y) 253-291, ISSN 2640-7361
Wydawca: Mathematical Sciences Publishers
DOI: 10.2140/moscow.2020.9.253

Affine Extensions of Integer Vector Addition Systems with States

Autorzy: Michael Blondin ; Christoph Haase ; Filip Mazowiecki ; Mikhail Raskin
Opublikowane w: Logical Methods in Computer Science, Numer Volume 17, Numer 3, 2021, Strona(/y) 1:1–1:26, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-17(3:1)2021

Fast and Succinct Population Protocols for Presburger Arithmetic

Autorzy: Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
Opublikowane w: Journal of Computer and System Sciences, 2023, ISSN 0022-0000
Wydawca: Academic Press
DOI: 10.1016/j.jcss.2023.103481

Towards efficient verification of population protocols

Autorzy: Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer
Opublikowane w: Formal Methods in System Design, 2021, ISSN 0925-9856
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s10703-021-00367-3

Certifying Inexpressibility

Autorzy: Orna Kupferman; Salomon Sickert
Opublikowane w: Foundations of Software Science and Computation Structures, Numer 1, 2021, Strona(/y) 385--405, ISSN 0302-9743
Wydawca: Springer Verlag
DOI: 10.48550/arxiv.2101.08756

The complexity of verifying population protocols

Autorzy: Javier Esparza, Stefan Jaax, Mikhail Raskin, Chana Weil-Kennedy
Opublikowane w: Distributed Computing, Numer 34/2, 2021, Strona(/y) 133-177, ISSN 0178-2770
Wydawca: Springer Verlag
DOI: 10.1007/s00446-021-00390-x

The Complexity of Reachability in Affine Vector Addition Systems with States

Autorzy: Michael Blondin ; Mikhail Raskin
Opublikowane w: Logical Methods in Computer Science, Numer Volume 17, Numer 3, 2021, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-17(3:3)2021

Protocols with constant local storage and unreliable communication

Autorzy: Mikhail Raskin
Opublikowane w: Theoretical Computer Science, Numer Volume 940, Part A, 2023, Strona(/y) 269--282, ISSN 0304-3975
Wydawca: Elsevier BV
DOI: 10.1016/j.tcs.2022.11.006

Verification of randomized consensus algorithms under round-rigid adversaries

Autorzy: Nathalie Bertrand, Igor Konnov, Marijana Lazić, Josef Widder
Opublikowane w: International Journal on Software Tools for Technology Transfer, Numer 23, 2021, Strona(/y) 797--821, ISSN 1433-2779
Wydawca: Springer Verlag
DOI: 10.1007/s10009-020-00603-x

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results

Autorzy: Jacobs, Swen; Bloem, Roderick; Colange, Maximilien; Faymonville, Peter; Finkbeiner, Bernd; Khalimov, Ayrat; Klein, Felix; Luttenberger, Michael; Meyer, Philipp J.; Michaud, Thibaud; Sakr, Mouhammad; Sickert, Salomon; Tentrup, Leander; Walker, Adam
Opublikowane w: The 5th Reactive Synthesis Competition, SYNTCOMP 2018, 2019
Wydawca: none
DOI: 10.48550/arxiv.1904.07736

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results

Autorzy: Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker
Opublikowane w: The 5th Reactive Synthesis Competition, SYNTCOMP 2018, Numer Yearly report, 2019
Wydawca: none

Publikacje

Udostępnij tę stronę

Pobierz