Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stefan Schwoon
@inproceedings{DBLP:journals/corr/abs-2209-10323,
author = {Giann Karlo Aguirre{-}Sambon{\'{\i}} and
Stefan Haar and
Lo{\"{\i}}c Paulev{\'{e}} and
Stefan Schwoon and
Nick W{\"{u}}rdemann},
editor = {Pierre Ganty and
Dario Della Monica},
title = {Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {178--193},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.12},
doi = {10.4204/EPTCS.370.12},
timestamp = {Mon, 31 Oct 2022 12:23:58 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10323.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/JezequelMS20,
author = {Lo{\"{\i}}g Jezequel and
Agnes Madalinski and
Stefan Schwoon},
title = {Distributed computation of vector clocks in Petri net unfoldings for
test selection},
journal = {Discret. Event Dyn. Syst.},
volume = {30},
number = {3},
pages = {441--464},
year = {2020},
url = {https://doi.org/10.1007/s10626-020-00310-4},
doi = {10.1007/S10626-020-00310-4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/JezequelMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/HaarPS20,
author = {Stefan Haar and
Lo{\"{\i}}c Paulev{\'{e}} and
Stefan Schwoon},
editor = {Alessandro Abate and
Tatjana Petrov and
Verena Wolf},
title = {Drawing the Line: Basin Boundaries in Safe Petri Nets},
booktitle = {Computational Methods in Systems Biology - 18th International Conference,
{CMSB} 2020, Konstanz, Germany, September 23-25, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12314},
pages = {321--336},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60327-4\_17},
doi = {10.1007/978-3-030-60327-4\_17},
timestamp = {Thu, 01 Oct 2020 13:38:55 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/HaarPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HaarHSY20,
author = {Stefan Haar and
Serge Haddad and
Stefan Schwoon and
Lina Ye},
editor = {Nitin Saxena and
Sunil Simon},
title = {Active Prediction for Discrete Event Systems},
booktitle = {40th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2020, December 14-18, 2020,
{BITS} Pilani, {K} {K} Birla Goa Campus, Goa, India (Virtual Conference)},
series = {LIPIcs},
volume = {182},
pages = {48:1--48:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2020.48},
doi = {10.4230/LIPICS.FSTTCS.2020.48},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HaarHSY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BerardHSS18,
author = {B{\'{e}}atrice B{\'{e}}rard and
Stefan Haar and
Sylvain Schmitz and
Stefan Schwoon},
title = {The Complexity of Diagnosability and Opacity Verification for Petri
Nets},
journal = {Fundam. Informaticae},
volume = {161},
number = {4},
pages = {317--349},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1706},
doi = {10.3233/FI-2018-1706},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BerardHSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HaarHMS17,
author = {Stefan Haar and
Serge Haddad and
Tarek Melliti and
Stefan Schwoon},
title = {Optimal constructions for active diagnosis},
journal = {J. Comput. Syst. Sci.},
volume = {83},
number = {1},
pages = {101--120},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2016.04.007},
doi = {10.1016/J.JCSS.2016.04.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HaarHMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BerardHSS17,
author = {B{\'{e}}atrice B{\'{e}}rard and
Stefan Haar and
Sylvain Schmitz and
Stefan Schwoon},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {The Complexity of Diagnosability and Opacity Verification for Petri
Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 38th International
Conference, {PETRI} {NETS} 2017, Zaragoza, Spain, June 25-30, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10258},
pages = {200--220},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57861-3\_13},
doi = {10.1007/978-3-319-57861-3\_13},
timestamp = {Wed, 25 Sep 2019 18:08:03 +0200},
biburl = {https://dblp.org/rec/conf/apn/BerardHSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/GermanosHKS15,
author = {Vasileios Germanos and
Stefan Haar and
Victor Khomenko and
Stefan Schwoon},
title = {Diagnosability under Weak Fairness},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {14},
number = {4},
pages = {69:1--69:19},
year = {2015},
url = {https://doi.org/10.1145/2832910},
doi = {10.1145/2832910},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/GermanosHKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ChatainHKS15,
author = {Thomas Chatain and
Stefan Haar and
Maciej Koutny and
Stefan Schwoon},
editor = {Raymond R. Devillers and
Antti Valmari},
title = {Non-atomic Transition Firing in Contextual Nets},
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 = {117--136},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19488-2\_6},
doi = {10.1007/978-3-319-19488-2\_6},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/ChatainHKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/BohmHHHS15,
author = {Stanislav B{\"{o}}hm and
Stefan Haar and
Serge Haddad and
Piotr Hofman and
Stefan Schwoon},
title = {Active diagnosis with observable quiescence},
booktitle = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka,
Japan, December 15-18, 2015},
pages = {1663--1668},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CDC.2015.7402449},
doi = {10.1109/CDC.2015.7402449},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/cdc/BohmHHHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AthanasiouLS15,
author = {Konstantinos Athanasiou and
Hern{\'{a}}n Ponce de Le{\'{o}}n and
Stefan Schwoon},
editor = {Jasmin Christian Blanchette and
Nikolai Kosmatov},
title = {Test Case Generation for Concurrent Systems Using Event Structures},
booktitle = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
Italy, July 22-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9154},
pages = {19--37},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21215-9\_2},
doi = {10.1007/978-3-319-21215-9\_2},
timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
biburl = {https://dblp.org/rec/conf/tap/AthanasiouLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/GermanosHKS14,
author = {Vasileios Germanos and
Stefan Haar and
Victor Khomenko and
Stefan Schwoon},
title = {Diagnosability under Weak Fairness},
booktitle = {14th International Conference on Application of Concurrency to System
Design, {ACSD} 2014, Tunis La Marsa, Tunisia, June 23-27, 2014},
pages = {132--141},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ACSD.2014.9},
doi = {10.1109/ACSD.2014.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/GermanosHKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/ChatainHJPS14,
author = {Thomas Chatain and
Stefan Haar and
Lo{\"{\i}}g Jezequel and
Lo{\"{\i}}c Paulev{\'{e}} and
Stefan Schwoon},
editor = {Pedro Mendes and
Joseph O. Dada and
Kieran Smallbone},
title = {Characterization of Reachable Attractors Using Petri Net Unfoldings},
booktitle = {Computational Methods in Systems Biology - 12th International Conference,
{CMSB} 2014, Manchester, UK, November 17-19, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8859},
pages = {129--142},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12982-2\_10},
doi = {10.1007/978-3-319-12982-2\_10},
timestamp = {Sat, 09 Apr 2022 12:36:34 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/ChatainHJPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChadhaMS14,
author = {Rohit Chadha and
Umang Mathur and
Stefan Schwoon},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Computing Information Flow Using Symbolic Model-Checking},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {505--516},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.505},
doi = {10.4230/LIPICS.FSTTCS.2014.505},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ChadhaMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Schwoon13,
author = {Stefan Schwoon},
title = {Efficient verification of sequential and concurrent systems},
year = {2013},
url = {https://tel.archives-ouvertes.fr/tel-00927066},
timestamp = {Sat, 30 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Schwoon13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HaarKS13,
author = {Stefan Haar and
Christian Kern and
Stefan Schwoon},
title = {Computing the reveals relation in occurrence nets},
journal = {Theor. Comput. Sci.},
volume = {493},
pages = {66--79},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2013.04.028},
doi = {10.1016/J.TCS.2013.04.028},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HaarKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HaarRS13,
author = {Stefan Haar and
C{\'{e}}sar Rodr{\'{\i}}guez and
Stefan Schwoon},
editor = {Josep Carmona and
Mihai T. Lazarescu and
Marta Pietkiewicz{-}Koutny},
title = {Reveal Your Faults: It's Only Fair!},
booktitle = {13th International Conference on Application of Concurrency to System
Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
pages = {120--129},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ACSD.2013.15},
doi = {10.1109/ACSD.2013.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/HaarRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/RodriguezSK13,
author = {C{\'{e}}sar Rodr{\'{\i}}guez and
Stefan Schwoon and
Victor Khomenko},
editor = {Jos{\'{e}} Manuel Colom and
J{\"{o}}rg Desel},
title = {Contextual Merged Processes},
booktitle = {Application and Theory of Petri Nets and Concurrency - 34th International
Conference, {PETRI} {NETS} 2013, Milan, Italy, June 24-28, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7927},
pages = {29--48},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38697-8\_3},
doi = {10.1007/978-3-642-38697-8\_3},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/RodriguezSK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/RodriguezS13,
author = {C{\'{e}}sar Rodr{\'{\i}}guez and
Stefan Schwoon},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {Cunf: {A} Tool for Unfolding and Verifying Petri Nets with Read Arcs},
booktitle = {Automated Technology for Verification and Analysis - 11th International
Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {492--495},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_42},
doi = {10.1007/978-3-319-02444-8\_42},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/RodriguezS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsfma/RodriguezS13,
author = {C{\'{e}}sar Rodr{\'{\i}}guez and
Stefan Schwoon},
editor = {Christine Choppy and
Jun Sun},
title = {An Improved Construction of Petri Net Unfoldings},
booktitle = {1st French Singaporean Workshop on Formal Methods and Applications,
{FSFMA} 2013, July 15-16, 2013, Singapore},
series = {OASIcs},
volume = {31},
pages = {47--52},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/OASIcs.FSFMA.2013.47},
doi = {10.4230/OASICS.FSFMA.2013.47},
timestamp = {Tue, 15 Feb 2022 09:40:03 +0100},
biburl = {https://dblp.org/rec/conf/fsfma/RodriguezS13.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}
}
@inproceedings{DBLP:conf/fsttcs/HaarHMS13,
author = {Stefan Haar and
Serge Haddad and
Tarek Melliti and
Stefan Schwoon},
editor = {Anil Seth and
Nisheeth K. Vishnoi},
title = {Optimal Constructions for Active Diagnosis},
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 = {527--539},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2013.527},
doi = {10.4230/LIPICS.FSTTCS.2013.527},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HaarHMS13.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/tcs/BaldanBCKRS12,
author = {Paolo Baldan and
Alessandro Bruni and
Andrea Corradini and
Barbara K{\"{o}}nig and
C{\'{e}}sar Rodr{\'{\i}}guez and
Stefan Schwoon},
title = {Efficient unfolding of contextual Petri nets},
journal = {Theor. Comput. Sci.},
volume = {449},
pages = {2--22},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.04.046},
doi = {10.1016/J.TCS.2012.04.046},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BaldanBCKRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/RodriguezS12,
author = {C{\'{e}}sar Rodr{\'{\i}}guez and
Stefan Schwoon},
editor = {Maciej Koutny and
Irek Ulidowski},
title = {Verification of Petri Nets with Read Arcs},
booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
{CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7454},
pages = {471--485},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32940-1\_33},
doi = {10.1007/978-3-642-32940-1\_33},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/RodriguezS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/RodriguezSB11,
author = {C{\'{e}}sar Rodr{\'{\i}}guez and
Stefan Schwoon and
Paolo Baldan},
editor = {Joost{-}Pieter Katoen and
Barbara K{\"{o}}nig},
title = {Efficient Contextual Unfolding},
booktitle = {{CONCUR} 2011 - Concurrency Theory - 22nd International Conference,
{CONCUR} 2011, Aachen, Germany, September 6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6901},
pages = {342--357},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23217-6\_23},
doi = {10.1007/978-3-642-23217-6\_23},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/RodriguezSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/SchwoonR11,
author = {Stefan Schwoon and
C{\'{e}}sar Rodr{\'{\i}}guez},
editor = {Markus Holzer and
Martin Kutrib and
Giovanni Pighizzini},
title = {Construction and SAT-Based Verification of Contextual Unfoldings},
booktitle = {Descriptional Complexity of Formal Systems - 13th International Workshop,
{DCFS} 2011, Gie{\ss}en/Limburg, Germany, July 25-27, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6808},
pages = {34--42},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22600-7\_3},
doi = {10.1007/978-3-642-22600-7\_3},
timestamp = {Sun, 25 Oct 2020 22:35:40 +0100},
biburl = {https://dblp.org/rec/conf/dcfs/SchwoonR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1230,
author = {Stefan Haar and
Christian Kern and
Stefan Schwoon},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {Computing the Reveals Relation in Occurrence Nets},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {31--44},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.3},
doi = {10.4204/EPTCS.54.3},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1230.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BaldanBCKS10,
author = {Paolo Baldan and
Alessandro Bruni and
Andrea Corradini and
Barbara K{\"{o}}nig and
Stefan Schwoon},
editor = {Hartmut Ehrig and
Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {On the Computation of McMillan's Prefix for Contextual Nets and Graph
Grammars},
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 = {91--106},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15928-2\_7},
doi = {10.1007/978-3-642-15928-2\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/BaldanBCKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/KuhnrichSSK09,
author = {Morten K{\"{u}}hnrich and
Stefan Schwoon and
Jir{\'{\i}} Srba and
Stefan Kiefer},
editor = {Luca de Alfaro},
title = {Interprocedural Dataflow Analysis over Weight Domains with Infinite
Descending Chains},
booktitle = {Foundations of Software Science and Computational Structures, 12th
International Conference, {FOSSACS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5504},
pages = {440--455},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00596-1\_31},
doi = {10.1007/978-3-642-00596-1\_31},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/KuhnrichSSK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/GaiserS09,
author = {Andreas Gaiser and
Stefan Schwoon},
editor = {Petr Hlinen{\'{y}} and
V{\'{a}}clav Maty{\'{a}}s and
Tom{\'{a}}s Vojnar},
title = {Comparison of Algorithms for Checking Emptiness on B{\"{u}}chi
Automata},
booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in
Computer Science, {MEMICS} 2009, November 13-15, 2009, Prestige Hotel,
Znojmo, Czech Republic},
series = {OASIcs},
volume = {13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2349},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/memics/GaiserS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-0501,
author = {Morten K{\"{u}}hnrich and
Stefan Schwoon and
Jir{\'{\i}} Srba and
Stefan Kiefer},
title = {Interprocedural Dataflow Analysis over Weight Domains with Infinite
Descending Chains},
journal = {CoRR},
volume = {abs/0901.0501},
year = {2009},
url = {http://arxiv.org/abs/0901.0501},
eprinttype = {arXiv},
eprint = {0901.0501},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0901-0501.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0910-3766,
author = {Andreas Gaiser and
Stefan Schwoon},
title = {Comparison of Algorithms for Checking Emptiness on Buechi Automata},
journal = {CoRR},
volume = {abs/0910.3766},
year = {2009},
url = {http://arxiv.org/abs/0910.3766},
eprinttype = {arXiv},
eprint = {0910.3766},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-3766.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}
}
@article{DBLP:journals/topnoc/BaldanCKS08,
author = {Paolo Baldan and
Andrea Corradini and
Barbara K{\"{o}}nig and
Stefan Schwoon},
title = {McMillan's Complete Prefix for Contextual Nets},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {1},
pages = {199--220},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89287-8\_12},
doi = {10.1007/978-3-540-89287-8\_12},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/BaldanCKS08.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/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}
}
@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/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/ccs/NaldurgSRL06,
author = {Prasad Naldurg and
Stefan Schwoon and
Sriram K. Rajamani and
John Lambert},
editor = {Marianne Winslett and
Andrew D. Gordon and
David Sands},
title = {\emph{NETRA}: : seeing through access control},
booktitle = {Proceedings of the 2006 {ACM} workshop on Formal methods in security
engineering, {FMSE} 2006, Alexandria, VA, USA, November 3, 2006},
pages = {55--66},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1180337.1180343},
doi = {10.1145/1180337.1180343},
timestamp = {Mon, 14 Feb 2022 09:20:27 +0100},
biburl = {https://dblp.org/rec/conf/ccs/NaldurgSRL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/WangJRSS06,
author = {Hao Wang and
Somesh Jha and
Thomas W. Reps and
Stefan Schwoon and
Stuart G. Stubblebine},
editor = {Dieter Gollmann and
Jan Meier and
Andrei Sabelfeld},
title = {Reducing the Dependence of {SPKI/SDSI} on {PKI}},
booktitle = {Computer Security - {ESORICS} 2006, 11th European Symposium on Research
in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4189},
pages = {156--173},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11863908\_11},
doi = {10.1007/11863908\_11},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/WangJRSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JhaSWR06,
author = {Somesh Jha and
Stefan Schwoon and
Hao Wang and
Thomas W. Reps},
editor = {Holger Hermanns and
Jens Palsberg},
title = {Weighted Pushdown Systems and Trust-Management 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 = {1--26},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691372\_1},
doi = {10.1007/11691372\_1},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JhaSWR06.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 = {Fri, 09 Apr 2021 01:00:00 +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}
}
@article{DBLP:journals/scp/RepsSJM05,
author = {Thomas W. Reps and
Stefan Schwoon and
Somesh Jha and
David Melski},
title = {Weighted pushdown systems and their application to interprocedural
dataflow analysis},
journal = {Sci. Comput. Program.},
volume = {58},
number = {1-2},
pages = {206--263},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2005.02.009},
doi = {10.1016/J.SCICO.2005.02.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/RepsSJM05.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/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/tcs/HolzerS04,
author = {Markus Holzer and
Stefan Schwoon},
title = {Assembling molecules in {ATOMIX} is hard},
journal = {Theor. Comput. Sci.},
volume = {313},
number = {3},
pages = {447--462},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2002.11.002},
doi = {10.1016/J.TCS.2002.11.002},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/HolzerS04.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}
}
@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/csfw/SchwoonJRS03,
author = {Stefan Schwoon and
Somesh Jha and
Thomas W. Reps and
Stuart G. Stubblebine},
title = {On Generalized Authorization Problems},
booktitle = {16th {IEEE} Computer Security Foundations Workshop {(CSFW-16} 2003),
30 June - 2 July 2003, Pacific Grove, CA, {USA}},
pages = {202},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSFW.2003.1212714},
doi = {10.1109/CSFW.2003.1212714},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/SchwoonJRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/RepsSJ03,
author = {Thomas W. Reps and
Stefan Schwoon and
Somesh Jha},
editor = {Radhia Cousot},
title = {Weighted Pushdown Systems and Their Application to Interprocedural
Dataflow Analysis},
booktitle = {Static Analysis, 10th International Symposium, {SAS} 2003, San Diego,
CA, USA, June 11-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2694},
pages = {189--213},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44898-5\_11},
doi = {10.1007/3-540-44898-5\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/RepsSJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Schwoon02,
author = {Stefan Schwoon},
title = {Model checking pushdown systems},
school = {Technical University Munich, Germany},
year = {2002},
url = {http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/schwoon.html},
urn = {urn:nbn:de:bvb:91-diss2002120317052},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Schwoon02.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/dagstuhl/Schwoon01,
author = {Stefan Schwoon},
editor = {Erich Gr{\"{a}}del and
Wolfgang Thomas and
Thomas Wilke},
title = {Determinization and Complementation of Streett Automata},
booktitle = {Automata, Logics, and Infinite Games: {A} Guide to Current Research
[outcome of a Dagstuhl seminar, February 2001]},
series = {Lecture Notes in Computer Science},
volume = {2500},
pages = {79--91},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-36387-4\_5},
doi = {10.1007/3-540-36387-4\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Schwoon01.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}
}
@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}
}
@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}
}
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-21 18:08 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:
