Michael Tautschnig

Michael Tautschnig

Queen Mary University of London - London / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 1368624
person_outline Michael Tautschnig's MOST POPULAR ARTICLES
1-) CBMC–C Bounded Model Checker: (Competition Contribution)D Kroening, M TautschnigTools and Algorithms for the Construction and Analysis of Systems: 20th …, 20143852014
2-) Herding cats: Modelling, simulation, testing, and data mining for weak memoryJ Alglave, L Maranget, M TautschnigACM Transactions on Programming Languages and Systems (TOPLAS) 36 (2), 1-74, 20143842014
3-) Partial orders for efficient bounded model checking of concurrent softwareJ Alglave, D Kroening, M TautschnigInternational Conference on Computer Aided Verification, 141-157, 20132012013
4-) Software verification for weak memory via program transformationJ Alglave, D Kroening, V Nimal, M TautschnigEuropean Symposium on Programming, 512-532, 20131492013
5-) FShell: Systematic Test Case Generation for Dynamic Analysis and MeasurementA Holzer, C Schallhart, M Tautschnig, H VeithComputer Aided Verification, 209-213, 200884*2008