Följ
Michael Tautschnig
Titel
Citeras av
Citeras av
År
CBMC–C Bounded Model Checker: (Competition Contribution)
D Kroening, M Tautschnig
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
5282014
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
4832014
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
2222013
Software verification for weak memory via program transformation
J Alglave, D Kroening, V Nimal, M Tautschnig
European Symposium on Programming, 512-532, 2013
1492013
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement
A Holzer, C Schallhart, M Tautschnig, H Veith
Computer Aided Verification, 209-213, 2008
84*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
712007
How did you specify your test suite
A Holzer, C Schallhart, M Tautschnig, H Veith
Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010
572010
Query-driven program testing
A Holzer, C Schallhart, M Tautschnig, H Veith
Verification, Model Checking, and Abstract Interpretation: 10th …, 2009
562009
Tests from witnesses: Execution-based validation of verification results
D Beyer, M Dangl, T Lemberger, M Tautschnig
International Conference on Tests and Proofs, 3-23, 2018
542018
Numeric bounds analysis with conflict-driven learning
V D’Silva, L Haller, D Kroening, M Tautschnig
International Conference on Tools and Algorithms for the Construction and …, 2012
542012
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
502013
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
472020
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
462018
Optimizing automatic deployment using non-functional requirement annotations
S Kugele, W Haberl, M Tautschnig, M Wechs
Leveraging Applications of Formal Methods, Verification and Validation …, 2008
432008
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
412011
Verification witnesses
D Beyer, M Dangl, D Dietsch, M Heizmann, T Lemberger, M Tautschnig
ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (4), 1-69, 2022
402022
Information reuse for multi-goal reachability analyses
D Beyer, A Holzer, M Tautschnig, H Veith
European Symposium on Programming, 472-491, 2013
382013
COLA – The component language
S Kugele, M Tautschnig, A Bauer, C Schallhart, S Merenda, W Haberl, ...
382007
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
352015
Making software verification tools really work
J Alglave, AF Donaldson, D Kroening, M Tautschnig
International Symposium on Automated Technology for Verification and …, 2011
342011
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20