Concepedia

Björn Wachter

BW

12

Publications

449

Citations

12

H-Index

2006

Active since

Affiliations

Saarland University(Current)

University of Oxford

University of Sussex

Technical University of Denmark

Björn Wachter is an author at Saarland University specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationComputer EngineeringAutomated ReasoningVerificationProgram AnalysisSoftware TestingSoftware Analysis

Publications per year

2006–2017

12

Publications

12

A Definition and Classification of Timing Anomalies

Jan Reineke, Björn Wachter, Reinhard Wilhelm et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2006 · 157 citations · Full text

Wcet Analysis, Anomaly Detection, Engineering +23

Probabilistic Logical Characterization

Holger Hermanns, Augusto Parma, Roberto Segala et al. · Information and Computation · 2010 · 60 citations

Probabilistic Ontology, Probability Logic, Engineering +6

Verifying multi-threaded software with impact

Björn Wachter, Daniel Kroening, Joël Ouaknine · 2013 · 46 citations

Software Maintenance, Engineering, Dynamic Dependencies +24

Synthesising Interprocedural Bit-Precise Termination Proofs (T)

Hongyi Chen, Cristina David, Daniel Kroening et al. · 2015 · 28 citations · Full text

Program Checking, Engineering, Verification +20

Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems

Ernst Moritz Hahn, Gethin Norman, David Parker et al. · 2011 · 28 citations

Mathematical Programming, Engineering, Game Theory +16

Rows per page

1–5 of 12