Javier Esparza

327 papers A* 31A 17B 58C 10Misc 1Journal 137Unranked 58
YearRankTypeTitle / Venue / Authors
2025 J jnl
Regular Model Checking Upside-Down: An Invariant-Based Approach.
Log. Methods Comput. Sci.
Javier Esparza, Michael Raskin, Christoph Welzel-Mohr
2025 B conf
Regular Model Checking for Systems with Effectively Regular Reachability Relation.
MFCS
Javier Esparza, Valentin Krasotin
2025 J jnl
Regular Model Checking for Systems with Effectively Regular Reachability Relation.
CoRR
Javier Esparza, Valentin Krasotin
2025 B conf
Runtime Verification for LTL in Stochastic Systems.
RV
Javier Esparza, Vincent Fischer
2025 J jnl
Runtime Verification for LTL in Stochastic Systems.
CoRR
Javier Esparza, Vincent Fischer
2025 — conf
Undecidability of the Emptiness Problem for Weak Models of Distributed Computing.
SAND
Flavio T. Principato, Javier Esparza, Philipp Czerner
2025 J jnl
Undecidability of the Emptiness Problem for Weak Models of Distributed Computing.
CoRR
Flavio T. Principato, Javier Esparza, Philipp Czerner
2025 — conf
Weakly Acyclic Diagrams: A Data Structure for Infinite-State Symbolic Verification.
TACAS (3)
Michael Blondin, Michaël Cadilhac, Xin-Yi Cui, Philipp Czerner, Javier Esparza, Jakob Schulz
2024 — conf
A Resolution-Based Interactive Proof System for UNSAT.
FoSSaCS (2)
Philipp Czerner, Javier Esparza, Valentin Krasotin
2024 J jnl
A Resolution-Based Interactive Proof System for UNSAT.
CoRR
Philipp Czerner, Javier Esparza, Valentin Krasotin
2024 J jnl
A Uniform Framework for Problems on Context-Free Grammars.
CoRR
Javier Esparza, Peter Rossmanith, Stefan Schwoon
2024 B conf
Computing Inductive Invariants of Regular Abstraction Frameworks.
CONCUR
Philipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr
2024 J jnl
Computing Inductive Invariants of Regular Abstraction Frameworks.
CoRR
Philipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr
2024 J jnl
Decidability Issues for Petri Nets - a survey.
CoRR
Javier Esparza, Mogens Nielsen
2024 J jnl
Efficient Normalization of Linear Temporal Logic.
J. ACM
Javier Esparza, Rubén Rubio, Salomon Sickert
2024 J jnl
Fast and succinct population protocols for Presburger arithmetic.
J. Comput. Syst. Sci.
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
2024 A* ed.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024
LICS
Pawel Sobocinski, Ugo Dal Lago, Javier Esparza
2024 J jnl
Separators in Continuous Petri Nets.
Log. Methods Comput. Sci.
Michael Blondin, Javier Esparza
2024 — conf
The Black Ninjas and the Sniper: On Robust Population Protocols.
Principles of Verification (3)
Benno Lossin, Philipp Czerner, Javier Esparza, Roland Guttenberg, Tobias Prehn
2024 J jnl
The Black Ninjas and the Sniper: On Robustness of Population Protocols.
CoRR
Benno Lossin, Philipp Czerner, Javier Esparza, Roland Guttenberg, Tobias Prehn
2024 B conf
Validity of Contextual Formulas.
CONCUR
Javier Esparza, Rubén Rubio
2024 J jnl
Validity of contextual formulas (extended version).
CoRR
Javier Esparza, Rubén Rubio
2024 J jnl
Weakly acyclic diagrams: A data structure for infinite-state symbolic verification.
CoRR
Michael Blondin, Michaël Cadilhac, Xin-Yi Cui, Philipp Czerner, Javier Esparza, Jakob Schulz
2023 J jnl
A Simple Rewrite System for the Normalization of Linear Temporal Logic.
CoRR
Javier Esparza, Rubén Rubio, Salomon Sickert
2023 A* conf
Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems.
ICALP
Javier Esparza, Vincent P. Grande
2023 J jnl
Black-box Testing Liveness Properties of Partially Observable Stochastic Systems.
CoRR
Javier Esparza, Vincent P. Grande
2023 J jnl
Efficient Normalization of Linear Temporal Logic.
CoRR
Javier Esparza, Rubén Rubio, Salomon Sickert
2023 J jnl
Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy.
Log. Methods Comput. Sci.
A. R. Balasubramanian, Javier Esparza, Mikhail A. Raskin
2023 B conf
Geometry of Reachability Sets of Vector Addition Systems.
CONCUR
Roland Guttenberg, Mikhail A. Raskin, Javier Esparza
2023 J jnl
Lower bounds on the state complexity of population protocols.
Distributed Comput.
Philipp Czerner, Javier Esparza, Jérôme Leroux
2023 J jnl
Making IP=PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms.
CoRR
Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar
2023 — conf
Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms.
CAV (3)
Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar
2022 — conf
A Simple Rewrite System for the Normalization of Linear Temporal Logic.
Principles of Systems Design
Javier Esparza, Rubén Rubio, Salomon Sickert
2022 J jnl
Computing Parameterized Invariants of Parameterized Petri Nets.
Fundam. Informaticae
Javier Esparza, Mikhail A. Raskin, Christoph Welzel
2022 — conf
Fast and Succinct Population Protocols for Presburger Arithmetic.
SAND
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
2022 J jnl
Fast and Succinct Population Protocols for Presburger Arithmetic.
CoRR
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
2022 J jnl
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata.
Int. J. Softw. Tools Technol. Transf.
Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert
2022 B conf
Regular Model Checking Upside-Down: An Invariant-Based Approach.
CONCUR
Javier Esparza, Mikhail A. Raskin, Christoph Welzel
2022 J jnl
Regular Model Checking Upside-Down: An Invariant-Based Approach.
CoRR
Javier Esparza, Mikhail A. Raskin, Christoph Welzel
2022 B conf
Separators in Continuous Petri Nets.
FoSSaCS
Michael Blondin, Javier Esparza
2022 J jnl
Separators in Continuous Petri Nets.
CoRR
Michael Blondin, Javier Esparza
2021 J jnl
2021 Alonzo Church Award for Outstanding Contributions to Logic and Computation.
Bull. EATCS
Javier Esparza
2021 — conf
Abduction of trap invariants in parameterized systems.
GandALF
Javier Esparza, Mikhail A. Raskin, Christoph Welzel
2021 C conf
Back to the Future: A Fresh Look at Linear Temporal Logic.
CIAA
Javier Esparza
2021 B conf
Computing Parameterized Invariants of Parameterized Petri Nets.
Petri Nets
Javier Esparza, Mikhail A. Raskin, Christoph Welzel
2021 J jnl
Computing Parameterized Invariants of Parameterized Petri Nets.
CoRR
Javier Esparza, Mikhail A. Raskin, Christoph Welzel
2021 A* conf
Decision Power of Weak Asynchronous Models of Distributed Computing.
PODC
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
2021 J jnl
Decision Power of Weak Asynchronous Models of Distributed Computing.
CoRR
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
2021 B conf
Enforcing ω-Regular Properties in Markov Chains by Restarting.
CONCUR
Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger
2021 B conf
Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy.
FoSSaCS
A. R. Balasubramanian, Javier Esparza, Mikhail A. Raskin
2021 A* conf
Lower Bounds on the State Complexity of Population Protocols.
PODC
Philipp Czerner, Javier Esparza
2021 J jnl
Lower Bounds on the State Complexity of Population Protocols.
CoRR
Philipp Czerner, Javier Esparza
2021 — conf
Population Protocols: Beyond Runtime Analysis.
RP
Javier Esparza
2021 J jnl
Population Protocols: Beyond Runtime Analysis.
CoRR
Javier Esparza
2021 — conf
State Complexity of Population Protocols (Invited Talk).
FSTTCS
Javier Esparza
2021 J jnl
The 2021 Alonzo Church award for outstanding contributions to logic and computation: call for nominations.
ACM SIGLOG News
Javier Esparza
2021 J jnl
The complexity of verifying population protocols.
Distributed Comput.
Javier Esparza, Stefan Jaax, Mikhail A. Raskin, Chana Weil-Kennedy
2021 J jnl
TheoretiCS.
Bull. EATCS
Javier Esparza, Uri Zwick
2021 J jnl
Towards efficient verification of population protocols.
Formal Methods Syst. Des.
Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer
2021 — ch.
Verification.
Handbook of Automata Theory (II.)
Javier Esparza, Orna Kupferman, Moshe Y. Vardi
2020 B ed.
45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, Prague, Czech Republic, August 24-28, 2020
MFCS
Javier Esparza, Daniel Král'
2020 B conf
A Classification of Weak Asynchronous Models of Distributed Computing.
CONCUR
Javier Esparza, Fabian Reiter
2020 J jnl
A Classification of Weak Asynchronous Models of Distributed Computing.
CoRR
Javier Esparza, Fabian Reiter
2020 J jnl
A Unified Translation of Linear Temporal Logic to ω-Automata.
J. ACM
Javier Esparza, Jan Kretínský, Salomon Sickert
2020 A* conf
An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata.
LICS
Salomon Sickert, Javier Esparza
2020 J jnl
An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata.
CoRR
Salomon Sickert, Javier Esparza
2020 — conf
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling.
CAV (2)
Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera, Philipp J. Meyer
2020 J jnl
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling.
CoRR
Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera, Philipp J. Meyer
2020 B conf
Complexity of Verification and Synthesis of Threshold Automata.
ATVA
A. R. Balasubramanian, Javier Esparza, Marijana Lazic
2020 J jnl
Complexity of Verification and Synthesis of Threshold Automata.
CoRR
A. R. Balasubramanian, Javier Esparza, Marijana Lazic
2020 J jnl
Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy.
CoRR
A. R. Balasubramanian, Javier Esparza, Mikhail A. Raskin
2020 B conf
Flatness and Complexity of Immediate Observation Petri Nets.
CONCUR
Mikhail A. Raskin, Chana Weil-Kennedy, Javier Esparza
2020 J jnl
Online Monitoring ω-Regular Properties in Unknown Markov Chains.
CoRR
Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger
2020 B conf
Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs.
ATVA
Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer
2020 J jnl
Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs.
CoRR
Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer
2020 — conf
Structural Invariants for the Verification of Systems with Parameterized Architectures.
TACAS (1)
Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel
2020 J jnl
Structural Invariants for the Verification of Systems with Parameterized Architectures.
CoRR
Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel
2020 A conf
Succinct Population Protocols for Presburger Arithmetic.
STACS
Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax
2019 B ed.
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
ATVA
Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza
2019 — ch.
Coffee and Cigarettes.
Carl Adam Petri: Ideas, Personality, Impact
Javier Esparza
2019 — conf
Computing the Expected Execution Time of Probabilistic Workflow Nets.
TACAS (2)
Philipp J. Meyer, Javier Esparza, Philip Offtermatt
2019 B conf
Expressive Power of Broadcast Consensus Protocols.
CONCUR
Michael Blondin, Javier Esparza, Stefan Jaax
2019 J jnl
Expressive Power of Oblivious Consensus Protocols.
CoRR
Michael Blondin, Javier Esparza, Stefan Jaax
2019 J jnl
Negotiation as concurrency primitive.
Acta Informatica
Jörg Desel, Javier Esparza, Philipp Hoffmann
2019 B conf
Parameterized Analysis of Immediate Observation Petri Nets.
Petri Nets
Javier Esparza, Mikhail A. Raskin, Chana Weil-Kennedy
2019 J jnl
Parameterized Analysis of Immediate Observation Petri Nets.
CoRR
Javier Esparza, Mikhail A. Raskin, Chana Weil-Kennedy
2019 J jnl
Succinct Population Protocols for Presburger Arithmetic.
CoRR
Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax
2019 J jnl
The Complexity of Verifying Population Protocols.
CoRR
Javier Esparza, Stefan Jaax, Mikhail A. Raskin, Chana Weil-Kennedy
2018 J jnl
Alonzo Church Award 2018 - Call for Nominations.
Bull. EATCS
Thomas Eiter, Javier Esparza, Catuscia Palamidessi, Gordon D. Plotkin, Natarajan Shankar
2018 B conf
Automatic Analysis of Expected Termination Time for Population Protocols.
CONCUR
Michael Blondin, Javier Esparza, Antonín Kucera
2018 J jnl
Automatic Analysis of Expected Termination Time for Population Protocols.
CoRR
Michael Blondin, Javier Esparza, Antonín Kucera
2018 A* conf
Black Ninjas in the Dark: Formal Analysis of Population Protocols.
LICS
Michael Blondin, Javier Esparza, Stefan Jaax, Antonín Kucera
2018 — conf
Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets.
TACAS (2)
Philipp J. Meyer, Javier Esparza, Hagen Völzer
2018 J jnl
Computing the Expected Execution Time of Probabilistic Workflow Nets.
CoRR
Philipp J. Meyer, Javier Esparza, Philip Offtermatt
2018 J jnl
Computing the concurrency threshold of sound free-choice workflow nets.
CoRR
Philipp J. Meyer, Javier Esparza, Hagen Völzer
2018 J jnl
Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211).
Dagstuhl Reports
Javier Esparza, Pierre Fraigniaud, Anca Muscholl, Sergio Rajsbaum
2018 J jnl
Large Flocks of Small Birds: On the Minimal Size of Population Protocols.
CoRR
Michael Blondin, Javier Esparza, Stefan Jaax
2018 A conf
Large Flocks of Small Birds: on the Minimal Size of Population Protocols.
STACS
Michael Blondin, Javier Esparza, Stefan Jaax
2018 — ch.
Model Checking Procedural Programs.
Handbook of Model Checking
Rajeev Alur, Ahmed Bouajjani, Javier Esparza
2018 A* conf
One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata.
LICS
Javier Esparza, Jan Kretínský, Salomon Sickert
2018 J jnl
One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata.
CoRR
Javier Esparza, Jan Kretínský, Salomon Sickert
2018 — conf
Peregrine: A Tool for the Analysis of Population Protocols.
CAV (1)
Michael Blondin, Javier Esparza, Stefan Jaax
2018 J jnl
Preface for the special issue GandALF 2015.
Acta Informatica
Javier Esparza, Enrico Tronci
2018 J jnl
Soundness in negotiations.
Log. Methods Comput. Sci.
Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz
2018 B conf
Verification of Immediate Observation Population Protocols.
CONCUR
Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy
2018 J jnl
Verification of Immediate Observation Population Protocols.
CoRR
Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy
2017 Misc conf
Advances in Parameterized Verification of Population Protocols.
CSR
Javier Esparza
2017 C conf
Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk).
TIME
Javier Esparza
2017 B ed.
Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
FoSSaCS
Javier Esparza, Andrzej S. Murawski
2017 — conf
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata.
TACAS (1)
Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert
2017 J jnl
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata.
CoRR
Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert
2017 J jnl
Minimizing Test Suites with Unfoldings of Multithreaded Programs.
ACM Trans. Embed. Comput. Syst.
Olli Saarikivi, Hernán Ponce de León, Kari Kähkönen, Keijo Heljanko, Javier Esparza
2017 J jnl
Model checking parameterized asynchronous shared-memory systems.
Formal Methods Syst. Des.
Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar
2017 J jnl
Polynomial analysis algorithms for free choice Probabilistic Workflow Nets.
Perform. Evaluation
Javier Esparza, Philipp Hoffmann, Ratul Saha
2017 J jnl
Quantitative Implementation Strategies for Safety Controllers.
CoRR
Philipp J. Meyer, Matthias Rungger, Michael Luttenberger, Javier Esparza, Majid Zamani
2017 J jnl
Soundness in negotiations.
CoRR
Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz
2017 J jnl
Static Analysis of Deterministic Negotiations.
CoRR
Javier Esparza, Anca Muscholl, Igor Walukiewicz
2017 A* conf
Static analysis of deterministic negotiations.
LICS
Javier Esparza, Anca Muscholl, Igor Walukiewicz
2017 A* conf
Towards Efficient Verification of Population Protocols.
PODC
Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer
2017 J jnl
Towards Efficient Verification of Population Protocols.
CoRR
Michael Blondin, Stefan Jaax, Javier Esparza, Philipp J. Meyer
2017 J jnl
Verification of population protocols.
Acta Informatica
Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar
2016 — book
Dependable Software Systems Engineering
Dependable Software Systems Engineering
Javier Esparza, Orna Grumberg, Salomon Sickert
2016 J jnl
Existence of home states in Petri nets is decidable.
Inf. Process. Lett.
Eike Best, Javier Esparza
2016 J jnl
From LTL to deterministic automata - A safraless compositional approach.
Formal Methods Syst. Des.
Javier Esparza, Jan Kretínský, Salomon Sickert
2016 — conf
Limit-Deterministic Büchi Automata for Linear Temporal Logic.
CAV (2)
Salomon Sickert, Javier Esparza, Stefan Jaax, Jan Kretínský
2016 — conf
Model Checking Population Protocols.
FSTTCS
Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar
2016 J jnl
Negotiation as Concurrency Primitive.
CoRR
Jörg Desel, Javier Esparza, Philipp Hoffmann
2016 J jnl
Negotiations and Petri Nets.
Trans. Petri Nets Other Model. Concurr.
Jörg Desel, Javier Esparza
2016 J jnl
Parameterized Verification of Asynchronous Shared-Memory Systems.
J. ACM
Javier Esparza, Pierre Ganty, Rupak Majumdar
2016 — ch.
Parameterized Verification of Crowds of Anonymous Processes.
Dependable Software Systems Engineering
Javier Esparza
2016 — conf
Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets.
QEST
Javier Esparza, Philipp Hoffmann, Ratul Saha
2016 J jnl
Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets.
CoRR
Javier Esparza, Philipp Hoffmann, Ratul Saha
2016 B conf
Reduction Rules for Colored Workflow Nets.
FASE
Javier Esparza, Philipp Hoffmann
2016 J jnl
Reduction Rules for Colored Workflow Nets.
CoRR
Javier Esparza, Philipp Hoffmann
2016 B conf
Soundness in Negotiations.
CONCUR
Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz
2015 B conf
An SMT-based Approach to Fair Termination Analysis.
FMCAD
Javier Esparza, Philipp J. Meyer
2015 B conf
Distributed Markov Chains.
VMCAI
Ratul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan
2015 J jnl
FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings.
Int. J. Found. Comput. Sci.
Javier Esparza, Michael Luttenberger, Maximilian Schlund
2015 — conf
Model Checking Parameterized Asynchronous Shared-Memory Systems.
CAV (1)
Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar
2015 J jnl
Model Checking Parameterized Asynchronous Shared-Memory Systems.
CoRR
Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar
2015 B conf
Negotiation Programs.
Petri Nets
Javier Esparza, Jörg Desel
2015 — conf
Negotiations and Petri Nets.
PNSE @ Petri Nets
Jörg Desel, Javier Esparza
2015 — ed.
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 2015.
GandALF
Javier Esparza, Enrico Tronci
2015 — conf
Unfolding Based Minimal Test Suites for Testing Multithreaded Programs.
ACSD
Hernán Ponce de León, Olli Saarikivi, Kari Kähkönen, Keijo Heljanko, Javier Esparza
2015 B conf
Verification of Population Protocols.
CONCUR
Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar
2014 C conf
A Brief History of Strahler Numbers.
LATA
Javier Esparza, Michael Luttenberger, Maximilian Schlund
2014 J jnl
A Fully Verified Executable LTL Model Checker.
Arch. Formal Proofs
Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus
2014 A* conf
An SMT-Based Approach to Coverability Analysis.
CAV
Javier Esparza, Ruslán Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, Filip Niksic
2014 — ed.
Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
ICALP (1)
Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias
2014 — ed.
Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
ICALP (2)
Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias
2014 B conf
Deterministic Negotiations: Concurrency for Free.
CONCUR
Javier Esparza
2014 C conf
FPsolve: A Generic Solver for Fixpoint Equations over Semirings.
CIAA
Javier Esparza, Michael Luttenberger, Maximilian Schlund
2014 A conf
Fast and Accurate Unlexicalized Parsing via Structural Annotations.
EACL
Maximilian Schlund, Michael Luttenberger, Javier Esparza
2014 A* conf
From LTL to Deterministic Automata: A Safraless Compositional Approach.
CAV
Javier Esparza, Jan Kretínský
2014 J jnl
From LTL to Deterministic Automata: A Safraless Compositional Approach.
CoRR
Javier Esparza, Jan Kretínský
2014 J jnl
Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Corrected version).
CoRR
Javier Esparza
2014 A conf
Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk).
STACS
Javier Esparza
2014 B conf
Message-Passing Algorithms for the Verification of Distributed Protocols.
VMCAI
Loïg Jezequel, Javier Esparza
2014 J jnl
Negotiation Games.
CoRR
Javier Esparza, Philipp Hoffmann
2014 B conf
On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations.
FoSSaCS
Javier Esparza, Jörg Desel
2014 J jnl
On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations.
CoRR
Javier Esparza, Jörg Desel
2014 J jnl
Pattern-Based Verification for Multithreaded Programs.
ACM Trans. Program. Lang. Syst.
Javier Esparza, Pierre Ganty, Tomás Poch
2014 J jnl
Reachability Problems for Infinite-State Systems (Dagstuhl Seminar 14141).
Dagstuhl Reports
Javier Esparza, Alain Finkel, Pierre McKenzie, Joël Ouaknine
2013 A* conf
A Fully Verified Executable LTL Model Checker.
CAV
Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus
2013 J jnl
A strongly polynomial algorithm for criticality of branching processes and consistency of stochastic context-free grammars.
Inf. Process. Lett.
Javier Esparza, Andreas Gaiser, Stefan Kiefer
2013 J jnl
Analyzing probabilistic pushdown automata.
Formal Methods Syst. Des.
Tomás Brázdil, Javier Esparza, Stefan Kiefer, Antonín Kucera
2013 — conf
Computation of Summaries Using Net Unfoldings.
FSTTCS
Javier Esparza, Loïg Jezequel, Stefan Schwoon
2013 J jnl
Computation of Summaries Using Net Unfoldings.
CoRR
Javier Esparza, Loïg Jezequel, Stefan Schwoon
2013 B conf
On Negotiation as Concurrency Primitive.
CONCUR
Javier Esparza, Jörg Desel
2013 J jnl
On Negotiation as Concurrency Primitive.
CoRR
Javier Esparza, Jörg Desel
2013 J jnl
Parameterized Verification of Asynchronous Shared-Memory Systems
CoRR
Javier Esparza, Pierre Ganty, Rupak Majumdar
2013 A* conf
Parameterized Verification of Asynchronous Shared-Memory Systems.
CAV
Javier Esparza, Pierre Ganty, Rupak Majumdar
2012 J jnl
A Perfect Model for Bounded Verification
CoRR
Javier Esparza, Pierre Ganty, Rupak Majumdar
2012 A* conf
A Perfect Model for Bounded Verification.
LICS
Javier Esparza, Pierre Ganty, Rupak Majumdar
2012 A* conf
Deterministic Automata for the (F, G)-Fragment of LTL.
CAV
Jan Kretínský, Javier Esparza
2012 J jnl
Deterministic Automata for the (F,G)-fragment of LTL
CoRR
Jan Kretínský, Javier Esparza
2012 J jnl
Proving Termination of Probabilistic Programs Using Patterns
CoRR
Javier Esparza, Andreas Gaiser, Stefan Kiefer
2012 A* conf
Proving Termination of Probabilistic Programs Using Patterns.
CAV
Javier Esparza, Andreas Gaiser, Stefan Kiefer
2012 B conf
Rabinizer: Small Deterministic Automata for LTL(F, G).
ATVA
Andreas Gaiser, Jan Kretínský, Javier Esparza
2012 — conf
Reactive and Proactive Diagnosis of Distributed Systems Using Net Unfoldings.
ACSD
Javier Esparza, Christian Kern
2012 J jnl
Space-efficient scheduling of stochastically generated tasks.
Inf. Comput.
Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger
2012 — ch.
Three Case Studies on Verification of Infinite-State Systems.
Modern Applications of Automata Theory
Javier Esparza, Jörg Kreiker
2011 A* conf
Complexity of pattern-based verification for multithreaded programs.
POPL
Javier Esparza, Pierre Ganty
2011 J jnl
Derivation tree analysis for accelerated fixed-point computation.
Theor. Comput. Sci.
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2011 — book
Finite and Algorithmic Model Theory.
Javier Esparza, Christian Michaux, Charles Steinhorn
2011 J jnl
Learning Workflow Petri Nets.
Fundam. Informaticae
Javier Esparza, Martin Leucker, Maximilian Schlund
2011 J jnl
Parikhʼs theorem: A simple and direct automaton construction.
Inf. Process. Lett.
Javier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger
2011 J jnl
Probabilistic Abstractions with Arbitrary Domains
CoRR
Javier Esparza, Andreas Gaiser
2011 B conf
Probabilistic Abstractions with Arbitrary Domains.
SAS
Javier Esparza, Andreas Gaiser
2011 B conf
Solving Fixed-Point Equations by Derivation Tree Analysis.
CALCO
Javier Esparza, Michael Luttenberger
2010 B conf
A False History of True Concurrency: From Petri to Tools.
ICGT
Javier Esparza
2010 — conf
A False History of True Concurrency: From Petri to Tools.
SPIN
Javier Esparza
2010 B conf
Analysis of Systems with Stochastic Process Creation.
VMCAI
Javier Esparza
2010 C conf
Automatic Error Correction of Java Programs.
FMICS
Christian Kern, Javier Esparza
2010 A conf
Computing Least Fixed Points of Probabilistic Systems of Polynomials.
STACS
Javier Esparza, Andreas Gaiser, Stefan Kiefer
2010 J jnl
Computing the Least Fixed Point of Positive Polynomial Systems
CoRR
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2010 J jnl
Computing the Least Fixed Point of Positive Polynomial Systems.
SIAM J. Comput.
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2010 B conf
Learning Workflow Petri Nets.
Petri Nets
Javier Esparza, Martin Leucker, Maximilian Schlund
2010 — book
Logics and Languages for Reliability and Security
Logics and Languages for Reliability and Security
Javier Esparza, Bernd Spanfelner, Orna Grumberg
2010 — ch.
Newtonian Program Analysis - An Introduction.
Logics and Languages for Reliability and Security
Javier Esparza, Michael Luttenberger
2010 J jnl
Newtonian program analysis.
J. ACM
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2010 J jnl
Parikh's Theorem: A simple and direct construction
CoRR
Javier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger
2010 — conf
Space-Efficient Scheduling of Stochastically Generated Tasks.
ICALP (2)
Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger
2010 J jnl
Space-efficient scheduling of stochastically generated tasks
CoRR
Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger
2010 A ed.
Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
TACAS
Javier Esparza, Rupak Majumdar
2010 B conf
Verification of Graph Transformation Systems with Context-Free Specifications.
ICGT
Barbara König, Javier Esparza
2009 J jnl
Computing Least Fixed Points of Probabilistic Systems of Polynomials
CoRR
Javier Esparza, Andreas Gaiser, Stefan Kiefer
2009 — conf
Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification.
CIRA
Chih-Hong Cheng, Alois C. Knoll, Christian Buckl, Javier Esparza, Yang Chen
2009 J jnl
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems
CoRR
Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois C. Knoll
2009 J jnl
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness
CoRR
Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois C. Knoll
2009 C conf
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness.
DS-RT
Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois C. Knoll
2009 J jnl
On least fixed points of systems of positive polynomials.
ACM Commun. Comput. Algebra
Javier Esparza, Andreas Gaiser, Stefan Kiefer
2009 — conf
On the Memory Consumption of Probabilistic Pushdown Automata.
FSTTCS
Tomás Brázdil, Javier Esparza, Stefan Kiefer
2009 — conf
Solving Fixed-Point Equations on omega-Continuous Semirings.
FICS
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2009 B conf
Stochastic Process Creation.
MFCS
Javier Esparza
2008 J jnl
A negative result on depth-first net unfoldings.
Int. J. Softw. Tools Technol. Transf.
Javier Esparza, Pradeep Kanade, Stefan Schwoon
2008 J jnl
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems.
J. Satisf. Boolean Model. Comput.
Javier Esparza, Stefan Kiefer, Stefan Schwoon
2008 — conf
Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations.
ICALP (1)
Javier Esparza, Thomas Gawlitza, Stefan Kiefer, Helmut Seidl
2008 J jnl
Convergence Thresholds of Newton's Method for Monotone Polynomial Equations
CoRR
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2008 A conf
Convergence Thresholds of Newton's Method for Monotone Polynomial Equations.
STACS
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2008 C conf
Derivation Tree Analysis for Accelerated Fixed-Point Computation.
Developments in Language Theory
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2008 — conf
Newton's Method for omega-Continuous Semirings.
ICALP (2)
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2008 J jnl
On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs.
Fundam. Informaticae
Javier Esparza, Petr Jancar, Alexander Miller
2008 A conf
SDSIrep: A Reputation System Based on SDSI.
TACAS
Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Dejvuth Suwimonteerabuth
2008 — conf
Solving Monotone Polynomial Equations.
IFIP TCS
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2008 — conf
Symbolic Context-Bounded Analysis of Multithreaded Java Programs.
SPIN
Dejvuth Suwimonteerabuth, Javier Esparza, Stefan Schwoon
2008 — book
Unfoldings - A Partial-Order Approach to Model Checking
Javier Esparza, Keijo Heljanko
2007 C conf
An Extension of Newton's Method to
Developments in Language Theory
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2007 A conf
On Fixed Point Equations over Commutative Semirings.
STACS
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2007 A* conf
On the convergence of Newton's method for monotone systems of polynomial equations.
STOC
Stefan Kiefer, Michael Luttenberger, Javier Esparza
2007 A* conf
jMoped: A Test Environment for Java Programs.
CAV
Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza
2006 A conf
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems.
TACAS
Javier Esparza, Stefan Kiefer, Stefan Schwoon
2006 B conf
Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains.
ATVA
Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza
2006 J jnl
Model Checking Probabilistic Pushdown Automata.
Log. Methods Comput. Sci.
Antonín Kucera, Javier Esparza, Richard Mayr
2006 B conf
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols.
ATVA
Giorgio Delzanno, Javier Esparza, Jirí Srba
2006 — conf
On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs.
ACSD
Javier Esparza, Petr Jancar, Alexander Miller
2006 — conf
Reachability analysis of multithreaded software with asynchronous communication.
Software Verification: Infinite-State Model Checking and Static Program Analysis
Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek
2006 — conf
Rewriting Models of Boolean Programs.
RTA
Ahmed Bouajjani, Javier Esparza
2006 — conf
Separability in Conflict-Free Petri Nets.
Ershov Memorial Conference
Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf
2005 A conf
A Note on On-the-Fly Verification Algorithms.
TACAS
Stefan Schwoon, Javier Esparza
2005 A* conf
Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion (Extended Abstract).
FOCS
Tomás Brázdil, Javier Esparza, Antonín Kucera
2005 B conf
Locality-Based Abstractions.
SAS
Javier Esparza, Pierre Ganty, Stefan Schwoon
2005 J jnl
Model Checking Probabilistic Pushdown Automata
CoRR
Javier Esparza, Antonín Kucera, Richard Mayr
2005 A* conf
Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances.
LICS
Javier Esparza, Antonín Kucera, Richard Mayr
2005 — conf
Reachability Analysis of Multithreaded Software with Asynchronous Communication.
FSTTCS
Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek
2005 A conf
jMoped: A Java Bytecode Checker Based on Moped.
TACAS
Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza
2004 J jnl
A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs.
Fundam. Informaticae
Javier Esparza
2004 A* conf
Model Checking Probabilistic Pushdown Automata.
LICS
Javier Esparza, Antonín Kucera, Richard Mayr
2004 — conf
Reachability Analysis of Synchronized PA Systems.
INFINITY
Ahmed Bouajjani, Javier Esparza, Tayssir Touili
2004 — conf
Verifying Probabilistic Procedural Programs.
FSTTCS
Javier Esparza, Kousha Etessami
2003 J jnl
A Generic Approach to the Static Analysis of Concurrent Programs with Procedures.
Int. J. Found. Comput. Sci.
Ahmed Bouajjani, Javier Esparza, Tayssir Touili
2003 J jnl
A Logical Viewpoint on Process-algebraic Quotients.
J. Log. Comput.
Antonín Kucera, Javier Esparza
2003 — conf
A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs.
ACSD
Javier Esparza
2003 A* conf
A generic approach to the static analysis of concurrent programs with procedures.
POPL
Ahmed Bouajjani, Javier Esparza, Tayssir Touili
2003 C conf
An Automata-Theoretic Approach to Software Verification.
Developments in Language Theory
Javier Esparza
2003 J jnl
Model checking LTL with regular valuations for pushdown systems.
Inf. Comput.
Javier Esparza, Antonín Kucera, Stefan Schwoon
2003 A conf
Simple Representative Instantiations for Multicast Protocols.
TACAS
Javier Esparza, Monika Maidl
2003 B conf
Synthesis of Distributed Algorithms Using Asynchronous Automata.
CONCUR
Alin Stefanescu, Javier Esparza, Anca Muscholl
2003 — conf
The Model-Checking Kit.
ICATPN
Claus Schröter, Stefan Schwoon, Javier Esparza
2002 B conf
An Algebraic Approach to the Static Analysis of Concurrent Software.
SAS
Javier Esparza
2002 J jnl
An Improvement of McMillan's Unfolding Algorithm.
Formal Methods Syst. Des.
Javier Esparza, Stefan Römer, Walter Vogler
2002 — ed.
Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings
ICATPN
Javier Esparza, Charles Lakos
2002 — conf
Grammars as Processes.
Formal and Natural Computing
Javier Esparza
2001 A* conf
A BDD-Based Model Checker for Recursive Programs.
CAV
Javier Esparza, Stefan Schwoon
2001 — conf
Implementing LTL Model Checking with Net Unfoldings.
SPIN
Javier Esparza, Keijo Heljanko
2001 C conf
Model Checking (with) Declarative Programs.
PPDP
Javier Esparza
2001 — conf
Model-Checking LTL with Regular Valuations for Pushdown Systems.
TACS
Javier Esparza, Antonín Kucera, Stefan Schwoon
2001 — ch.
More Infinite Results.
Current Trends in Theoretical Computer Science
Olaf Burkart, Javier Esparza
2001 — conf
Net Reductions for LTL Model-Checking.
CHARME
Javier Esparza, Claus Schröter
2001 J jnl
Unfolding Based Algorithms for the Reachability Problem.
Fundam. Informaticae
Javier Esparza, Claus Schröter
2000 A* conf
A New Unfolding Approach to LTL Model Checking.
ICALP
Javier Esparza, Keijo Heljanko
2000 J jnl
A Uniform Framework for Problems on Context-Free Grammars.
Bull. EATCS
Javier Esparza, Peter Rossmanith, Stefan Schwoon
2000 J jnl
An efficient automata approach to some problems on context-free grammars.
Inf. Process. Lett.
Ahmed Bouajjani, Javier Esparza, Alain Finkel, Oded Maler, Peter Rossmanith, Bernard Willems, Pierre Wolper
2000 A* conf
Efficient Algorithms for Model Checking Pushdown Systems.
CAV
Javier Esparza, David Hansel, Peter Rossmanith, Stefan Schwoon
2000 A* conf
Efficient Algorithms for pre
POPL
Javier Esparza, Andreas Podelski
2000 J jnl
Verification of Safety Properties Using Integer Programming: Beyond the State Equation.
Formal Methods Syst. Des.
Javier Esparza, Stephan Melzer
2000 — conf
Verification of Systems with an Infinite State Space.
MOVEP
Javier Esparza
2000 B conf
Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL.
MFCS
Leonor Prensa Nieto, Javier Esparza
1999 B conf
A Logical Viewpoint on Process-Algebraic Quotients.
CSL
Antonín Kucera, Javier Esparza
1999 B conf
An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis.
FoSSaCS
Javier Esparza, Jens Knoop
1999 B conf
An Unfolding Algorithm for Synchronous Products of Transition Systems.
CONCUR
Javier Esparza, Stefan Römer
1999 B conf
Constraint-Based Analysis of Broadcast Protocols.
CSL
Giorgio Delzanno, Javier Esparza, Andreas Podelski
1999 A* conf
On the Verification of Broadcast Protocols.
LICS
Javier Esparza, Alain Finkel, Richard Mayr
1999 J jnl
Petri Nets and Regular Processes.
J. Comput. Syst. Sci.
Petr Jancar, Javier Esparza, Faron Moller
1999 B conf
Proof-Checking Protocols Using Bisimulations.
CONCUR
Christine Röckl, Javier Esparza
1998 J jnl
Reachability in Live and Safe Free-Choice Petri Nets is NP-Complete.
Theor. Comput. Sci.
Javier Esparza
1997 — conf
An Automata Approach to Some Problems on Context-Free Grammars.
Foundations of Computer Science: Potential - Theory - Cognition
Javier Esparza, Peter Rossmanith
1997 J jnl
Decidability of Model Checking for Infinite-State Concurrent Systems.
Acta Informatica
Javier Esparza
1997 — conf
Model Checking LTL Using Constraint Programming.
ICATPN
Javier Esparza, Stephan Melzer
1997 J jnl
More Infinite Results.
Bull. EATCS
Olaf Burkart, Javier Esparza
1997 J jnl
Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes.
Fundam. Informaticae
Javier Esparza
1997 B conf
Reachability Analysis of Pushdown Automata: Application to Model-Checking.
CONCUR
Ahmed Bouajjani, Javier Esparza, Oded Maler
1996 A* conf
An Effective Tableau System for the Linear Time µ-Calculus.
ICALP
Julian C. Bradfield, Javier Esparza, Angelika Mader
1996 A conf
An Improvement of McMillan's Unfolding Algorithm.
TACAS
Javier Esparza, Stefan Römer, Walter Vogler
1996 A conf
Checking System Properties via Integer Programming.
ESOP
Stephan Melzer, Javier Esparza
1996 B conf
Decidability and Complexity of Petri Net Problems - An Introduction.
Petri Nets
Javier Esparza
1996 A* conf
Deciding Finiteness of Petri Nets Up To Bisimulation.
ICALP
Petr Jancar, Javier Esparza
1996 — conf
More infinite results.
INFINITY
Olaf Burkart, Javier Esparza
1996 J jnl
Trapping Mutual Exclusion in the Box Calculus.
Theor. Comput. Sci.
Javier Esparza, Glenn Bruns
1996 — conf
Verification Using PEP.
AMAST
Stephan Melzer, Stefan Römer, Javier Esparza
1995 J jnl
Complexity Results for 1-Safe Nets.
Theor. Comput. Sci.
Allan Cheng, Javier Esparza, Jens Palsberg
1995 A* conf
On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes.
CAV
Javier Esparza, Astrid Kiehn
1995 B conf
Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes.
FCT
Javier Esparza
1995 J jnl
Shortest Paths in Reachability Graphs.
J. Comput. Syst. Sci.
Jörg Desel, Javier Esparza
1994 J jnl
Decidability Issues for Petri Nets - a survey.
Bull. EATCS
Javier Esparza, Mogens Nielsen
1994 J jnl
Decidability Issues for Petri Nets - a survey.
J. Inf. Process. Cybern.
Javier Esparza, Mogens Nielsen
1994 J jnl
Model Checking Using Net Unfoldings.
Sci. Comput. Program.
Javier Esparza
1994 — conf
On the Decidability of Model Checking for Several µ-calculi and Petri Nets.
CAAP
Javier Esparza
1994 B conf
Operational Semantics for the Petri Box Calculus.
CONCUR
Maciej Koutny, Javier Esparza, Eike Best
1994 J jnl
Reduction and Synthesis of Live and Bounded Free Choice Petri Nets
Inf. Comput.
Javier Esparza
1993 — conf
Complexity Results for 1-safe Nets.
FSTTCS
Allan Cheng, Javier Esparza, Jens Palsberg
1993 A conf
General Refinement and Recursion Operators for the Petri Box Calculus.
STACS
Eike Best, Raymond Devillers, Javier Esparza
1993 — conf
Model Checking Using Net Unfoldings.
TAPSOFT
Javier Esparza
1993 J jnl
Reachability in Cyclic Extended Free-Choice Systems.
Theor. Comput. Sci.
Jörg Desel, Javier Esparza
1993 — conf
Shortest Paths in Reachability Graphs.
Application and Theory of Petri Nets
Jörg Desel, Javier Esparza
1993 B conf
The Asynchronous Committee Meeting Problem.
WG
Javier Esparza, Bernhard von Stengel
1992 J jnl
A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice Nets.
Theor. Comput. Sci.
Javier Esparza, Manuel Silva Suárez
1992 J jnl
A Solution to the Covering Problem for 1-Bounded Conflict-Free Petri Nets Using Linear Programming.
Inf. Process. Lett.
Javier Esparza
1992 J jnl
Traps Characterize Home States in Free Choice Systems.
Theor. Comput. Sci.
Eike Best, Jörg Desel, Javier Esparza
1991 B conf
Compositional Synthesis of Live and Bounded Free Choice Petri Nets.
CONCUR
Javier Esparza, Manuel Silva Suárez
1991 B conf
Model Checking of Persistent Petri Nets.
CSL
Eike Best, Javier Esparza
1991 A conf
Reachability in Reversible Free Choice Systems.
STACS
Jörg Desel, Javier Esparza
1990 J jnl
Reachability in reversible free-choice systems
Forschungsberichte, TU Munich
Jörg Desel, Javier Esparza
1990 B conf
Synthesis Rules for Petri Nets, and How they Lead to New Results.
CONCUR
Javier Esparza
1990 — conf
Top-down synthesis of live and bounded free choice nets.
Applications and Theory of Petri Nets
Javier Esparza, Manuel Silva Suárez
1989 — conf
Circuits, handles, bridges and nets.
Applications and Theory of Petri Nets
Javier Esparza, Manuel Silva Suárez
1989 — conf
On the analysis and synthesis of free choice systems.
Applications and Theory of Petri Nets
Javier Esparza, Manuel Silva Suárez