Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Javier Esparza
@article{DBLP:journals/jcss/CzernerGHE24,
author = {Philipp Czerner and
Roland Guttenberg and
Martin Helfrich and
Javier Esparza},
title = {Fast and succinct population protocols for Presburger arithmetic},
journal = {J. Comput. Syst. Sci.},
volume = {140},
pages = {103481},
year = {2024},
url = {https://doi.org/10.1016/j.jcss.2023.103481},
doi = {10.1016/J.JCSS.2023.103481},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/CzernerGHE24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BlondinE24,
author = {Michael Blondin and
Javier Esparza},
title = {Separators in Continuous Petri Nets},
journal = {Log. Methods Comput. Sci.},
volume = {20},
number = {1},
year = {2024},
url = {https://doi.org/10.46298/lmcs-20(1:15)2024},
doi = {10.46298/LMCS-20(1:15)2024},
timestamp = {Tue, 05 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BlondinE24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/CzernerEK24,
author = {Philipp Czerner and
Javier Esparza and
Valentin Krasotin},
editor = {Naoki Kobayashi and
James Worrell},
title = {A Resolution-Based Interactive Proof System for {UNSAT}},
booktitle = {Foundations of Software Science and Computation Structures - 27th
International Conference, FoSSaCS 2024, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2024,
Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14575},
pages = {116--136},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57231-9\_6},
doi = {10.1007/978-3-031-57231-9\_6},
timestamp = {Sun, 14 Apr 2024 18:32:17 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/CzernerEK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-14996,
author = {Philipp Czerner and
Javier Esparza and
Valentin Krasotin},
title = {A Resolution-Based Interactive Proof System for {UNSAT}},
journal = {CoRR},
volume = {abs/2401.14996},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.14996},
doi = {10.48550/ARXIV.2401.14996},
eprinttype = {arXiv},
eprint = {2401.14996},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-14996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/CzernerEL23,
author = {Philipp Czerner and
Javier Esparza and
J{\'{e}}r{\^{o}}me Leroux},
title = {Lower bounds on the state complexity of population protocols},
journal = {Distributed Comput.},
volume = {36},
number = {3},
pages = {209--218},
year = {2023},
url = {https://doi.org/10.1007/s00446-023-00450-4},
doi = {10.1007/S00446-023-00450-4},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dc/CzernerEL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BalasubramanianER23,
author = {A. R. Balasubramanian and
Javier Esparza and
Mikhail A. Raskin},
title = {Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:2)2023},
doi = {10.46298/LMCS-19(4:2)2023},
timestamp = {Thu, 26 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BalasubramanianER23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CouillardCEM23,
author = {Eszter Couillard and
Philipp Czerner and
Javier Esparza and
Rupak Majumdar},
editor = {Constantin Enea and
Akash Lal},
title = {Making sf IP=sf {PSPACE} Practical: Efficient Interactive Protocols
for {BDD} Algorithms},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13966},
pages = {437--458},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37709-9\_21},
doi = {10.1007/978-3-031-37709-9\_21},
timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},
biburl = {https://dblp.org/rec/conf/cav/CouillardCEM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GuttenbergRE23,
author = {Roland Guttenberg and
Mikhail A. Raskin and
Javier Esparza},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Geometry of Reachability Sets of Vector Addition Systems},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {6:1--6:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.6},
doi = {10.4230/LIPICS.CONCUR.2023.6},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GuttenbergRE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EsparzaG23,
author = {Javier Esparza and
Vincent P. Grande},
editor = {Kousha Etessami and
Uriel Feige and
Gabriele Puppis},
title = {Black-Box Testing Liveness Properties of Partially Observable Stochastic
Systems},
booktitle = {50th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2023, July 10-14, 2023, Paderborn, Germany},
series = {LIPIcs},
volume = {261},
pages = {126:1--126:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.126},
doi = {10.4230/LIPICS.ICALP.2023.126},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/EsparzaG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-03292,
author = {Javier Esparza and
Vincent P. Grande},
title = {Black-box Testing Liveness Properties of Partially Observable Stochastic
Systems},
journal = {CoRR},
volume = {abs/2303.03292},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.03292},
doi = {10.48550/ARXIV.2303.03292},
eprinttype = {arXiv},
eprint = {2303.03292},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-03292.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-08872,
author = {Javier Esparza and
Rub{\'{e}}n Rubio and
Salomon Sickert},
title = {A Simple Rewrite System for the Normalization of Linear Temporal Logic},
journal = {CoRR},
volume = {abs/2304.08872},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.08872},
doi = {10.48550/ARXIV.2304.08872},
eprinttype = {arXiv},
eprint = {2304.08872},
timestamp = {Mon, 24 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-08872.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-11813,
author = {Eszter Couillard and
Philipp Czerner and
Javier Esparza and
Rupak Majumdar},
title = {Making IP=PSPACE Practical: Efficient Interactive Protocols for {BDD}
Algorithms},
journal = {CoRR},
volume = {abs/2305.11813},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.11813},
doi = {10.48550/ARXIV.2305.11813},
eprinttype = {arXiv},
eprint = {2305.11813},
timestamp = {Thu, 25 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-11813.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-12613,
author = {Javier Esparza and
Rub{\'{e}}n Rubio and
Salomon Sickert},
title = {Efficient Normalization of Linear Temporal Logic},
journal = {CoRR},
volume = {abs/2310.12613},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.12613},
doi = {10.48550/ARXIV.2310.12613},
eprinttype = {arXiv},
eprint = {2310.12613},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-12613.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EsparzaRW22,
author = {Javier Esparza and
Mikhail A. Raskin and
Christoph Welzel},
title = {Computing Parameterized Invariants of Parameterized Petri Nets},
journal = {Fundam. Informaticae},
volume = {187},
number = {2-4},
pages = {197--243},
year = {2022},
url = {https://doi.org/10.3233/FI-222137},
doi = {10.3233/FI-222137},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/EsparzaRW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/EsparzaKRS22,
author = {Javier Esparza and
Jan Kret{\'{\i}}nsk{\'{y}} and
Jean{-}Fran{\c{c}}ois Raskin and
Salomon Sickert},
title = {From linear temporal logic and limit-deterministic B{\"{u}}chi
automata to deterministic parity automata},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {4},
pages = {635--659},
year = {2022},
url = {https://doi.org/10.1007/s10009-022-00663-1},
doi = {10.1007/S10009-022-00663-1},
timestamp = {Thu, 04 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/EsparzaKRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/EsparzaRS22,
author = {Javier Esparza and
Rub{\'{e}}n Rubio and
Salomon Sickert},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Krishnendu Chatterjee and
Laurent Doyen and
Rupak Majumdar},
title = {A Simple Rewrite System for the Normalization of Linear Temporal Logic},
booktitle = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13660},
pages = {208--227},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22337-2\_10},
doi = {10.1007/978-3-031-22337-2\_10},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/EsparzaRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/EsparzaRW22,
author = {Javier Esparza and
Mikhail A. Raskin and
Christoph Welzel},
editor = {Bartek Klin and
Slawomir Lasota and
Anca Muscholl},
title = {Regular Model Checking Upside-Down: An Invariant-Based Approach},
booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022,
September 12-16, 2022, Warsaw, Poland},
series = {LIPIcs},
volume = {243},
pages = {23:1--23:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.23},
doi = {10.4230/LIPICS.CONCUR.2022.23},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/EsparzaRW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BlondinE22,
author = {Michael Blondin and
Javier Esparza},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {Separators in Continuous Petri Nets},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {81--100},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_5},
doi = {10.1007/978-3-030-99253-8\_5},
timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BlondinE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sand/CzernerGHE22,
author = {Philipp Czerner and
Roland Guttenberg and
Martin Helfrich and
Javier Esparza},
editor = {James Aspnes and
Othon Michail},
title = {Fast and Succinct Population Protocols for Presburger Arithmetic},
booktitle = {1st Symposium on Algorithmic Foundations of Dynamic Networks, {SAND}
2022, March 28-30, 2022, Virtual Conference},
series = {LIPIcs},
volume = {221},
pages = {11:1--11:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.SAND.2022.11},
doi = {10.4230/LIPICS.SAND.2022.11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sand/CzernerGHE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-11601,
author = {Philipp Czerner and
Roland Guttenberg and
Martin Helfrich and
Javier Esparza},
title = {Fast and Succinct Population Protocols for Presburger Arithmetic},
journal = {CoRR},
volume = {abs/2202.11601},
year = {2022},
url = {https://arxiv.org/abs/2202.11601},
eprinttype = {arXiv},
eprint = {2202.11601},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-11601.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-03060,
author = {Javier Esparza and
Mikhail A. Raskin and
Christoph Welzel},
title = {Regular Model Checking Upside-Down: An Invariant-Based Approach},
journal = {CoRR},
volume = {abs/2205.03060},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.03060},
doi = {10.48550/ARXIV.2205.03060},
eprinttype = {arXiv},
eprint = {2205.03060},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-03060.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-02767,
author = {Michael Blondin and
Javier Esparza},
title = {Separators in Continuous Petri Nets},
journal = {CoRR},
volume = {abs/2209.02767},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.02767},
doi = {10.48550/ARXIV.2209.02767},
eprinttype = {arXiv},
eprint = {2209.02767},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-02767.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/EsparzaJRW21,
author = {Javier Esparza and
Stefan Jaax and
Mikhail A. Raskin and
Chana Weil{-}Kennedy},
title = {The complexity of verifying population protocols},
journal = {Distributed Comput.},
volume = {34},
number = {2},
pages = {133--177},
year = {2021},
url = {https://doi.org/10.1007/s00446-021-00390-x},
doi = {10.1007/S00446-021-00390-X},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dc/EsparzaJRW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Esparza21,
author = {Javier Esparza},
title = {2021 Alonzo Church Award for Outstanding Contributions to Logic and
Computation},
journal = {Bull. {EATCS}},
volume = {134},
year = {2021},
url = {http://bulletin.eatcs.org/index.php/beatcs/article/view/664},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Esparza21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/EsparzaZ21,
author = {Javier Esparza and
Uri Zwick},
title = {TheoretiCS},
journal = {Bull. {EATCS}},
volume = {135},
year = {2021},
url = {http://bulletin.eatcs.org/index.php/beatcs/article/view/679},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/EsparzaZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BlondinEJM21,
author = {Michael Blondin and
Javier Esparza and
Stefan Jaax and
Philipp J. Meyer},
title = {Towards efficient verification of population protocols},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {3},
pages = {305--342},
year = {2021},
url = {https://doi.org/10.1007/s10703-021-00367-3},
doi = {10.1007/S10703-021-00367-3},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BlondinEJM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Esparza21,
author = {Javier Esparza},
title = {The 2021 Alonzo Church award for outstanding contributions to logic
and computation: call for nominations},
journal = {{ACM} {SIGLOG} News},
volume = {8},
number = {1},
pages = {3},
year = {2021},
url = {https://doi.org/10.1145/3458597.3458598},
doi = {10.1145/3458597.3458598},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Esparza21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EsparzaRW21,
author = {Javier Esparza and
Mikhail A. Raskin and
Christoph Welzel},
editor = {Didier Buchs and
Josep Carmona},
title = {Computing Parameterized Invariants of Parameterized Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 42nd International
Conference, {PETRI} {NETS} 2021, Virtual Event, June 23-25, 2021,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12734},
pages = {141--163},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76983-3\_8},
doi = {10.1007/978-3-030-76983-3\_8},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/EsparzaRW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/EsparzaKKW21,
author = {Javier Esparza and
Stefan Kiefer and
Jan Kret{\'{\i}}nsk{\'{y}} and
Maximilian Weininger},
editor = {Serge Haddad and
Daniele Varacca},
title = {Enforcing {\(\omega\)}-Regular Properties in Markov Chains by Restarting},
booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,
August 24-27, 2021, Virtual Conference},
series = {LIPIcs},
volume = {203},
pages = {5:1--5:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.5},
doi = {10.4230/LIPICS.CONCUR.2021.5},
timestamp = {Fri, 13 Aug 2021 16:29:32 +0200},
biburl = {https://dblp.org/rec/conf/concur/EsparzaKKW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Balasubramanian21,
author = {A. R. Balasubramanian and
Javier Esparza and
Mikhail A. Raskin},
editor = {Stefan Kiefer and
Christine Tasson},
title = {Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {12650},
pages = {42--61},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71995-1\_3},
doi = {10.1007/978-3-030-71995-1\_3},
timestamp = {Fri, 14 May 2021 08:34:11 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Balasubramanian21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Esparza21,
author = {Javier Esparza},
editor = {Mikolaj Bojanczyk and
Chandra Chekuri},
title = {State Complexity of Population Protocols (Invited Talk)},
booktitle = {41st {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2021, December 15-17, 2021,
Virtual Conference},
series = {LIPIcs},
volume = {213},
pages = {2:1--2:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2021.2},
doi = {10.4230/LIPICS.FSTTCS.2021.2},
timestamp = {Tue, 30 Nov 2021 13:59:34 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/Esparza21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/CzernerE21,
author = {Philipp Czerner and
Javier Esparza},
editor = {Avery Miller and
Keren Censor{-}Hillel and
Janne H. Korhonen},
title = {Lower Bounds on the State Complexity of Population Protocols},
booktitle = {{PODC} '21: {ACM} Symposium on Principles of Distributed Computing,
Virtual Event, Italy, July 26-30, 2021},
pages = {45--54},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3465084.3467912},
doi = {10.1145/3465084.3467912},
timestamp = {Mon, 26 Jul 2021 09:04:22 +0200},
biburl = {https://dblp.org/rec/conf/podc/CzernerE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/CzernerGHE21,
author = {Philipp Czerner and
Roland Guttenberg and
Martin Helfrich and
Javier Esparza},
editor = {Avery Miller and
Keren Censor{-}Hillel and
Janne H. Korhonen},
title = {Decision Power of Weak Asynchronous Models of Distributed Computing},
booktitle = {{PODC} '21: {ACM} Symposium on Principles of Distributed Computing,
Virtual Event, Italy, July 26-30, 2021},
pages = {115--125},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3465084.3467918},
doi = {10.1145/3465084.3467918},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/CzernerGHE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Esparza21,
author = {Javier Esparza},
editor = {Paul C. Bell and
Patrick Totzke and
Igor Potapov},
title = {Population Protocols: Beyond Runtime Analysis},
booktitle = {Reachability Problems - 15th International Conference, {RP} 2021,
Liverpool, UK, October 25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13035},
pages = {28--51},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89716-1\_3},
doi = {10.1007/978-3-030-89716-1\_3},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/Esparza21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Esparza21,
author = {Javier Esparza},
editor = {Sebastian Maneth},
title = {Back to the Future: {A} Fresh Look at Linear Temporal Logic},
booktitle = {Implementation and Application of Automata - 25th International Conference,
{CIAA} 2021, Virtual Event, July 19-22, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12803},
pages = {3--13},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79121-6\_1},
doi = {10.1007/978-3-030-79121-6\_1},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Esparza21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2108-09101,
author = {Javier Esparza and
Mikhail A. Raskin and
Christoph Welzel},
editor = {Pierre Ganty and
Davide Bresolin},
title = {Abduction of trap invariants in parameterized systems},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {1--17},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.1},
doi = {10.4204/EPTCS.346.1},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-09101.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ems/21/EsparzaKV21,
author = {Javier Esparza and
Orna Kupferman and
Moshe Y. Vardi},
editor = {Jean{-}{\'{E}}ric Pin},
title = {Verification},
booktitle = {Handbook of Automata Theory},
pages = {1415--1456},
publisher = {European Mathematical Society Publishing House, Z{\"{u}}rich,
Switzerland},
year = {2021},
url = {https://doi.org/10.4171/Automata-2/16},
doi = {10.4171/AUTOMATA-2/16},
timestamp = {Mon, 11 Apr 2022 14:12:30 +0200},
biburl = {https://dblp.org/rec/books/ems/21/EsparzaKV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-11619,
author = {Philipp Czerner and
Javier Esparza},
title = {Lower Bounds on the State Complexity of Population Protocols},
journal = {CoRR},
volume = {abs/2102.11619},
year = {2021},
url = {https://arxiv.org/abs/2102.11619},
eprinttype = {arXiv},
eprint = {2102.11619},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-11619.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-11630,
author = {Philipp Czerner and
Roland Guttenberg and
Martin Helfrich and
Javier Esparza},
title = {Decision Power of Weak Asynchronous Models of Distributed Computing},
journal = {CoRR},
volume = {abs/2102.11630},
year = {2021},
url = {https://arxiv.org/abs/2102.11630},
eprinttype = {arXiv},
eprint = {2102.11630},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-11630.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-10280,
author = {Javier Esparza and
Mikhail A. Raskin and
Christoph Welzel},
title = {Computing Parameterized Invariants of Parameterized Petri Nets},
journal = {CoRR},
volume = {abs/2103.10280},
year = {2021},
url = {https://arxiv.org/abs/2103.10280},
eprinttype = {arXiv},
eprint = {2103.10280},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-10280.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-13449,
author = {Javier Esparza},
title = {Population Protocols: Beyond Runtime Analysis},
journal = {CoRR},
volume = {abs/2108.13449},
year = {2021},
url = {https://arxiv.org/abs/2108.13449},
eprinttype = {arXiv},
eprint = {2108.13449},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-13449.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/EsparzaKS20,
author = {Javier Esparza and
Jan Kret{\'{\i}}nsk{\'{y}} and
Salomon Sickert},
title = {A Unified Translation of Linear Temporal Logic to {\(\omega\)}-Automata},
journal = {J. {ACM}},
volume = {67},
number = {6},
pages = {33:1--33:61},
year = {2020},
url = {https://doi.org/10.1145/3417995},
doi = {10.1145/3417995},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/EsparzaKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Balasubramanian20,
author = {A. R. Balasubramanian and
Javier Esparza and
Marijana Lazic},
editor = {Dang Van Hung and
Oleg Sokolsky},
title = {Complexity of Verification and Synthesis of Threshold Automata},
booktitle = {Automated Technology for Verification and Analysis - 18th International
Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12302},
pages = {144--160},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59152-6\_8},
doi = {10.1007/978-3-030-59152-6\_8},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/Balasubramanian20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/EsparzaHJM20,
author = {Javier Esparza and
Martin Helfrich and
Stefan Jaax and
Philipp J. Meyer},
editor = {Dang Van Hung and
Oleg Sokolsky},
title = {Peregrine 2.0: Explaining Correctness of Population Protocols Through
Stage Graphs},
booktitle = {Automated Technology for Verification and Analysis - 18th International
Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12302},
pages = {550--556},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59152-6\_32},
doi = {10.1007/978-3-030-59152-6\_32},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/EsparzaHJM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BlondinEH0M20,
author = {Michael Blondin and
Javier Esparza and
Martin Helfrich and
Anton{\'{\i}}n Kucera and
Philipp J. Meyer},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Checking Qualitative Liveness Properties of Replicated Systems with
Stochastic Scheduling},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12225},
pages = {372--397},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53291-8\_20},
doi = {10.1007/978-3-030-53291-8\_20},
timestamp = {Wed, 12 Aug 2020 15:15:44 +0200},
biburl = {https://dblp.org/rec/conf/cav/BlondinEH0M20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/EsparzaR20,
author = {Javier Esparza and
Fabian Reiter},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {A Classification of Weak Asynchronous Models of Distributed Computing},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {10:1--10:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.10},
doi = {10.4230/LIPICS.CONCUR.2020.10},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/EsparzaR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/RaskinWE20,
author = {Mikhail A. Raskin and
Chana Weil{-}Kennedy and
Javier Esparza},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Flatness and Complexity of Immediate Observation Petri Nets},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {45:1--45:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.45},
doi = {10.4230/LIPICS.CONCUR.2020.45},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/RaskinWE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/SickertE20,
author = {Salomon Sickert and
Javier Esparza},
editor = {Holger Hermanns and
Lijun Zhang and
Naoki Kobayashi and
Dale Miller},
title = {An Efficient Normalisation Procedure for Linear Temporal Logic and
Very Weak Alternating Automata},
booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
pages = {831--844},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373718.3394743},
doi = {10.1145/3373718.3394743},
timestamp = {Sat, 30 Sep 2023 09:52:07 +0200},
biburl = {https://dblp.org/rec/conf/lics/SickertE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BlondinEGHJ20,
author = {Michael Blondin and
Javier Esparza and
Blaise Genest and
Martin Helfrich and
Stefan Jaax},
editor = {Christophe Paul and
Markus Bl{\"{a}}ser},
title = {Succinct Population Protocols for Presburger Arithmetic},
booktitle = {37th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2020, March 10-13, 2020, Montpellier, France},
series = {LIPIcs},
volume = {154},
pages = {40:1--40:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.STACS.2020.40},
doi = {10.4230/LIPICS.STACS.2020.40},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/BlondinEGHJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BozgaEISW20,
author = {Marius Bozga and
Javier Esparza and
Radu Iosif and
Joseph Sifakis and
Christoph Welzel},
editor = {Armin Biere and
David Parker},
title = {Structural Invariants for the Verification of Systems with Parameterized
Architectures},
booktitle = {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}},
series = {Lecture Notes in Computer Science},
volume = {12078},
pages = {228--246},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45190-5\_13},
doi = {10.1007/978-3-030-45190-5\_13},
timestamp = {Fri, 14 May 2021 08:34:17 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BozgaEISW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/2020,
editor = {Javier Esparza and
Daniel Kr{\'{a}}l'},
title = {45th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2020, August 24-28, 2020, Prague, Czech Republic},
series = {LIPIcs},
volume = {170},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-159-7},
isbn = {978-3-95977-159-7},
timestamp = {Mon, 21 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-07672,
author = {Marius Bozga and
Javier Esparza and
Radu Iosif and
Joseph Sifakis and
Christoph Welzel},
title = {Structural Invariants for the Verification of Systems with Parameterized
Architectures},
journal = {CoRR},
volume = {abs/2002.07672},
year = {2020},
url = {https://arxiv.org/abs/2002.07672},
eprinttype = {arXiv},
eprint = {2002.07672},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-07672.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-00472,
author = {Salomon Sickert and
Javier Esparza},
title = {An Efficient Normalisation Procedure for Linear Temporal Logic and
Very Weak Alternating Automata},
journal = {CoRR},
volume = {abs/2005.00472},
year = {2020},
url = {https://arxiv.org/abs/2005.00472},
eprinttype = {arXiv},
eprint = {2005.00472},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-00472.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-03555,
author = {Michael Blondin and
Javier Esparza and
Martin Helfrich and
Anton{\'{\i}}n Kucera and
Philipp J. Meyer},
title = {Checking Qualitative Liveness Properties of Replicated Systems with
Stochastic Scheduling},
journal = {CoRR},
volume = {abs/2005.03555},
year = {2020},
url = {https://arxiv.org/abs/2005.03555},
eprinttype = {arXiv},
eprint = {2005.03555},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-03555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-03291,
author = {Javier Esparza and
Fabian Reiter},
title = {A Classification of Weak Asynchronous Models of Distributed Computing},
journal = {CoRR},
volume = {abs/2007.03291},
year = {2020},
url = {https://arxiv.org/abs/2007.03291},
eprinttype = {arXiv},
eprint = {2007.03291},
timestamp = {Mon, 20 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-03291.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-06248,
author = {A. R. Balasubramanian and
Javier Esparza and
Marijana Lazic},
title = {Complexity of Verification and Synthesis of Threshold Automata},
journal = {CoRR},
volume = {abs/2007.06248},
year = {2020},
url = {https://arxiv.org/abs/2007.06248},
eprinttype = {arXiv},
eprint = {2007.06248},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-06248.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-07638,
author = {Javier Esparza and
Martin Helfrich and
Stefan Jaax and
Philipp J. Meyer},
title = {Peregrine 2.0: Explaining Correctness of Population Protocols through
Stage Graphs},
journal = {CoRR},
volume = {abs/2007.07638},
year = {2020},
url = {https://arxiv.org/abs/2007.07638},
eprinttype = {arXiv},
eprint = {2007.07638},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-07638.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-08347,
author = {Javier Esparza and
Stefan Kiefer and
Jan Kret{\'{\i}}nsk{\'{y}} and
Maximilian Weininger},
title = {Online Monitoring {\(\omega\)}-Regular Properties in Unknown Markov
Chains},
journal = {CoRR},
volume = {abs/2010.08347},
year = {2020},
url = {https://arxiv.org/abs/2010.08347},
eprinttype = {arXiv},
eprint = {2010.08347},
timestamp = {Wed, 21 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-08347.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-09471,
author = {A. R. Balasubramanian and
Javier Esparza and
Mikhail A. Raskin},
title = {Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy},
journal = {CoRR},
volume = {abs/2010.09471},
year = {2020},
url = {https://arxiv.org/abs/2010.09471},
eprinttype = {arXiv},
eprint = {2010.09471},
timestamp = {Wed, 21 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-09471.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/DeselEH19,
author = {J{\"{o}}rg Desel and
Javier Esparza and
Philipp Hoffmann},
title = {Negotiation as concurrency primitive},
journal = {Acta Informatica},
volume = {56},
number = {2},
pages = {93--159},
year = {2019},
url = {https://doi.org/10.1007/s00236-018-0318-9},
doi = {10.1007/S00236-018-0318-9},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/DeselEH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EsparzaRW19,
author = {Javier Esparza and
Mikhail A. Raskin and
Chana Weil{-}Kennedy},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Parameterized Analysis of Immediate Observation Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {365--385},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_20},
doi = {10.1007/978-3-030-21571-2\_20},
timestamp = {Wed, 13 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/EsparzaRW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BlondinEJ19,
author = {Michael Blondin and
Javier Esparza and
Stefan Jaax},
editor = {Wan J. Fokkink and
Rob van Glabbeek},
title = {Expressive Power of Broadcast Consensus Protocols},
booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
August 27-30, 2019, Amsterdam, the Netherlands},
series = {LIPIcs},
volume = {140},
pages = {31:1--31:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.31},
doi = {10.4230/LIPICS.CONCUR.2019.31},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BlondinEJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MeyerEO19,
author = {Philipp J. Meyer and
Javier Esparza and
Philip Offtermatt},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Computing the Expected Execution Time of Probabilistic Workflow Nets},
booktitle = {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}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {154--171},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_9},
doi = {10.1007/978-3-030-17465-1\_9},
timestamp = {Fri, 31 Jan 2020 21:32:25 +0100},
biburl = {https://dblp.org/rec/conf/tacas/MeyerEO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/Esparza19,
author = {Javier Esparza},
editor = {Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Coffee and Cigarettes},
booktitle = {Carl Adam Petri: Ideas, Personality, Impact},
pages = {97--103},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-96154-5\_13},
doi = {10.1007/978-3-319-96154-5\_13},
timestamp = {Tue, 04 Jun 2019 13:10:01 +0200},
biburl = {https://dblp.org/rec/books/sp/19/Esparza19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2019,
editor = {Yu{-}Fang Chen and
Chih{-}Hong Cheng and
Javier Esparza},
title = {Automated Technology for Verification and Analysis - 17th International
Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11781},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31784-3},
doi = {10.1007/978-3-030-31784-3},
isbn = {978-3-030-31783-6},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-01668,
author = {Michael Blondin and
Javier Esparza and
Stefan Jaax},
title = {Expressive Power of Oblivious Consensus Protocols},
journal = {CoRR},
volume = {abs/1902.01668},
year = {2019},
url = {http://arxiv.org/abs/1902.01668},
eprinttype = {arXiv},
eprint = {1902.01668},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-01668.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-03025,
author = {Javier Esparza and
Mikhail A. Raskin and
Chana Weil{-}Kennedy},
title = {Parameterized Analysis of Immediate Observation Petri Nets},
journal = {CoRR},
volume = {abs/1902.03025},
year = {2019},
url = {http://arxiv.org/abs/1902.03025},
eprinttype = {arXiv},
eprint = {1902.03025},
timestamp = {Wed, 13 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-03025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-04600,
author = {Michael Blondin and
Javier Esparza and
Blaise Genest and
Martin Helfrich and
Stefan Jaax},
title = {Succinct Population Protocols for Presburger Arithmetic},
journal = {CoRR},
volume = {abs/1910.04600},
year = {2019},
url = {http://arxiv.org/abs/1910.04600},
eprinttype = {arXiv},
eprint = {1910.04600},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-04600.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-06578,
author = {Javier Esparza and
Stefan Jaax and
Mikhail A. Raskin and
Chana Weil{-}Kennedy},
title = {The Complexity of Verifying Population Protocols},
journal = {CoRR},
volume = {abs/1912.06578},
year = {2019},
url = {http://arxiv.org/abs/1912.06578},
eprinttype = {arXiv},
eprint = {1912.06578},
timestamp = {Thu, 02 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-06578.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/EsparzaT18,
author = {Javier Esparza and
Enrico Tronci},
title = {Preface for the special issue GandALF 2015},
journal = {Acta Informatica},
volume = {55},
number = {2},
pages = {89--90},
year = {2018},
url = {https://doi.org/10.1007/s00236-018-0315-z},
doi = {10.1007/S00236-018-0315-Z},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/EsparzaT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/EiterEPPS18,
author = {Thomas Eiter and
Javier Esparza and
Catuscia Palamidessi and
Gordon D. Plotkin and
Natarajan Shankar},
title = {Alonzo Church Award 2018 - Call for Nominations},
journal = {Bull. {EATCS}},
volume = {124},
year = {2018},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/524},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/EiterEPPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/EsparzaKMW18,
author = {Javier Esparza and
Denis Kuperberg and
Anca Muscholl and
Igor Walukiewicz},
title = {Soundness in negotiations},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {1},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(1:4)2018},
doi = {10.23638/LMCS-14(1:4)2018},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/EsparzaKMW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BlondinEJ18,
author = {Michael Blondin and
Javier Esparza and
Stefan Jaax},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Peregrine: {A} Tool for the Analysis of Population Protocols},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {604--611},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_34},
doi = {10.1007/978-3-319-96145-3\_34},
timestamp = {Fri, 09 Apr 2021 18:35:27 +0200},
biburl = {https://dblp.org/rec/conf/cav/BlondinEJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/EsparzaGMW18,
author = {Javier Esparza and
Pierre Ganty and
Rupak Majumdar and
Chana Weil{-}Kennedy},
editor = {Sven Schewe and
Lijun Zhang},
title = {Verification of Immediate Observation Population Protocols},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {31:1--31:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.31},
doi = {10.4230/LIPICS.CONCUR.2018.31},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/EsparzaGMW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BlondinEK18,
author = {Michael Blondin and
Javier Esparza and
Anton{\'{\i}}n Kucera},
editor = {Sven Schewe and
Lijun Zhang},
title = {Automatic Analysis of Expected Termination Time for Population Protocols},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {33:1--33:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.33},
doi = {10.4230/LIPICS.CONCUR.2018.33},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BlondinEK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BlondinEJK18,
author = {Michael Blondin and
Javier Esparza and
Stefan Jaax and
Anton{\'{\i}}n Kucera},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Black Ninjas in the Dark: Formal Analysis of Population Protocols},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {1--10},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209110},
doi = {10.1145/3209108.3209110},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BlondinEJK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EsparzaKS18,
author = {Javier Esparza and
Jan Kret{\'{\i}}nsk{\'{y}} and
Salomon Sickert},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {One Theorem to Rule Them All: {A} Unified Translation of {LTL} into
{\(\omega\)}-Automata},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {384--393},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209161},
doi = {10.1145/3209108.3209161},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/EsparzaKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BlondinEJ18,
author = {Michael Blondin and
Javier Esparza and
Stefan Jaax},
editor = {Rolf Niedermeier and
Brigitte Vall{\'{e}}e},
title = {Large Flocks of Small Birds: on the Minimal Size of Population Protocols},
booktitle = {35th Symposium on Theoretical Aspects of Computer Science, {STACS}
2018, February 28 to March 3, 2018, Caen, France},
series = {LIPIcs},
volume = {96},
pages = {16:1--16:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.STACS.2018.16},
doi = {10.4230/LIPICS.STACS.2018.16},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BlondinEJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MeyerEV18,
author = {Philipp J. Meyer and
Javier Esparza and
Hagen V{\"{o}}lzer},
editor = {Dirk Beyer and
Marieke Huisman},
title = {Computing the Concurrency Threshold of Sound Free-Choice Workflow
Nets},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10806},
pages = {3--19},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89963-3\_1},
doi = {10.1007/978-3-319-89963-3\_1},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MeyerEV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/mc/AlurBE18,
author = {Rajeev Alur and
Ahmed Bouajjani and
Javier Esparza},
editor = {Edmund M. Clarke and
Thomas A. Henzinger and
Helmut Veith and
Roderick Bloem},
title = {Model Checking Procedural Programs},
booktitle = {Handbook of Model Checking},
pages = {541--572},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-10575-8\_17},
doi = {10.1007/978-3-319-10575-8\_17},
timestamp = {Mon, 03 Jan 2022 22:13:30 +0100},
biburl = {https://dblp.org/rec/reference/mc/AlurBE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-00742,
author = {Michael Blondin and
Javier Esparza and
Stefan Jaax},
title = {Large Flocks of Small Birds: On the Minimal Size of Population Protocols},
journal = {CoRR},
volume = {abs/1801.00742},
year = {2018},
url = {http://arxiv.org/abs/1801.00742},
eprinttype = {arXiv},
eprint = {1801.00742},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-00742.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-08064,
author = {Philipp J. Meyer and
Javier Esparza and
Hagen V{\"{o}}lzer},
title = {Computing the concurrency threshold of sound free-choice workflow
nets},
journal = {CoRR},
volume = {abs/1802.08064},
year = {2018},
url = {http://arxiv.org/abs/1802.08064},
eprinttype = {arXiv},
eprint = {1802.08064},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-08064.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-00748,
author = {Javier Esparza and
Jan Kret{\'{\i}}nsk{\'{y}} and
Salomon Sickert},
title = {One Theorem to Rule Them All: {A} Unified Translation of {LTL} into
{\(\omega\)}-Automata},
journal = {CoRR},
volume = {abs/1805.00748},
year = {2018},
url = {http://arxiv.org/abs/1805.00748},
eprinttype = {arXiv},
eprint = {1805.00748},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-00748.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-00331,
author = {Michael Blondin and
Javier Esparza and
Anton{\'{\i}}n Kucera},
title = {Automatic Analysis of Expected Termination Time for Population Protocols},
journal = {CoRR},
volume = {abs/1807.00331},
year = {2018},
url = {http://arxiv.org/abs/1807.00331},
eprinttype = {arXiv},
eprint = {1807.00331},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-00331.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-06071,
author = {Javier Esparza and
Pierre Ganty and
Rupak Majumdar and
Chana Weil{-}Kennedy},
title = {Verification of Immediate Observation Population Protocols},
journal = {CoRR},
volume = {abs/1807.06071},
year = {2018},
url = {http://arxiv.org/abs/1807.06071},
eprinttype = {arXiv},
eprint = {1807.06071},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-06071.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-06961,
author = {Philipp J. Meyer and
Javier Esparza and
Philip Offtermatt},
title = {Computing the Expected Execution Time of Probabilistic Workflow Nets},
journal = {CoRR},
volume = {abs/1811.06961},
year = {2018},
url = {http://arxiv.org/abs/1811.06961},
eprinttype = {arXiv},
eprint = {1811.06961},
timestamp = {Sun, 25 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-06961.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/EsparzaFMR18,
author = {Javier Esparza and
Pierre Fraigniaud and
Anca Muscholl and
Sergio Rajsbaum},
title = {Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance
(Dagstuhl Seminar 18211)},
journal = {Dagstuhl Reports},
volume = {8},
number = {5},
pages = {60--79},
year = {2018},
url = {https://doi.org/10.4230/DagRep.8.5.60},
doi = {10.4230/DAGREP.8.5.60},
timestamp = {Tue, 20 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/EsparzaFMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/EsparzaGLM17,
author = {Javier Esparza and
Pierre Ganty and
J{\'{e}}r{\^{o}}me Leroux and
Rupak Majumdar},
title = {Verification of population protocols},
journal = {Acta Informatica},
volume = {54},
number = {2},
pages = {191--215},
year = {2017},
url = {https://doi.org/10.1007/s00236-016-0272-3},
doi = {10.1007/S00236-016-0272-3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/EsparzaGLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Durand-Gasselin17,
author = {Antoine Durand{-}Gasselin and
Javier Esparza and
Pierre Ganty and
Rupak Majumdar},
title = {Model checking parameterized asynchronous shared-memory systems},
journal = {Formal Methods Syst. Des.},
volume = {50},
number = {2-3},
pages = {140--167},
year = {2017},
url = {https://doi.org/10.1007/s10703-016-0258-3},
doi = {10.1007/S10703-016-0258-3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/Durand-Gasselin17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/EsparzaHS17,
author = {Javier Esparza and
Philipp Hoffmann and
Ratul Saha},
title = {Polynomial analysis algorithms for free choice Probabilistic Workflow
Nets},
journal = {Perform. Evaluation},
volume = {117},
pages = {104--129},
year = {2017},
url = {https://doi.org/10.1016/j.peva.2017.09.006},
doi = {10.1016/J.PEVA.2017.09.006},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pe/EsparzaHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SaarikiviLKHE17,
author = {Olli Saarikivi and
Hern{\'{a}}n Ponce de Le{\'{o}}n and
Kari K{\"{a}}hk{\"{o}}nen and
Keijo Heljanko and
Javier Esparza},
title = {Minimizing Test Suites with Unfoldings of Multithreaded Programs},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {16},
number = {2},
pages = {45:1--45:24},
year = {2017},
url = {https://doi.org/10.1145/3012281},
doi = {10.1145/3012281},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/SaarikiviLKHE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/Esparza17,
author = {Javier Esparza},
editor = {Pascal Weil},
title = {Advances in Parameterized Verification of Population Protocols},
booktitle = {Computer Science - Theory and Applications - 12th International Computer
Science Symposium in Russia, {CSR} 2017, Kazan, Russia, June 8-12,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10304},
pages = {7--14},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-58747-9\_2},
doi = {10.1007/978-3-319-58747-9\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csr/Esparza17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EsparzaMW17,
author = {Javier Esparza and
Anca Muscholl and
Igor Walukiewicz},
title = {Static analysis of deterministic negotiations},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--12},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005144},
doi = {10.1109/LICS.2017.8005144},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/EsparzaMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BlondinEJM17,
author = {Michael Blondin and
Javier Esparza and
Stefan Jaax and
Philipp J. Meyer},
editor = {Elad Michael Schiller and
Alexander A. Schwarzmann},
title = {Towards Efficient Verification of Population Protocols},
booktitle = {Proceedings of the {ACM} Symposium on Principles of Distributed Computing,
{PODC} 2017, Washington, DC, USA, July 25-27, 2017},
pages = {423--430},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087801.3087816},
doi = {10.1145/3087801.3087816},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/BlondinEJM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/EsparzaKRS17,
author = {Javier Esparza and
Jan Kret{\'{\i}}nsk{\'{y}} and
Jean{-}Fran{\c{c}}ois Raskin and
Salomon Sickert},
editor = {Axel Legay and
Tiziana Margaria},
title = {From {LTL} and Limit-Deterministic B{\"{u}}chi Automata to Deterministic
Parity Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {426--442},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_25},
doi = {10.1007/978-3-662-54577-5\_25},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/EsparzaKRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Esparza17,
author = {Javier Esparza},
editor = {Sven Schewe and
Thomas Schneider and
Jef Wijsen},
title = {Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets
(Invited Talk)},
booktitle = {24th International Symposium on Temporal Representation and Reasoning,
{TIME} 2017, October 16-18, 2017, Mons, Belgium},
series = {LIPIcs},
volume = {90},
pages = {2:1--2:6},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.TIME.2017.2},
doi = {10.4230/LIPICS.TIME.2017.2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/Esparza17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2017,
editor = {Javier Esparza and
Andrzej S. Murawski},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {10203},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54458-7},
doi = {10.1007/978-3-662-54458-7},
isbn = {978-3-662-54457-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EsparzaKRS17,
author = {Javier Esparza and
Jan Kret{\'{\i}}nsk{\'{y}} and
Jean{-}Fran{\c{c}}ois Raskin and
Salomon Sickert},
title = {From {LTL} and Limit-Deterministic B{\"{u}}chi Automata to Deterministic
Parity Automata},
journal = {CoRR},
volume = {abs/1701.06103},
year = {2017},
url = {http://arxiv.org/abs/1701.06103},
eprinttype = {arXiv},
eprint = {1701.06103},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EsparzaKRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BlondinJEM17,
author = {Michael Blondin and
Stefan Jaax and
Javier Esparza and
Philipp J. Meyer},
title = {Towards Efficient Verification of Population Protocols},
journal = {CoRR},
volume = {abs/1703.04367},
year = {2017},
url = {http://arxiv.org/abs/1703.04367},
eprinttype = {arXiv},
eprint = {1703.04367},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BlondinJEM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EsparzaKMW17,
author = {Javier Esparza and
Denis Kuperberg and
Anca Muscholl and
Igor Walukiewicz},
title = {Soundness in negotiations},
journal = {CoRR},
volume = {abs/1703.05137},
year = {2017},
url = {http://arxiv.org/abs/1703.05137},
eprinttype = {arXiv},
eprint = {1703.05137},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EsparzaKMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EsparzaMW17,
author = {Javier Esparza and
Anca Muscholl and
Igor Walukiewicz},
title = {Static Analysis of Deterministic Negotiations},
journal = {CoRR},
volume = {abs/1704.04190},
year = {2017},
url = {http://arxiv.org/abs/1704.04190},
eprinttype = {arXiv},
eprint = {1704.04190},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EsparzaMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-05278,
author = {Philipp J. Meyer and
Matthias Rungger and
Michael Luttenberger and
Javier Esparza and
Majid Zamani},
title = {Quantitative Implementation Strategies for Safety Controllers},
journal = {CoRR},
volume = {abs/1712.05278},
year = {2017},
url = {http://arxiv.org/abs/1712.05278},
eprinttype = {arXiv},
eprint = {1712.05278},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-05278.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/EsparzaKS16,
author = {Javier Esparza and
Jan Kret{\'{\i}}nsk{\'{y}} and
Salomon Sickert},
title = {From {LTL} to deterministic automata - {A} safraless compositional
approach},
journal = {Formal Methods Syst. Des.},
volume = {49},
number = {3},
pages = {219--271},
year = {2016},
url = {https://doi.org/10.1007/s10703-016-0259-2},
doi = {10.1007/S10703-016-0259-2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/EsparzaKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BestE16,
author = {Eike Best and
Javier Esparza},
title = {Existence of home states in Petri nets is decidable},
journal = {Inf. Process. Lett.},
volume = {116},
number = {6},
pages = {423--427},
year = {2016},
url = {https://doi.org/10.1016/j.ipl.2016.01.011},
doi = {10.1016/J.IPL.2016.01.011},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BestE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/EsparzaGM16,
author = {Javier Esparza and
Pierre Ganty and
Rupak Majumdar},
title = {Parameterized Verification of Asynchronous Shared-Memory Systems},
journal = {J. {ACM}},
volume = {63},
number = {1},
pages = {10:1--10:48},
year = {2016},
url = {https://doi.org/10.1145/2842603},
doi = {10.1145/2842603},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/EsparzaGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/DeselE16,
author = {J{\"{o}}rg Desel and
Javier Esparza},
title = {Negotiations and Petri Nets},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {11},
pages = {203--225},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53401-4\_10},
doi = {10.1007/978-3-662-53401-4\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/DeselE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SickertEJK16,
author = {Salomon Sickert and
Javier Esparza and
Stefan Jaax and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Limit-Deterministic B{\"{u}}chi Automata for Linear Temporal
Logic},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {312--332},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_17},
doi = {10.1007/978-3-319-41540-6\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SickertEJK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/EsparzaKMW16,
author = {Javier Esparza and
Denis Kuperberg and
Anca Muscholl and
Igor Walukiewicz},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Soundness in Negotiations},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {12:1--12:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.12},
doi = {10.4230/LIPICS.CONCUR.2016.12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/EsparzaKMW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/EsparzaH16,
author = {Javier Esparza and
Philipp Hoffmann},
editor = {Perdita Stevens and
Andrzej Wasowski},
title = {Reduction Rules for Colored Workflow Nets},
booktitle = {Fundamental Approaches to Software Engineering - 19th International
Conference, {FASE} 2016, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9633},
pages = {342--358},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49665-7\_20},
doi = {10.1007/978-3-662-49665-7\_20},
timestamp = {Wed, 16 Mar 2022 23:55:35 +0100},
biburl = {https://dblp.org/rec/conf/fase/EsparzaH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/EsparzaGLM16,
author = {Javier Esparza and
Pierre Ganty and
J{\'{e}}r{\^{o}}me Leroux and
Rupak Majumdar},
editor = {Akash Lal and
S. Akshay and
Saket Saurabh and
Sandeep Sen},
title = {Model Checking Population Protocols},
booktitle = {36th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2016, December 13-15, 2016,
Chennai, India},
series = {LIPIcs},
volume = {65},
pages = {27:1--27:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.27},
doi = {10.4230/LIPICS.FSTTCS.2016.27},
timestamp = {Tue, 30 Nov 2021 13:29:05 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/EsparzaGLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/EsparzaHS16,
author = {Javier Esparza and
Philipp Hoffmann and
Ratul Saha},
editor = {Gul Agha and
Benny Van Houdt},
title = {Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow
Nets},
booktitle = {Quantitative Evaluation of Systems - 13th International Conference,
{QEST} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9826},
pages = {89--104},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43425-4\_6},
doi = {10.1007/978-3-319-43425-4\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/EsparzaHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/Esparza16,
author = {Javier Esparza},
editor = {Javier Esparza and
Orna Grumberg and
Salomon Sickert},
title = {Parameterized Verification of Crowds of Anonymous Processes},
booktitle = {Dependable Software Systems Engineering},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {45},
pages = {59--71},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-627-9-59},
doi = {10.3233/978-1-61499-627-9-59},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/Esparza16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/natosec/45,
editor = {Javier Esparza and
Orna Grumberg and
Salomon Sickert},
title = {Dependable Software Systems Engineering},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {45},
publisher = {{IOS} Press},
year = {2016},
isbn = {978-1-61499-626-2},
timestamp = {Wed, 11 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/45.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EsparzaH16,
author = {Javier Esparza and
Philipp Hoffmann},
title = {Reduction Rules for Colored Workflow Nets},
journal = {CoRR},
volume = {abs/1601.01928},
year = {2016},
url = {http://arxiv.org/abs/1601.01928},
eprinttype = {arXiv},
eprint = {1601.01928},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EsparzaH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EsparzaHS16,
author = {Javier Esparza and
Philipp Hoffmann and
Ratul Saha},
title = {Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow
Nets},
journal = {CoRR},
volume = {abs/1606.00175},
year = {2016},
url = {http://arxiv.org/abs/1606.00175},
eprinttype = {arXiv},
eprint = {1606.00175},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EsparzaHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DeselEH16,
author = {J{\"{o}}rg Desel and
Javier Esparza and
Philipp Hoffmann},
title = {Negotiation as Concurrency Primitive},
journal = {CoRR},
volume = {abs/1612.07912},
year = {2016},
url = {http://arxiv.org/abs/1612.07912},
eprinttype = {arXiv},
eprint = {1612.07912},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DeselEH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/EsparzaLS15,
author = {Javier Esparza and
Michael Luttenberger and
Maximilian Schlund},
title = {{FPSOLVE:} {A} Generic Solver for Fixpoint Equations Over Semirings},
journal = {Int. J. Found. Comput. Sci.},
volume = {26},
number = {7},
pages = {805--826},
year = {2015},
url = {https://doi.org/10.1142/S0129054115400018},
doi = {10.1142/S0129054115400018},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/EsparzaLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LeonSKHE15,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Olli Saarikivi and
Kari K{\"{a}}hk{\"{o}}nen and
Keijo Heljanko and
Javier Esparza},
title = {Unfolding Based Minimal Test Suites for Testing Multithreaded Programs},
booktitle = {15th International Conference on Application of Concurrency to System
Design, {ACSD} 2015, Brussels, Belgium, June 21-26, 2015},
pages = {40--49},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ACSD.2015.12},
doi = {10.1109/ACSD.2015.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/LeonSKHE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DeselE15,
author = {J{\"{o}}rg Desel and
Javier Esparza},
editor = {Daniel Moldt and
Heiko R{\"{o}}lke and
Harald St{\"{o}}rrle},
title = {Negotiations and Petri Nets},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering (PNSE'15), including the International Workshop on Petri
Nets for Adaptive Discrete Event Control Systems {(ADECS} 2015) {A}
satellite event of the conferences: 36th International Conference
on Application and Theory of Petri Nets and Concurrency Petri Nets
2015 and 15th International Conference on Application of Concurrency
to System Design {ACSD} 2015, Brussels, Belgium, June 22-23, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1372},
pages = {41--57},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1372/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/DeselE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EsparzaD15,
author = {Javier Esparza and
J{\"{o}}rg Desel},
editor = {Raymond R. Devillers and
Antti Valmari},
title = {Negotiation Programs},
booktitle = {Application and Theory of Petri Nets and Concurrency - 36th International
Conference, {PETRI} {NETS} 2015, Brussels, Belgium, June 21-26, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9115},
pages = {157--178},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19488-2\_8},
doi = {10.1007/978-3-319-19488-2\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/EsparzaD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Durand-Gasselin15,
author = {Antoine Durand{-}Gasselin and
Javier Esparza and
Pierre Ganty and
Rupak Majumdar},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Model Checking Parameterized Asynchronous Shared-Memory Systems},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {67--84},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_5},
doi = {10.1007/978-3-319-21690-4\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Durand-Gasselin15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/EsparzaGLM15,
author = {Javier Esparza and
Pierre Ganty and
J{\'{e}}r{\^{o}}me Leroux and
Rupak Majumdar},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Verification of Population Protocols},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {470--482},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.470},
doi = {10.4230/LIPICS.CONCUR.2015.470},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/EsparzaGLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/EsparzaM15,
author = {Javier Esparza and
Philipp J. Meyer},
editor = {Roope Kaivola and
Thomas Wahl},
title = {An SMT-based Approach to Fair Termination Analysis},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2015, Austin, Texas,
USA, September 27-30, 2015},
pages = {49--56},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/FMCAD.2015.7542252},
doi = {10.1109/FMCAD.2015.7542252},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/EsparzaM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SahaEJMT15,
author = {Ratul Saha and
Javier Esparza and
Sumit Kumar Jha and
Madhavan Mukund and
P. S. Thiagarajan},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Distributed Markov Chains},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {117--134},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_7},
doi = {10.1007/978-3-662-46081-8\_7},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/SahaEJMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/EsparzaT15,
editor = {Javier Esparza and
Enrico Tronci},
title = {Proceedings Sixth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
2015},
series = {{EPTCS}},
volume = {193},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193},
doi = {10.4204/EPTCS.193},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EsparzaT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Durand-Gasselin15,
author = {Antoine Durand{-}Gasselin and
Javier Esparza and
Pierre Ganty and
Rupak Majumdar},
title = {Model Checking Parameterized Asynchronous Shared-Memory Systems},
journal = {CoRR},
volume = {abs/1505.06588},
year = {2015},
url = {http://arxiv.org/abs/1505.06588},
eprinttype = {arXiv},
eprint = {1505.06588},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Durand-Gasselin15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/EsparzaLNNSS14,
author = {Javier Esparza and
Peter Lammich and
Ren{\'{e}} Neumann and
Tobias Nipkow and
Alexander Schimpf and
Jan{-}Georg Smaus},
title = {A Fully Verified Executable {LTL} Model Checker},
journal = {Arch. Formal Proofs},
volume = {2014},
year = {2014},
url = {https://www.isa-afp.org/entries/CAVA\_LTL\_Modelchecker.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/EsparzaLNNSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/EsparzaGP14,
author = {Javier Esparza and
Pierre Ganty and
Tom{\'{a}}s Poch},
title = {Pattern-Based Verification for Multithreaded Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {36},
number = {3},
pages = {9:1--9:29},
year = {2014},
url = {https://doi.org/10.1145/2629644},
doi = {10.1145/2629644},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/EsparzaGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EsparzaK14,
author = {Javier Esparza and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Armin Biere and
Roderick Bloem},
title = {From {LTL} to Deterministic Automata: {A} Safraless Compositional
Approach},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {192--208},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_13},
doi = {10.1007/978-3-319-08867-9\_13},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/EsparzaK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EsparzaLMMN14,
author = {Javier Esparza and
Rusl{\'{a}}n Ledesma{-}Garza and
Rupak Majumdar and
Philipp J. Meyer and
Filip Niksic},
editor = {Armin Biere and
Roderick Bloem},
title = {An SMT-Based Approach to Coverability Analysis},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {603--619},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_40},
doi = {10.1007/978-3-319-08867-9\_40},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/EsparzaLMMN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Esparza14,
author = {Javier Esparza},
editor = {Paolo Baldan and
Daniele Gorla},
title = {Deterministic Negotiations: Concurrency for Free},
booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
{CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8704},
pages = {23--31},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44584-6\_3},
doi = {10.1007/978-3-662-44584-6\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Esparza14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eacl/SchlundLE14,
author = {Maximilian Schlund and
Michael Luttenberger and
Javier Esparza},
editor = {Gosse Bouma and
Yannick Parmentier},
title = {Fast and Accurate Unlexicalized Parsing via Structural Annotations},
booktitle = {Proceedings of the 14th Conference of the European Chapter of the
Association for Computational Linguistics, {EACL} 2014, April 26-30,
2014, Gothenburg, Sweden},
pages = {164--168},
publisher = {The Association for Computer Linguistics},
year = {2014},
url = {https://doi.org/10.3115/v1/e14-4032},
doi = {10.3115/V1/E14-4032},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eacl/SchlundLE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/EsparzaD14,
author = {Javier Esparza and
J{\"{o}}rg Desel},
editor = {Anca Muscholl},
title = {On Negotiation as Concurrency Primitive {II:} Deterministic Cyclic
Negotiations},
booktitle = {Foundations of Software Science and Computation Structures - 17th
International Conference, {FOSSACS} 2014, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2014,
Grenoble, France, April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8412},
pages = {258--273},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54830-7\_17},
doi = {10.1007/978-3-642-54830-7\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/EsparzaD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/EsparzaLS14,
author = {Javier Esparza and
Michael Luttenberger and
Maximilian Schlund},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Jos{\'{e}} Luis Sierra{-}Rodr{\'{\i}}guez and
Bianca Truthe},
title = {A Brief History of Strahler Numbers},
booktitle = {Language and Automata Theory and Applications - 8th International
Conference, {LATA} 2014, Madrid, Spain, March 10-14, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8370},
pages = {1--13},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04921-2\_1},
doi = {10.1007/978-3-319-04921-2\_1},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/EsparzaLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Esparza14,
author = {Javier Esparza},
editor = {Ernst W. Mayr and
Natacha Portier},
title = {Keeping a Crowd Safe: On the Complexity of Parameterized Verification
(Invited Talk)},
booktitle = {31st International Symposium on Theoretical Aspects of Computer Science
{(STACS} 2014), {STACS} 2014, March 5-8, 2014, Lyon, France},
series = {LIPIcs},
volume = {25},
pages = {1--10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.STACS.2014.1},
doi = {10.4230/LIPICS.STACS.2014.1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Esparza14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/JezequelE14,
author = {Lo{\"{\i}}g Jezequel and
Javier Esparza},
editor = {Kenneth L. McMillan and
Xavier Rival},
title = {Message-Passing Algorithms for the Verification of Distributed Protocols},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 15th International
Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8318},
pages = {222--241},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54013-4\_13},
doi = {10.1007/978-3-642-54013-4\_13},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/JezequelE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/EsparzaLS14,
author = {Javier Esparza and
Michael Luttenberger and
Maximilian Schlund},
editor = {Markus Holzer and
Martin Kutrib},
title = {FPsolve: {A} Generic Solver for Fixpoint Equations over Semirings},
booktitle = {Implementation and Application of Automata - 19th International Conference,
{CIAA} 2014, Giessen, Germany, July 30 - August 2, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8587},
pages = {1--15},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08846-4\_1},
doi = {10.1007/978-3-319-08846-4\_1},
timestamp = {Mon, 05 Feb 2024 20:35:24 +0100},
biburl = {https://dblp.org/rec/conf/wia/EsparzaLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2014-1,
editor = {Javier Esparza and
Pierre Fraigniaud and
Thore Husfeldt and
Elias Koutsoupias},
title = {Automata, Languages, and Programming - 41st International Colloquium,
{ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8572},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43948-7},
doi = {10.1007/978-3-662-43948-7},
isbn = {978-3-662-43947-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/2014-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2014-2,
editor = {Javier Esparza and
Pierre Fraigniaud and
Thore Husfeldt and
Elias Koutsoupias},
title = {Automata, Languages, and Programming - 41st International Colloquium,
{ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {8573},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43951-7},
doi = {10.1007/978-3-662-43951-7},
isbn = {978-3-662-43950-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/2014-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EsparzaK14,
author = {Javier Esparza and
Jan Kret{\'{\i}}nsk{\'{y}}},
title = {From {LTL} to Deterministic Automata: {A} Safraless Compositional
Approach},
journal = {CoRR},
volume = {abs/1402.3388},
year = {2014},
url = {http://arxiv.org/abs/1402.3388},
eprinttype = {arXiv},
eprint = {1402.3388},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EsparzaK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EsparzaD14,
author = {Javier Esparza and
J{\"{o}}rg Desel},
title = {On Negotiation as Concurrency Primitive {II:} Deterministic Cyclic
Negotiations},
journal = {CoRR},
volume = {abs/1403.4958},
year = {2014},
url = {http://arxiv.org/abs/1403.4958},
eprinttype = {arXiv},
eprint = {1403.4958},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EsparzaD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Esparza14,
author = {Javier Esparza},
title = {Keeping a Crowd Safe: On the Complexity of Parameterized Verification
(Corrected version)},
journal = {CoRR},
volume = {abs/1405.1841},
year = {2014},
url = {http://arxiv.org/abs/1405.1841},
eprinttype = {arXiv},
eprint = {1405.1841},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Esparza14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EsparzaH14,
author = {Javier Esparza and
Philipp Hoffmann},
title = {Negotiation Games},
journal = {CoRR},
volume = {abs/1405.6820},
year = {2014},
url = {http://arxiv.org/abs/1405.6820},
eprinttype = {arXiv},
eprint = {1405.6820},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EsparzaH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/EsparzaFMO14,
author = {Javier Esparza and
Alain Finkel and
Pierre McKenzie and
Jo{\"{e}}l Ouaknine},
title = {Reachability Problems for Infinite-State Systems (Dagstuhl Seminar
14141)},
journal = {Dagstuhl Reports},
volume = {4},
number = {3},
pages = {153--180},
year = {2014},
url = {https://doi.org/10.4230/DagRep.4.3.153},
doi = {10.4230/DAGREP.4.3.153},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/EsparzaFMO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BrazdilEKK13,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Javier Esparza and
Stefan Kiefer and
Anton{\'{\i}}n Kucera},
title = {Analyzing probabilistic pushdown automata},
journal = {Formal Methods Syst. Des.},
volume = {43},
number = {2},
pages = {124--163},
year = {2013},
url = {https://doi.org/10.1007/s10703-012-0166-0},
doi = {10.1007/S10703-012-0166-0},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/BrazdilEKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/EsparzaGK13,
author = {Javier Esparza and
Andreas Gaiser and
Stefan Kiefer},
title = {A strongly polynomial algorithm for criticality of branching processes
and consistency of stochastic context-free grammars},
journal = {Inf. Process. Lett.},
volume = {113},
number = {10-11},
pages = {381--385},
year = {2013},
url = {https://doi.org/10.1016/j.ipl.2013.02.015},
doi = {10.1016/J.IPL.2013.02.015},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/EsparzaGK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EsparzaGM13,
author = {Javier Esparza and
Pierre Ganty and
Rupak Majumdar},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Parameterized Verification of Asynchronous Shared-Memory Systems},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {124--140},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_8},
doi = {10.1007/978-3-642-39799-8\_8},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/EsparzaGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EsparzaLNNSS13,
author = {Javier Esparza and
Peter Lammich and
Ren{\'{e}} Neumann and
Tobias Nipkow and
Alexander Schimpf and
Jan{-}Georg Smaus},
editor = {Natasha Sharygina and
Helmut Veith},
title = {A Fully Verified Executable {LTL} Model Checker},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {463--478},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_31},
doi = {10.1007/978-3-642-39799-8\_31},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/EsparzaLNNSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/EsparzaD13,
author = {Javier Esparza and
J{\"{o}}rg Desel},
editor = {Pedro R. D'Argenio and
Hern{\'{a}}n C. Melgratti},
title = {On Negotiation as Concurrency Primitive},
booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
{CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8052},
pages = {440--454},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40184-8\_31},
doi = {10.1007/978-3-642-40184-8\_31},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/EsparzaD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/EsparzaJS13,
author = {Javier Esparza and
Lo{\"{\i}}g Jezequel and
Stefan Schwoon},
editor = {Anil Seth and
Nisheeth K. Vishnoi},
title = {Computation of Summaries Using Net Unfoldings},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2013, December 12-14, 2013,
Guwahati, India},
series = {LIPIcs},
volume = {24},
pages = {225--236},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2013.225},
doi = {10.4230/LIPICS.FSTTCS.2013.225},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/EsparzaJS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-1185,
author = {Javier Esparza and
Pierre Ganty and
Rupak Majumdar},
title = {Parameterized Verification of Asynchronous Shared-Memory Systems},
journal = {CoRR},
volume = {abs/1304.1185},
year = {2013},
url = {http://arxiv.org/abs/1304.1185},
eprinttype = {arXiv},
eprint = {1304.1185},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-1185.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EsparzaD13,
author = {Javier Esparza and
J{\"{o}}rg Desel},
title = {On Negotiation as Concurrency Primitive},
journal = {CoRR},
volume = {abs/1307.2145},
year = {2013},
url = {http://arxiv.org/abs/1307.2145},
eprinttype = {arXiv},
eprint = {1307.2145},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EsparzaD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EsparzaJS13,
author = {Javier Esparza and
Lo{\"{\i}}g Jezequel and
Stefan Schwoon},
title = {Computation of Summaries Using Net Unfoldings},
journal = {CoRR},
volume = {abs/1310.2143},
year = {2013},
url = {http://arxiv.org/abs/1310.2143},
eprinttype = {arXiv},
eprint = {1310.2143},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EsparzaJS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BrazdilEKL12,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
title = {Space-efficient scheduling of stochastically generated tasks},
journal = {Inf. Comput.},
volume = {210},
pages = {87--110},
year = {2012},
url = {https://doi.org/10.1016/j.ic.2011.10.005},
doi = {10.1016/J.IC.2011.10.005},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BrazdilEKL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/EsparzaK12,
author = {Javier Esparza and
Christian Kern},
editor = {Jens Brandt and
Keijo Heljanko},
title = {Reactive and Proactive Diagnosis of Distributed Systems Using Net
Unfoldings},
booktitle = {12th International Conference on Application of Concurrency to System
Design, {ACSD} 2012, Hamburg, Germany, June 27-29, 2012},
pages = {154--163},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ACSD.2012.19},
doi = {10.1109/ACSD.2012.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/EsparzaK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/GaiserKE12,
author = {Andreas Gaiser and
Jan Kret{\'{\i}}nsk{\'{y}} and
Javier Esparza},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {Rabinizer: Small Deterministic Automata for LTL(F, {G)}},
booktitle = {Automated Technology for Verification and Analysis - 10th International
Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7561},
pages = {72--76},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_7},
doi = {10.1007/978-3-642-33386-6\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/GaiserKE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KretinskyE12,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Javier Esparza},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Deterministic Automata for the (F, G)-Fragment of {LTL}},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {7--22},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_7},
doi = {10.1007/978-3-642-31424-7\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KretinskyE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EsparzaGK12,
author = {Javier Esparza and
Andreas Gaiser and
Stefan Kiefer},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Proving Termination of Probabilistic Programs Using Patterns},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {123--138},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_14},
doi = {10.1007/978-3-642-31424-7\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/EsparzaGK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EsparzaGM12,
author = {Javier Esparza and
Pierre Ganty and
Rupak Majumdar},
title = {A Perfect Model for Bounded Verification},
booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
pages = {285--294},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/LICS.2012.39},
doi = {10.1109/LICS.2012.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/EsparzaGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/automata2012/EsparzaK12,
author = {Javier Esparza and
J{\"{o}}rg Kreiker},
editor = {Deepak D'Souza and
Priti Shankar},
title = {Three Case Studies on Verification of Infinite-State Systems},
booktitle = {Modern Applications of Automata Theory},
series = {IISc Research Monographs Series},
volume = {2},
pages = {373--414},
publisher = {World Scientific},
year = {2012},
url = {https://doi.org/10.1142/9789814271059\_0012},
doi = {10.1142/9789814271059\_0012},
timestamp = {Sat, 03 Aug 2019 22:52:51 +0200},
biburl = {https://dblp.org/rec/books/ws/automata2012/EsparzaK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-3194,
author = {Javier Esparza and
Pierre Ganty and
Rupak Majumdar},
title = {A Perfect Model for Bounded Verification},
journal = {CoRR},
volume = {abs/1201.3194},
year = {2012},
url = {http://arxiv.org/abs/1201.3194},
eprinttype = {arXiv},
eprint = {1201.3194},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-3194.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-2932,
author = {Javier Esparza and
Andreas Gaiser and
Stefan Kiefer},
title = {Proving Termination of Probabilistic Programs Using Patterns},
journal = {CoRR},
volume = {abs/1204.2932},
year = {2012},
url = {http://arxiv.org/abs/1204.2932},
eprinttype = {arXiv},
eprint = {1204.2932},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-2932.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-5057,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Javier Esparza},
title = {Deterministic Automata for the (F,G)-fragment of {LTL}},
journal = {CoRR},
volume = {abs/1204.5057},
year = {2012},
url = {http://arxiv.org/abs/1204.5057},
eprinttype = {arXiv},
eprint = {1204.5057},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-5057.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EsparzaLS11,
author = {Javier Esparza and
Martin Leucker and
Maximilian Schlund},
title = {Learning Workflow Petri Nets},
journal = {Fundam. Informaticae},
volume = {113},
number = {3-4},
pages = {205--228},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-607},
doi = {10.3233/FI-2011-607},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/EsparzaLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/EsparzaGKL11,
author = {Javier Esparza and
Pierre Ganty and
Stefan Kiefer and
Michael Luttenberger},
title = {Parikh's theorem: {A} simple and direct automaton construction},
journal = {Inf. Process. Lett.},
volume = {111},
number = {12},
pages = {614--619},
year = {2011},
url = {https://doi.org/10.1016/j.ipl.2011.03.019},
doi = {10.1016/J.IPL.2011.03.019},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/EsparzaGKL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EsparzaKL11,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
title = {Derivation tree analysis for accelerated fixed-point computation},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {28},
pages = {3226--3241},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.03.020},
doi = {10.1016/J.TCS.2011.03.020},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/EsparzaKL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/EsparzaL11,
author = {Javier Esparza and
Michael Luttenberger},
editor = {Andrea Corradini and
Bartek Klin and
Corina C{\^{\i}}rstea},
title = {Solving Fixed-Point Equations by Derivation Tree Analysis},
booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference,
{CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6859},
pages = {19--35},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22944-2\_2},
doi = {10.1007/978-3-642-22944-2\_2},
timestamp = {Fri, 09 Apr 2021 18:48:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/EsparzaL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/EsparzaG11,
author = {Javier Esparza and
Pierre Ganty},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Complexity of pattern-based verification for multithreaded programs},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {499--510},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926443},
doi = {10.1145/1926385.1926443},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/EsparzaG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/EsparzaG11,
author = {Javier Esparza and
Andreas Gaiser},
editor = {Eran Yahav},
title = {Probabilistic Abstractions with Arbitrary Domains},
booktitle = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
Italy, September 14-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6887},
pages = {334--350},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23702-7\_25},
doi = {10.1007/978-3-642-23702-7\_25},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/EsparzaG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/11/EMS2011,
editor = {Javier Esparza and
Christian Michaux and
Charles Steinhorn},
title = {Finite and Algorithmic Model Theory},
series = {London Mathematical Society Lecture Note Series},
volume = {379},
publisher = {Cambridge University Press},
year = {2011},
url = {http://www.cambridge.org/gb/knowledge/isbn/item5634823},
isbn = {978-0-521-71820-2},
timestamp = {Fri, 15 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/cu/11/EMS2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-1364,
author = {Javier Esparza and
Andreas Gaiser},
title = {Probabilistic Abstractions with Arbitrary Domains},
journal = {CoRR},
volume = {abs/1106.1364},
year = {2011},
url = {http://arxiv.org/abs/1106.1364},
eprinttype = {arXiv},
eprint = {1106.1364},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1364.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/EsparzaKL10,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
title = {Newtonian program analysis},
journal = {J. {ACM}},
volume = {57},
number = {6},
pages = {33:1--33:47},
year = {2010},
url = {https://doi.org/10.1145/1857914.1857917},
doi = {10.1145/1857914.1857917},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/EsparzaKL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/EsparzaKL10,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
title = {Computing the Least Fixed Point of Positive Polynomial Systems},
journal = {{SIAM} J. Comput.},
volume = {39},
number = {6},
pages = {2282--2335},
year = {2010},
url = {https://doi.org/10.1137/090749591},
doi = {10.1137/090749591},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/EsparzaKL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EsparzaLS10,
author = {Javier Esparza and
Martin Leucker and
Maximilian Schlund},
editor = {Johan Lilius and
Wojciech Penczek},
title = {Learning Workflow Petri Nets},
booktitle = {Applications and Theory of Petri Nets, 31st International Conference,
{PETRI} {NETS} 2010, Braga, Portugal, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6128},
pages = {206--225},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13675-7\_13},
doi = {10.1007/978-3-642-13675-7\_13},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/EsparzaLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/KernE10,
author = {Christian Kern and
Javier Esparza},
editor = {Stefan Kowalewski and
Marco Roveri},
title = {Automatic Error Correction of Java Programs},
booktitle = {Formal Methods for Industrial Critical Systems - 15th International
Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6371},
pages = {67--81},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15898-8\_5},
doi = {10.1007/978-3-642-15898-8\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/KernE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Esparza10,
author = {Javier Esparza},
editor = {Hartmut Ehrig and
Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {A False History of True Concurrency: From Petri to Tools},
booktitle = {Graph Transformations - 5th International Conference, {ICGT} 2010,
Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6372},
pages = {1--2},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15928-2\_1},
doi = {10.1007/978-3-642-15928-2\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/Esparza10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/KonigE10,
author = {Barbara K{\"{o}}nig and
Javier Esparza},
editor = {Hartmut Ehrig and
Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {Verification of Graph Transformation Systems with Context-Free Specifications},
booktitle = {Graph Transformations - 5th International Conference, {ICGT} 2010,
Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6372},
pages = {107--122},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15928-2\_8},
doi = {10.1007/978-3-642-15928-2\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/KonigE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BrazdilEKL10,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
editor = {Samson Abramsky and
Cyril Gavoille and
Claude Kirchner and
Friedhelm Meyer auf der Heide and
Paul G. Spirakis},
title = {Space-Efficient Scheduling of Stochastically Generated Tasks},
booktitle = {Automata, Languages and Programming, 37th International Colloquium,
{ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6199},
pages = {539--550},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14162-1\_45},
doi = {10.1007/978-3-642-14162-1\_45},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BrazdilEKL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Esparza10,
author = {Javier Esparza},
editor = {Jaco van de Pol and
Michael Weber},
title = {A False History of True Concurrency: From Petri to Tools},
booktitle = {Model Checking Software - 17th International {SPIN} Workshop, Enschede,
The Netherlands, September 27-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6349},
pages = {180--186},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16164-3\_13},
doi = {10.1007/978-3-642-16164-3\_13},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/Esparza10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/EsparzaGK10,
author = {Javier Esparza and
Andreas Gaiser and
Stefan Kiefer},
editor = {Jean{-}Yves Marion and
Thomas Schwentick},
title = {Computing Least Fixed Points of Probabilistic Systems of Polynomials},
booktitle = {27th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2010, March 4-6, 2010, Nancy, France},
series = {LIPIcs},
volume = {5},
pages = {359--370},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.STACS.2010.2468},
doi = {10.4230/LIPICS.STACS.2010.2468},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/EsparzaGK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Esparza10,
author = {Javier Esparza},
editor = {Gilles Barthe and
Manuel V. Hermenegildo},
title = {Analysis of Systems with Stochastic Process Creation},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International
Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5944},
pages = {1},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11319-2\_1},
doi = {10.1007/978-3-642-11319-2\_1},
timestamp = {Sat, 19 Oct 2019 20:29:32 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Esparza10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/EsparzaL10,
author = {Javier Esparza and
Michael Luttenberger},
editor = {Javier Esparza and
Bernd Spanfelner and
Orna Grumberg},
title = {Newtonian Program Analysis - An Introduction},
booktitle = {Logics and Languages for Reliability and Security},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {25},
pages = {31--72},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-100-8-31},
doi = {10.3233/978-1-60750-100-8-31},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/EsparzaL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2010,
editor = {Javier Esparza and
Rupak Majumdar},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {6015},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2},
doi = {10.1007/978-3-642-12002-2},
isbn = {978-3-642-12001-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/natosec/25,
editor = {Javier Esparza and
Bernd Spanfelner and
Orna Grumberg},
title = {Logics and Languages for Reliability and Security},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {25},
publisher = {{IOS} Press},
year = {2010},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=16080},
isbn = {978-1-60750-099-5},
timestamp = {Wed, 14 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/natosec/25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-0340,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
title = {Computing the Least Fixed Point of Positive Polynomial Systems},
journal = {CoRR},
volume = {abs/1001.0340},
year = {2010},
url = {http://arxiv.org/abs/1001.0340},
eprinttype = {arXiv},
eprint = {1001.0340},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-0340.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-4286,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
title = {Space-efficient scheduling of stochastically generated tasks},
journal = {CoRR},
volume = {abs/1004.4286},
year = {2010},
url = {http://arxiv.org/abs/1004.4286},
eprinttype = {arXiv},
eprint = {1004.4286},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-4286.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-3825,
author = {Javier Esparza and
Pierre Ganty and
Stefan Kiefer and
Michael Luttenberger},
title = {Parikh's Theorem: {A} simple and direct construction},
journal = {CoRR},
volume = {abs/1006.3825},
year = {2010},
url = {http://arxiv.org/abs/1006.3825},
eprinttype = {arXiv},
eprint = {1006.3825},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-3825.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/EsparzaGK09,
author = {Javier Esparza and
Andreas Gaiser and
Stefan Kiefer},
title = {On least fixed points of systems of positive polynomials},
journal = {{ACM} Commun. Comput. Algebra},
volume = {43},
number = {3/4},
pages = {81--83},
year = {2009},
url = {https://doi.org/10.1145/1823931.1823939},
doi = {10.1145/1823931.1823939},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/EsparzaGK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cira/ChengKBEC09,
author = {Chih{-}Hong Cheng and
Alois C. Knoll and
Christian Buckl and
Javier Esparza and
Yang Chen},
title = {Examining robotic systems with shape-adjustable manipulators under
dynamic environments: From simulation to verification},
booktitle = {Proceedings of the {IEEE} International Symposium on Computational
Intelligence in Robotics and Automation, {CIRA} 2009, 15-18 December
2009, Daejeon, Korea},
pages = {72--77},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CIRA.2009.5423243},
doi = {10.1109/CIRA.2009.5423243},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cira/ChengKBEC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/ChengBEK09,
author = {Chih{-}Hong Cheng and
Christian Buckl and
Javier Esparza and
Alois C. Knoll},
editor = {Stephen John Turner and
David J. Roberts and
Wentong Cai and
Abdulmotaleb El{-}Saddik},
title = {Modeling and Verification for Timing Satisfaction of Fault-Tolerant
Systems with Finiteness},
booktitle = {13th {IEEE/ACM} International Symposium on Distributed Simulation
and Real Time Applications, Singapore, 25-28 October 2009},
pages = {208--215},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/DS-RT.2009.20},
doi = {10.1109/DS-RT.2009.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsrt/ChengBEK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/EsparzaKL09,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {Solving Fixed-Point Equations on omega-Continuous Semirings},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {9},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/invited2.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/EsparzaKL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BrazdilEK09,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Javier Esparza and
Stefan Kiefer},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {On the Memory Consumption of Probabilistic Pushdown Automata},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {49--60},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2306},
doi = {10.4230/LIPICS.FSTTCS.2009.2306},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BrazdilEK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Esparza09,
author = {Javier Esparza},
editor = {Rastislav Kr{\'{a}}lovic and
Damian Niwinski},
title = {Stochastic Process Creation},
booktitle = {Mathematical Foundations of Computer Science 2009, 34th International
Symposium, {MFCS} 2009, Novy Smokovec, High Tatras, Slovakia, August
24-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5734},
pages = {24--33},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03816-7\_3},
doi = {10.1007/978-3-642-03816-7\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Esparza09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-3946,
author = {Chih{-}Hong Cheng and
Christian Buckl and
Javier Esparza and
Alois C. Knoll},
title = {FTOS-Verify: Analysis and Verification of Non-Functional Properties
for Fault-Tolerant Systems},
journal = {CoRR},
volume = {abs/0905.3946},
year = {2009},
url = {http://arxiv.org/abs/0905.3946},
eprinttype = {arXiv},
eprint = {0905.3946},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0905-3946.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-3951,
author = {Chih{-}Hong Cheng and
Christian Buckl and
Javier Esparza and
Alois C. Knoll},
title = {Modeling and Verification for Timing Satisfaction of Fault-Tolerant
Systems with Finiteness},
journal = {CoRR},
volume = {abs/0905.3951},
year = {2009},
url = {http://arxiv.org/abs/0905.3951},
eprinttype = {arXiv},
eprint = {0905.3951},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0905-3951.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0912-4226,
author = {Javier Esparza and
Andreas Gaiser and
Stefan Kiefer},
title = {Computing Least Fixed Points of Probabilistic Systems of Polynomials},
journal = {CoRR},
volume = {abs/0912.4226},
year = {2009},
url = {http://arxiv.org/abs/0912.4226},
eprinttype = {arXiv},
eprint = {0912.4226},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-4226.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/EsparzaH08,
author = {Javier Esparza and
Keijo Heljanko},
title = {Unfoldings - {A} Partial-Order Approach to Model Checking},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77426-6},
doi = {10.1007/978-3-540-77426-6},
isbn = {978-3-540-77425-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/EsparzaH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EsparzaJM08,
author = {Javier Esparza and
Petr Jancar and
Alexander Miller},
title = {On the Complexity of Consistency and Complete State Coding for Signal
Transition Graphs},
journal = {Fundam. Informaticae},
volume = {86},
number = {3},
pages = {227--253},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi86-3-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/EsparzaJM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/EsparzaKS08,
author = {Javier Esparza and
Stefan Kiefer and
Stefan Schwoon},
title = {Abstraction Refinement with Craig Interpolation and Symbolic Pushdown
Systems},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {5},
number = {1-4},
pages = {27--56},
year = {2008},
url = {https://doi.org/10.3233/sat190051},
doi = {10.3233/SAT190051},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/EsparzaKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/EsparzaKS08,
author = {Javier Esparza and
Pradeep Kanade and
Stefan Schwoon},
title = {A negative result on depth-first net unfoldings},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {10},
number = {2},
pages = {161--166},
year = {2008},
url = {https://doi.org/10.1007/s10009-007-0030-5},
doi = {10.1007/S10009-007-0030-5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/EsparzaKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/EsparzaKL08,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
editor = {Masami Ito and
Masafumi Toyama},
title = {Derivation Tree Analysis for Accelerated Fixed-Point Computation},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {301--313},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_24},
doi = {10.1007/978-3-540-85780-8\_24},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/EsparzaKL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EsparzaKL08,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {Newton's Method for omega-Continuous Semirings},
booktitle = {Automata, Languages and Programming, 35th International Colloquium,
{ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
{II} - Track {B:} Logic, Semantics, and Theory of Programming {\&}
Track {C:} Security and Cryptography Foundations},
series = {Lecture Notes in Computer Science},
volume = {5126},
pages = {14--26},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70583-3\_2},
doi = {10.1007/978-3-540-70583-3\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EsparzaKL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EsparzaGKS08,
author = {Javier Esparza and
Thomas Gawlitza and
Stefan Kiefer and
Helmut Seidl},
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations},
booktitle = {Automata, Languages and Programming, 35th International Colloquium,
{ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
{I:} Tack {A:} Algorithms, Automata, Complexity, and Games},
series = {Lecture Notes in Computer Science},
volume = {5125},
pages = {698--710},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70575-8\_57},
doi = {10.1007/978-3-540-70575-8\_57},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EsparzaGKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/EsparzaKL08,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
editor = {Giorgio Ausiello and
Juhani Karhum{\"{a}}ki and
Giancarlo Mauri and
C.{-}H. Luke Ong},
title = {Solving Monotone Polynomial Equations},
booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science
- {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
of Computer Science, September 7-10, 2008, Milano, Italy},
series = {{IFIP}},
volume = {273},
pages = {285--298},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09680-3\_20},
doi = {10.1007/978-0-387-09680-3\_20},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/EsparzaKL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/SuwimonteerabuthES08,
author = {Dejvuth Suwimonteerabuth and
Javier Esparza and
Stefan Schwoon},
editor = {Klaus Havelund and
Rupak Majumdar and
Jens Palsberg},
title = {Symbolic Context-Bounded Analysis of Multithreaded Java Programs},
booktitle = {Model Checking Software, 15th International {SPIN} Workshop, Los Angeles,
CA, USA, August 10-12, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5156},
pages = {270--287},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85114-1\_19},
doi = {10.1007/978-3-540-85114-1\_19},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/SuwimonteerabuthES08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/EsparzaKL08,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
editor = {Susanne Albers and
Pascal Weil},
title = {Convergence Thresholds of Newton's Method for Monotone Polynomial
Equations},
booktitle = {{STACS} 2008, 25th Annual Symposium on Theoretical Aspects of Computer
Science, Bordeaux, France, February 21-23, 2008, Proceedings},
series = {LIPIcs},
volume = {1},
pages = {289--300},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.STACS.2008.1351},
doi = {10.4230/LIPICS.STACS.2008.1351},
timestamp = {Tue, 22 Jun 2021 15:44:08 +0200},
biburl = {https://dblp.org/rec/conf/stacs/EsparzaKL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BouajjaniESS08,
author = {Ahmed Bouajjani and
Javier Esparza and
Stefan Schwoon and
Dejvuth Suwimonteerabuth},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {SDSIrep: {A} Reputation System Based on {SDSI}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {501--516},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_39},
doi = {10.1007/978-3-540-78800-3\_39},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BouajjaniESS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0802-2856,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
title = {Convergence Thresholds of Newton's Method for Monotone Polynomial
Equations},
journal = {CoRR},
volume = {abs/0802.2856},
year = {2008},
url = {http://arxiv.org/abs/0802.2856},
eprinttype = {arXiv},
eprint = {0802.2856},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0802-2856.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SuwimonteerabuthBSE07,
author = {Dejvuth Suwimonteerabuth and
Felix Berger and
Stefan Schwoon and
Javier Esparza},
editor = {Werner Damm and
Holger Hermanns},
title = {jMoped: {A} Test Environment for Java Programs},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {164--167},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_19},
doi = {10.1007/978-3-540-73368-3\_19},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/SuwimonteerabuthBSE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/EsparzaKL07,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
editor = {Tero Harju and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}}},
title = {An Extension of Newton's Method to \emph{omega} -Continuous Semirings},
booktitle = {Developments in Language Theory, 11th International Conference, {DLT}
2007, Turku, Finland, July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4588},
pages = {157--168},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73208-2\_17},
doi = {10.1007/978-3-540-73208-2\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/EsparzaKL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/EsparzaKL07,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
editor = {Wolfgang Thomas and
Pascal Weil},
title = {On Fixed Point Equations over Commutative Semirings},
booktitle = {{STACS} 2007, 24th Annual Symposium on Theoretical Aspects of Computer
Science, Aachen, Germany, February 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4393},
pages = {296--307},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-70918-3\_26},
doi = {10.1007/978-3-540-70918-3\_26},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/EsparzaKL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/KieferLE07,
author = {Stefan Kiefer and
Michael Luttenberger and
Javier Esparza},
editor = {David S. Johnson and
Uriel Feige},
title = {On the convergence of Newton's method for monotone systems of polynomial
equations},
booktitle = {Proceedings of the 39th Annual {ACM} Symposium on Theory of Computing,
San Diego, California, USA, June 11-13, 2007},
pages = {217--226},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250790.1250822},
doi = {10.1145/1250790.1250822},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/KieferLE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KuceraEM06,
author = {Anton{\'{\i}}n Kucera and
Javier Esparza and
Richard Mayr},
title = {Model Checking Probabilistic Pushdown Automata},
journal = {Log. Methods Comput. Sci.},
volume = {2},
number = {1},
year = {2006},
url = {https://doi.org/10.2168/LMCS-2(1:2)2006},
doi = {10.2168/LMCS-2(1:2)2006},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/KuceraEM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/EsparzaJM06,
author = {Javier Esparza and
Petr Jancar and
Alexander Miller},
title = {On the Complexity of Consistency and Complete State Coding for Signal
Transition Graphs},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {47--56},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.17},
doi = {10.1109/ACSD.2006.17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/EsparzaJM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/SuwimonteerabuthSE06,
author = {Dejvuth Suwimonteerabuth and
Stefan Schwoon and
Javier Esparza},
editor = {Susanne Graf and
Wenhui Zhang},
title = {Efficient Algorithms for Alternating Pushdown Systems with an Application
to the Computation of Certificate Chains},
booktitle = {Automated Technology for Verification and Analysis, 4th International
Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
series = {Lecture Notes in Computer Science},
volume = {4218},
pages = {141--153},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901914\_13},
doi = {10.1007/11901914\_13},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/SuwimonteerabuthSE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DelzannoES06,
author = {Giorgio Delzanno and
Javier Esparza and
Jir{\'{\i}} Srba},
editor = {Susanne Graf and
Wenhui Zhang},
title = {Monotonic Set-Extended Prefix Rewriting and Verification of Recursive
Ping-Pong Protocols},
booktitle = {Automated Technology for Verification and Analysis, 4th International
Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
series = {Lecture Notes in Computer Science},
volume = {4218},
pages = {415--429},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901914\_31},
doi = {10.1007/11901914\_31},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/DelzannoES06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/BestEWW06,
author = {Eike Best and
Javier Esparza and
Harro Wimmel and
Karsten Wolf},
editor = {Irina B. Virbitskaite and
Andrei Voronkov},
title = {Separability in Conflict-Free Petri Nets},
booktitle = {Perspectives of Systems Informatics, 6th International Andrei Ershov
Memorial Conference, {PSI} 2006, Novosibirsk, Russia, June 27-30,
2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4378},
pages = {1--18},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70881-0\_1},
doi = {10.1007/978-3-540-70881-0\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/BestEWW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BouajjaniE06,
author = {Ahmed Bouajjani and
Javier Esparza},
editor = {Frank Pfenning},
title = {Rewriting Models of Boolean Programs},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {136--150},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_11},
doi = {10.1007/11805618\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/BouajjaniE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/EsparzaKS06,
author = {Javier Esparza and
Stefan Kiefer and
Stefan Schwoon},
editor = {Holger Hermanns and
Jens Palsberg},
title = {Abstraction Refinement with Craig Interpolation and Symbolic Pushdown
Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
12th International Conference, {TACAS} 2006 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2006,
Vienna, Austria, March 25 - April 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3920},
pages = {489--503},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691372\_35},
doi = {10.1007/11691372\_35},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/EsparzaKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BouajjaniESS06,
author = {Ahmed Bouajjani and
Javier Esparza and
Stefan Schwoon and
Jan Strejcek},
editor = {Parosh Aziz Abdulla and
Ahmed Bouajjani and
Markus M{\"{u}}ller{-}Olm},
title = {Reachability analysis of multithreaded software with asynchronous
communication},
booktitle = {Software Verification: Infinite-State Model Checking and Static Program
Analysis, 19.02. - 24.02.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06081},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/726},
timestamp = {Thu, 10 Jun 2021 13:02:06 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BouajjaniESS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BrazdilEK05,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Javier Esparza and
Anton{\'{\i}}n Kucera},
title = {Analysis and Prediction of the Long-Run Behavior of Probabilistic
Sequential Programs with Recursion (Extended Abstract)},
booktitle = {46th Annual {IEEE} Symposium on Foundations of Computer Science {(FOCS}
2005), 23-25 October 2005, Pittsburgh, PA, USA, Proceedings},
pages = {521--530},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SFCS.2005.19},
doi = {10.1109/SFCS.2005.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BrazdilEK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BouajjaniESS05,
author = {Ahmed Bouajjani and
Javier Esparza and
Stefan Schwoon and
Jan Strejcek},
editor = {Ramaswamy Ramanujam and
Sandeep Sen},
title = {Reachability Analysis of Multithreaded Software with Asynchronous
Communication},
booktitle = {{FSTTCS} 2005: Foundations of Software Technology and Theoretical
Computer Science, 25th International Conference, Hyderabad, India,
December 15-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3821},
pages = {348--359},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11590156\_28},
doi = {10.1007/11590156\_28},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BouajjaniESS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EsparzaKM05,
author = {Javier Esparza and
Anton{\'{\i}}n Kucera and
Richard Mayr},
title = {Quantitative Analysis of Probabilistic Pushdown Automata: Expectations
and Variances},
booktitle = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),
26-29 June 2005, Chicago, IL, USA, Proceedings},
pages = {117--126},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/LICS.2005.39},
doi = {10.1109/LICS.2005.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/EsparzaKM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/EsparzaGS05,
author = {Javier Esparza and
Pierre Ganty and
Stefan Schwoon},
editor = {Chris Hankin and
Igor Siveroni},
title = {Locality-Based Abstractions},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {118--134},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_10},
doi = {10.1007/11547662\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/EsparzaGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SchwoonE05,
author = {Stefan Schwoon and
Javier Esparza},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {A Note on On-the-Fly Verification Algorithms},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {174--190},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_12},
doi = {10.1007/978-3-540-31980-1\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SchwoonE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SuwimonteerabuthSE05,
author = {Dejvuth Suwimonteerabuth and
Stefan Schwoon and
Javier Esparza},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {jMoped: {A} Java Bytecode Checker Based on Moped},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {541--545},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_35},
doi = {10.1007/978-3-540-31980-1\_35},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SuwimonteerabuthSE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0508003,
author = {Javier Esparza and
Anton{\'{\i}}n Kucera and
Richard Mayr},
title = {Model Checking Probabilistic Pushdown Automata},
journal = {CoRR},
volume = {abs/cs/0508003},
year = {2005},
url = {http://arxiv.org/abs/cs/0508003},
eprinttype = {arXiv},
eprint = {cs/0508003},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0508003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Esparza04,
author = {Javier Esparza},
title = {A Polynomial-Time Algorithm for Checking Consistency of Free-Choice
Signal Transition Graphs},
journal = {Fundam. Informaticae},
volume = {62},
number = {2},
pages = {197--220},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi62-2-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Esparza04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/EsparzaE04,
author = {Javier Esparza and
Kousha Etessami},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Verifying Probabilistic Procedural Programs},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {16--31},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_2},
doi = {10.1007/978-3-540-30538-5\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/EsparzaE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EsparzaKM04,
author = {Javier Esparza and
Anton{\'{\i}}n Kucera and
Richard Mayr},
title = {Model Checking Probabilistic Pushdown Automata},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
14-17 July 2004, Turku, Finland, Proceedings},
pages = {12--21},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/LICS.2004.1319596},
doi = {10.1109/LICS.2004.1319596},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/EsparzaKM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BouajjaniET05,
author = {Ahmed Bouajjani and
Javier Esparza and
Tayssir Touili},
editor = {Julian C. Bradfield and
Faron Moller},
title = {Reachability Analysis of Synchronized {PA} Systems},
booktitle = {Proceedings of the 6th International Workshop on Verification of Infinite-State
Systems, {INFINITY} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {138},
number = {3},
pages = {153--178},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.02.063},
doi = {10.1016/J.ENTCS.2005.02.063},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BouajjaniET05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/EsparzaKS03,
author = {Javier Esparza and
Anton{\'{\i}}n Kucera and
Stefan Schwoon},
title = {Model checking {LTL} with regular valuations for pushdown systems},
journal = {Inf. Comput.},
volume = {186},
number = {2},
pages = {355--376},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(03)00139-1},
doi = {10.1016/S0890-5401(03)00139-1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/EsparzaKS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BouajjaniET03,
author = {Ahmed Bouajjani and
Javier Esparza and
Tayssir Touili},
title = {A Generic Approach to the Static Analysis of Concurrent Programs with
Procedures},
journal = {Int. J. Found. Comput. Sci.},
volume = {14},
number = {4},
pages = {551},
year = {2003},
url = {https://doi.org/10.1142/S0129054103001893},
doi = {10.1142/S0129054103001893},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BouajjaniET03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KuceraE03,
author = {Anton{\'{\i}}n Kucera and
Javier Esparza},
title = {A Logical Viewpoint on Process-algebraic Quotients},
journal = {J. Log. Comput.},
volume = {13},
number = {6},
pages = {863--880},
year = {2003},
url = {https://doi.org/10.1093/logcom/13.6.863},
doi = {10.1093/LOGCOM/13.6.863},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KuceraE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Esparza03,
author = {Javier Esparza},
title = {A Polynomial-Time Algorithm for Checking Consistency of Free-Choice
Signal Transition Graphs},
booktitle = {3rd International Conference on Application of Concurrency to System
Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
pages = {61--70},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSD.2003.1207700},
doi = {10.1109/CSD.2003.1207700},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Esparza03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SchroterSE03,
author = {Claus Schr{\"{o}}ter and
Stefan Schwoon and
Javier Esparza},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {The Model-Checking Kit},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {463--472},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_29},
doi = {10.1007/3-540-44919-1\_29},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/SchroterSE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/StefanescuEM03,
author = {Alin Stefanescu and
Javier Esparza and
Anca Muscholl},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Synthesis of Distributed Algorithms Using Asynchronous Automata},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {27--41},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_2},
doi = {10.1007/978-3-540-45187-7\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/StefanescuEM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Esparza03,
author = {Javier Esparza},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Zolt{\'{a}}n F{\"{u}}l{\"{o}}p},
title = {An Automata-Theoretic Approach to Software Verification},
booktitle = {Developments in Language Theory, 7th International Conference, {DLT}
2003, Szeged, Hungary, July 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2710},
pages = {21},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45007-6\_2},
doi = {10.1007/3-540-45007-6\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Esparza03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BouajjaniET03,
author = {Ahmed Bouajjani and
Javier Esparza and
Tayssir Touili},
editor = {Alex Aiken and
Greg Morrisett},
title = {A generic approach to the static analysis of concurrent programs with
procedures},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {62--73},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604137},
doi = {10.1145/604131.604137},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/popl/BouajjaniET03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/EsparzaM03,
author = {Javier Esparza and
Monika Maidl},
editor = {Hubert Garavel and
John Hatcliff},
title = {Simple Representative Instantiations for Multicast Protocols},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
9th International Conference, {TACAS} 2003, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {128--143},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_10},
doi = {10.1007/3-540-36577-X\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/EsparzaM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/EsparzaRV02,
author = {Javier Esparza and
Stefan R{\"{o}}mer and
Walter Vogler},
title = {An Improvement of McMillan's Unfolding Algorithm},
journal = {Formal Methods Syst. Des.},
volume = {20},
number = {3},
pages = {285--310},
year = {2002},
url = {https://doi.org/10.1023/A:1014746130920},
doi = {10.1023/A:1014746130920},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/EsparzaRV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Esparza02,
author = {Javier Esparza},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Grammars as Processes},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {277--297},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_16},
doi = {10.1007/3-540-45711-9\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Esparza02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Esparza02,
author = {Javier Esparza},
editor = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla},
title = {An Algebraic Approach to the Static Analysis of Concurrent Software},
booktitle = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
Spain, September 17-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2477},
pages = {3},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45789-5\_3},
doi = {10.1007/3-540-45789-5\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Esparza02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2002,
editor = {Javier Esparza and
Charles Lakos},
title = {Applications and Theory of Petri Nets 2002, 23rd International Conference,
{ICATPN} 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2360},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48068-4},
doi = {10.1007/3-540-48068-4},
isbn = {3-540-43787-8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EsparzaS01,
author = {Javier Esparza and
Claus Schr{\"{o}}ter},
title = {Unfolding Based Algorithms for the Reachability Problem},
journal = {Fundam. Informaticae},
volume = {47},
number = {3-4},
pages = {231--245},
year = {2001},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi47-3-4-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/EsparzaS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EsparzaS01,
author = {Javier Esparza and
Stefan Schwoon},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {A BDD-Based Model Checker for Recursive Programs},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {324--336},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_30},
doi = {10.1007/3-540-44585-4\_30},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/EsparzaS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/EsparzaS01,
author = {Javier Esparza and
Claus Schr{\"{o}}ter},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Net Reductions for {LTL} Model-Checking},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {310--324},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_25},
doi = {10.1007/3-540-44798-9\_25},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/EsparzaS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Esparza01,
author = {Javier Esparza},
title = {Model Checking (with) Declarative Programs},
booktitle = {Proceedings of the 3rd international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, September 5-7,
2001, Florence, Italy},
pages = {37},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/773184.773189},
doi = {10.1145/773184.773189},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Esparza01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/EsparzaH01,
author = {Javier Esparza and
Keijo Heljanko},
editor = {Matthew B. Dwyer},
title = {Implementing {LTL} Model Checking with Net Unfoldings},
booktitle = {Model Checking Software, 8th International {SPIN} Workshop, Toronto,
Canada, May 19-20, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2057},
pages = {37--56},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45139-0\_4},
doi = {10.1007/3-540-45139-0\_4},
timestamp = {Thu, 02 Jun 2022 12:33:45 +0200},
biburl = {https://dblp.org/rec/conf/spin/EsparzaH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/EsparzaKS01,
author = {Javier Esparza and
Anton{\'{\i}}n Kucera and
Stefan Schwoon},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Model-Checking {LTL} with Regular Valuations for Pushdown Systems},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {316--339},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_16},
doi = {10.1007/3-540-45500-0\_16},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/EsparzaKS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/phaunRS01/BurkartE01,
author = {Olaf Burkart and
Javier Esparza},
editor = {Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {More Infinite Results},
booktitle = {Current Trends in Theoretical Computer Science, Entering the 21th
Century},
pages = {480--503},
publisher = {World Scientific},
year = {2001},
timestamp = {Sat, 03 Aug 2019 22:52:51 +0200},
biburl = {https://dblp.org/rec/books/ws/phaunRS01/BurkartE01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/EsparzaRS00,
author = {Javier Esparza and
Peter Rossmanith and
Stefan Schwoon},
title = {A Uniform Framework for Problems on Context-Free Grammars},
journal = {Bull. {EATCS}},
volume = {72},
pages = {169--177},
year = {2000},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/EsparzaRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/EsparzaM00,
author = {Javier Esparza and
Stephan Melzer},
title = {Verification of Safety Properties Using Integer Programming: Beyond
the State Equation},
journal = {Formal Methods Syst. Des.},
volume = {16},
number = {2},
pages = {159--189},
year = {2000},
url = {https://doi.org/10.1023/A:1008743212620},
doi = {10.1023/A:1008743212620},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/EsparzaM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BouajjaniEFMRWW00,
author = {Ahmed Bouajjani and
Javier Esparza and
Alain Finkel and
Oded Maler and
Peter Rossmanith and
Bernard Willems and
Pierre Wolper},
title = {An efficient automata approach to some problems on context-free grammars},
journal = {Inf. Process. Lett.},
volume = {74},
number = {5-6},
pages = {221--227},
year = {2000},
url = {https://doi.org/10.1016/S0020-0190(00)00055-7},
doi = {10.1016/S0020-0190(00)00055-7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/BouajjaniEFMRWW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EsparzaHRS00,
author = {Javier Esparza and
David Hansel and
Peter Rossmanith and
Stefan Schwoon},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {Efficient Algorithms for Model Checking Pushdown Systems},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {232--247},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_20},
doi = {10.1007/10722167\_20},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/EsparzaHRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EsparzaH00,
author = {Javier Esparza and
Keijo Heljanko},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {A New Unfolding Approach to {LTL} Model Checking},
booktitle = {Automata, Languages and Programming, 27th International Colloquium,
{ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1853},
pages = {475--486},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_40},
doi = {10.1007/3-540-45022-X\_40},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EsparzaH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/NietoE00,
author = {Leonor Prensa Nieto and
Javier Esparza},
editor = {Mogens Nielsen and
Branislav Rovan},
title = {Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries
in Isabelle/HOL},
booktitle = {Mathematical Foundations of Computer Science 2000, 25th International
Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September
1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1893},
pages = {619--628},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44612-5\_57},
doi = {10.1007/3-540-44612-5\_57},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/NietoE00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/movep/Esparza00,
author = {Javier Esparza},
editor = {Franck Cassez and
Claude Jard and
Brigitte Rozoy and
Mark Dermot Ryan},
title = {Verification of Systems with an Infinite State Space},
booktitle = {Modeling and Verification of Parallel Processes, 4th Summer School,
{MOVEP} 2000, Nantes, France, June 19-23, 2000},
series = {Lecture Notes in Computer Science},
volume = {2067},
pages = {183--186},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45510-8\_8},
doi = {10.1007/3-540-45510-8\_8},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/movep/Esparza00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/EsparzaP00,
author = {Javier Esparza and
Andreas Podelski},
editor = {Mark N. Wegman and
Thomas W. Reps},
title = {Efficient Algorithms for pre\({}^{\mbox{*}}\) and post\({}^{\mbox{*}}\)
on Interprocedural Parallel Flow Graphs},
booktitle = {{POPL} 2000, Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Boston, Massachusetts, USA,
January 19-21, 2000},
pages = {1--11},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/325694.325697},
doi = {10.1145/325694.325697},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/EsparzaP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/JanarEM99,
author = {Petr Jancar and
Javier Esparza and
Faron Moller},
title = {Petri Nets and Regular Processes},
journal = {J. Comput. Syst. Sci.},
volume = {59},
number = {3},
pages = {476--503},
year = {1999},
url = {https://doi.org/10.1006/jcss.1999.1643},
doi = {10.1006/JCSS.1999.1643},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/JanarEM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/EsparzaR99,
author = {Javier Esparza and
Stefan R{\"{o}}mer},
editor = {Jos C. M. Baeten and
Sjouke Mauw},
title = {An Unfolding Algorithm for Synchronous Products of Transition Systems},
booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
The Netherlands, August 24-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1664},
pages = {2--20},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48320-9\_2},
doi = {10.1007/3-540-48320-9\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/EsparzaR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/RocklE99,
author = {Christine R{\"{o}}ckl and
Javier Esparza},
editor = {Jos C. M. Baeten and
Sjouke Mauw},
title = {Proof-Checking Protocols Using Bisimulations},
booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
The Netherlands, August 24-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1664},
pages = {525--540},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48320-9\_36},
doi = {10.1007/3-540-48320-9\_36},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/RocklE99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DelzannoEP99,
author = {Giorgio Delzanno and
Javier Esparza and
Andreas Podelski},
editor = {J{\"{o}}rg Flum and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Constraint-Based Analysis of Broadcast Protocols},
booktitle = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th
Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1683},
pages = {50--66},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48168-0\_5},
doi = {10.1007/3-540-48168-0\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/DelzannoEP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KuceraE99,
author = {Anton{\'{\i}}n Kucera and
Javier Esparza},
editor = {J{\"{o}}rg Flum and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {A Logical Viewpoint on Process-Algebraic Quotients},
booktitle = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th
Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1683},
pages = {499--514},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48168-0\_35},
doi = {10.1007/3-540-48168-0\_35},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/KuceraE99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/EsparzaK99,
author = {Javier Esparza and
Jens Knoop},
editor = {Wolfgang Thomas},
title = {An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis},
booktitle = {Foundations of Software Science and Computation Structure, Second
International Conference, FoSSaCS'99, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'99,
Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1578},
pages = {14--30},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49019-1\_2},
doi = {10.1007/3-540-49019-1\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/EsparzaK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EsparzaFM99,
author = {Javier Esparza and
Alain Finkel and
Richard Mayr},
title = {On the Verification of Broadcast Protocols},
booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
Italy, July 2-5, 1999},
pages = {352--359},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/LICS.1999.782630},
doi = {10.1109/LICS.1999.782630},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/EsparzaFM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Esparza98,
author = {Javier Esparza},
title = {Reachability in Live and Safe Free-Choice Petri Nets is NP-Complete},
journal = {Theor. Comput. Sci.},
volume = {198},
number = {1-2},
pages = {211--224},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(97)00235-1},
doi = {10.1016/S0304-3975(97)00235-1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Esparza98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Esparza97,
author = {Javier Esparza},
title = {Decidability of Model Checking for Infinite-State Concurrent Systems},
journal = {Acta Informatica},
volume = {34},
number = {2},
pages = {85--107},
year = {1997},
url = {https://doi.org/10.1007/s002360050074},
doi = {10.1007/S002360050074},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Esparza97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BurkartE97,
author = {Olaf Burkart and
Javier Esparza},
title = {More Infinite Results},
journal = {Bull. {EATCS}},
volume = {62},
year = {1997},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/BurkartE97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Esparza97,
author = {Javier Esparza},
title = {Petri Nets, Commutative Context-Free Grammars, and Basic Parallel
Processes},
journal = {Fundam. Informaticae},
volume = {31},
number = {1},
pages = {13--25},
year = {1997},
url = {https://doi.org/10.3233/FI-1997-3112},
doi = {10.3233/FI-1997-3112},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Esparza97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EsparzaM97,
author = {Javier Esparza and
Stephan Melzer},
editor = {Pierre Az{\'{e}}ma and
Gianfranco Balbo},
title = {Model Checking {LTL} Using Constraint Programming},
booktitle = {Application and Theory of Petri Nets 1997, 18th International Conference,
{ICATPN} '97, Toulouse, France, June 23-27, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1248},
pages = {1--20},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63139-9\_26},
doi = {10.1007/3-540-63139-9\_26},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/EsparzaM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/EsparzaR97,
author = {Javier Esparza and
Peter Rossmanith},
editor = {Christian Freksa and
Matthias Jantzen and
R{\"{u}}diger Valk},
title = {An Automata Approach to Some Problems on Context-Free Grammars},
booktitle = {Foundations of Computer Science: Potential - Theory - Cognition, to
Wilfried Brauer on the occasion of his sixtieth birthday},
series = {Lecture Notes in Computer Science},
volume = {1337},
pages = {143--152},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0052083},
doi = {10.1007/BFB0052083},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/EsparzaR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BouajjaniEM97,
author = {Ahmed Bouajjani and
Javier Esparza and
Oded Maler},
editor = {Antoni W. Mazurkiewicz and
J{\'{o}}zef Winkowski},
title = {Reachability Analysis of Pushdown Automata: Application to Model-Checking},
booktitle = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw,
Poland, July 1-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1243},
pages = {135--150},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63141-0\_10},
doi = {10.1007/3-540-63141-0\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BouajjaniEM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EsparzaB96,
author = {Javier Esparza and
Glenn Bruns},
title = {Trapping Mutual Exclusion in the Box Calculus},
journal = {Theor. Comput. Sci.},
volume = {153},
number = {1{\&}2},
pages = {95--128},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00119-0},
doi = {10.1016/0304-3975(95)00119-0},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/EsparzaB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Esparza96,
author = {Javier Esparza},
editor = {Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Decidability and Complexity of Petri Net Problems - An Introduction},
booktitle = {Lectures on Petri Nets {I:} Basic Models, Advances in Petri Nets,
the volumes are based on the Advanced Course on Petri Nets, held in
Dagstuhl, September 1996},
series = {Lecture Notes in Computer Science},
volume = {1491},
pages = {374--428},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65306-6\_20},
doi = {10.1007/3-540-65306-6\_20},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/Esparza96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/MelzerRE96,
author = {Stephan Melzer and
Stefan R{\"{o}}mer and
Javier Esparza},
editor = {Martin Wirsing and
Maurice Nivat},
title = {Verification Using {PEP}},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference,
{AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1101},
pages = {591--594},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014349},
doi = {10.1007/BFB0014349},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/MelzerRE96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/MelzerE96,
author = {Stephan Melzer and
Javier Esparza},
editor = {Hanne Riis Nielson},
title = {Checking System Properties via Integer Programming},
booktitle = {Programming Languages and Systems - ESOP'96, 6th European Symposium
on Programming, Link{\"{o}}ping, Sweden, April 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1058},
pages = {250--264},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61055-3\_41},
doi = {10.1007/3-540-61055-3\_41},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/MelzerE96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BradfieldEM96,
author = {Julian C. Bradfield and
Javier Esparza and
Angelika Mader},
editor = {Friedhelm Meyer auf der Heide and
Burkhard Monien},
title = {An Effective Tableau System for the Linear Time {\(\mathrm{\mu}\)}-Calculus},
booktitle = {Automata, Languages and Programming, 23rd International Colloquium,
ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1099},
pages = {98--109},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61440-0\_120},
doi = {10.1007/3-540-61440-0\_120},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/BradfieldEM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JancarE96,
author = {Petr Jancar and
Javier Esparza},
editor = {Friedhelm Meyer auf der Heide and
Burkhard Monien},
title = {Deciding Finiteness of Petri Nets Up To Bisimulation},
booktitle = {Automata, Languages and Programming, 23rd International Colloquium,
ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1099},
pages = {478--489},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61440-0\_152},
doi = {10.1007/3-540-61440-0\_152},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/JancarE96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/EsparzaRV96,
author = {Javier Esparza and
Stefan R{\"{o}}mer and
Walter Vogler},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {An Improvement of McMillan's Unfolding Algorithm},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Second
International Workshop, {TACAS} '96, Passau, Germany, March 27-29,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1055},
pages = {87--106},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61042-1\_40},
doi = {10.1007/3-540-61042-1\_40},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/EsparzaRV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BurkartE96,
author = {Olaf Burkart and
Javier Esparza},
editor = {Bernhard Steffen and
Didier Caucal},
title = {More infinite results},
booktitle = {First International Workshop on Verification of Infinite State Systems,
Infinity 1996, Universit{\`{a}} di Pisa, Pisa, Italy, August 30-31,
1996},
series = {Electronic Notes in Theoretical Computer Science},
volume = {5},
pages = {29},
publisher = {Elsevier},
year = {1996},
url = {https://doi.org/10.1016/S1571-0661(05)80680-2},
doi = {10.1016/S1571-0661(05)80680-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BurkartE96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DeselE95,
author = {J{\"{o}}rg Desel and
Javier Esparza},
title = {Shortest Paths in Reachability Graphs},
journal = {J. Comput. Syst. Sci.},
volume = {51},
number = {2},
pages = {314--323},
year = {1995},
url = {https://doi.org/10.1006/jcss.1995.1070},
doi = {10.1006/JCSS.1995.1070},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/DeselE95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChengEP95,
author = {Allan Cheng and
Javier Esparza and
Jens Palsberg},
title = {Complexity Results for 1-Safe Nets},
journal = {Theor. Comput. Sci.},
volume = {147},
number = {1{\&}2},
pages = {117--136},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00231-7},
doi = {10.1016/0304-3975(94)00231-7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/ChengEP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EsparzaK95,
author = {Javier Esparza and
Astrid Kiehn},
editor = {Pierre Wolper},
title = {On the Model Checking Problem for Branching Time Logics and Basic
Parallel Processes},
booktitle = {Computer Aided Verification, 7th International Conference, Li{\`{e}}ge,
Belgium, July, 3-5, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {939},
pages = {353--366},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60045-0\_62},
doi = {10.1007/3-540-60045-0\_62},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/EsparzaK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Esparza95,
author = {Javier Esparza},
editor = {Horst Reichel},
title = {Petri Nets, Commutative Context-Free Grammars, and Basic Parallel
Processes},
booktitle = {Fundamentals of Computation Theory, 10th International Symposium,
{FCT} '95, Dresden, Germany, August 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {965},
pages = {221--232},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60249-6\_54},
doi = {10.1007/3-540-60249-6\_54},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Esparza95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/EsparzaN94,
author = {Javier Esparza and
Mogens Nielsen},
title = {Decidability Issues for Petri Nets - a survey},
journal = {Bull. {EATCS}},
volume = {52},
pages = {244--262},
year = {1994},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/EsparzaN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/EsparzaN94,
author = {Javier Esparza and
Mogens Nielsen},
title = {Decidability Issues for Petri Nets - a survey},
journal = {J. Inf. Process. Cybern.},
volume = {30},
number = {3},
pages = {143--160},
year = {1994},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/EsparzaN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Esparza94,
author = {Javier Esparza},
title = {Reduction and Synthesis of Live and Bounded Free Choice Petri Nets},
journal = {Inf. Comput.},
volume = {114},
number = {1},
pages = {50--87},
year = {1994},
url = {https://doi.org/10.1006/inco.1994.1080},
doi = {10.1006/INCO.1994.1080},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Esparza94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Esparza94,
author = {Javier Esparza},
title = {Model Checking Using Net Unfoldings},
journal = {Sci. Comput. Program.},
volume = {23},
number = {2-3},
pages = {151--195},
year = {1994},
url = {https://doi.org/10.1016/0167-6423(94)00019-0},
doi = {10.1016/0167-6423(94)00019-0},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/Esparza94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/Esparza94,
author = {Javier Esparza},
editor = {Sophie Tison},
title = {On the Decidability of Model Checking for Several {\(\mathrm{\mu}\)}-calculi
and Petri Nets},
booktitle = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
Edinburgh, UK, April 11-13, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {787},
pages = {115--129},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0017477},
doi = {10.1007/BFB0017477},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caap/Esparza94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KoutnyEB94,
author = {Maciej Koutny and
Javier Esparza and
Eike Best},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Operational Semantics for the Petri Box Calculus},
booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {836},
pages = {210--225},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-540-48654-1\_19},
doi = {10.1007/978-3-540-48654-1\_19},
timestamp = {Tue, 31 Aug 2021 12:07:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/KoutnyEB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DeselE93,
author = {J{\"{o}}rg Desel and
Javier Esparza},
title = {Reachability in Cyclic Extended Free-Choice Systems},
journal = {Theor. Comput. Sci.},
volume = {114},
number = {1},
pages = {93--118},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90154-L},
doi = {10.1016/0304-3975(93)90154-L},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DeselE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DeselE93,
author = {J{\"{o}}rg Desel and
Javier Esparza},
editor = {Marco Ajmone Marsan},
title = {Shortest Paths in Reachability Graphs},
booktitle = {Application and Theory of Petri Nets 1993, 14th International Conference,
Chicago, Illinois, USA, June 21-25, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {691},
pages = {224--241},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56863-8\_49},
doi = {10.1007/3-540-56863-8\_49},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/DeselE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChengEP93,
author = {Allan Cheng and
Javier Esparza and
Jens Palsberg},
editor = {R. K. Shyamasundar},
title = {Complexity Results for 1-safe Nets},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
13th Conference, Bombay, India, December 15-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {761},
pages = {326--337},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57529-4\_66},
doi = {10.1007/3-540-57529-4\_66},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ChengEP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BestDE93,
author = {Eike Best and
Raymond R. Devillers and
Javier Esparza},
editor = {Patrice Enjalbert and
Alain Finkel and
Klaus W. Wagner},
title = {General Refinement and Recursion Operators for the Petri Box Calculus},
booktitle = {{STACS} 93, 10th Annual Symposium on Theoretical Aspects of Computer
Science, W{\"{u}}rzburg, Germany, February 25-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {665},
pages = {130--140},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56503-5\_16},
doi = {10.1007/3-540-56503-5\_16},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BestDE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Esparza93,
author = {Javier Esparza},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Model Checking Using Net Unfoldings},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {613--628},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_93},
doi = {10.1007/3-540-56610-4\_93},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Esparza93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/EsparzaS93,
author = {Javier Esparza and
Bernhard von Stengel},
editor = {Jan van Leeuwen},
title = {The Asynchronous Committee Meeting Problem},
booktitle = {Graph-Theoretic Concepts in Computer Science, 19th International Workshop,
{WG} '93, Utrecht, The Netherlands, June 16-18, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {790},
pages = {276--287},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57899-4\_59},
doi = {10.1007/3-540-57899-4\_59},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wg/EsparzaS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Esparza92,
author = {Javier Esparza},
title = {A Solution to the Covering Problem for 1-Bounded Conflict-Free Petri
Nets Using Linear Programming},
journal = {Inf. Process. Lett.},
volume = {41},
number = {6},
pages = {313--319},
year = {1992},
url = {https://doi.org/10.1016/0020-0190(92)90158-R},
doi = {10.1016/0020-0190(92)90158-R},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Esparza92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BestDE92,
author = {Eike Best and
J{\"{o}}rg Desel and
Javier Esparza},
title = {Traps Characterize Home States in Free Choice Systems},
journal = {Theor. Comput. Sci.},
volume = {101},
number = {2},
pages = {161--176},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90048-K},
doi = {10.1016/0304-3975(92)90048-K},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BestDE92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EsparzaS92,
author = {Javier Esparza and
Manuel Silva Su{\'{a}}rez},
title = {A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice
Nets},
journal = {Theor. Comput. Sci.},
volume = {102},
number = {1},
pages = {185--205},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90299-U},
doi = {10.1016/0304-3975(92)90299-U},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/EsparzaS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/EsparzaS91,
author = {Javier Esparza and
Manuel Silva Su{\'{a}}rez},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Compositional Synthesis of Live and Bounded Free Choice Petri Nets},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {172--187},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_88},
doi = {10.1007/3-540-54430-5\_88},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/EsparzaS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BestE91,
author = {Eike Best and
Javier Esparza},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine B{\"{u}}ning and
Michael M. Richter},
title = {Model Checking of Persistent Petri Nets},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {35--52},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023756},
doi = {10.1007/BFB0023756},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BestE91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DeselE91,
author = {J{\"{o}}rg Desel and
Javier Esparza},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Reachability in Reversible Free Choice Systems},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {384--397},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020814},
doi = {10.1007/BFB0020814},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/DeselE91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EsparzaS90,
author = {Javier Esparza and
Manuel Silva Su{\'{a}}rez},
editor = {Grzegorz Rozenberg},
title = {Top-down synthesis of live and bounded free choice nets},
booktitle = {Advances in Petri Nets 1991, Papers from the 11th International Conference
on Applications and Theory of Petri Nets, Paris, France, June 1990},
series = {Lecture Notes in Computer Science},
volume = {524},
pages = {118--139},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0019972},
doi = {10.1007/BFB0019972},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/apn/EsparzaS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Esparza90,
author = {Javier Esparza},
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {Synthesis Rules for Petri Nets, and How they Lead to New Results},
booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {458},
pages = {182--198},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039060},
doi = {10.1007/BFB0039060},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Esparza90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/tum/TUM-I-9023,
author = {J{\"{o}}rg Desel and
Javier Esparza},
title = {Reachability in reversible free-choice systems},
journal = {Forschungsberichte, {TU} Munich},
volume = {{TUM} {I} 9023},
pages = {1--35},
year = {1990},
url = {https://d-nb.info/920791832},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/tr/tum/TUM-I-9023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EsparzaS89,
author = {Javier Esparza and
Manuel Silva Su{\'{a}}rez},
editor = {Grzegorz Rozenberg},
title = {Circuits, handles, bridges and nets},
booktitle = {Advances in Petri Nets 1990 [10th International Conference on Applications
and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings]},
series = {Lecture Notes in Computer Science},
volume = {483},
pages = {210--242},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-53863-1\_27},
doi = {10.1007/3-540-53863-1\_27},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/apn/EsparzaS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EsparzaS89a,
author = {Javier Esparza and
Manuel Silva Su{\'{a}}rez},
editor = {Grzegorz Rozenberg},
title = {On the analysis and synthesis of free choice systems},
booktitle = {Advances in Petri Nets 1990 [10th International Conference on Applications
and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings]},
series = {Lecture Notes in Computer Science},
volume = {483},
pages = {243--286},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-53863-1\_28},
doi = {10.1007/3-540-53863-1\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/EsparzaS89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-15 20:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
