Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jörg Kreiker
@article{DBLP:journals/iandc/BruseKLS22,
author = {Florian Bruse and
J{\"{o}}rg Kreiker and
Martin Lange and
Marco S{\"{a}}lzer},
title = {Local higher-order fixpoint iteration},
journal = {Inf. Comput.},
volume = {289},
number = {Part},
pages = {104963},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2022.104963},
doi = {10.1016/J.IC.2022.104963},
timestamp = {Tue, 29 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BruseKLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-10881,
author = {Florian Bruse and
J{\"{o}}rg Kreiker and
Martin Lange and
Marco S{\"{a}}lzer},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {Local Higher-Order Fixpoint Iteration},
booktitle = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
pages = {97--113},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326.7},
doi = {10.4204/EPTCS.326.7},
timestamp = {Thu, 10 Dec 2020 15:19:59 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10881.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KreikerRRSWY13,
author = {J{\"{o}}rg Kreiker and
Thomas W. Reps and
Noam Rinetzky and
Mooly Sagiv and
Reinhard Wilhelm and
Eran Yahav},
editor = {Andrei Voronkov and
Christoph Weidenbach},
title = {Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs},
booktitle = {Programming Logics - Essays in Memory of Harald Ganzinger},
series = {Lecture Notes in Computer Science},
volume = {7797},
pages = {414--445},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37651-1\_17},
doi = {10.1007/978-3-642-37651-1\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KreikerRRSWY13.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/dagstuhl-manifestos/KreikerTVW11,
author = {J{\"{o}}rg Kreiker and
Andrzej Tarlecki and
Moshe Y. Vardi and
Reinhard Wilhelm},
title = {Modeling, Analysis, and Verification - The Formal Methods Manifesto
2010 (Dagstuhl Perspectives Workshop 10482)},
journal = {Dagstuhl Manifestos},
volume = {1},
number = {1},
pages = {21--40},
year = {2011},
url = {https://doi.org/10.4230/DagMan.1.1.21},
doi = {10.4230/DAGMAN.1.1.21},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-manifestos/KreikerTVW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NielsonNKP11,
author = {Hanne Riis Nielson and
Flemming Nielson and
J{\"{o}}rg Kreiker and
Henrik Pilegaard},
editor = {Gul Agha and
Olivier Danvy and
Jos{\'{e}} Meseguer},
title = {From Explicit to Symbolic Types for Communication Protocols in {CCS}},
booktitle = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7000},
pages = {74--89},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24933-4\_5},
doi = {10.1007/978-3-642-24933-4\_5},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NielsonNKP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KreikerSV10,
author = {J{\"{o}}rg Kreiker and
Helmut Seidl and
Vesal Vojdani},
editor = {Gilles Barthe and
Manuel V. Hermenegildo},
title = {Shape Analysis of Low-Level {C} with Overlapping Structures},
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 = {214--230},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11319-2\_17},
doi = {10.1007/978-3-642-11319-2\_17},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KreikerSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2010P10051,
editor = {Bengt Jonsson and
J{\"{o}}rg Kreiker and
Marta Z. Kwiatkowska},
title = {Quantitative and Qualitative Analysis of Network Protocols, 31.01.
- 05.02.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10051},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/portals/10051/},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2010P10051.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/JonssonKK10,
author = {Bengt Jonsson and
J{\"{o}}rg Kreiker and
Marta Z. Kwiatkowska},
editor = {Bengt Jonsson and
J{\"{o}}rg Kreiker and
Marta Z. Kwiatkowska},
title = {10051 Abstracts Collection - Quantitative and Qualitative Analysis
of Network Protocols},
booktitle = {Quantitative and Qualitative Analysis of Network Protocols, 31.01.
- 05.02.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10051},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2518/},
timestamp = {Tue, 31 Aug 2021 12:07:12 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/JonssonKK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/JonssonKK10a,
author = {Bengt Jonsson and
J{\"{o}}rg Kreiker and
Marta Z. Kwiatkowska},
editor = {Bengt Jonsson and
J{\"{o}}rg Kreiker and
Marta Z. Kwiatkowska},
title = {10051 Executive Summary - Quantitative and Qualitative Analysis of
Network Protocols},
booktitle = {Quantitative and Qualitative Analysis of Network Protocols, 31.01.
- 05.02.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10051},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2516/},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/JonssonKK10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BonevaKKR09,
author = {Iovka Boneva and
J{\"{o}}rg Kreiker and
Marcos E. Kurb{\'{a}}n and
Arend Rensink},
title = {Graph Abstraction for a Modal Logic},
journal = {Bull. {EATCS}},
volume = {97},
pages = {106--116},
year = {2009},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/BonevaKKR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BauerBKR08,
author = {J{\"{o}}rg Bauer and
Iovka Boneva and
Marcos E. Kurb{\'{a}}n and
Arend Rensink},
editor = {Hartmut Ehrig and
Reiko Heckel and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {A Modal-Logic Based Graph Abstraction},
booktitle = {Graph Transformations, 4th International Conference, {ICGT} 2008,
Leicester, United Kingdom, September 7-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5214},
pages = {321--335},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87405-8\_22},
doi = {10.1007/978-3-540-87405-8\_22},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/BauerBKR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BauerNNP08,
author = {J{\"{o}}rg Bauer and
Flemming Nielson and
Hanne Riis Nielson and
Henrik Pilegaard},
editor = {Mar{\'{\i}}a Alpuente and
Germ{\'{a}}n Vidal},
title = {Relational Analysis of Correlation},
booktitle = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
Spain, July 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5079},
pages = {32--46},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69166-2\_3},
doi = {10.1007/978-3-540-69166-2\_3},
timestamp = {Wed, 25 Sep 2019 18:08:39 +0200},
biburl = {https://dblp.org/rec/conf/sas/BauerNNP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/BauerDTW07,
author = {J{\"{o}}rg Bauer and
Werner Damm and
Tobe Toben and
Bernd Westphal},
editor = {Andy Sch{\"{u}}rr and
Manfred Nagl and
Albert Z{\"{u}}ndorf},
title = {Verification and Synthesis of {OCL} Constraints Via Topology Analysis},
booktitle = {Applications of Graph Transformations with Industrial Relevance, Third
International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12,
2007, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5088},
pages = {361--376},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-89020-1\_25},
doi = {10.1007/978-3-540-89020-1\_25},
timestamp = {Thu, 14 Oct 2021 10:29:53 +0200},
biburl = {https://dblp.org/rec/conf/agtive/BauerDTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BauerTW07,
author = {J{\"{o}}rg Bauer and
Tobe Toben and
Bernd Westphal},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Mind the Shapes: Abstraction Refinement Via Topology Invariants},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {35--50},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_5},
doi = {10.1007/978-3-540-75596-8\_5},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/BauerTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BauerW07,
author = {J{\"{o}}rg Bauer and
Reinhard Wilhelm},
editor = {Hanne Riis Nielson and
Gilberto Fil{\'{e}}},
title = {Static Analysis of Dynamic Communication Systems by Partner Abstraction},
booktitle = {Static Analysis, 14th International Symposium, {SAS} 2007, Kongens
Lyngby, Denmark, August 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4634},
pages = {249--264},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74061-2\_16},
doi = {10.1007/978-3-540-74061-2\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BauerW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/NielsonNBNP07,
author = {Flemming Nielson and
Hanne Riis Nielson and
J{\"{o}}rg Bauer and
Christoffer Rosenkilde Nielsen and
Henrik Pilegaard},
editor = {Gilles Barthe and
C{\'{e}}dric Fournet},
title = {Relational Analysis for Delivery of Services},
booktitle = {Trustworthy Global Computing, Third Symposium, {TGC} 2007, Sophia-Antipolis,
France, November 5-6, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4912},
pages = {73--89},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78663-4\_7},
doi = {10.1007/978-3-540-78663-4\_7},
timestamp = {Sat, 19 Oct 2019 20:09:31 +0200},
biburl = {https://dblp.org/rec/conf/tgc/NielsonNBNP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2006wilhelm,
editor = {Thomas W. Reps and
Mooly Sagiv and
J{\"{o}}rg Bauer},
title = {Program Analysis and Compilation, Theory and Practice, Essays Dedicated
to Reinhard Wilhelm on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4444},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71322-7},
doi = {10.1007/978-3-540-71322-7},
isbn = {978-3-540-71315-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2006wilhelm.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Bauer2007,
author = {J{\"{o}}rg Bauer},
title = {Analysis of communication topologies by partner abstraction},
school = {Saarland University, Saarbr{\"{u}}cken, Germany},
year = {2006},
url = {http://scidok.sulb.uni-saarland.de/volltexte/2007/1265/},
urn = {urn:nbn:de:bsz:291-scidok-12655},
isbn = {978-3-937436-12-8},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Bauer2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BauerSTW06,
author = {J{\"{o}}rg Bauer and
Ina Schaefer and
Tobe Toben and
Bernd Westphal},
title = {Specification and Verification of Dynamic Communication Systems},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {189--200},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.29},
doi = {10.1109/ACSD.2006.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BauerSTW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/RepsSB06,
author = {Thomas W. Reps and
Mooly Sagiv and
J{\"{o}}rg Bauer},
editor = {Thomas W. Reps and
Mooly Sagiv and
J{\"{o}}rg Bauer},
title = {An Appreciation of the Work of Reinhard Wilhelm},
booktitle = {Program Analysis and Compilation, Theory and Practice, Essays Dedicated
to Reinhard Wilhelm on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4444},
pages = {1--11},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71322-7\_1},
doi = {10.1007/978-3-540-71322-7\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/RepsSB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BauerW06,
author = {J{\"{o}}rg Bauer and
Reinhard Wilhelm},
editor = {David M. Nicol and
Corrado Priami and
Hanne Riis Nielson and
Adelinde M. Uhrmacher},
title = {Abstract Interpretation of Graph Transformation},
booktitle = {Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06161},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/703},
timestamp = {Thu, 10 Jun 2021 13:02:10 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BauerW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BauerW06a,
author = {J{\"{o}}rg Bauer and
Reinhard Wilhelm},
editor = {Parosh Aziz Abdulla and
Ahmed Bouajjani and
Markus M{\"{u}}ller{-}Olm},
title = {Analysis of Dynamic Communicating Systems by Hierarchical Abstraction},
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/727},
timestamp = {Thu, 10 Jun 2021 13:02:06 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BauerW06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RinetzkyBRSW05,
author = {Noam Rinetzky and
J{\"{o}}rg Bauer and
Thomas W. Reps and
Shmuel Sagiv and
Reinhard Wilhelm},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {A semantics for procedure local heaps and its abstractions},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {296--309},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040330},
doi = {10.1145/1040305.1040330},
timestamp = {Sat, 31 Jul 2021 17:22:14 +0200},
biburl = {https://dblp.org/rec/conf/popl/RinetzkyBRSW05.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 2023-10-01 22:30 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:
