default search action

combined dblp search
author search
venue search
publication search

ask others

Bernhard Beckert

> Home > Persons

Person information

affiliation: Karlsruhe Institute of Technology, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AhrendtBBHU25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AhrendtBBHU25
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich:
The Many Uses of Dynamic Logic. Go Where the Bugs Are 2025: 56-82
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/eenergy/ElbezSCCFLKKNBK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eenergy/ElbezSCCFLKKNBK25
Ghada Elbez, Gustavo Sánchez, Sine Canbolat, Sophie Corallo, Clemens Fruböse, Florian Lanzinger, Nicolai Kellerer, Gustav Keppler, Felix Neumeister, Bernhard Beckert, Anne Koziolek, Martina Zitterbart, Veit Hagenmeyer:
Insights and Lessons Learned from a Realistic Smart Grid Testbed for Cybersecurity Research. e-Energy 2025: 805-812
[c115]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fmbc/SchifflB25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmbc/SchifflB25
Jonas Schiffl, Bernhard Beckert:
Scar: Verification-Based Development of Smart Contracts (Tool Paper). FMBC 2025: 14:1-14:13
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TeuberB25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TeuberB25
Samuel Teuber, Bernhard Beckert:
Next Steps in LLM-Supported Java Verification. NSE@ICSE 2025: 1-4
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/se/KlamrothLGB25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/KlamrothLGB25
Jonas Klamroth, Niko Lemke, Ruben Götz, Bernhard Beckert:
Improved Bounds for Rounding Errors in Quantum Circuit Simulators. Software Engineering Companion 2025: 18
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/TeuberKJB25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/TeuberKJB25
Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert:
Revisiting Differential Verification: Equivalence Verification with Confidence. TACAS (2) 2025: 257-278
[i10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2502-01573
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2502-01573
Samuel Teuber, Bernhard Beckert:
Next Steps in LLM-Supported Java Verification. CoRR abs/2502.01573 (2025)
2024
[c111]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/TeuberB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/TeuberB24
Samuel Teuber, Bernhard Beckert:
An Information-Flow Perspective on Algorithmic Fairness. AAAI 2024: 15337-15345
[c110]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fm/BeckertBDHLPUW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BeckertBDHLPUW24
Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hähnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, Alexander Weigl:
The Java Verification Tool KeY:A Tutorial. FM (2) 2024: 597-623
[c109]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fmbc/SchifflB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmbc/SchifflB24
Jonas Schiffl, Bernhard Beckert:
A Practical Notion of Liveness in Smart Contract Applications. FMBC@CAV 2024: 8:1-8:13
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/WeiglBBU24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/WeiglBBU24
Alexander Weigl, Joshua Bachmeier, Bernhard Beckert, Mattias Ulbrich:
Contract Automata: A Specification Language for Mode-Based Systems. FormaliSE@ICSE 2024: 1-11
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/PascualBUKP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/PascualBUKP24
Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, Wolfram Pfeifer:
Formal Foundations of Consistency in Model-Driven Development. ISoLA (3) 2024: 178-200
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BeckertKPRT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BeckertKPRT24
Bernhard Beckert, Jonas Klamroth, Wolfram Pfeifer, Patrick Röper, Samuel Teuber:
Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification. ISoLA (4) 2024: 242-257
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/models/FeichtingerKPAB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/FeichtingerKPAB24
Kevin Feichtinger, Karl Kegel, Romain Pascual, Uwe Aßmann, Bernhard Beckert, Ralf H. Reussner:
Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering. MoDELS (Companion) 2024: 915-919
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/qsw/KlamrothB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsw/KlamrothB24
Jonas Klamroth, Bernhard Beckert:
Bounding Rounding Errors in the Simulation of Quantum Circuits. QSW 2024: 99-106
[c103]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BeckertSUWW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BeckertSUWW24
Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Julian Wiesler, Sascha Witt:
Formally Verifying an Efficient Sorter. TACAS (1) 2024: 268-287
[d3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/11/AhrendtBBHUW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/AhrendtBBHUW24
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, Alexander Weigl:
KeY CLI, Release 2.13. Zenodo, 2024
[d2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/11/BeckertBDHLPUW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BeckertBDHLPUW24
Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hähnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, Alexander Weigl:
The Java Verification Tool KeY: A Tutorial. Zenodo, 2024
[i9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-20207
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-20207
Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert:
Revisiting Differential Verification: Equivalence Verification with Confidence. CoRR abs/2410.20207 (2024)
2023
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/dappcon/SchifflWB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dappcon/SchifflWB23
Jonas Schiffl, Alexander Weigl, Bernhard Beckert:
Static Capability-Based Security for Smart Contracts. DAPPS 2023: 110-117
[c101]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ewaf/TeuberB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewaf/TeuberB23
Samuel Teuber, Bernhard Beckert:
Formally Verified Algorithmic Fairness Using Information-Flow Tools. EWAF 2023
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoc/KlamrothB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/KlamrothB23
Jonas Klamroth, Bernhard Beckert:
On Rounding Errors in the Simulation of Quantum Circuits. ICSOC Workshops 2023: 137-149
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/models/ReussnerSBKB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/ReussnerSBKB23
Ralf H. Reussner, Ina Schaefer, Bernhard Beckert, Anne Koziolek, Erik Burger:
Consistency in the View-Based Development of Cyber-Physical Systems (Convide). MoDELS (Companion) 2023: 83-84
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/qsw/KlamrothBSD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsw/KlamrothBSD23
Jonas Klamroth, Bernhard Beckert, Max Scheerer, Oliver Denninger:
QIn: Enabling Formal Methods to Deal with Quantum Circuits. QSW 2023: 175-185
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/BeckertSUWW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeckertSUWW23
Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Julian Wiesler, Sascha Witt:
Formally Verifying an Efficient Sorter - Verification and Benchmarking Artifact. Zenodo, 2023
[i8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-10128
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-10128
Samuel Teuber, Bernhard Beckert:
An Information-Flow Perspective on Algorithmic Fairness. CoRR abs/2312.10128 (2023)
2022
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/KirstenVB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/KirstenVB22
Michael Kirsten, Melanie Volkamer, Bernhard Beckert:
Why Is Online Voting Still Largely a Black Box? CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS 2022: 555-567
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BeckertUVW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BeckertUVW22
Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl:
Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems. ICTAC 2022: 7-13
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BeckertBHU22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BeckertBHU22
Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich:
Towards a Usable and Sustainable Deductive Verification Tool. ISoLA (2) 2022: 281-300
[c94]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sicherheit/BeckertBGKKKMMN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sicherheit/BeckertBGKKKMMN22
Bernhard Beckert, Jurlind Budurushi, Armin Grunwald, Robert Krimmer, Oksana Kulyk, Ralf Küsters, Andreas Mayer, Jörn Müller-Quade, Stephan Neumann, Melanie Volkamer:
Recent Developments in the Context of Online Elections and Digital Polls in Germany. Sicherheit 2022: 213-217
[e15]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2022hahnle
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2022hahnle
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen:
The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13360, Springer 2022, ISBN 978-3-031-08165-1 [contents]
2021
[j25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iet-cps/ChaVWUB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iet-cps/ChaVWUB21
Suhyun Cha, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert:
Table-based formal specification approaches for control engineers - empirical studies of usability. IET Cyper-Phys. Syst.: Theory & Appl. 6(4): 193-207 (2021)
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/Vogel-HeuserHCB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/Vogel-HeuserHCB21
Birgit Vogel-Heuser, Christoph Huber, Suhyun Cha, Bernhard Beckert:
Integration of a formal specification approach into CPPS engineering workflow for machinery validation. INDIN 2021: 1-8
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/sacmat/SchifflGLSFB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacmat/SchifflGLSFB21
Jonas Schiffl, Matthias Grundmann, Marc Leinweber, Oliver Stengele, Sebastian Friebe, Bernhard Beckert:
Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control. SACMAT 2021: 125-130
2020
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/insk/BeckertHORS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/insk/BeckertHORS20
Bernhard Beckert, Isabel Häuser, Andreas Oberweis, Ralf H. Reussner, Sebastian Schäfer:
Nachruf Professor em. Dr. Dr. h.c. Gerhard Goos. Inform. Spektrum 43(2): 157-158 (2020)
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ScheererKRB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ScheererKRB20
Max Scheerer, Jonas Klamroth, Ralf H. Reussner, Bernhard Beckert:
Towards classes of architectural dependability assurance for machine-learning-based systems. SEAMS@ICSE 2020: 31-37
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WeiglUCBV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WeiglUCBV20
Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser:
Relational Test Tables: A Practical Specification Language for Evolution and Security. FormaliSE@ICSE 2020: 77-86
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BeckertS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BeckertS20
Bernhard Beckert, Jonas Schiffl:
Specifying Framing Conditions for Smart Contracts. ISoLA (3) 2020: 43-59
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BeckertKKU20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BeckertKKU20
Bernhard Beckert, Michael Kirsten, Jonas Klamroth, Mattias Ulbrich:
Modular Verification of JML Contracts Using Bounded Model Checking. ISoLA (1) 2020: 60-80
[p6]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/SchifflABB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/SchifflABB20
Jonas Schiffl, Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel:
Formal Analysis of Smart Contracts: Applying the KeY System. 20 Years of KeY 2020: 204-218
[p5]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/BeckertHKT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BeckertHKT20
Bernhard Beckert, Mihai Herda, Michael Kirsten, Shmuel S. Tyszberowicz:
Integration of Static and Dynamic Analysis Techniques for Checking Noninterference. 20 Years of KeY 2020: 287-312
[e14]
- view
  authority control:
- export record
  dblp key:
  - conf/evoteid/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/evoteid/2020
Robert Krimmer, Melanie Volkamer, Bernhard Beckert, Ralf Küsters, Oksana Kulyk, David Duenas-Cid, Mikhel Solvak:
Electronic Voting - 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6-9, 2020, Proceedings. Lecture Notes in Computer Science 12455, Springer 2020, ISBN 978-3-030-60346-5 [contents]
[e13]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/12345
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/12345
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich:
Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Lecture Notes in Computer Science 12345, Springer 2020, ISBN 978-3-030-64353-9 [contents]

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BeckertSU19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BeckertSU19
Bernhard Beckert, Jonas Schiffl, Mattias Ulbrich:
Smart Contracts: Application Scenarios for Deductive Program Verification. FM Workshops (1) 2019: 293-298
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/ChaUWBLV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/ChaUWBLV19
Suhyun Cha, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert, Kathrin Land, Birgit Vogel-Heuser:
On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems. INDIN 2019: 413-418
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/HerdaTMB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/HerdaTMB19
Mihai Herda, Shmuel S. Tyszberowicz, Joachim Müssig, Bernhard Beckert:
Verification-based test case generation for information-flow properties. SAC 2019: 2231-2238
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BeckertBGHLU19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BeckertBGHLU19
Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich:
Using Relational Verification for Program Slicing. SEFM 2019: 353-372
[c83]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1907-03996
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-03996
Mihai Herda, Michael Kirsten, Etienne Brunner, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner, Pascal Zwick, Bernhard Beckert:
Understanding Counterexamples for Relational Properties with DIbugger. HCVS/PERR@ETAPS 2019: 6-13
[p4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/19/BeckertMUW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/19/BeckertMUW19
Bernhard Beckert, Jakob Mund, Mattias Ulbrich, Alexander Weigl:
Formal Verification of Evolutionary Changes. Managed Software Evolution 2019: 309-332
[e12]
- view
  authority control:
- export record
  dblp key:
  - conf/voteid/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/voteid/2019
Robert Krimmer, Melanie Volkamer, Véronique Cortier, Bernhard Beckert, Ralf Küsters, Uwe Serdült, David Duenas-Cid:
Electronic Voting - 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings. Lecture Notes in Computer Science 11759, Springer 2019, ISBN 978-3-030-30624-3 [contents]
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1910-09068
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-09068
Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser:
Relational Test Tables: A Practical Specification Language for Evolution and Security. CoRR abs/1910.09068 (2019)
2018
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/at/ChaWUBV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/at/ChaWUBV18
Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser:
Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU. Autom. 66(10): 834-848 (2018)
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BeckertU18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BeckertU18
Bernhard Beckert, Mattias Ulbrich:
Trends in Relational Program Verification. Principled Software Development 2018: 41-58
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/case/ChaWUBV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/ChaWUBV18
Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser:
Achieving delta description of the control software for an automated production system evolution. CASE 2018: 1170-1176
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/BeckertBHKB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BeckertBHKB18
Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Büning:
Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control. ICFEM 2018: 284-300
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BeckertHKU18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BeckertHKU18
Bernhard Beckert, Mihai Herda, Stefan Kobischke, Mattias Ulbrich:
Towards a Notion of Coverage for Incomplete Program-Correctness Proofs. ISoLA (2) 2018: 53-63
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/HerdaTB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/HerdaTB18
Mihai Herda, Shmuel S. Tyszberowicz, Bernhard Beckert:
Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties. TAP@STAF 2018: 83-102
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BeckertBK0UW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BeckertBK0UW18
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl:
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms. VSTTE 2018: 248-266
[c76]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-10328
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10328
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl:
Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations. MARS/VPT@ETAPS 2018: 185-199
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1801-08766
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-08766
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl:
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms. CoRR abs/1801.08766 (2018)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1802-02374
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-02374
Bernhard Beckert, Britta Nestler, Moritz Kiefer, Michael Selzer, Mattias Ulbrich:
Experience Report: Formal Methods in Material Science. CoRR abs/1802.02374 (2018)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1804-04402
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-04402
Bernhard Beckert, Sarah Grebing, Alexander Weigl:
Debugging Program Verification Proof Scripts (Tool Paper). CoRR abs/1804.04402 (2018)
2017
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/BeckertGU17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/BeckertGU17
Bernhard Beckert, Sarah Grebing, Mattias Ulbrich:
An Interaction Concept for Program Verification Systems with Explicit Proof Object. Haifa Verification Conference 2017: 163-178
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BeckertCUVW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BeckertCUVW17
Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl:
Generalised Test Tables: A Practical Specification Language for Reactive Systems. IFM 2017: 129-144
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BeckertBGHLU17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BeckertBGHLU17
Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich:
SemSlice: Exploiting Relational Verification for Automatic Program Slicing. IFM 2017: 312-319
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/ChaUVWUB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/ChaUVWUB17
Suhyun Cha, Sebastian Ulewicz, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert:
Generation of monitoring functions in production automation using test specifications. INDIN 2017: 339-344
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/WeiglWUUCKBV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/WeiglWUUCKBV17
Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, Birgit Vogel-Heuser:
Generalized test tables: A powerful and intuitive specification language for reactive systems. INDIN 2017: 875-882
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/GreinerMB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/GreinerMB17
Simon Greiner, Martin Mohr, Bernhard Beckert:
Modular Verification of Information Flow Security in Component-Based Systems. SEFM 2017: 300-315
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/LiuTBT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/LiuTBT17
Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, Mana Taghdiri:
Computing Exact Loop Bounds for Bounded Program Verification. SETTA 2017: 147-163
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BeckertSSU17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BeckertSSU17
Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt, Mattias Ulbrich:
Proving JDK's Dual Pivot Quicksort Correct. VSTTE 2017: 35-48
2016
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BeckertBG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BeckertBG16
Bernhard Beckert, Thorsten Bormer, Daniel Grahl:
Deductive Verification of Legacy Code. ISoLA (1) 2016: 749-765
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/LiuTHBGT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/LiuTHBGT16
Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri:
Computing Specification-Sensitive Abstractions for Program Verification. SETTA 2016: 101-117
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/voteid/BeckertKKS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/voteid/BeckertKKS16
Bernhard Beckert, Michael Kirsten, Vladimir Klebanov, Carsten Schürmann:
Automatic Margin Computation for Risk-Limiting Audits. E-VOTE-ID 2016: 18-35
[p3]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/BeckertK016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BeckertK016
Bernhard Beckert, Vladimir Klebanov, Benjamin Weiß:
Dynamic Logic for Java. Deductive Software Verification 2016: 49-106
[p2]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/BeckertH0S16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BeckertH0S16
Bernhard Beckert, Reiner Hähnle, Martin Hentschel, Peter H. Schmitt:
Formal Verification with KeY: A Tutorial. Deductive Software Verification 2016: 541-570
[e11]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/10001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/10001
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich:
Deductive Software Verification - The KeY Book - From Theory to Practice. Lecture Notes in Computer Science 10001, Springer 2016, ISBN 978-3-319-49811-9 [contents]
2015
[c64]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cade/BeckertG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BeckertG15
Bernhard Beckert, Sarah Grebing:
Interactive Theorem Proving - Modelling the User in the Proof Process. Bridging@CADE 2015: 60-73
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/KustersTBBKM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/KustersTBBKM15
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr:
A Hybrid Approach for Proving Noninterference of Java Programs. CSF 2015: 305-319
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/BeckertKU15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/BeckertKU15
Bernhard Beckert, Vladimir Klebanov, Mattias Ulbrich:
Regression verification for Java using a secure information flow calculus. FTfJP@ECOOP 2015: 6:1-6:6
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/UlewiczVUWB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/UlewiczVUWB15
Sebastian Ulewicz, Birgit Vogel-Heuser, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert:
Proving equivalence between control software variants for Programmable Logic Controllers. ETFA 2015: 1-5
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/BeckertUVW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BeckertUVW15
Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl:
Regression Verification for Programmable Logic Controller Software. ICFEM 2015: 234-251
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/Vogel-HeuserFFL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/Vogel-HeuserFFL15
Birgit Vogel-Heuser, Stefan Feldmann, Jens Folmer, Jan Ladiges, Alexander Fay, Sascha Lity, Matthias Tichy, Matthias Kowal, Ina Schaefer, Christopher Haubeck, Winfried Lamersdorf, Timo Kehrer, Sinem Getir, Mattias Ulbrich, Vladimir Klebanov, Bernhard Beckert:
Selected challenges of software evolution for automated production systems. INDIN 2015: 314-321
[i3]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/KustersTBBKM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/KustersTBBKM15
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr:
A Hybrid Approach for Proving Noninterference of Java Programs. IACR Cryptol. ePrint Arch. 2015: 438 (2015)
2014
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/expert/BeckertH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/expert/BeckertH14
Bernhard Beckert, Reiner Hähnle:
Reasoning and Verification: State of the Art and Current Trends. IEEE Intell. Syst. 29(1): 20-29 (2014)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/istr/BeckertGSBW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/istr/BeckertGSBW14
Bernhard Beckert, Rajeev Goré, Carsten Schürmann, Thorsten Bormer, Jian Wang:
Verifying voting schemes. J. Inf. Secur. Appl. 19(2): 115-129 (2014)
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BeckertGB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BeckertGB14
Bernhard Beckert, Sarah Grebing, Florian Böhl:
A Usability Evaluation of Interactive Theorem Provers Using Focus Groups. SEFM Workshops 2014: 3-19
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/AhrendtBBBGGHHHKMSSU14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/AhrendtBBBGGHHHKMSSU14
Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich:
The KeY Platform for Verification and Analysis of Java Programs. VSTTE 2014: 55-71
[c56]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BeckertGB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BeckertGB14
Bernhard Beckert, Sarah Grebing, Florian Böhl:
How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers. UITP 2014: 4-13
2013
[j20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BeckertK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BeckertK13
Bernhard Beckert, Vladimir Klebanov:
A Dynamic Logic for deductive verification of multi-threaded programs. Formal Aspects Comput. 25(3): 405-437 (2013)
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BeckertGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BeckertGS13
Bernhard Beckert, Rajeev Goré, Carsten Schürmann:
Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme. CADE 2013: 135-144
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BeckertB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BeckertB13
Bernhard Beckert, Daniel Bruns:
Dynamic Logic with Trace Semantics. CADE 2013: 315-329
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BeckertBKSSU13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BeckertBKSSU13
Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich:
Information Flow in Object-Oriented Software. LOPSTR 2013: 19-37
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BeckertB013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BeckertB013
Bernhard Beckert, Thorsten Bormer, Markus Wagner:
A Metric for Testing Program Verification Systems. TAP@STAF 2013: 56-75
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/voteid/BeckertGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/voteid/BeckertGS13
Bernhard Beckert, Rajeev Goré, Carsten Schürmann:
On the Specification and Verification of Voting Schemes. VoteID 2013: 25-40
[e10]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/2011
Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue:
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7542, Springer 2013, ISBN 978-3-642-35886-9 [contents]
2012
[c50]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cade/BeckertG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BeckertG12
Bernhard Beckert, Sarah Grebing:
Evaluating the Usability of Interactive Verification Systems. COMPARE 2012: 3-17
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/BeckertB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/BeckertB12
Bernhard Beckert, Daniel Bruns:
Formal Semantics of Model Fields in Annotation-Based Specifications. KI 2012: 13-24
[c48]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-6186
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6186
Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer:
Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck. SSV 2012: 18-32
[e9]
- view
- export record
  dblp key:
  - conf/cade/2012compare
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/2012compare
Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe:
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012. CEUR Workshop Proceedings 873, CEUR-WS.org 2012 [contents]
[e8]
- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/2011
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov:
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7421, Springer 2012, ISBN 978-3-642-31761-3 [contents]
2011
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/it/BeckertHMPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/it/BeckertHMPS11
Bernhard Beckert, Dennis Hofheinz, Jörn Müller-Quade, Alexander Pretschner, Gregor Snelting:
Software Security in Virtualized Infrastructures - The Smart Meter Example. it Inf. Technol. 53(3): 142-151 (2011)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/saem/BeckertGTY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/saem/BeckertGTY11
Bernhard Beckert, Christoph Gladisch, Shmuel S. Tyszberowicz, Amiram Yehudai:
KeYGenU: combining verification-based and capture and replay techniques for regression unit testing. Int. J. Syst. Assur. Eng. Manag. 2(2): 97-113 (2011)
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/BeckertBMS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/BeckertBMS11
Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz:
Integration of Bounded Model Checking and Deductive Verification. FoVeOOS 2011: 86-104
[c46]
- view
- export record
  dblp key:
  - conf/gi/Beckert11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/Beckert11
Bernhard Beckert:
Preface. GI-Jahrestagung 2011: 347
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/2010
Bernhard Beckert, Claude Marché:
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6528, Springer 2011, ISBN 978-3-642-18069-9 [contents]
2010
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/insk/BaaderBN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/insk/BaaderBN10
Franz Baader, Bernhard Beckert, Tobias Nipkow:
Deduktion: von der Theorie zur Anwendung. Inform. Spektrum 33(5): 444-451 (2010)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BeckertH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BeckertH10
Bernhard Beckert, Reiner Hähnle:
Tests and Proofs - Preface of the Special Issue. J. Autom. Reason. 45(4): 327-329 (2010)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/ki/AhrendtBGR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/AhrendtBGR10
Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer:
Practical Aspects of Automated Deduction for Program Verification. Künstliche Intell. 24(1): 43-49 (2010)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/ki/BeckertM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/BeckertM10
Bernhard Beckert, Michal Moskal:
Deductive Verification of System Software in the Verisoft XT Project. Künstliche Intell. 24(1): 57-61 (2010)
[c45]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cade/BeckertBG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BeckertBG10
Bernhard Beckert, Daniel Bruns, Sarah Grebing:
Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper). VERIFY@IJCAR 2010: 4-12
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/BeckertBK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/BeckertBK10
Bernhard Beckert, Thorsten Bormer, Vladimir Klebanov:
Improving the Usability of Specification Languages and Methods for Annotation-Based Verification. FMCO 2010: 61-79
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/GladischTBY10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/GladischTBY10
Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai:
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. TAP@TOOLS 2010: 61-76

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/BeckertW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/BeckertW09
Bernhard Beckert, Markus Wagner:
Probabilistic Models for the Verification of Human-Computer Interaction. KI 2009: 687-694
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/BaumannBBB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/BaumannBBB09
Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer:
Formal Verification of a Microkernel Used in Dependable Software Systems. SAFECOMP 2009: 187-200
2008
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/AichernigB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/AichernigB08
Bernhard K. Aichernig, Bernhard Beckert:
Software engineering and formal methods. Softw. Syst. Model. 7(3): 255-256 (2008)
[c40]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cade/BeckertK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BeckertK08
Bernhard Beckert, Gerwin Klein:
Title, Preface, Table of Contents. VERIFY 2008
[e6]
- view
- export record
  dblp key:
  - conf/cade/2008verify
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/2008verify
Bernhard Beckert, Gerwin Klein:
Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008. CEUR Workshop Proceedings 372, CEUR-WS.org 2008 [contents]
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/2008
Bernhard Beckert, Reiner Hähnle:
Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings. Lecture Notes in Computer Science 4966, Springer 2008, ISBN 978-3-540-79123-2 [contents]
2007
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BeckertP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BeckertP07
Bernhard Beckert, Lawrence C. Paulson:
Preface. J. Autom. Reason. 38(1-3): 1-2 (2007)
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BeckertGHKRSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BeckertGHKRSS07
Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt:
The KeY system 1.0 (Deduction Component). CADE 2007: 379-384
[c38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fmoods/AhrendtBHS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/AhrendtBHS07
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt:
KeY: A Formal Method for Object-Oriented Systems. FMOODS 2007: 32-43
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BeckertK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BeckertK07
Bernhard Beckert, Vladimir Klebanov:
A Dynamic Logic for Deductive Verification of Concurrent Programs. SEFM 2007: 141-150
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BeckertG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BeckertG07
Bernhard Beckert, Christoph Gladisch:
White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing. TAP 2007: 207-216
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/BeckertKS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BeckertKS07
Bernhard Beckert, Vladimir Klebanov, Steffen Schlager:
Dynamic Logic. The KeY Approach 2007: 69-177
[e4]
- view
- export record
  dblp key:
  - conf/cade/2007verify
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/2007verify
Bernhard Beckert:
Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007. CEUR Workshop Proceedings 259, CEUR-WS.org 2007 [contents]
[e3]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/4334
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/4334
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt:
Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino. Lecture Notes in Computer Science 4334, Springer 2007, ISBN 978-3-540-68977-5 [contents]
2006
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/expert/BeckertHHSGRTBR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/expert/BeckertHHSGRTBR06
Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani:
Intelligent Systems and Formal Methods in Software Engineering. IEEE Intell. Syst. 21(6): 71-81 (2006)
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BeckertP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BeckertP06
Bernhard Beckert, André Platzer:
Dynamic Logic with Non-rigid Functions. IJCAR 2006: 266-280
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/AhrendtBHRS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/AhrendtBHRS06
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt:
Verifying Object-Oriented Programs with KeY: A Tutorial. FMCO 2006: 70-101
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/BeckertB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BeckertB06
Bernhard Beckert, Gerd Beuster:
A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces. ICFEM 2006: 55-73
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BeckertHS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BeckertHS06
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt:
Integrating Object-Oriented Design and Deductive Verification of Software. SEFM 2006: 260
2005
[j10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BeckertS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BeckertS05
Bernhard Beckert, Steffen Schlager:
Refinement and retrenchment for programming language data types. Formal Aspects Comput. 17(4): 423-442 (2005)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/AhrendtBBBGHMMRSS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/AhrendtBBBGHMMRSS05
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt:
The KeY tool. Softw. Syst. Model. 4(1): 32-54 (2005)
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/BeckertSS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BeckertSS05
Bernhard Beckert, Steffen Schlager, Peter H. Schmitt:
An Improved Rule for While Loops in Deductive Program Verification. ICFEM 2005: 315-329
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BeckertT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BeckertT05
Bernhard Beckert, Kerry Trentelman:
Second-Order Principles in Specification Languages for Object-Oriented Programs. LPAR 2005: 154-168
[e2]
- view
- export record
  dblp key:
  - conf/sefm/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/2005
Bernhard K. Aichernig, Bernhard Beckert:
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. IEEE Computer Society 2005, ISBN 0-7695-2435-4 [contents]
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/2005
Bernhard Beckert:
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings. Lecture Notes in Computer Science 3702, Springer 2005, ISBN 3-540-28931-3 [contents]
2004
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BeckertS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BeckertS04
Bernhard Beckert, Steffen Schlager:
Software Verification with Integrated Data Type Refinement for Integer Arithmetic. IFM 2004: 207-226
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BeckertK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BeckertK04
Bernhard Beckert, Vladimir Klebanov:
Proof Reuse for Deductive Program Verification. SEFM 2004: 77-86
2003
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/Beckert03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Beckert03
Bernhard Beckert:
Depth-first proof search without backtracking for free-variable clausal tableaux. J. Symb. Comput. 36(1-2): 117-138 (2003)
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/BeckertM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BeckertM03
Bernhard Beckert, Wojciech Mostowski:
A Program Logic for Handling JAVA CARD's Transaction Mechanism. FASE 2003: 246-260
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BeckertS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BeckertS03
Bernhard Beckert, Peter H. Schmitt:
Program Verification Using Change Information. SEFM 2003: 91-
2002
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/AhrendtBBGHHMMS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/AhrendtBBGHHMMS02
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt:
The KeY System: Integrating Object-Oriented Design and Formal Methods. FASE 2002: 327-330
2001
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/BeckertG01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/BeckertG01
Bernhard Beckert, Rajeev Goré:
Free-Variable Tableaux for Propositional Modal Logics. Stud Logica 69(1): 59-96 (2001)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BeckertS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BeckertS01
Bernhard Beckert, Steffen Schlager:
A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities. IJCAR 2001: 626-641
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/BaarBS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/BaarBS01
Thomas Baar, Bernhard Beckert, Peter H. Schmitt:
An Extension of Dynamic Logic for Modelling OCL's @pre Operator. Ershov Memorial Conference 2001: 47-54
2000
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/BeckertHM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/BeckertHM00
Bernhard Beckert, Reiner Hähnle, Felip Manyà:
The 2-SAT Problem of Regular Signed CNF Formulas. ISMVL 2000: 331-336
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/javacard/Beckert00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/javacard/Beckert00
Bernhard Beckert:
A Dynamic Logic for the Formal Verification of Java Card Programs. Java Card Workshop 2000: 6-24
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/AhrendtBBGHHMS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/AhrendtBBGHHMS00
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt:
The KeY Approach: Integrating Object Oriented Design and Formal Verification. JELIA 2000: 21-36

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/StenzAB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/StenzAB99
Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert:
Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi. J. Univers. Comput. Sci. 5(3): 113-134 (1999)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/BeckertHM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/BeckertHM99
Bernhard Beckert, Reiner Hähnle, Felip Manyà:
Transformations between Signed and Classical Clause Logic. ISMVL 1999: 248-255
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/HahnleB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/HahnleB99
Reiner Hähnle, Bernhard Beckert:
Proof Confluent Tableau Calculi. TABLEAUX 1999: 34-35
1998
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/de/Beckert1998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/de/Beckert1998
Bernhard Beckert:
Integration und Uniformierung von Methoden des tableaubasierten Theorembeweisens. Karlsruhe Institute of Technology, 1998
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/BeckertHE98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/BeckertHE98
Bernhard Beckert, Reiner Hähnle, Gonzalo Escalada-Imaz:
Simplification of Many-Valued Logic Formulas Using Anti-Links. J. Log. Comput. 8(4): 569-587 (1998)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BeckertG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BeckertG98
Bernhard Beckert, Rajeev Goré:
System Description: leanK 2.0. CADE 1998: 51-55
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/BeckertG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/BeckertG98
Bernhard Beckert, Rajeev Goré:
leanK 2.0. TABLEAUX 1998: 33-34
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/BeckertG98a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/BeckertG98a
Bernhard Beckert, Dov M. Gabbay:
Fibring Semantic Tableaux. TABLEAUX 1998: 77-92
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/BeckertH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/BeckertH98
Bernhard Beckert, Ulrike Hartmer:
A Tableau Calculus for Quantifier-Free Set Theoretic Formulae. TABLEAUX 1998: 93-107
1997
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/RameshBHM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/RameshBHM97
Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray:
Fast Subsumption Checks Using Anti-Links. J. Autom. Reason. 18(1): 47-83 (1997)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Beckert97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Beckert97
Bernhard Beckert:
Semantic Tableaux with Equality. J. Log. Comput. 7(1): 39-58 (1997)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/BeckertG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/BeckertG97
Bernhard Beckert, Rajeev Goré:
Free Variable Tableaux for Propositional Modal Logics. TABLEAUX 1997: 91-106
1996
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BeckertP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BeckertP96
Bernhard Beckert, Joachim Posegga:
Logic Programming as a Basis for Lean Automated Deduction. J. Log. Program. 28(3): 231-236 (1996)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BeckertHOS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BeckertHOS96
Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann:
The Tableau-based Theorem Prover ₃T^AP Version 4.0. CADE 1996: 303-307
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/BeckertP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/BeckertP96
Bernhard Beckert, Christian Pape:
Incremental Theory Reasoning Methods for Semantic Tableaux. TABLEAUX 1996: 93-109
1995
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BeckertP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BeckertP95
Bernhard Beckert, Joachim Posegga:
leanTAP: Lean Tableau-based Deduction. J. Autom. Reason. 15(3): 339-358 (1995)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/BeckertH95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/BeckertH95
Bernhard Beckert, Reiner Hähnle:
Deduction by Combining Semantic Tableaux and Integer Programming. CSL 1995: 52-63
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/BeckertP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/BeckertP95
Bernhard Beckert, Joachim Posegga:
leanEA: A Lean Evolving Algebra Compiler. CSL 1995: 64-85
[c8]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/BeckertP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/BeckertP95
Bernhard Beckert, Joachim Posegga:
LeanEA: A Lean Evolving Algebra Compiler. WLP 1995: 73-82
1994
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Beckert94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Beckert94
Bernhard Beckert:
A Completion-Based Method for Mixed Universal and Rigid E-Unification. CADE 1994: 678-692
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BeckertP94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BeckertP94
Bernhard Beckert, Joachim Posegga:
leanT^AP: Lean Tableau-Based Theorem Proving (Extended Abstract). CADE 1994: 793-797
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BeckerHRM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BeckerHRM94
Bernhard Beckert, Reiner Hähnle, Anavai Ramesh, Neil V. Murray:
On Anti-Links. LPAR 1994: 275-289
[c4]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/BeckertP94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/BeckertP94
Bernhard Beckert, Joachim Posegga:
Logic Programming as a Bases for Lean Deduction: Achieving Maximal Efficiency from Minimal Means. WLP 1994: 108-111
1993
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/kgc/BeckertHS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kgc/BeckertHS93
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt:
The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux. Kurt Gödel Colloquium 1993: 108-119
1992
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BeckertH92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BeckertH92
Bernhard Beckert, Reiner Hähnle:
An Improved Method for Adding Equality to Free Variable Semantic Tableaux. CADE 1992: 507-521
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BeckertGHK92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BeckertGHK92
Bernhard Beckert, Stefan Gerberding, Reiner Hähnle, Werner Kernig:
The Tableau-Based Theorem Prover ₃T^AP for Multi-Valued Logics. CADE 1992: 758-760
[i2]
- no documents available
  - details & citations
- export record
  dblp key:
  - tr/ibm/IWBS208
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/tr/ibm/IWBS208
Bernhard Beckert:
Konzeption und Implementierung von Gleichheit für einen tableau-basierten Theorem-Beweiser. IWBS Report 208 (1992)
[i1]
- no documents available
  - details & citations
- export record
  dblp key:
  - tr/ibm/IWBS227
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/tr/ibm/IWBS227
Reiner Hähnle, Bernhard Beckert, Stefan Gerberding, Werner Kernig:
The Many-Valued Theorem Prover ₃T^AP. IWBS Report 227 (1992)

Coauthor Index

see FAQ

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.