| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bernhard Beckert, Christoph Gladisch, Shmuel S. Tyszberowicz, Amiram Yehudai |
KeYGenU: combining verification-based and capture and replay techniques for regression unit testing.  |
Int. J. Systems Assurance Engineering and Management  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Dennis Hofheinz, Jörn Müller-Quade, Alexander Pretschner, Gregor Snelting |
Software Security in Virtualized Infrastructures - The Smart Meter Example. |
it - Information Technology |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Claude Marché (eds.) |
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers |
FoVeOOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Bernhard Beckert, Tobias Nipkow |
Deduktion: von der Theorie zur Anwendung. |
Informatik Spektrum |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle |
Tests and Proofs - Preface of the Special Issue. |
J. Autom. Reasoning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Michal Moskal |
Deductive Verification of System Software in the Verisoft XT Project. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer |
Practical Aspects of Automated Deduction for Program Verification. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai |
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. |
TAP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Thorsten Bormer, Vladimir Klebanov |
Improving the Usability of Specification Languages and Methods for Annotation-Based Verification. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer |
Formal Verification of a Microkernel Used in Dependable Software Systems. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Markus Wagner |
Probabilistic Models for the Verification of Human-Computer Interaction. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Bernhard Beckert |
Software engineering and formal methods. |
Software and System Modeling |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Gerwin Klein (eds.) |
Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008 |
VERIFY |
2008 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Beckert, Gerwin Klein |
Title, Preface, Table of Contents. |
VERIFY |
2008 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle (eds.) |
Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings |
TAP |
2008 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Beckert, Lawrence C. Paulson |
Preface. |
J. Autom. Reasoning |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt |
KeY: A Formal Method for Object-Oriented Systems. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Vladimir Klebanov |
A Dynamic Logic for Deductive Verification of Concurrent Programs. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert (eds.) |
Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007 |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Beckert, Christoph Gladisch |
White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 Intelligent Systems |
2006 |
DBLP DOI BibTeX RDF |
deductive software verification, software engineering, formal methods, program verification, software synthesis, satisfiability modulo theories |
| 1 | Bernhard Beckert, Gerd Beuster |
A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt |
Integrating Object-Oriented Design and Deductive Verification of Software. |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, André Platzer |
Dynamic Logic with Non-rigid Functions. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
logical foundations of programming languages, object-orientation, software verification, Dynamic logic, sequent calculus, program logic |
| 1 | Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt |
Verifying Object-Oriented Programs with KeY: A Tutorial. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Software and System Modeling |
2005 |
DBLP DOI BibTeX RDF |
Java, UML, Formal specification, Formal verification, Design patterns, Object-oriented design, OCL |
| 1 | Bernhard Beckert, Steffen Schlager |
Refinement and retrenchment for programming language data types. |
Formal Asp. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Retrenchment refinement, UML/OCL, Java, Formal specification, Software verification, Integer arithmetic |
| 1 | Bernhard Beckert, Steffen Schlager, Peter H. Schmitt |
An Improved Rule for While Loops in Deductive Program Verification. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Bernhard Beckert (eds.) |
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany |
SEFM |
2005 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Beckert, Kerry Trentelman |
Second-Order Principles in Specification Languages for Object-Oriented Programs. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert (eds.) |
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings |
TABLEAUX |
2005 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Beckert, Vladimir Klebanov |
Proof Reuse for Deductive Program Verification. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Steffen Schlager |
Software Verification with Integrated Data Type Refinement for Integer Arithmetic. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
UML/OCL, Java, specification, Software verification, data refinement, integer arithmetic |
| 1 | Bernhard Beckert |
Depth-first proof search without backtracking for free-variable clausal tableaux. |
J. Symb. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Peter H. Schmitt |
Program Verification Using Change Information. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Wojciech Mostowski |
A Program Logic for Handling JAVA CARD's Transaction Mechanism. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Rajeev Goré |
Free-Variable Tableaux for Propositional Modal Logics. |
Studia Logica |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Steffen Schlager |
A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Baar, Bernhard Beckert, Peter H. Schmitt |
An Extension of Dynamic Logic for Modelling OCL's @pre Operator. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle, Felip Manyà |
The 2-SAT Problem of Regular Signed CNF Formulas. (PDF / PS) |
ISMVL |
2000 |
DBLP DOI BibTeX RDF |
signed logic, NP-completeness, SAT, Many-valued logic |
| 1 | Bernhard Beckert |
A Dynamic Logic for the Formal Verification of Java Card Programs. |
Java Card Workshop |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert |
Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi. |
J. UCS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle, Felip Manyà |
Transformations between Signed and Classical Clause Logic. (PDF / PS) |
ISMVL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Bernhard Beckert |
Proof Confluent Tableau Calculi. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert |
Integration und Uniformierung von Methoden des tableaubasierten Theorembeweisens. |
|
1998 |
RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle, Gonzalo Escalada-Imaz |
Simplification of Many-Valued Logic Formulas Using Anti-Links. |
J. Log. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Rajeev Goré |
System Description: leanK 2.0. |
CADE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Beckert, Ulrike Hartmer |
A Tableau Calculus for Quantifier-Free Set Theoretic Formulae. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Rajeev Goré |
leanK 2.0. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Dov M. Gabbay |
Fibring Semantic Tableaux. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert |
Semantic Tableaux with Equality. |
J. Log. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray |
Fast Subsumption Checks Using Anti-Links. |
J. Autom. Reasoning |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Rajeev Goré |
Free Variable Tableaux for Propositional Modal Logics. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Joachim Posegga |
Logic Programming as a Basis for Lean Automated Deduction. |
J. Log. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann |
The Tableau-based Theorem Prover 3TAP Version 4.0. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Christian Pape |
Incremental Theory Reasoning Methods for Semantic Tableaux. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Joachim Posegga |
leanTAP: Lean Tableau-based Deduction. |
J. Autom. Reasoning |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle |
Deduction by Combining Semantic Tableaux and Integer Programming. |
CSL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Joachim Posegga |
leanEA: A Lean Evolving Algebra Compiler. |
CSL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Joachim Posegga |
LeanEA: A Lean Evolving Algebra Compiler. |
WLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Beckert, Joachim Posegga |
leanTAP: Lean Tableau-Based Theorem Proving (Extended Abstract). |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert |
A Completion-Based Method for Mixed Universal and Rigid E-Unification. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle, Anavai Ramesh, Neil V. Murray |
On Anti-Links. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Joachim Posegga |
Logic Programming as a Bases for Lean Deduction: Achieving Maximal Efficiency from Minimal Means. |
WLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt |
The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux. |
Kurt Gödel Colloquium |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert |
Konzeption und Implementierung von Gleichheit für einen tableau-basierten Theorem-Beweiser |
IWBS Report |
1992 |
RDF |
|
| 1 | Reiner Hähnle, Bernhard Beckert, Stefan Gerberding, Werner Kernig |
The Many-Valued Theorem Prover 3TAP. |
IWBS Report |
1992 |
RDF |
|
| 1 | Bernhard Beckert, Stefan Gerberding, Reiner Hähnle, Werner Kernig |
The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle |
An Improved Method for Adding Equality to Free Variable Semantic Tableaux. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")