Michael Tautschnig
TítuloCitado porAño
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), 7, 2014
2352014
CBMC–C bounded model checker
D Kroening, M Tautschnig
International Conference on Tools and Algorithms for the Construction and …, 2014
1962014
Partial orders for efficient bounded model checking of concurrent software
J Alglave, D Kroening, M Tautschnig
International Conference on Computer Aided Verification, 141-157, 2013
1472013
Software verification for weak memory via program transformation
J Alglave, D Kroening, V Nimal, M Tautschnig
European Symposium on Programming, 512-532, 2013
1112013
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement
A Holzer, C Schallhart, M Tautschnig, H Veith
Computer Aided Verification, 209-213, 2008
662008
Tool-support for the analysis of hybrid systems and models
A Bauer, M Pister, M Tautschnig
Proceedings of the conference on Design, automation and test in Europe, 924-929, 2007
622007
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
Query-driven program testing
A Holzer, C Schallhart, M Tautschnig, H Veith
International Workshop on Verification, Model Checking, and Abstract …, 2009
462009
Optimizing automatic deployment using non-functional requirement annotations
S Kugele, W Haberl, M Tautschnig, M Wechs
International Symposium On Leveraging Applications of Formal Methods …, 2008
382008
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
342010
COLA – The component language
S Kugele, M Tautschnig, A Bauer, C Schallhart, S Merenda, W Haberl, ...
332007
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
302011
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
282013
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
282012
Information reuse for multi-goal reachability analyses
D Beyer, A Holzer, M Tautschnig, H Veith
European Symposium on Programming, 472-491, 2013
252013
Making software verification tools really work
J Alglave, AF Donaldson, D Kroening, M Tautschnig
International Symposium on Automated Technology for Verification and …, 2011
232011
Soundness of data flow analyses for weak memory models
J Alglave, D Kroening, J Lugton, V Nimal, M Tautschnig
Asian Symposium on Programming Languages and Systems, 272-288, 2011
182011
Compatibility and reuse in component-based systems via type and unit inference
C Kühnel, A Bauer, M Tautschnig
Software Engineering and Advanced Applications, 2007. 33rd EUROMICRO …, 2007
182007
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
162015
From cola models to distributed embedded systems code
W Haberl, M Tautschnig, U Baumgarten
162008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20