Travelled to:1 × Australia
1 × China
1 × Hungary
1 × India
1 × Italy
1 × Poland
1 × Switzerland
2 × France
2 × Germany
2 × Spain
2 × United Kingdom
4 × USA
Collaborated with:R.Hähnle V.Klebanov P.H.Schmitt S.Schlager R.Goré C.Gladisch D.Bruns W.Mostowski A.Platzer ∅ J.Posegga M.Ulbrich C.Schürmann T.Bormer M.Wagner M.Giese S.S.Tyszberowicz A.Yehudai P.Oel M.Sulzmann S.Gerberding W.Kernig Suhyun Cha Alexander Weigl B.Vogel-Heuser C.Scheben P.Rümmer W.Ahrendt T.Baar E.Habermalz W.Menzel
Talks about:verif (7) logic (7) program (5) system (5) deduct (5) base (5) softwar (4) dynam (4) test (4) theorem (3)
Person: Bernhard Beckert
DBLP: Beckert:Bernhard
Facilitated 2 volumes:
Ed
EdContributed to:
2013
201320132010200720072007
20062006
20042004
20032003200220011998199619941992
2018Wrote 23 papers:
- CADE-2013-BeckertB #logic #semantics
- Dynamic Logic with Trace Semantics (BB, DB), pp. 315–329.
- CADE-2013-BeckertGS #algorithm #logic
- Analysing Vote Counting Algorithms via Logic — And Its Application to the CADE Election Scheme (BB, RG, CS), pp. 135–144.
- LOPSTR-2013-BeckertBKSSU #data flow #object-oriented
- Information Flow in Object-Oriented Software (BB, DB, VK, CS, PHS, MU), pp. 19–37.
- TAP-2013-BeckertB0 #metric #testing #verification
- A Metric for Testing Program Verification Systems (BB, TB, MW), pp. 56–75.
- TAP-2010-GladischTBY #generative #testing #using #verification
- Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay (CG, SST, BB, AY), pp. 61–76.
- CADE-2007-BeckertGHKRSS #component #deduction
- The KeY system 1.0 (Deduction Component) (BB, MG, RH, VK, PR, SS, PHS), pp. 379–384.
- SEFM-2007-BeckertK #concurrent #deduction #logic #source code #verification
- A Dynamic Logic for Deductive Verification of Concurrent Programs (BB, VK), pp. 141–150.
- TAP-2007-BeckertG #black box #specification #testing
- White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing (BB, CG), pp. 207–216.
- IJCAR-2006-BeckertP #logic
- Dynamic Logic with Non-rigid Functions (BB, AP), pp. 266–280.
- SEFM-2006-BeckertHS #deduction #design #object-oriented #verification
- Integrating Object-Oriented Design and Deductive Verification of Software (BB, RH, PHS), p. 260.
- IFM-2004-BeckertS #data type #integer #refinement #verification
- Software Verification with Integrated Data Type Refinement for Integer Arithmetic (BB, SS), pp. 207–226.
- SEFM-2004-BeckertK #deduction #proving #reuse #verification
- Proof Reuse for Deductive Program Verification (BB, VK), pp. 77–86.
- FASE-2003-BeckertM #java #logic #transaction
- A Program Logic for Handling JAVA CARD’s Transaction Mechanism (BB, WM), pp. 246–260.
- SEFM-2003-BeckertS #using #verification
- Program Verification Using Change Information (BB, PHS), p. 91–?.
- FASE-2002-AhrendtBBGHHMMS #design #formal method #object-oriented
- The KeY System: Integrating Object-Oriented Design and Formal Methods (WA, TB, BB, MG, EH, RH, WM, WM, PHS), pp. 327–330.
- IJCAR-2001-BeckertS #calculus #first-order #logic
- A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities (BB, SS), pp. 626–641.
- CADE-1998-BeckertG
- System Description: leanK 2.0 (BB, RG), pp. 51–55.
- CADE-1996-BeckertHOS #proving #theorem proving
- The Tableau-based Theorem Prover 3TAP Version 4.0 (BB, RH, PO, MS), pp. 303–307.
- CADE-1994-Beckert
- A Completion-Based Method for Mixed Universal and Rigid E-Unification (BB), pp. 678–692.
- CADE-1994-BeckertP #agile #named #proving #theorem proving
- leanTAP: Lean Tableau-Based Theorem Proving (BB, JP), pp. 793–797.
- CADE-1992-BeckertGHK #logic #multi #proving #theorem proving
- The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics (BB, SG, RH, WK), pp. 758–760.
- CADE-1992-BeckertH #semantics #similarity
- An Improved Method for Adding Equality to Free Variable Semantic Tableaux (BB, RH), pp. 507–521.
- CASE-2018-ChaWUBV #automation #evolution
- Achieving delta description of the control software for an automated production system evolution (SC, AW, MU, BB, BVH), pp. 1170–1176.