Concepedia

Michael Tautschnig

MT

Statistics

Publications

20

Citations

778

H-Index

14

Active since

2007

Affiliations

Queen Mary University of London(Current)

University of Oxford

University College London

Institut national de recherche en sciences et technologies du numérique

Michael Tautschnig is an author at Queen Mary University of London specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringFormal VerificationFormal MethodsComputer ScienceVerificationSoftware AnalysisProgram AnalysisSoftware TestingSystem SoftwareSoftware Engineering

Publications per year

2007–2022

20

Publications

20

Herding Cats

Jade Alglave, Luc Maranget, Michael Tautschnig · ACM Transactions on Programming Languages and Systems · 2014 · 326 citations · Full text

Engineering, Verification, Computer Architecture +17

CBMC - C Bounded Model Checker - (Competition Contribution).

Daniel Kroening, Michael Tautschnig · Tools and Algorithms for Construction and Analysis of Systems · 2014 · 59 citations

Engineering, Automated Reasoning, Verification +7

How did you specify your test suite

Andreas Holzer, Christian Schallhart, Michael Tautschnig et al. · 2010 · 45 citations

Engineering, Verification, Test Data Generation +19

Jade Alglave, Luc Maranget, Michael Tautschnig · 2014 · 38 citations

Storage (Memory), Cognitive Science, Memory System +11

Formal co-validation of low-level hardware/software interfaces

Alex Horn, Michael Tautschnig, Celina G. Val et al. · 2013 · 36 citations

Formal Co-validation, Engineering, Hardware Verification Language +27

1–5 of 20