Bernhard Beckert

According to our database1, Bernhard Beckert authored at least 113 papers between 1992 and 2019.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Using Relational Verification for Program Slicing.
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Verification-based test case generation for information-flow properties.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Formal Verification of Evolutionary Changes.
Proceedings of the Managed Software Evolution., 2019

2018
Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations.
Proceedings of the Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, 2018

Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU.
Automatisierungstechnik, 2018

Relational Equivalence Proofs Between Imperative and MapReduce Algorithms.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties.
Proceedings of the Tests and Proofs - 12th International Conference, 2018

Towards a Notion of Coverage for Incomplete Program-Correctness Proofs.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control.
Proceedings of the Formal Methods and Software Engineering, 2018

Achieving delta description of the control software for an automated production system evolution.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

Trends in Relational Program Verification.
Proceedings of the Principled Software Development, 2018

2017
Proving JDK's Dual Pivot Quicksort Correct.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

Computing Exact Loop Bounds for Bounded Program Verification.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Modular Verification of Information Flow Security in Component-Based Systems.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Generalized test tables: A powerful and intuitive specification language for reactive systems.
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Generation of monitoring functions in production automation using test specifications.
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Generalised Test Tables: A Practical Specification Language for Reactive Systems.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

SemSlice: Exploiting Relational Verification for Automatic Program Slicing.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

An Interaction Concept for Program Verification Systems with Explicit Proof Object.
Proceedings of the Hardware and Software: Verification and Testing, 2017

2016
Dynamic Logic for Java.
Proceedings of the Deductive Software Verification - The KeY Book, 2016

Formal Verification with KeY: A Tutorial.
Proceedings of the Deductive Software Verification - The KeY Book, 2016

Automatic Margin Computation for Risk-Limiting Audits.
Proceedings of the Electronic Voting - First International Joint Conference, 2016

Computing Specification-Sensitive Abstractions for Program Verification.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Deductive Verification of Legacy Code.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015
Selected challenges of software evolution for automated production systems.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Regression Verification for Programmable Logic Controller Software.
Proceedings of the Formal Methods and Software Engineering, 2015

Proving equivalence between control software variants for Programmable Logic Controllers.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Regression verification for Java using a secure information flow calculus.
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015

A Hybrid Approach for Proving Noninterference of Java Programs.
Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

Interactive Theorem Proving - Modelling the User in the Proof Process.
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning, 2015

2014
Verifying voting schemes.
J. Inf. Sec. Appl., 2014

Reasoning and Verification: State of the Art and Current Trends.
IEEE Intelligent Systems, 2014

How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers.
Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014

The KeY Platform for Verification and Analysis of Java Programs.
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

A Usability Evaluation of Interactive Theorem Provers Using Focus Groups.
Proceedings of the Software Engineering and Formal Methods, 2014

2013
A Dynamic Logic for deductive verification of multi-threaded programs.
Formal Asp. Comput., 2013

On the Specification and Verification of Voting Schemes.
Proceedings of the E-Voting and Identify, 2013

A Metric for Testing Program Verification Systems.
Proceedings of the Tests and Proofs - 7th International Conference, 2013

Information Flow in Object-Oriented Software.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme.
Proceedings of the Automated Deduction - CADE-24, 2013

Dynamic Logic with Trace Semantics.
Proceedings of the Automated Deduction - CADE-24, 2013

2012
Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Formal Semantics of Model Fields in Annotation-Based Specifications.
Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012

Evaluating the Usability of Interactive Verification Systems.
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012

2011
KeYGenU: combining verification-based and capture and replay techniques for regression unit testing.
Int. J. Systems Assurance Engineering and Management, 2011

Software Security in Virtualized Infrastructures - The Smart Meter Example.
it - Information Technology, 2011

Preface.
Proceedings of the Informatik 2011: Informatik schafft Communities, 2011

Integration of Bounded Model Checking and Deductive Verification.
Proceedings of the Formal Verification of Object-Oriented Software, 2011

2010
Deductive Verification of System Software in the Verisoft XT Project.
KI, 2010

Practical Aspects of Automated Deduction for Program Verification.
KI, 2010

Tests and Proofs - Preface of the Special Issue.
J. Autom. Reasoning, 2010

Deduktion: von der Theorie zur Anwendung.
Informatik Spektrum, 2010

Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay.
Proceedings of the Tests and Proofs, 4th International Conference, 2010

Improving the Usability of Specification Languages and Methods for Annotation-Based Verification.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper).
Proceedings of the 6th International Verification Workshop, 2010

2009
Formal Verification of a Microkernel Used in Dependable Software Systems.
Proceedings of the Computer Safety, 2009

Probabilistic Models for the Verification of Human-Computer Interaction.
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

2008
Software engineering and formal methods.
Software and Systems Modeling, 2008

Title, Preface, Table of Contents.
Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, 2008

2007
Dynamic Logic.
Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

Preface.
J. Autom. Reasoning, 2007

White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing.
Proceedings of the Tests and Proofs, First International Conference, 2007

A Dynamic Logic for Deductive Verification of Concurrent Programs.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

KeY: A Formal Method for Object-Oriented Systems.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

The KeY system 1.0 (Deduction Component).
Proceedings of the Automated Deduction, 2007

2006
Intelligent Systems and Formal Methods in Software Engineering.
IEEE Intelligent Systems, 2006

Integrating Object-Oriented Design and Deductive Verification of Software.
Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces.
Proceedings of the Formal Methods and Software Engineering, 2006

Verifying Object-Oriented Programs with KeY: A Tutorial.
Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Dynamic Logic with Non-rigid Functions.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005
The KeY tool.
Software and Systems Modeling, 2005

Refinement and retrenchment for programming language data types.
Formal Asp. Comput., 2005

Second-Order Principles in Specification Languages for Object-Oriented Programs.
Proceedings of the Logic for Programming, 2005

An Improved Rule for While Loops in Deductive Program Verification.
Proceedings of the Formal Methods and Software Engineering, 2005

2004
Proof Reuse for Deductive Program Verification.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Software Verification with Integrated Data Type Refinement for Integer Arithmetic.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003
Depth-first proof search without backtracking for free-variable clausal tableaux.
J. Symb. Comput., 2003

Program Verification Using Change Information.
Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

A Program Logic for Handling JAVA CARD's Transaction Mechanism.
Proceedings of the Fundamental Approaches to Software Engineering, 2003

2002
The KeY System: Integrating Object-Oriented Design and Formal Methods.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001
An Extension of Dynamic Logic for Modelling OCL's @pre Operator.
Proceedings of the Perspectives of System Informatics, 2001

A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

A Dynamic Logic for the Formal Verification of Java Card Programs.
Proceedings of the Java on Smart Cards: Programming and Security, 2000

The 2-SAT Problem of Regular Signed CNF Formulas.
Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic, 2000

1999
Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi.
J. UCS, 1999

Proof Confluent Tableau Calculi.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

Transformations between Signed and Classical Clause Logic.
Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic, 1999

1998
Integration und Uniformierung von Methoden des tableaubasierten Theorembeweisens.
PhD thesis, 1998

Simplification of Many-Valued Logic Formulas Using Anti-Links.
J. Log. Comput., 1998

A Tableau Calculus for Quantifier-Free Set Theoretic Formulae.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

Fibring Semantic Tableaux.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

leanK 2.0.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

System Description: leanK 2.0.
Proceedings of the Automated Deduction, 1998

1997
Semantic Tableaux with Equality.
J. Log. Comput., 1997

Fast Subsumption Checks Using Anti-Links.
J. Autom. Reasoning, 1997

Free Variable Tableaux for Propositional Modal Logics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

1996
Logic Programming as a Basis for Lean Automated Deduction.
J. Log. Program., 1996

Incremental Theory Reasoning Methods for Semantic Tableaux.
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996

The Tableau-based Theorem Prover 3TAP Version 4.0.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995
leanTAP: Lean Tableau-based Deduction.
J. Autom. Reasoning, 1995

LeanEA: A Lean Evolving Algebra Compiler.
Proceedings of the 11. Workshop Logische Programmierung, 1995

leanEA: A Lean Evolving Algebra Compiler.
Proceedings of the Computer Science Logic, 9th International Workshop, 1995

Deduction by Combining Semantic Tableaux and Integer Programming.
Proceedings of the Computer Science Logic, 9th International Workshop, 1995

1994
Logic Programming as a Bases for Lean Deduction: Achieving Maximal Efficiency from Minimal Means.
Proceedings of the Tenth Logic Programming Workshop, 1994

On Anti-Links.
Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

leanTAP: Lean Tableau-Based Theorem Proving (Extended Abstract).
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

A Completion-Based Method for Mixed Universal and Rigid E-Unification.
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993
The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux.
Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

1992
The Many-Valued Theorem Prover 3TAP.
IWBS Report, 1992

Konzeption und Implementierung von Gleichheit für einen tableau-basierten Theorem-Beweiser
IWBS Report, 1992

An Improved Method for Adding Equality to Free Variable Semantic Tableaux.
Proceedings of the Automated Deduction, 1992

The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics.
Proceedings of the Automated Deduction, 1992


  Loading...