| Herding cats: Modelling, simulation, testing, and data mining for weak memory J Alglave, L Maranget, M Tautschnig ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (2), 1-74, 2014 | 382 | 2014 |
| CBMC–C Bounded Model Checker: (Competition Contribution) D Kroening, M Tautschnig Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 382 | 2014 |
| Partial orders for efficient bounded model checking of concurrent software J Alglave, D Kroening, M Tautschnig Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 205 | 2013 |
| Software verification for weak memory via program transformation J Alglave, D Kroening, V Nimal, M Tautschnig Programming Languages and Systems: 22nd European Symposium on Programming …, 2013 | 132 | 2013 |
| FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement A Holzer, C Schallhart, M Tautschnig, H Veith Computer Aided Verification, 209-213, 2008 | 80* | 2008 |
| Tool-support for the analysis of hybrid systems and models A Bauer, M Pister, M Tautschnig 2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007 | 64 | 2007 |
| Numeric bounds analysis with conflict-driven learning V D’Silva, L Haller, D Kroening, M Tautschnig Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012 | 54 | 2012 |
| How did you specify your test suite A Holzer, C Schallhart, M Tautschnig, H Veith Proceedings of the IEEE/ACM international conference on Automated software …, 2010 | 52 | 2010 |
| Query-driven program testing A Holzer, C Schallhart, M Tautschnig, H Veith Verification, Model Checking, and Abstract Interpretation: 10th …, 2009 | 52 | 2009 |
| Formal co-validation of low-level hardware/software interfaces A Horn, M Tautschnig, C Val, L Liang, T Melham, J Grundy, D Kroening 2013 Formal Methods in Computer-Aided Design, 121-128, 2013 | 49 | 2013 |
| Optimizing Automatic Deployment Using Non-functional Requirement Annotations. S Kugele, W Haberl, M Tautschnig, M Wechs ISoLA 17, 400-414, 2008 | 41 | 2008 |
| Improving the confidence in measurement-based timing analysis S Bünte, M Zolda, M Tautschnig, R Kirner Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC …, 2011 | 39 | 2011 |
| COLA – The component language S Kugele, M Tautschnig, A Bauer, C Schallhart, S Merenda, W Haberl, ... | 37 | 2007 |
| Tests from witnesses: Execution-based validation of verification results D Beyer, M Dangl, T Lemberger, M Tautschnig Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of …, 2018 | 36 | 2018 |
| Information reuse for multi-goal reachability analyses D Beyer, A Holzer, M Tautschnig, H Veith Programming Languages and Systems: 22nd European Symposium on Programming …, 2013 | 34 | 2013 |
| Model checking boot code from AWS data centers B Cook, K Khazem, D Kroening, S Tasiran, M Tautschnig, MR Tuttle Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 33 | 2018 |
| Effective verification of low-level software with nested interrupts D Kroening, L Liang, T Melham, P Schrammel, M Tautschnig 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 229-234, 2015 | 33 | 2015 |
| Counterexample-guided abstraction refinement for symmetric concurrent programs AF Donaldson, A Kaiser, D Kroening, M Tautschnig, T Wahl Formal Methods in System Design 41 (1), 25-44, 2012 | 31 | 2012 |
| Making software verification tools really work J Alglave, AF Donaldson, D Kroening, M Tautschnig Automated Technology for Verification and Analysis: 9th International …, 2011 | 28 | 2011 |
| Code-level model checking in the software development workflow N Chong, B Cook, K Kallas, K Khazem, FR Monteiro, ... Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 25 | 2020 |
Daniel KroeningAmazonVerified email at amazon.com
