Concepedia

Michael Tautschnig

MT

Statistics

Publications

22

Citations

822

H-Index

14

Active since

2007

Affiliations

Queen Mary University of London(Current)

University of Oxford

University College London

Amazon (United States)

Michael Tautschnig is an author at Queen Mary University of London specializing in computer science, computing, and formal methods.

Publications per year

2007–2022

22

Publications

22

Herding Cats

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

Natural Sciences, Mathematics, Physics +6

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

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

Computing, Computer Science, Computer Systems +11

How did you specify your test suite

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

Computing, Computer Science, Formal Methods +12

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

Natural Sciences, Mathematics, Physics +6

Verification Witnesses

Dirk Beyer, Matthias Dangl, Daniel Dietsch et al. · ACM Transactions on Software Engineering and Methodology · 2022 · 38 citations · Full text

Computing, Computer Science, Formal Methods +11

1–5 of 22