Bernhard Beckert

SIGA · 2001–2016

A researcher in the Science corpus: 3 papers; trusts 0 researchers and is trusted by 14 researchers here, as inferred from the citation graph.

Whom Bernhard Beckert trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Gerard J. Holzmann
  2. Matthew J. Parkinson
  3. Clark W. Barrett

Who trusts Bernhard Beckert overall

  1. André Platzer
  2. J. Benthem
  3. K. Rustan
  4. Robert F. Stärk
  5. Hans van Ditmarsch
  6. Rajeev Alur
  7. Jan-David Quesel
  8. Barteld P. Kooi
  9. Wiebe van der Hoek
  10. Fenrong Liu

Papers from Bernhard Beckert's perspective

Ordered by how strongly the researchers Bernhard Beckert trusts endorse each paper. Same corpus, a different order for every researcher.

  1. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  2. Symbolic execution and program testing
  3. The SMT-LIB Standard Version 2.0
  4. Dafny: An Automatic Program Verifier for Functional Correctness (Logic Programming and Automated Reasoning)
  5. Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino (The KeY Approach)
  6. Dynamic logic (SIGA)
  7. Model Checking
  8. Formal verification of distributed aircraft controllers
  9. Preliminary design of JML: a behavioral interface specification language for java (SOEN)
  10. Separation logic and abstraction (ACM-SIGACT Symposium on Principles of Programming Languages)

Their papers