Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Bernhard Beckert
@inproceedings{DBLP:conf/aaai/TeuberB24,
author = {Samuel Teuber and
Bernhard Beckert},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {An Information-Flow Perspective on Algorithmic Fairness},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {15337--15345},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i14.29458},
doi = {10.1609/AAAI.V38I14.29458},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/TeuberB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BeckertSUWW24,
author = {Bernhard Beckert and
Peter Sanders and
Mattias Ulbrich and
Julian Wiesler and
Sascha Witt},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Formally Verifying an Efficient Sorter},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 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 {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {268--287},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_15},
doi = {10.1007/978-3-031-57246-3\_15},
timestamp = {Sun, 14 Apr 2024 18:32:16 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BeckertSUWW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dappcon/SchifflWB23,
author = {Jonas Schiffl and
Alexander Weigl and
Bernhard Beckert},
title = {Static Capability-Based Security for Smart Contracts},
booktitle = {{IEEE} International Conference on Decentralized Applications and
Infrastructures, {DAPPS} 2023, Athens, Greece, July 17-20, 2023},
pages = {110--117},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DAPPS57946.2023.00024},
doi = {10.1109/DAPPS57946.2023.00024},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dappcon/SchifflWB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewaf/TeuberB23,
author = {Samuel Teuber and
Bernhard Beckert},
editor = {Jose M. Alvarez and
Alessandro Fabris and
Christoph Heitz and
Corinna Hertweck and
Michele Loi and
Meike Zehlike},
title = {Formally Verified Algorithmic Fairness Using Information-Flow Tools},
booktitle = {Proceedings of the 2nd European Workshop on Algorithmic Fairness,
Winterthur, Switzerland, June 7th to 9th, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3442},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3442/paper-21.pdf},
timestamp = {Wed, 19 Jul 2023 17:21:16 +0200},
biburl = {https://dblp.org/rec/conf/ewaf/TeuberB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/KlamrothB23,
author = {Jonas Klamroth and
Bernhard Beckert},
editor = {Flavia Monti and
Pierluigi Plebani and
Naouel Moha and
Hye{-}Young Paik and
Johanna Barzen and
Gowri Sankar Ramachandran and
Devis Bianchini and
Damian A. Tamburri and
Massimo Mecella},
title = {On Rounding Errors in the Simulation of Quantum Circuits},
booktitle = {Service-Oriented Computing - {ICSOC} 2023 Workshops - AI-PA, ASOCA,
SAPD, SQS, SSCOPE, {WESOACS} and Satellite Events, Rome, Italy, November
28 - December 1, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14518},
pages = {137--149},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-97-0989-2\_11},
doi = {10.1007/978-981-97-0989-2\_11},
timestamp = {Mon, 25 Mar 2024 20:43:51 +0100},
biburl = {https://dblp.org/rec/conf/icsoc/KlamrothB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ReussnerSBKB23,
author = {Ralf H. Reussner and
Ina Schaefer and
Bernhard Beckert and
Anne Koziolek and
Erik Burger},
title = {Consistency in the View-Based Development of Cyber-Physical Systems
(Convide)},
booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
and Systems, {MODELS} 2023 Companion, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {83--84},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS-C59198.2023.00026},
doi = {10.1109/MODELS-C59198.2023.00026},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/ReussnerSBKB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsw/KlamrothBSD23,
author = {Jonas Klamroth and
Bernhard Beckert and
Max Scheerer and
Oliver Denninger},
editor = {Shaukat Ali and
Claudio Agostino Ardagna and
Nimanthi L. Atukorala and
Johanna Barzen and
Carl K. Chang and
Rong N. Chang and
Jing Fan and
Ismael Faro and
Sebastian Feld and
Geoffrey Fox and
Zhi Jin and
Frank Leymann and
Florian Neukart and
Salvador de la Puente and
Manuel Wimmer},
title = {QIn: Enabling Formal Methods to Deal with Quantum Circuits},
booktitle = {{IEEE} International Conference on Quantum Software, {QSW} 2023, Chicago,
IL, USA, July 2-8, 2023},
pages = {175--185},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/QSW59989.2023.00029},
doi = {10.1109/QSW59989.2023.00029},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsw/KlamrothBSD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/BeckertSUWW23,
author = {Bernhard Beckert and
Peter Sanders and
Mattias Ulbrich and
Julian Wiesler and
Sascha Witt},
title = {Formally Verifying an Efficient Sorter - Verification and Benchmarking
Artifact (Version 2)},
publisher = {Zenodo},
year = {2023},
month = dec,
howpublished = {\url{https://doi.org/10.5281/zenodo.10445579}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.10445579},
doi = {10.5281/ZENODO.10445579},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/BeckertSUWW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-10128,
author = {Samuel Teuber and
Bernhard Beckert},
title = {An Information-Flow Perspective on Algorithmic Fairness},
journal = {CoRR},
volume = {abs/2312.10128},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.10128},
doi = {10.48550/ARXIV.2312.10128},
eprinttype = {arXiv},
eprint = {2312.10128},
timestamp = {Mon, 15 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-10128.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/KirstenVB22,
author = {Michael Kirsten and
Melanie Volkamer and
Bernhard Beckert},
editor = {Sokratis K. Katsikas and
Fr{\'{e}}d{\'{e}}ric Cuppens and
Christos Kalloniatis and
John Mylopoulos and
Frank Pallas and
J{\"{o}}rg Pohle and
M. Angela Sasse and
Habtamu Abie and
Silvio Ranise and
Luca Verderame and
Enrico Cambiaso and
Jorge Maestre Vidal and
Marco Antonio Sotelo Monge and
Massimiliano Albanese and
Basel Katt and
Sandeep Pirbhulal and
Ankur Shukla},
title = {Why Is Online Voting Still Largely a Black Box?},
booktitle = {Computer Security. {ESORICS} 2022 International Workshops - CyberICPS
2022, {SECPRE} 2022, {SPOSE} 2022, {CPS4CIP} 2022, CDT{\&}SECOMANE
2022, {EIS} 2022, and SecAssure 2022, Copenhagen, Denmark, September
26-30, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13785},
pages = {555--567},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-25460-4\_32},
doi = {10.1007/978-3-031-25460-4\_32},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esorics/KirstenVB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BeckertUVW22,
author = {Bernhard Beckert and
Mattias Ulbrich and
Birgit Vogel{-}Heuser and
Alexander Weigl},
editor = {Helmut Seidl and
Zhiming Liu and
Corina S. Pasareanu},
title = {Generalized Test Tables: {A} Domain-Specific Specification Language
for Automated Production Systems},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International
Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13572},
pages = {7--13},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17715-6\_2},
doi = {10.1007/978-3-031-17715-6\_2},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/BeckertUVW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BeckertBHU22,
author = {Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Mattias Ulbrich},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards a Usable and Sustainable Deductive Verification Tool},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {281--300},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_16},
doi = {10.1007/978-3-031-19756-7\_16},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BeckertBHU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sicherheit/BeckertBGKKKMMN22,
author = {Bernhard Beckert and
Jurlind Budurushi and
Armin Grunwald and
Robert Krimmer and
Oksana Kulyk and
Ralf K{\"{u}}sters and
Andreas Mayer and
J{\"{o}}rn M{\"{u}}ller{-}Quade and
Stephan Neumann and
Melanie Volkamer},
editor = {Christian Wressnegger and
Delphine Reinhardt and
Thomas Barber and
Bernhard C. Witt and
Daniel Arp and
Zolt{\'{a}}n {\'{A}}d{\'{a}}m Mann},
title = {Recent Developments in the Context of Online Elections and Digital
Polls in Germany},
booktitle = {Sicherheit, Schutz und Zuverl{\"{a}}ssigkeit: Konferenzband der
11. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft f{\"{u}}r
Informatik e.V. (GI), Sicherheit 2022, Karlsruhe, Germany, April 5-8,
2022},
series = {{LNI}},
volume = {{P-323}},
pages = {213--217},
publisher = {Gesellschaft f{\"{u}}r Informatik, Bonn},
year = {2022},
url = {https://doi.org/10.18420/sicherheit2022\_16},
doi = {10.18420/SICHERHEIT2022\_16},
timestamp = {Tue, 04 Jul 2023 17:42:02 +0200},
biburl = {https://dblp.org/rec/conf/sicherheit/BeckertBGKKKMMN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2022hahnle,
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Einar Broch Johnsen},
title = {The Logic of Software. {A} Tasting Menu of Formal Methods - Essays
Dedicated to Reiner H{\"{a}}hnle on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13360},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08166-8},
doi = {10.1007/978-3-031-08166-8},
isbn = {978-3-031-08165-1},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2022hahnle.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-cps/ChaVWUB21,
author = {Suhyun Cha and
Birgit Vogel{-}Heuser and
Alexander Weigl and
Mattias Ulbrich and
Bernhard Beckert},
title = {Table-based formal specification approaches for control engineers
- empirical studies of usability},
journal = {{IET} Cyper-Phys. Syst.: Theory {\&} Appl.},
volume = {6},
number = {4},
pages = {193--207},
year = {2021},
url = {https://doi.org/10.1049/cps2.12017},
doi = {10.1049/CPS2.12017},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iet-cps/ChaVWUB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/Vogel-HeuserHCB21,
author = {Birgit Vogel{-}Heuser and
Christoph Huber and
Suhyun Cha and
Bernhard Beckert},
title = {Integration of a formal specification approach into {CPPS} engineering
workflow for machinery validation},
booktitle = {19th {IEEE} International Conference on Industrial Informatics, {INDIN}
2021, Palma de Mallorca, Spain, July 21-23, 2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/INDIN45523.2021.9557505},
doi = {10.1109/INDIN45523.2021.9557505},
timestamp = {Mon, 18 Oct 2021 17:08:58 +0200},
biburl = {https://dblp.org/rec/conf/indin/Vogel-HeuserHCB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/SchifflGLSFB21,
author = {Jonas Schiffl and
Matthias Grundmann and
Marc Leinweber and
Oliver Stengele and
Sebastian Friebe and
Bernhard Beckert},
editor = {Jorge Lobo and
Roberto Di Pietro and
Omar Chowdhury and
Hongxin Hu},
title = {Towards Correct Smart Contracts: {A} Case Study on Formal Verification
of Access Control},
booktitle = {{SACMAT} '21: The 26th {ACM} Symposium on Access Control Models and
Technologies, Virtual Event, Spain, June 16-18, 2021},
pages = {125--130},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3450569.3463574},
doi = {10.1145/3450569.3463574},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sacmat/SchifflGLSFB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BeckertHORS20,
author = {Bernhard Beckert and
Isabel H{\"{a}}user and
Andreas Oberweis and
Ralf H. Reussner and
Sebastian Sch{\"{a}}fer},
title = {Nachruf Professor em. Dr. Dr. h.c. Gerhard Goos},
journal = {Inform. Spektrum},
volume = {43},
number = {2},
pages = {157--158},
year = {2020},
url = {https://doi.org/10.1007/s00287-020-01277-0},
doi = {10.1007/S00287-020-01277-0},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BeckertHORS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ScheererKRB20,
author = {Max Scheerer and
Jonas Klamroth and
Ralf H. Reussner and
Bernhard Beckert},
editor = {Shinichi Honiden and
Elisabetta Di Nitto and
Radu Calinescu},
title = {Towards classes of architectural dependability assurance for machine-learning-based
systems},
booktitle = {{SEAMS} '20: {IEEE/ACM} 15th International Symposium on Software Engineering
for Adaptive and Self-Managing Systems, Seoul, Republic of Korea,
29 June - 3 July, 2020},
pages = {31--37},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3387939.3388613},
doi = {10.1145/3387939.3388613},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ScheererKRB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WeiglUCBV20,
author = {Alexander Weigl and
Mattias Ulbrich and
Suhyun Cha and
Bernhard Beckert and
Birgit Vogel{-}Heuser},
editor = {Kyungmin Bae and
Domenico Bianculli and
Stefania Gnesi and
Nico Plat},
title = {Relational Test Tables: {A} Practical Specification Language for Evolution
and Security},
booktitle = {FormaliSE@ICSE 2020: 8th International Conference on Formal Methods
in Software Engineering, Seoul, Republic of Korea, July 13, 2020},
pages = {77--86},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3372020.3391566},
doi = {10.1145/3372020.3391566},
timestamp = {Thu, 27 Jul 2023 16:07:53 +0200},
biburl = {https://dblp.org/rec/conf/icse/WeiglUCBV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BeckertS20,
author = {Bernhard Beckert and
Jonas Schiffl},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Specifying Framing Conditions for Smart Contracts},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {43--59},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_4},
doi = {10.1007/978-3-030-61467-6\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BeckertS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BeckertKKU20,
author = {Bernhard Beckert and
Michael Kirsten and
Jonas Klamroth and
Mattias Ulbrich},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Modular Verification of {JML} Contracts Using Bounded Model Checking},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12476},
pages = {60--80},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61362-4\_4},
doi = {10.1007/978-3-030-61362-4\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BeckertKKU20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/SchifflABB20,
author = {Jonas Schiffl and
Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Mattias Ulbrich},
title = {Formal Analysis of Smart Contracts: Applying the KeY System},
booktitle = {Deductive Software Verification: Future Perspectives - Reflections
on the Occasion of 20 Years of KeY},
series = {Lecture Notes in Computer Science},
volume = {12345},
pages = {204--218},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64354-6\_8},
doi = {10.1007/978-3-030-64354-6\_8},
timestamp = {Mon, 14 Dec 2020 16:21:57 +0100},
biburl = {https://dblp.org/rec/series/lncs/SchifflABB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BeckertHKT20,
author = {Bernhard Beckert and
Mihai Herda and
Michael Kirsten and
Shmuel S. Tyszberowicz},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Mattias Ulbrich},
title = {Integration of Static and Dynamic Analysis Techniques for Checking
Noninterference},
booktitle = {Deductive Software Verification: Future Perspectives - Reflections
on the Occasion of 20 Years of KeY},
series = {Lecture Notes in Computer Science},
volume = {12345},
pages = {287--312},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64354-6\_12},
doi = {10.1007/978-3-030-64354-6\_12},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/BeckertHKT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/evoteid/2020,
editor = {Robert Krimmer and
Melanie Volkamer and
Bernhard Beckert and
Ralf K{\"{u}}sters and
Oksana Kulyk and
David Duenas{-}Cid and
Mikhel Solvak},
title = {Electronic Voting - 5th International Joint Conference, E-Vote-ID
2020, Bregenz, Austria, October 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12455},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60347-2},
doi = {10.1007/978-3-030-60347-2},
isbn = {978-3-030-60346-5},
timestamp = {Fri, 25 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/evoteid/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/12345,
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Mattias Ulbrich},
title = {Deductive Software Verification: Future Perspectives - Reflections
on the Occasion of 20 Years of KeY},
series = {Lecture Notes in Computer Science},
volume = {12345},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64354-6},
doi = {10.1007/978-3-030-64354-6},
isbn = {978-3-030-64353-9},
timestamp = {Mon, 14 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/12345.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BeckertSU19,
author = {Bernhard Beckert and
Jonas Schiffl and
Mattias Ulbrich},
editor = {Emil Sekerinski and
Nelma Moreira and
Jos{\'{e}} N. Oliveira and
Daniel Ratiu and
Riccardo Guidotti and
Marie Farrell and
Matt Luckcuck and
Diego Marmsoler and
Jos{\'{e}} Creissac Campos and
Troy Astarte and
Laure Gonnord and
Antonio Cerone and
Luis Couto and
Brijesh Dongol and
Martin Kutrib and
Pedro Monteiro and
David Delmas},
title = {Smart Contracts: Application Scenarios for Deductive Program Verification},
booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
October 7-11, 2019, Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12232},
pages = {293--298},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-54994-7\_21},
doi = {10.1007/978-3-030-54994-7\_21},
timestamp = {Mon, 05 Feb 2024 20:31:40 +0100},
biburl = {https://dblp.org/rec/conf/fm/BeckertSU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/ChaUWBLV19,
author = {Suhyun Cha and
Mattias Ulbrich and
Alexander Weigl and
Bernhard Beckert and
Kathrin Land and
Birgit Vogel{-}Heuser},
title = {On the Preservation of the Trust by Regression Verification of {PLC}
software for Cyber-Physical Systems of Systems},
booktitle = {17th {IEEE} International Conference on Industrial Informatics, {INDIN}
2019, Helsinki, Finland, July 22-25, 2019},
pages = {413--418},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/INDIN41052.2019.8972210},
doi = {10.1109/INDIN41052.2019.8972210},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/ChaUWBLV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HerdaTMB19,
author = {Mihai Herda and
Shmuel S. Tyszberowicz and
Joachim M{\"{u}}ssig and
Bernhard Beckert},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Verification-based test case generation for information-flow properties},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {2231--2238},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297500},
doi = {10.1145/3297280.3297500},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/HerdaTMB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BeckertBGHLU19,
author = {Bernhard Beckert and
Thorsten Bormer and
Stephan Gocht and
Mihai Herda and
Daniel Lentzsch and
Mattias Ulbrich},
editor = {Peter Csaba {\"{O}}lveczky and
Gwen Sala{\"{u}}n},
title = {Using Relational Verification for Program Slicing},
booktitle = {Software Engineering and Formal Methods - 17th International Conference,
{SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11724},
pages = {353--372},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30446-1\_19},
doi = {10.1007/978-3-030-30446-1\_19},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BeckertBGHLU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1907-03996,
author = {Mihai Herda and
Michael Kirsten and
Etienne Brunner and
Joana Plewnia and
Ulla Scheler and
Chiara Staudenmaier and
Benedikt Wagner and
Pascal Zwick and
Bernhard Beckert},
editor = {Emanuele De Angelis and
Grigory Fedyukovich and
Nikos Tzevelekos and
Mattias Ulbrich},
title = {Understanding Counterexamples for Relational Properties with DIbugger},
booktitle = {Proceedings of the Sixth Workshop on Horn Clauses for Verification
and Synthesis and Third Workshop on Program Equivalence and Relational
Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April
2019},
series = {{EPTCS}},
volume = {296},
pages = {6--13},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.296.4},
doi = {10.4204/EPTCS.296.4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-03996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/BeckertMUW19,
author = {Bernhard Beckert and
Jakob Mund and
Mattias Ulbrich and
Alexander Weigl},
editor = {Ralf H. Reussner and
Michael Goedicke and
Wilhelm Hasselbring and
Birgit Vogel{-}Heuser and
Jan Keim and
Lukas M{\"{a}}rtin},
title = {Formal Verification of Evolutionary Changes},
booktitle = {Managed Software Evolution},
pages = {309--332},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-13499-0\_11},
doi = {10.1007/978-3-030-13499-0\_11},
timestamp = {Sat, 30 Sep 2023 09:32:41 +0200},
biburl = {https://dblp.org/rec/books/sp/19/BeckertMUW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/voteid/2019,
editor = {Robert Krimmer and
Melanie Volkamer and
V{\'{e}}ronique Cortier and
Bernhard Beckert and
Ralf K{\"{u}}sters and
Uwe Serd{\"{u}}lt and
David Duenas{-}Cid},
title = {Electronic Voting - 4th International Joint Conference, E-Vote-ID
2019, Bregenz, Austria, October 1-4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11759},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30625-0},
doi = {10.1007/978-3-030-30625-0},
isbn = {978-3-030-30624-3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/voteid/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-09068,
author = {Alexander Weigl and
Mattias Ulbrich and
Suhyun Cha and
Bernhard Beckert and
Birgit Vogel{-}Heuser},
title = {Relational Test Tables: {A} Practical Specification Language for Evolution
and Security},
journal = {CoRR},
volume = {abs/1910.09068},
year = {2019},
url = {http://arxiv.org/abs/1910.09068},
eprinttype = {arXiv},
eprint = {1910.09068},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-09068.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/at/ChaWUBV18,
author = {Suhyun Cha and
Alexander Weigl and
Mattias Ulbrich and
Bernhard Beckert and
Birgit Vogel{-}Heuser},
title = {Applicability of generalized test tables: a case study using the manufacturing
system demonstrator xPPU},
journal = {Autom.},
volume = {66},
number = {10},
pages = {834--848},
year = {2018},
url = {https://doi.org/10.1515/auto-2018-0028},
doi = {10.1515/AUTO-2018-0028},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/at/ChaWUBV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BeckertU18,
author = {Bernhard Beckert and
Mattias Ulbrich},
editor = {Peter M{\"{u}}ller and
Ina Schaefer},
title = {Trends in Relational Program Verification},
booktitle = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
on the Occasion of his 60th Birthday},
pages = {41--58},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98047-8\_3},
doi = {10.1007/978-3-319-98047-8\_3},
timestamp = {Wed, 31 Oct 2018 17:54:14 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BeckertU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/ChaWUBV18,
author = {Suhyun Cha and
Alexander Weigl and
Mattias Ulbrich and
Bernhard Beckert and
Birgit Vogel{-}Heuser},
title = {Achieving delta description of the control software for an automated
production system evolution},
booktitle = {14th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2018, Munich, Germany, August 20-24, 2018},
pages = {1170--1176},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/COASE.2018.8560588},
doi = {10.1109/COASE.2018.8560588},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/ChaWUBV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BeckertBHKB18,
author = {Bernhard Beckert and
Simon Bischof and
Mihai Herda and
Michael Kirsten and
Marko Kleine B{\"{u}}ning},
editor = {Jing Sun and
Meng Sun},
title = {Using Theorem Provers to Increase the Precision of Dependence Analysis
for Information Flow Control},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {284--300},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_17},
doi = {10.1007/978-3-030-02450-5\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BeckertBHKB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BeckertHKU18,
author = {Bernhard Beckert and
Mihai Herda and
Stefan Kobischke and
Mattias Ulbrich},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards a Notion of Coverage for Incomplete Program-Correctness Proofs},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11245},
pages = {53--63},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03421-4\_4},
doi = {10.1007/978-3-030-03421-4\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BeckertHKU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/HerdaTB18,
author = {Mihai Herda and
Shmuel S. Tyszberowicz and
Bernhard Beckert},
editor = {Catherine Dubois and
Burkhart Wolff},
title = {Using Dependence Graphs to Assist Verification and Testing of Information-Flow
Properties},
booktitle = {Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse,
France, June 27-29, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10889},
pages = {83--102},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92994-1\_5},
doi = {10.1007/978-3-319-92994-1\_5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/HerdaTB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BeckertBK0UW18,
author = {Bernhard Beckert and
Timo Bingmann and
Moritz Kiefer and
Peter Sanders and
Mattias Ulbrich and
Alexander Weigl},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {Relational Equivalence Proofs Between Imperative and MapReduce Algorithms},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {248--266},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_14},
doi = {10.1007/978-3-030-03592-1\_14},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/BeckertBK0UW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-10328,
author = {Bernhard Beckert and
Timo Bingmann and
Moritz Kiefer and
Peter Sanders and
Mattias Ulbrich and
Alexander Weigl},
editor = {John P. Gallagher and
Rob van Glabbeek and
Wendelin Serwe},
title = {Proving Equivalence Between Imperative and MapReduce Implementations
Using Program Transformations},
booktitle = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
and Sixth International Workshop on Verification and Program Transformation,
MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
series = {{EPTCS}},
volume = {268},
pages = {185--199},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.268.7},
doi = {10.4204/EPTCS.268.7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10328.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-08766,
author = {Bernhard Beckert and
Timo Bingmann and
Moritz Kiefer and
Peter Sanders and
Mattias Ulbrich and
Alexander Weigl},
title = {Relational Equivalence Proofs Between Imperative and MapReduce Algorithms},
journal = {CoRR},
volume = {abs/1801.08766},
year = {2018},
url = {http://arxiv.org/abs/1801.08766},
eprinttype = {arXiv},
eprint = {1801.08766},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-08766.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-02374,
author = {Bernhard Beckert and
Britta Nestler and
Moritz Kiefer and
Michael Selzer and
Mattias Ulbrich},
title = {Experience Report: Formal Methods in Material Science},
journal = {CoRR},
volume = {abs/1802.02374},
year = {2018},
url = {http://arxiv.org/abs/1802.02374},
eprinttype = {arXiv},
eprint = {1802.02374},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-02374.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-04402,
author = {Bernhard Beckert and
Sarah Grebing and
Alexander Weigl},
title = {Debugging Program Verification Proof Scripts (Tool Paper)},
journal = {CoRR},
volume = {abs/1804.04402},
year = {2018},
url = {http://arxiv.org/abs/1804.04402},
eprinttype = {arXiv},
eprint = {1804.04402},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-04402.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BeckertGU17,
author = {Bernhard Beckert and
Sarah Grebing and
Mattias Ulbrich},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {An Interaction Concept for Program Verification Systems with Explicit
Proof Object},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {163--178},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_11},
doi = {10.1007/978-3-319-70389-3\_11},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/BeckertGU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BeckertCUVW17,
author = {Bernhard Beckert and
Suhyun Cha and
Mattias Ulbrich and
Birgit Vogel{-}Heuser and
Alexander Weigl},
editor = {Nadia Polikarpova and
Steve A. Schneider},
title = {Generalised Test Tables: {A} Practical Specification Language for
Reactive Systems},
booktitle = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
Turin, Italy, September 20-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10510},
pages = {129--144},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66845-1\_9},
doi = {10.1007/978-3-319-66845-1\_9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BeckertCUVW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BeckertBGHLU17,
author = {Bernhard Beckert and
Thorsten Bormer and
Stephan Gocht and
Mihai Herda and
Daniel Lentzsch and
Mattias Ulbrich},
editor = {Nadia Polikarpova and
Steve A. Schneider},
title = {SemSlice: Exploiting Relational Verification for Automatic Program
Slicing},
booktitle = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
Turin, Italy, September 20-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10510},
pages = {312--319},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66845-1\_20},
doi = {10.1007/978-3-319-66845-1\_20},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BeckertBGHLU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/ChaUVWUB17,
author = {Suhyun Cha and
Sebastian Ulewicz and
Birgit Vogel{-}Heuser and
Alexander Weigl and
Mattias Ulbrich and
Bernhard Beckert},
title = {Generation of monitoring functions in production automation using
test specifications},
booktitle = {15th {IEEE} International Conference on Industrial Informatics, {INDIN}
2017, Emden, Germany, July 24-26, 2017},
pages = {339--344},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/INDIN.2017.8104795},
doi = {10.1109/INDIN.2017.8104795},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/ChaUVWUB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/WeiglWUUCKBV17,
author = {Alexander Weigl and
Franziska Wiebe and
Mattias Ulbrich and
Sebastian Ulewicz and
Suhyun Cha and
Michael Kirsten and
Bernhard Beckert and
Birgit Vogel{-}Heuser},
title = {Generalized test tables: {A} powerful and intuitive specification
language for reactive systems},
booktitle = {15th {IEEE} International Conference on Industrial Informatics, {INDIN}
2017, Emden, Germany, July 24-26, 2017},
pages = {875--882},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/INDIN.2017.8104887},
doi = {10.1109/INDIN.2017.8104887},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/WeiglWUUCKBV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GreinerMB17,
author = {Simon Greiner and
Martin Mohr and
Bernhard Beckert},
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {Modular Verification of Information Flow Security in Component-Based
Systems},
booktitle = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
pages = {300--315},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1\_19},
doi = {10.1007/978-3-319-66197-1\_19},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/GreinerMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LiuTBT17,
author = {Tianhai Liu and
Shmuel S. Tyszberowicz and
Bernhard Beckert and
Mana Taghdiri},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {Computing Exact Loop Bounds for Bounded Program Verification},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {147--163},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_9},
doi = {10.1007/978-3-319-69483-2\_9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/LiuTBT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BeckertSSU17,
author = {Bernhard Beckert and
Jonas Schiffl and
Peter H. Schmitt and
Mattias Ulbrich},
editor = {Andrei Paskevich and
Thomas Wies},
title = {Proving JDK's Dual Pivot Quicksort Correct},
booktitle = {Verified Software. Theories, Tools, and Experiments - 9th International
Conference, {VSTTE} 2017, Heidelberg, Germany, July 22-23, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10712},
pages = {35--48},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72308-2\_3},
doi = {10.1007/978-3-319-72308-2\_3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/BeckertSSU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BeckertBG16,
author = {Bernhard Beckert and
Thorsten Bormer and
Daniel Grahl},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Deductive Verification of Legacy Code},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {749--765},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_53},
doi = {10.1007/978-3-319-47166-2\_53},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BeckertBG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LiuTHBGT16,
author = {Tianhai Liu and
Shmuel S. Tyszberowicz and
Mihai Herda and
Bernhard Beckert and
Daniel Grahl and
Mana Taghdiri},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Computing Specification-Sensitive Abstractions for Program Verification},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {101--117},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_7},
doi = {10.1007/978-3-319-47677-3\_7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/LiuTHBGT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/BeckertKKS16,
author = {Bernhard Beckert and
Michael Kirsten and
Vladimir Klebanov and
Carsten Sch{\"{u}}rmann},
editor = {Robert Krimmer and
Melanie Volkamer and
Jordi Barrat and
Josh Benaloh and
Nicole J. Goodman and
Peter Y. A. Ryan and
Vanessa Teague},
title = {Automatic Margin Computation for Risk-Limiting Audits},
booktitle = {Electronic Voting - First International Joint Conference, E-Vote-ID
2016, Bregenz, Austria, October 18-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10141},
pages = {18--35},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-52240-1\_2},
doi = {10.1007/978-3-319-52240-1\_2},
timestamp = {Tue, 30 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/voteid/BeckertKKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BeckertK016,
author = {Bernhard Beckert and
Vladimir Klebanov and
Benjamin Wei{\ss}},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Peter H. Schmitt and
Mattias Ulbrich},
title = {Dynamic Logic for Java},
booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice},
series = {Lecture Notes in Computer Science},
volume = {10001},
pages = {49--106},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49812-6\_3},
doi = {10.1007/978-3-319-49812-6\_3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/BeckertK016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BeckertH0S16,
author = {Bernhard Beckert and
Reiner H{\"{a}}hnle and
Martin Hentschel and
Peter H. Schmitt},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Peter H. Schmitt and
Mattias Ulbrich},
title = {Formal Verification with KeY: {A} Tutorial},
booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice},
series = {Lecture Notes in Computer Science},
volume = {10001},
pages = {541--570},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49812-6\_16},
doi = {10.1007/978-3-319-49812-6\_16},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/BeckertH0S16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/10001,
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Peter H. Schmitt and
Mattias Ulbrich},
title = {Deductive Software Verification - The KeY Book - From Theory to Practice},
series = {Lecture Notes in Computer Science},
volume = {10001},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49812-6},
doi = {10.1007/978-3-319-49812-6},
isbn = {978-3-319-49811-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/10001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BeckertG15,
author = {Bernhard Beckert and
Sarah Grebing},
editor = {Ulrich Furbach and
Claudia Schon},
title = {Interactive Theorem Proving - Modelling the User in the Proof Process},
booktitle = {Proceedings of the Workshop on Bridging the Gap between Human and
Automated Reasoning - {A} workshop of the 25th International Conference
on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1412},
pages = {60--73},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1412/6o.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/BeckertG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/KustersTBBKM15,
author = {Ralf K{\"{u}}sters and
Tomasz Truderung and
Bernhard Beckert and
Daniel Bruns and
Michael Kirsten and
Martin Mohr},
editor = {C{\'{e}}dric Fournet and
Michael W. Hicks and
Luca Vigan{\`{o}}},
title = {A Hybrid Approach for Proving Noninterference of Java Programs},
booktitle = {{IEEE} 28th Computer Security Foundations Symposium, {CSF} 2015, Verona,
Italy, 13-17 July, 2015},
pages = {305--319},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/CSF.2015.28},
doi = {10.1109/CSF.2015.28},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/KustersTBBKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BeckertKU15,
author = {Bernhard Beckert and
Vladimir Klebanov and
Mattias Ulbrich},
editor = {Rosemary Monahan},
title = {Regression verification for Java using a secure information flow calculus},
booktitle = {Proceedings of the 17th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015},
pages = {6:1--6:6},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786536.2786544},
doi = {10.1145/2786536.2786544},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BeckertKU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/UlewiczVUWB15,
author = {Sebastian Ulewicz and
Birgit Vogel{-}Heuser and
Mattias Ulbrich and
Alexander Weigl and
Bernhard Beckert},
title = {Proving equivalence between control software variants for Programmable
Logic Controllers},
booktitle = {20th {IEEE} Conference on Emerging Technologies {\&} Factory Automation,
{ETFA} 2015, Luxembourg, September 8-11, 2015},
pages = {1--5},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ETFA.2015.7301603},
doi = {10.1109/ETFA.2015.7301603},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/UlewiczVUWB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BeckertUVW15,
author = {Bernhard Beckert and
Mattias Ulbrich and
Birgit Vogel{-}Heuser and
Alexander Weigl},
editor = {Michael J. Butler and
Sylvain Conchon and
Fatiha Za{\"{\i}}di},
title = {Regression Verification for Programmable Logic Controller Software},
booktitle = {Formal Methods and Software Engineering - 17th International Conference
on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November
3-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9407},
pages = {234--251},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25423-4\_15},
doi = {10.1007/978-3-319-25423-4\_15},
timestamp = {Sun, 02 Jun 2019 21:19:43 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BeckertUVW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/Vogel-HeuserFFL15,
author = {Birgit Vogel{-}Heuser and
Stefan Feldmann and
Jens Folmer and
Jan Ladiges and
Alexander Fay and
Sascha Lity and
Matthias Tichy and
Matthias Kowal and
Ina Schaefer and
Christopher Haubeck and
Winfried Lamersdorf and
Timo Kehrer and
Sinem Getir and
Mattias Ulbrich and
Vladimir Klebanov and
Bernhard Beckert},
title = {Selected challenges of software evolution for automated production
systems},
booktitle = {13th {IEEE} International Conference on Industrial Informatics, {INDIN}
2015, Cambridge, United Kingdom, July 22-24, 2015},
pages = {314--321},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/INDIN.2015.7281753},
doi = {10.1109/INDIN.2015.7281753},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/indin/Vogel-HeuserFFL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/KustersTBBKM15,
author = {Ralf K{\"{u}}sters and
Tomasz Truderung and
Bernhard Beckert and
Daniel Bruns and
Michael Kirsten and
Martin Mohr},
title = {A Hybrid Approach for Proving Noninterference of Java Programs},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {438},
year = {2015},
url = {http://eprint.iacr.org/2015/438},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/KustersTBBKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/BeckertH14,
author = {Bernhard Beckert and
Reiner H{\"{a}}hnle},
title = {Reasoning and Verification: State of the Art and Current Trends},
journal = {{IEEE} Intell. Syst.},
volume = {29},
number = {1},
pages = {20--29},
year = {2014},
url = {https://doi.org/10.1109/MIS.2014.3},
doi = {10.1109/MIS.2014.3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/expert/BeckertH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/istr/BeckertGSBW14,
author = {Bernhard Beckert and
Rajeev Gor{\'{e}} and
Carsten Sch{\"{u}}rmann and
Thorsten Bormer and
Jian Wang},
title = {Verifying voting schemes},
journal = {J. Inf. Secur. Appl.},
volume = {19},
number = {2},
pages = {115--129},
year = {2014},
url = {https://doi.org/10.1016/j.jisa.2014.04.005},
doi = {10.1016/J.JISA.2014.04.005},
timestamp = {Tue, 30 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/istr/BeckertGSBW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BeckertGB14,
author = {Bernhard Beckert and
Sarah Grebing and
Florian B{\"{o}}hl},
editor = {Carlos Canal and
Akram Idani},
title = {A Usability Evaluation of Interactive Theorem Provers Using Focus
Groups},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {3--19},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_1},
doi = {10.1007/978-3-319-15201-1\_1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BeckertGB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/AhrendtBBBGGHHHKMSSU14,
author = {Wolfgang Ahrendt and
Bernhard Beckert and
Daniel Bruns and
Richard Bubel and
Christoph Gladisch and
Sarah Grebing and
Reiner H{\"{a}}hnle and
Martin Hentschel and
Mihai Herda and
Vladimir Klebanov and
Wojciech Mostowski and
Christoph Scheben and
Peter H. Schmitt and
Mattias Ulbrich},
editor = {Dimitra Giannakopoulou and
Daniel Kroening},
title = {The KeY Platform for Verification and Analysis of Java Programs},
booktitle = {Verified Software: Theories, Tools and Experiments - 6th International
Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8471},
pages = {55--71},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12154-3\_4},
doi = {10.1007/978-3-319-12154-3\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/AhrendtBBBGGHHHKMSSU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BeckertGB14,
author = {Bernhard Beckert and
Sarah Grebing and
Florian B{\"{o}}hl},
editor = {Christoph Benzm{\"{u}}ller and
Bruno Woltzenlogel Paleo},
title = {How to Put Usability into Focus: Using Focus Groups to Evaluate the
Usability of Interactive Theorem Provers},
booktitle = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
{UITP} 2014, Vienna, Austria, 17th July 2014},
series = {{EPTCS}},
volume = {167},
pages = {4--13},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.167.3},
doi = {10.4204/EPTCS.167.3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BeckertGB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BeckertK13,
author = {Bernhard Beckert and
Vladimir Klebanov},
title = {A Dynamic Logic for deductive verification of multi-threaded programs},
journal = {Formal Aspects Comput.},
volume = {25},
number = {3},
pages = {405--437},
year = {2013},
url = {https://doi.org/10.1007/s00165-012-0261-4},
doi = {10.1007/S00165-012-0261-4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BeckertK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BeckertGS13,
author = {Bernhard Beckert and
Rajeev Gor{\'{e}} and
Carsten Sch{\"{u}}rmann},
editor = {Maria Paola Bonacina},
title = {Analysing Vote Counting Algorithms via Logic - And Its Application
to the {CADE} Election Scheme},
booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7898},
pages = {135--144},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38574-2\_9},
doi = {10.1007/978-3-642-38574-2\_9},
timestamp = {Tue, 30 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/BeckertGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BeckertB13,
author = {Bernhard Beckert and
Daniel Bruns},
editor = {Maria Paola Bonacina},
title = {Dynamic Logic with Trace Semantics},
booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7898},
pages = {315--329},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38574-2\_22},
doi = {10.1007/978-3-642-38574-2\_22},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BeckertB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BeckertBKSSU13,
author = {Bernhard Beckert and
Daniel Bruns and
Vladimir Klebanov and
Christoph Scheben and
Peter H. Schmitt and
Mattias Ulbrich},
editor = {Gopal Gupta and
Ricardo Pe{\~{n}}a},
title = {Information Flow in Object-Oriented Software},
booktitle = {Logic-Based Program Synthesis and Transformation, 23rd International
Symposium, {LOPSTR} 2013, Madrid, Spain, September 18-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8901},
pages = {19--37},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-14125-1\_2},
doi = {10.1007/978-3-319-14125-1\_2},
timestamp = {Wed, 26 Oct 2022 22:55:46 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BeckertBKSSU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BeckertB013,
author = {Bernhard Beckert and
Thorsten Bormer and
Markus Wagner},
editor = {Margus Veanes and
Luca Vigan{\`{o}}},
title = {A Metric for Testing Program Verification Systems},
booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
Hungary, June 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {56--75},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38916-0\_4},
doi = {10.1007/978-3-642-38916-0\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/BeckertB013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/BeckertGS13,
author = {Bernhard Beckert and
Rajeev Gor{\'{e}} and
Carsten Sch{\"{u}}rmann},
editor = {James Heather and
Steve A. Schneider and
Vanessa Teague},
title = {On the Specification and Verification of Voting Schemes},
booktitle = {E-Voting and Identify - 4th International Conference, VoteID 2013,
Guildford, UK, July 17-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7985},
pages = {25--40},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39185-9\_2},
doi = {10.1007/978-3-642-39185-9\_2},
timestamp = {Tue, 30 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/voteid/BeckertGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2011,
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35887-6},
doi = {10.1007/978-3-642-35887-6},
isbn = {978-3-642-35886-9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BeckertG12,
author = {Bernhard Beckert and
Sarah Grebing},
editor = {Vladimir Klebanov and
Bernhard Beckert and
Armin Biere and
Geoff Sutcliffe},
title = {Evaluating the Usability of Interactive Verification Systems},
booktitle = {Proceedings of the 1st International Workshop on Comparative Empirical
Evaluation of Reasoning Systems, Manchester, United Kingdom, June
30, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {873},
pages = {3--17},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-873/papers/paper\_4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/BeckertG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BeckertB12,
author = {Bernhard Beckert and
Daniel Bruns},
editor = {Birte Glimm and
Antonio Kr{\"{u}}ger},
title = {Formal Semantics of Model Fields in Annotation-Based Specifications},
booktitle = {{KI} 2012: Advances in Artificial Intelligence - 35th Annual German
Conference on AI, Saarbr{\"{u}}cken, Germany, September 24-27,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7526},
pages = {13--24},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33347-7\_2},
doi = {10.1007/978-3-642-33347-7\_2},
timestamp = {Sat, 30 Sep 2023 09:51:50 +0200},
biburl = {https://dblp.org/rec/conf/ki/BeckertB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1211-6186,
author = {Christoph Baumann and
Bernhard Beckert and
Holger Blasum and
Thorsten Bormer},
editor = {Franck Cassez and
Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Lessons Learned From Microkernel Verification -- Specification is
the New Bottleneck},
booktitle = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
2012, Sydney, Australia, 28-30 November 2012},
series = {{EPTCS}},
volume = {102},
pages = {18--32},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.102.4},
doi = {10.4204/EPTCS.102.4},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-6186.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2012compare,
editor = {Vladimir Klebanov and
Bernhard Beckert and
Armin Biere and
Geoff Sutcliffe},
title = {Proceedings of the 1st International Workshop on Comparative Empirical
Evaluation of Reasoning Systems, Manchester, United Kingdom, June
30, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {873},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-873},
urn = {urn:nbn:de:0074-873-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/2012compare.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foveoos/2011,
editor = {Bernhard Beckert and
Ferruccio Damiani and
Dilian Gurov},
title = {Formal Verification of Object-Oriented Software - International Conference,
FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7421},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31762-0},
doi = {10.1007/978-3-642-31762-0},
isbn = {978-3-642-31761-3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foveoos/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/BeckertHMPS11,
author = {Bernhard Beckert and
Dennis Hofheinz and
J{\"{o}}rn M{\"{u}}ller{-}Quade and
Alexander Pretschner and
Gregor Snelting},
title = {Software Security in Virtualized Infrastructures - The Smart Meter
Example},
journal = {it Inf. Technol.},
volume = {53},
number = {3},
pages = {142--151},
year = {2011},
url = {https://doi.org/10.1524/itit.2011.0636},
doi = {10.1524/ITIT.2011.0636},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/BeckertHMPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/saem/BeckertGTY11,
author = {Bernhard Beckert and
Christoph Gladisch and
Shmuel S. Tyszberowicz and
Amiram Yehudai},
title = {KeYGenU: combining verification-based and capture and replay techniques
for regression unit testing},
journal = {Int. J. Syst. Assur. Eng. Manag.},
volume = {2},
number = {2},
pages = {97--113},
year = {2011},
url = {https://doi.org/10.1007/s13198-011-0068-3},
doi = {10.1007/S13198-011-0068-3},
timestamp = {Fri, 24 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/saem/BeckertGTY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foveoos/BeckertBMS11,
author = {Bernhard Beckert and
Thorsten Bormer and
Florian Merz and
Carsten Sinz},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Dilian Gurov},
title = {Integration of Bounded Model Checking and Deductive Verification},
booktitle = {Formal Verification of Object-Oriented Software - International Conference,
FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7421},
pages = {86--104},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31762-0\_7},
doi = {10.1007/978-3-642-31762-0\_7},
timestamp = {Mon, 26 Jun 2023 20:49:01 +0200},
biburl = {https://dblp.org/rec/conf/foveoos/BeckertBMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Beckert11,
author = {Bernhard Beckert},
editor = {Hans{-}Ulrich Hei{\ss} and
Peter Pepper and
Holger Schlingloff and
J{\"{o}}rg Schneider},
title = {Preface},
booktitle = {41. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
schafft Communities, {INFORMATIK} 2011, Berlin, Germany, October 4-7,
2011, Abstract Proceedings},
series = {{LNI}},
volume = {{P-192}},
pages = {347},
publisher = {{GI}},
year = {2011},
url = {https://dl.gi.de/handle/20.500.12116/18688},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/Beckert11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foveoos/2010,
editor = {Bernhard Beckert and
Claude March{\'{e}}},
title = {Formal Verification of Object-Oriented Software - International Conference,
FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6528},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18070-5},
doi = {10.1007/978-3-642-18070-5},
isbn = {978-3-642-18069-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foveoos/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BaaderBN10,
author = {Franz Baader and
Bernhard Beckert and
Tobias Nipkow},
title = {Deduktion: von der Theorie zur Anwendung},
journal = {Inform. Spektrum},
volume = {33},
number = {5},
pages = {444--451},
year = {2010},
url = {https://doi.org/10.1007/s00287-010-0461-3},
doi = {10.1007/S00287-010-0461-3},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BaaderBN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BeckertH10,
author = {Bernhard Beckert and
Reiner H{\"{a}}hnle},
title = {Tests and Proofs - Preface of the Special Issue},
journal = {J. Autom. Reason.},
volume = {45},
number = {4},
pages = {327--329},
year = {2010},
url = {https://doi.org/10.1007/s10817-010-9173-2},
doi = {10.1007/S10817-010-9173-2},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BeckertH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/AhrendtBGR10,
author = {Wolfgang Ahrendt and
Bernhard Beckert and
Martin Giese and
Philipp R{\"{u}}mmer},
title = {Practical Aspects of Automated Deduction for Program Verification},
journal = {K{\"{u}}nstliche Intell.},
volume = {24},
number = {1},
pages = {43--49},
year = {2010},
url = {https://doi.org/10.1007/s13218-010-0001-y},
doi = {10.1007/S13218-010-0001-Y},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/AhrendtBGR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/BeckertM10,
author = {Bernhard Beckert and
Michal Moskal},
title = {Deductive Verification of System Software in the Verisoft {XT} Project},
journal = {K{\"{u}}nstliche Intell.},
volume = {24},
number = {1},
pages = {57--61},
year = {2010},
url = {https://doi.org/10.1007/s13218-010-0005-7},
doi = {10.1007/S13218-010-0005-7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/BeckertM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BeckertBG10,
author = {Bernhard Beckert and
Daniel Bruns and
Sarah Grebing},
editor = {Markus Aderhold and
Serge Autexier and
Heiko Mantel},
title = {Mind the Gap: Formal Verification and the Common Criteria (Discussion
Paper)},
booktitle = {6th International Verification Workshop, VERIFY-2010, Edinburgh, UK,
July 20-21, 2010},
series = {EPiC Series in Computing},
volume = {3},
pages = {4--12},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/w9b3},
doi = {10.29007/W9B3},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BeckertBG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BeckertBK10,
author = {Bernhard Beckert and
Thorsten Bormer and
Vladimir Klebanov},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Improving the Usability of Specification Languages and Methods for
Annotation-Based Verification},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {61--79},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_4},
doi = {10.1007/978-3-642-25271-6\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BeckertBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GladischTBY10,
author = {Christoph Gladisch and
Shmuel S. Tyszberowicz and
Bernhard Beckert and
Amiram Yehudai},
editor = {Gordon Fraser and
Angelo Gargantini},
title = {Generating Regression Unit Tests Using a Combination of Verification
and Capture {\&} Replay},
booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
Spain, July 1-2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6143},
pages = {61--76},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13977-2\_7},
doi = {10.1007/978-3-642-13977-2\_7},
timestamp = {Mon, 23 Nov 2020 12:33:05 +0100},
biburl = {https://dblp.org/rec/conf/tap/GladischTBY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BeckertW09,
author = {Bernhard Beckert and
Markus Wagner},
editor = {B{\"{a}}rbel Mertsching and
Marcus Hund and
Muhammad Zaheer Aziz},
title = {Probabilistic Models for the Verification of Human-Computer Interaction},
booktitle = {{KI} 2009: Advances in Artificial Intelligence, 32nd Annual German
Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5803},
pages = {687--694},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04617-9\_86},
doi = {10.1007/978-3-642-04617-9\_86},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/BeckertW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BaumannBBB09,
author = {Christoph Baumann and
Bernhard Beckert and
Holger Blasum and
Thorsten Bormer},
editor = {Bettina Buth and
Gerd Rabe and
Till Seyfarth},
title = {Formal Verification of a Microkernel Used in Dependable Software Systems},
booktitle = {Computer Safety, Reliability, and Security, 28th International Conference,
{SAFECOMP} 2009, Hamburg, Germany, September 15-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5775},
pages = {187--200},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04468-7\_16},
doi = {10.1007/978-3-642-04468-7\_16},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BaumannBBB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AichernigB08,
author = {Bernhard K. Aichernig and
Bernhard Beckert},
title = {Software engineering and formal methods},
journal = {Softw. Syst. Model.},
volume = {7},
number = {3},
pages = {255--256},
year = {2008},
url = {https://doi.org/10.1007/s10270-008-0091-2},
doi = {10.1007/S10270-008-0091-2},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/AichernigB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BeckertK08,
author = {Bernhard Beckert and
Gerwin Klein},
editor = {Bernhard Beckert and
Gerwin Klein},
title = {Title, Preface, Table of Contents},
booktitle = {Proceedings of the 5th International Verification Workshop in connection
with {IJCAR} 2008, Sydney, Australia, August 10-11, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {372},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-372/front.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/BeckertK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2008verify,
editor = {Bernhard Beckert and
Gerwin Klein},
title = {Proceedings of the 5th International Verification Workshop in connection
with {IJCAR} 2008, Sydney, Australia, August 10-11, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {372},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-372},
urn = {urn:nbn:de:0074-372-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/2008verify.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2008,
editor = {Bernhard Beckert and
Reiner H{\"{a}}hnle},
title = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
Italy, April 9-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4966},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79124-9},
doi = {10.1007/978-3-540-79124-9},
isbn = {978-3-540-79123-2},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BeckertP07,
author = {Bernhard Beckert and
Lawrence C. Paulson},
title = {Preface},
journal = {J. Autom. Reason.},
volume = {38},
number = {1-3},
pages = {1--2},
year = {2007},
url = {https://doi.org/10.1007/s10817-006-9058-6},
doi = {10.1007/S10817-006-9058-6},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BeckertP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BeckertGHKRSS07,
author = {Bernhard Beckert and
Martin Giese and
Reiner H{\"{a}}hnle and
Vladimir Klebanov and
Philipp R{\"{u}}mmer and
Steffen Schlager and
Peter H. Schmitt},
editor = {Frank Pfenning},
title = {The KeY system 1.0 (Deduction Component)},
booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4603},
pages = {379--384},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_26},
doi = {10.1007/978-3-540-73595-3\_26},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BeckertGHKRSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/AhrendtBHS07,
author = {Wolfgang Ahrendt and
Bernhard Beckert and
Reiner H{\"{a}}hnle and
Peter H. Schmitt},
editor = {Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {KeY: {A} Formal Method for Object-Oriented Systems},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus,
June 6-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4468},
pages = {32--43},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72952-5\_2},
doi = {10.1007/978-3-540-72952-5\_2},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/AhrendtBHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BeckertK07,
author = {Bernhard Beckert and
Vladimir Klebanov},
title = {A Dynamic Logic for Deductive Verification of Concurrent Programs},
booktitle = {Fifth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
{UK}},
pages = {141--150},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SEFM.2007.1},
doi = {10.1109/SEFM.2007.1},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BeckertK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BeckertG07,
author = {Bernhard Beckert and
Christoph Gladisch},
editor = {Yuri Gurevich and
Bertrand Meyer},
title = {White-Box Testing by Combining Deduction-Based Specification Extraction
and Black-Box Testing},
booktitle = {Tests and Proofs - 1st International Conference, {TAP} 2007, Zurich,
Switzerland, February 12-13, 2007. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4454},
pages = {207--216},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73770-4\_12},
doi = {10.1007/978-3-540-73770-4\_12},
timestamp = {Tue, 23 Jun 2020 17:02:04 +0200},
biburl = {https://dblp.org/rec/conf/tap/BeckertG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BeckertKS07,
author = {Bernhard Beckert and
Vladimir Klebanov and
Steffen Schlager},
editor = {Bernhard Beckert and
Reiner H{\"{a}}hnle and
Peter H. Schmitt},
title = {Dynamic Logic},
booktitle = {Verification of Object-Oriented Software. The KeY Approach - Foreword
by K. Rustan M. Leino},
series = {Lecture Notes in Computer Science},
volume = {4334},
pages = {69--177},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69061-0\_3},
doi = {10.1007/978-3-540-69061-0\_3},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/BeckertKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2007verify,
editor = {Bernhard Beckert},
title = {Proceedings of 4th International Verification Workshop in connection
with CADE-21, Bremen, Germany, July 15-16, 2007},
series = {{CEUR} Workshop Proceedings},
volume = {259},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-259},
urn = {urn:nbn:de:0074-259-9},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/2007verify.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/4334,
editor = {Bernhard Beckert and
Reiner H{\"{a}}hnle and
Peter H. Schmitt},
title = {Verification of Object-Oriented Software. The KeY Approach - Foreword
by K. Rustan M. Leino},
series = {Lecture Notes in Computer Science},
volume = {4334},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69061-0},
doi = {10.1007/978-3-540-69061-0},
isbn = {978-3-540-68977-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/4334.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/BeckertHHSGRTBR06,
author = {Bernhard Beckert and
Tony Hoare and
Reiner H{\"{a}}hnle and
Douglas R. Smith and
Cordell Green and
Silvio Ranise and
Cesare Tinelli and
Thomas Ball and
Sriram K. Rajamani},
title = {Intelligent Systems and Formal Methods in Software Engineering},
journal = {{IEEE} Intell. Syst.},
volume = {21},
number = {6},
pages = {71--81},
year = {2006},
url = {https://doi.org/10.1109/MIS.2006.117},
doi = {10.1109/MIS.2006.117},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/expert/BeckertHHSGRTBR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BeckertP06,
author = {Bernhard Beckert and
Andr{\'{e}} Platzer},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {Dynamic Logic with Non-rigid Functions},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {266--280},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_23},
doi = {10.1007/11814771\_23},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BeckertP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AhrendtBHRS06,
author = {Wolfgang Ahrendt and
Bernhard Beckert and
Reiner H{\"{a}}hnle and
Philipp R{\"{u}}mmer and
Peter H. Schmitt},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Verifying Object-Oriented Programs with KeY: {A} Tutorial},
booktitle = {Formal Methods for Components and Objects, 5th International Symposium,
{FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4709},
pages = {70--101},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74792-5\_4},
doi = {10.1007/978-3-540-74792-5\_4},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/AhrendtBHRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BeckertB06,
author = {Bernhard Beckert and
Gerd Beuster},
editor = {Zhiming Liu and
Jifeng He},
title = {A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {55--73},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_4},
doi = {10.1007/11901433\_4},
timestamp = {Mon, 21 Mar 2022 22:43:10 +0100},
biburl = {https://dblp.org/rec/conf/icfem/BeckertB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BeckertHS06,
author = {Bernhard Beckert and
Reiner H{\"{a}}hnle and
Peter H. Schmitt},
title = {Integrating Object-Oriented Design and Deductive Verification of Software},
booktitle = {Fourth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
pages = {260},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SEFM.2006.25},
doi = {10.1109/SEFM.2006.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BeckertHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BeckertS05,
author = {Bernhard Beckert and
Steffen Schlager},
title = {Refinement and retrenchment for programming language data types},
journal = {Formal Aspects Comput.},
volume = {17},
number = {4},
pages = {423--442},
year = {2005},
url = {https://doi.org/10.1007/s00165-005-0073-x},
doi = {10.1007/S00165-005-0073-X},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BeckertS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AhrendtBBBGHMMRSS05,
author = {Wolfgang Ahrendt and
Thomas Baar and
Bernhard Beckert and
Richard Bubel and
Martin Giese and
Reiner H{\"{a}}hnle and
Wolfram Menzel and
Wojciech Mostowski and
Andreas Roth and
Steffen Schlager and
Peter H. Schmitt},
title = {The KeY tool},
journal = {Softw. Syst. Model.},
volume = {4},
number = {1},
pages = {32--54},
year = {2005},
url = {https://doi.org/10.1007/s10270-004-0058-x},
doi = {10.1007/S10270-004-0058-X},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/AhrendtBBBGHMMRSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BeckertSS05,
author = {Bernhard Beckert and
Steffen Schlager and
Peter H. Schmitt},
editor = {Kung{-}Kiu Lau and
Richard Banach},
title = {An Improved Rule for While Loops in Deductive Program Verification},
booktitle = {Formal Methods and Software Engineering, 7th International Conference
on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
1-4, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3785},
pages = {315--329},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11576280\_22},
doi = {10.1007/11576280\_22},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BeckertSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BeckertT05,
author = {Bernhard Beckert and
Kerry Trentelman},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Second-Order Principles in Specification Languages for Object-Oriented
Programs},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {154--168},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_12},
doi = {10.1007/11591191\_12},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BeckertT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2005,
editor = {Bernhard K. Aichernig and
Bernhard Beckert},
title = {Third {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://ieeexplore.ieee.org/xpl/conhome/10529/proceeding},
isbn = {0-7695-2435-4},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/2005,
editor = {Bernhard Beckert},
title = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554},
doi = {10.1007/11554554},
isbn = {3-540-28931-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BeckertS04,
author = {Bernhard Beckert and
Steffen Schlager},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Software Verification with Integrated Data Type Refinement for Integer
Arithmetic},
booktitle = {Integrated Formal Methods, 4th International Conference, {IFM} 2004,
Canterbury, UK, April 4-7, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2999},
pages = {207--226},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24756-2\_12},
doi = {10.1007/978-3-540-24756-2\_12},
timestamp = {Thu, 07 Apr 2022 08:44:27 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BeckertS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BeckertK04,
author = {Bernhard Beckert and
Vladimir Klebanov},
title = {Proof Reuse for Deductive Program Verification},
booktitle = {2nd International Conference on Software Engineering and Formal Methods
{(SEFM} 2004), 28-30 September 2004, Beijing, China},
pages = {77--86},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.33},
doi = {10.1109/SEFM.2004.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BeckertK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Beckert03,
author = {Bernhard Beckert},
title = {Depth-first proof search without backtracking for free-variable clausal
tableaux},
journal = {J. Symb. Comput.},
volume = {36},
number = {1-2},
pages = {117--138},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00026-9},
doi = {10.1016/S0747-7171(03)00026-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Beckert03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BeckertM03,
author = {Bernhard Beckert and
Wojciech Mostowski},
editor = {Mauro Pezz{\`{e}}},
title = {A Program Logic for Handling {JAVA} CARD's Transaction Mechanism},
booktitle = {Fundamental Approaches to Software Engineering, 6th International
Conference, {FASE} 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 = {2621},
pages = {246--260},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36578-8\_18},
doi = {10.1007/3-540-36578-8\_18},
timestamp = {Sun, 02 Oct 2022 16:01:12 +0200},
biburl = {https://dblp.org/rec/conf/fase/BeckertM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BeckertS03,
author = {Bernhard Beckert and
Peter H. Schmitt},
title = {Program Verification Using Change Information},
booktitle = {1st International Conference on Software Engineering and Formal Methods
{(SEFM} 2003), 22-27 September 2003, Brisbane, Australia},
pages = {91},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SEFM.2003.1236211},
doi = {10.1109/SEFM.2003.1236211},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BeckertS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AhrendtBBGHHMMS02,
author = {Wolfgang Ahrendt and
Thomas Baar and
Bernhard Beckert and
Martin Giese and
Elmar Habermalz and
Reiner H{\"{a}}hnle and
Wolfram Menzel and
Wojciech Mostowski and
Peter H. Schmitt},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {The KeY System: Integrating Object-Oriented Design and Formal Methods},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {327--330},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_23},
doi = {10.1007/3-540-45923-5\_23},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/AhrendtBBGHHMMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BeckertG01,
author = {Bernhard Beckert and
Rajeev Gor{\'{e}}},
title = {Free-Variable Tableaux for Propositional Modal Logics},
journal = {Stud Logica},
volume = {69},
number = {1},
pages = {59--96},
year = {2001},
url = {https://doi.org/10.1023/A:1013886427723},
doi = {10.1023/A:1013886427723},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BeckertG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BeckertS01,
author = {Bernhard Beckert and
Steffen Schlager},
editor = {Rajeev Gor{\'{e}} and
Alexander Leitsch and
Tobias Nipkow},
title = {A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities},
booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR}
2001, Siena, Italy, June 18-23, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2083},
pages = {626--641},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45744-5\_51},
doi = {10.1007/3-540-45744-5\_51},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BeckertS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/BaarBS01,
author = {Thomas Baar and
Bernhard Beckert and
Peter H. Schmitt},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Alexandre V. Zamulin},
title = {An Extension of Dynamic Logic for Modelling OCL's @pre Operator},
booktitle = {Perspectives of System Informatics, 4th International Andrei Ershov
Memorial Conference, {PSI} 2001, Akademgorodok, Novosibirsk, Russia,
July 2-6, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2244},
pages = {47--54},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45575-2\_7},
doi = {10.1007/3-540-45575-2\_7},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/BaarBS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/BeckertHM00,
author = {Bernhard Beckert and
Reiner H{\"{a}}hnle and
Felip Many{\`{a}}},
title = {The 2-SAT Problem of Regular Signed {CNF} Formulas},
booktitle = {30th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2000, Portland, Oregon, USA, May 23-25, 2000, Proceedings},
pages = {331--336},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ISMVL.2000.848640},
doi = {10.1109/ISMVL.2000.848640},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/BeckertHM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/javacard/Beckert00,
author = {Bernhard Beckert},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {A Dynamic Logic for the Formal Verification of Java Card Programs},
booktitle = {Java on Smart Cards: Programming and Security, First International
Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2041},
pages = {6--24},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45165-X\_2},
doi = {10.1007/3-540-45165-X\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/javacard/Beckert00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/AhrendtBBGHHMS00,
author = {Wolfgang Ahrendt and
Thomas Baar and
Bernhard Beckert and
Martin Giese and
Elmar Habermalz and
Reiner H{\"{a}}hnle and
Wolfram Menzel and
Peter H. Schmitt},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {The KeY Approach: Integrating Object Oriented Design and Formal Verification},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {21--36},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_3},
doi = {10.1007/3-540-40006-0\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/AhrendtBBGHHMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/StenzAB99,
author = {Gernot Stenz and
Wolfgang Ahrendt and
Bernhard Beckert},
title = {Proof Transformations from Search-oriented into Interaction-oriented
Tableau Calculi},
journal = {J. Univers. Comput. Sci.},
volume = {5},
number = {3},
pages = {113--134},
year = {1999},
url = {https://doi.org/10.3217/jucs-005-03-0113},
doi = {10.3217/JUCS-005-03-0113},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/StenzAB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/BeckertHM99,
author = {Bernhard Beckert and
Reiner H{\"{a}}hnle and
Felip Many{\`{a}}},
title = {Transformations between Signed and Classical Clause Logic},
booktitle = {29th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
1999, Freiburg im Breisgau, Germany, May 20-22, 1999, Proceedings},
pages = {248--255},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ISMVL.1999.779724},
doi = {10.1109/ISMVL.1999.779724},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/BeckertHM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/HahnleB99,
author = {Reiner H{\"{a}}hnle and
Bernhard Beckert},
editor = {Neil V. Murray},
title = {Proof Confluent Tableau Calculi},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '99, Saratoga Springs, NY, USA, June 7-11,
1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1617},
pages = {34--35},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48754-9\_7},
doi = {10.1007/3-540-48754-9\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/HahnleB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Beckert1998,
author = {Bernhard Beckert},
title = {Integration und Uniformierung von Methoden des tableaubasierten Theorembeweisens},
school = {Karlsruhe Institute of Technology},
year = {1998},
url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/107599},
urn = {urn:nbn:de:swb:90-AAA1075998},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Beckert1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BeckertHE98,
author = {Bernhard Beckert and
Reiner H{\"{a}}hnle and
Gonzalo Escalada{-}Imaz},
title = {Simplification of Many-Valued Logic Formulas Using Anti-Links},
journal = {J. Log. Comput.},
volume = {8},
number = {4},
pages = {569--587},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.4.569},
doi = {10.1093/LOGCOM/8.4.569},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BeckertHE98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BeckertG98,
author = {Bernhard Beckert and
Rajeev Gor{\'{e}}},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {System Description: \emph{lean}K 2.0},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {51--55},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054247},
doi = {10.1007/BFB0054247},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BeckertG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BeckertG98,
author = {Bernhard Beckert and
Rajeev Gor{\'{e}}},
editor = {Harrie C. M. de Swart},
title = {leanK 2.0},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {33--34},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_7},
doi = {10.1007/3-540-69778-0\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BeckertG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BeckertG98a,
author = {Bernhard Beckert and
Dov M. Gabbay},
editor = {Harrie C. M. de Swart},
title = {Fibring Semantic Tableaux},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {77--92},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_15},
doi = {10.1007/3-540-69778-0\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BeckertG98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BeckertH98,
author = {Bernhard Beckert and
Ulrike Hartmer},
editor = {Harrie C. M. de Swart},
title = {A Tableau Calculus for Quantifier-Free Set Theoretic Formulae},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {93--107},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_16},
doi = {10.1007/3-540-69778-0\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BeckertH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/RameshBHM97,
author = {Anavai Ramesh and
Bernhard Beckert and
Reiner H{\"{a}}hnle and
Neil V. Murray},
title = {Fast Subsumption Checks Using Anti-Links},
journal = {J. Autom. Reason.},
volume = {18},
number = {1},
pages = {47--83},
year = {1997},
url = {https://doi.org/10.1023/A:1005711712356},
doi = {10.1023/A:1005711712356},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/RameshBHM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Beckert97,
author = {Bernhard Beckert},
title = {Semantic Tableaux with Equality},
journal = {J. Log. Comput.},
volume = {7},
number = {1},
pages = {39--58},
year = {1997},
url = {https://doi.org/10.1093/logcom/7.1.39},
doi = {10.1093/LOGCOM/7.1.39},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Beckert97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BeckertG97,
author = {Bernhard Beckert and
Rajeev Gor{\'{e}}},
editor = {Didier Galmiche},
title = {Free Variable Tableaux for Propositional Modal Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '97, Pont-{\`{a}}-Mousson, France, May 13-16,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1227},
pages = {91--106},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027407},
doi = {10.1007/BFB0027407},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BeckertG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BeckertP96,
author = {Bernhard Beckert and
Joachim Posegga},
title = {Logic Programming as a Basis for Lean Automated Deduction},
journal = {J. Log. Program.},
volume = {28},
number = {3},
pages = {231--236},
year = {1996},
url = {https://doi.org/10.1016/0743-1066(96)00054-4},
doi = {10.1016/0743-1066(96)00054-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BeckertP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BeckertHOS96,
author = {Bernhard Beckert and
Reiner H{\"{a}}hnle and
Peter Oel and
Martin Sulzmann},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {The Tableau-based Theorem Prover \({}_{\mbox{3}}\)T\({}^{\mbox{A}}\)P
Version 4.0},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {303--307},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_95},
doi = {10.1007/3-540-61511-3\_95},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BeckertHOS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BeckertP96,
author = {Bernhard Beckert and
Christian Pape},
editor = {Pierangelo Miglioli and
Ugo Moscato and
Daniele Mundici and
Mario Ornaghi},
title = {Incremental Theory Reasoning Methods for Semantic Tableaux},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 5th International
Workshop, {TABLEAUX} '96, Terrasini, Palermo, Italy, May 15-17, 1996,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1071},
pages = {93--109},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61208-4\_7},
doi = {10.1007/3-540-61208-4\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BeckertP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BeckertP95,
author = {Bernhard Beckert and
Joachim Posegga},
title = {leanTAP: Lean Tableau-based Deduction},
journal = {J. Autom. Reason.},
volume = {15},
number = {3},
pages = {339--358},
year = {1995},
url = {https://doi.org/10.1007/BF00881804},
doi = {10.1007/BF00881804},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BeckertP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BeckertH95,
author = {Bernhard Beckert and
Reiner H{\"{a}}hnle},
editor = {Hans Kleine B{\"{u}}ning},
title = {Deduction by Combining Semantic Tableaux and Integer Programming},
booktitle = {Computer Science Logic, 9th International Workshop, {CSL} '95, Annual
Conference of the EACSL, Paderborn, Germany, September 22-29, 1995,
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1092},
pages = {52--63},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61377-3\_31},
doi = {10.1007/3-540-61377-3\_31},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/BeckertH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BeckertP95,
author = {Bernhard Beckert and
Joachim Posegga},
editor = {Hans Kleine B{\"{u}}ning},
title = {leanEA: {A} Lean Evolving Algebra Compiler},
booktitle = {Computer Science Logic, 9th International Workshop, {CSL} '95, Annual
Conference of the EACSL, Paderborn, Germany, September 22-29, 1995,
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1092},
pages = {64--85},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61377-3\_32},
doi = {10.1007/3-540-61377-3\_32},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BeckertP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/BeckertP95,
author = {Bernhard Beckert and
Joachim Posegga},
editor = {Andreas Krall and
Ulrich Geske},
title = {LeanEA: {A} Lean Evolving Algebra Compiler},
booktitle = {11. Workshop Logische Programmierung, Technische Universit{\"{a}}t
Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270},
pages = {73--82},
year = {1995},
timestamp = {Thu, 21 Mar 2019 11:27:24 +0100},
biburl = {https://dblp.org/rec/conf/wlp/BeckertP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Beckert94,
author = {Bernhard Beckert},
editor = {Alan Bundy},
title = {A Completion-Based Method for Mixed Universal and Rigid E-Unification},
booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
pages = {678--692},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_49},
doi = {10.1007/3-540-58156-1\_49},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Beckert94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BeckertP94,
author = {Bernhard Beckert and
Joachim Posegga},
editor = {Alan Bundy},
title = {leanT\({}^{\mbox{A}}\)P: Lean Tableau-Based Theorem Proving (Extended
Abstract)},
booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
pages = {793--797},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_62},
doi = {10.1007/3-540-58156-1\_62},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BeckertP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BeckerHRM94,
author = {Bernhard Beckert and
Reiner H{\"{a}}hnle and
Anavai Ramesh and
Neil V. Murray},
editor = {Frank Pfenning},
title = {On Anti-Links},
booktitle = {Logic Programming and Automated Reasoning, 5th International Conference,
LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {822},
pages = {275--289},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58216-9\_44},
doi = {10.1007/3-540-58216-9\_44},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BeckerHRM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/BeckertP94,
author = {Bernhard Beckert and
Joachim Posegga},
editor = {Norbert E. Fuchs and
Georg Gottlob},
title = {Logic Programming as a Bases for Lean Deduction: Achieving Maximal
Efficiency from Minimal Means},
booktitle = {Proceedings of the Tenth Logic Programming Workshop, {WLP} 94, 5-7
Octobert 1994, Univerity of Zurich, Switzerland. Technical Report
94/10},
pages = {108--111},
publisher = {Institut f{\"{u}}r Informatik der Universit{\"{a}}t Z{\"{u}}rich},
year = {1994},
timestamp = {Thu, 21 Mar 2019 11:19:43 +0100},
biburl = {https://dblp.org/rec/conf/wlp/BeckertP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/BeckertHS93,
author = {Bernhard Beckert and
Reiner H{\"{a}}hnle and
Peter H. Schmitt},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {108--119},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022559},
doi = {10.1007/BFB0022559},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/BeckertHS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BeckertH92,
author = {Bernhard Beckert and
Reiner H{\"{a}}hnle},
editor = {Deepak Kapur},
title = {An Improved Method for Adding Equality to Free Variable Semantic Tableaux},
booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated
Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {607},
pages = {507--521},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55602-8\_188},
doi = {10.1007/3-540-55602-8\_188},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BeckertH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BeckertGHK92,
author = {Bernhard Beckert and
Stefan Gerberding and
Reiner H{\"{a}}hnle and
Werner Kernig},
editor = {Deepak Kapur},
title = {The Tableau-Based Theorem Prover \({}_{\mbox{3}}\)T\({}^{\mbox{A}}\)P
for Multi-Valued Logics},
booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated
Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {607},
pages = {758--760},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55602-8\_219},
doi = {10.1007/3-540-55602-8\_219},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/BeckertGHK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/IWBS208,
author = {Bernhard Beckert},
title = {Konzeption und Implementierung von Gleichheit f{\"{u}}r einen
tableau-basierten Theorem-Beweiser},
journal = {{IWBS} Report},
volume = {208},
year = {1992},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/ibm/IWBS208.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/IWBS227,
author = {Reiner H{\"{a}}hnle and
Bernhard Beckert and
Stefan Gerberding and
Werner Kernig},
title = {The Many-Valued Theorem Prover \({}_{\mbox{3}}\)T\({}^{\mbox{A}}\)P},
journal = {{IWBS} Report},
volume = {227},
year = {1992},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/ibm/IWBS227.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:49 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:
