@comment{{This file has been generated by bib2bib 1.99}}
@comment{{Command line: bib2bib -c '$type = "INPROCEEDINGS"' /Users/michael/svnhome/cv/public_bib/my.bib}}
@inproceedings{DBLP:conf/tacas/KhazemT19,
author = {Kareem Khazem and
Michael Tautschnig},
title = {{CBMC} Path: {A} Symbolic Execution Retrofit of the {C} Bounded Model
Checker - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
pages = {199--203},
year = {2019},
series = {Lecture Notes in Computer Science},
volume = {11429},
publisher = {Springer},
url = {https://doi.org/10.1007/978-3-030-17502-3\_13},
doi = {10.1007/978-3-030-17502-3\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/bib/conf/tacas/KhazemT19},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookKKTTT18,
author = {Byron Cook and
Kareem Khazem and
Daniel Kroening and
Serdar Tasiran and
Michael Tautschnig and
Mark R. Tuttle},
title = {Model Checking Boot Code from {AWS} Data Centers},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {II}},
pages = {467--486},
year = {2018},
series = {Lecture Notes in Computer Science},
volume = {10982},
publisher = {Springer},
url = {https://doi.org/10.1007/978-3-319-96142-2\_28},
doi = {10.1007/978-3-319-96142-2\_28},
timestamp = {Wed, 03 Oct 2018 12:55:01 +0200},
biburl = {https://dblp.org/rec/bib/conf/cav/CookKKTTT18},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/0001DLT18,
author = {Dirk Beyer and
Matthias Dangl and
Thomas Lemberger and
Michael Tautschnig},
title = {Tests from Witnesses - Execution-Based Validation of Verification
Results},
booktitle = {Tests and Proofs - 12th International Conference, {TAP} 2018, Held
as Part of {STAF} 2018, Toulouse, France, June 27-29, 2018, Proceedings},
pages = {3--23},
year = {2018},
series = {Lecture Notes in Computer Science},
volume = {10889},
publisher = {Springer},
url = {https://doi.org/10.1007/978-3-319-92994-1\_1},
doi = {10.1007/978-3-319-92994-1\_1},
timestamp = {Tue, 10 Jul 2018 09:45:41 +0200},
biburl = {https://dblp.org/rec/bib/conf/tap/0001DLT18},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/PrabhuSSTY17,
author = {Sumanth Prabhu and
Peter Schrammel and
Mandayam K. Srivas and
Michael Tautschnig and
Anand Yeolekar},
title = {Concurrent Program Verification with Invariant-Guided Underapproximation},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
pages = {241--248},
year = {2017},
series = {Lecture Notes in Computer Science},
volume = {10482},
publisher = {Springer},
url = {https://doi.org/10.1007/978-3-319-68167-2\_17},
doi = {10.1007/978-3-319-68167-2\_17},
timestamp = {Thu, 05 Oct 2017 16:48:39 +0200},
biburl = {https://dblp.org/rec/bib/conf/atva/PrabhuSSTY17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MalacariaTD16,
author = {Pasquale Malacaria and
Michael Tautschnig and
Dino Distefano},
title = {Information Leakage Analysis of Complex {C} Code and Its application
to OpenSSL},
booktitle = {7th International Symposium on Leveraging Applications of Formal
Methods, Verification and Validation (ISoLA 2016)},
pages = {909--925},
year = {2016},
series = {Lecture Notes in Computer Science},
volume = {9952},
year = {2016},
url = {http://dx.doi.org/10.1007/978-3-319-47166-2_63},
doi = {10.1007/978-3-319-47166-2_63},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/isola/MalacariaTD16},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/nfm/NellisKCKST16,
author = {Adam Nellis and
Pascal Kesseli and
Philippa Ryan Conmy and
Daniel Kroening and
Peter Schrammel and
Michael Tautschnig},
title = {Assisted Coverage Closure},
booktitle = {{NASA} Formal Methods ({NFM} 2016)},
pages = {49--64},
year = {2016},
series = {Lecture Notes in Computer Science},
volume = {9690},
publisher = {Springer},
url = {http://dx.doi.org/10.1007/978-3-319-40648-0_5},
doi = {10.1007/978-3-319-40648-0_5},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/nfm/NellisKCKST16},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/spin/KhazemT16,
author = {Kareem Khazem and
Michael Tautschnig},
title = {smid: {A} Black-Box Program Driver},
booktitle = {23rd International Symposium on Model Checking Software ({SPIN} 2016)},
pages = {182--188},
year = {2016},
series = {Lecture Notes in Computer Science},
volume = {9641},
publisher = {Springer},
url = {http://dx.doi.org/10.1007/978-3-319-32582-8_12},
doi = {10.1007/978-3-319-32582-8_12},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/spin/KhazemT16},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MukherjeeTK16,
author = {Rajdeep Mukherjee and
Michael Tautschnig and
Daniel Kroening},
title = {v2c - {A} Verilog to {C} Translator},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
({TACAS} 2016)},
pages = {580--586},
year = {2016},
series = {Lecture Notes in Computer Science},
volume = {9636},
publisher = {Springer},
url = {http://dx.doi.org/10.1007/978-3-662-49674-9_38},
doi = {10.1007/978-3-662-49674-9_38},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/tacas/MukherjeeTK16},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChapmanCKKST15,
author = {Martin Chapman and
Hana Chockler and
Pascal Kesseli and
Daniel Kroening and
Ofer Strichman and
Michael Tautschnig},
title = {Learning the Language of Error},
booktitle = {13th International Symposium on Automated Technology for
Verification and Analysis (ATVA 2015)},
pages = {114--130},
year = {2015},
series = {Lecture Notes in Computer Science},
volume = {9364},
publisher = {Springer},
month = oct,
url = {http://dx.doi.org/10.1007/978-3-319-24953-7_9},
doi = {10.1007/978-3-319-24953-7_9},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/atva/ChapmanCKKST15},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/date/KroeningLMST15,
author = {Daniel Kroening and
Lihao Liang and
Tom Melham and
Peter Schrammel and
Michael Tautschnig},
title = {Effective verification of low-level software with nested interrupts},
booktitle = {Design, Automation {\&} Test in Europe Conference
{\&} Exhibition (DATE 2015)},
pages = {229--234},
year = {2015},
publisher = {{ACM}},
month = mar,
url = {http://dl.acm.org/citation.cfm?id=2755803},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/date/KroeningLMST15},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/memics/KroeningT14,
author = {Daniel Kroening and
Michael Tautschnig},
title = {Automating Software Analysis at Large Scale},
booktitle = {9th International Doctoral Workshop on Mathematical and
Engineering Methods in Computer Science (MEMICS 2014)},
pages = {30--39},
year = {2014},
series = {Lecture Notes in Computer Science},
volume = {8934},
publisher = {Springer},
month = oct,
url = {http://dx.doi.org/10.1007/978-3-319-14896-0_3},
doi = {10.1007/978-3-319-14896-0_3},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/memics/KroeningT14},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AlglaveMT14,
author = {Jade Alglave and
Luc Maranget and
Michael Tautschnig},
title = {Herding cats: modelling, simulation, testing, and data-mining for
weak memory},
booktitle = {Programming Language Design and Implementation (PLDI 2014)},
pages = {7},
year = {2014},
publisher = {{ACM}},
isbn = {978-1-4503-2784-8},
url = {http://doi.acm.org/10.1145/2594291.2594347},
doi = {10.1145/2594291.2594347},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/pldi/AlglaveMT14},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/qsic/BloemKRT14,
author = {Roderick Bloem and
Robert K{\"{o}}nighofer and
Franz R{\"{o}}ck and
Michael Tautschnig},
title = {Automating Test-Suite Augmentation},
booktitle = {Quality Software (QSIC 2014)},
pages = {67--72},
year = {2014},
publisher = {{IEEE}},
isbn = {978-1-4799-7197-8},
url = {http://dx.doi.org/10.1109/QSIC.2014.40},
doi = {10.1109/QSIC.2014.40},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/qsic/BloemKRT14},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/se/BeyerHTV14,
author = {Dirk Beyer and
Andreas Holzer and
Michael Tautschnig and
Helmut Veith},
title = {Reusing Information in Multi-Goal Reachability Analyses},
booktitle = {Software Engineering 2014},
pages = {97--98},
year = {2014},
series = {{LNI}},
volume = {227},
publisher = {{GI}},
url = {http://eprints.uni-kiel.de/23752/},
isbn = {978-388579-621-3},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/se/BeyerHTV14},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KroeningT14,
author = {Daniel Kroening and
Michael Tautschnig},
title = {{CBMC} - {C} Bounded Model Checker - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
(TACAS 2014)},
pages = {389--391},
year = {2014},
series = {Lecture Notes in Computer Science},
volume = {8413},
publisher = {Springer},
month = apr,
note = {\emph{CBMC won the overall Gold medal.}},
isbn = {978-3-642-54861-1},
url = {http://dx.doi.org/10.1007/978-3-642-54862-8_26},
doi = {10.1007/978-3-642-54862-8_26},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/tacas/KroeningT14},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlglaveKT13,
author = {Jade Alglave and
Daniel Kroening and
Michael Tautschnig},
title = {Partial Orders for Efficient Bounded Model Checking of Concurrent
Software},
booktitle = {Computer Aided Verification (CAV 2013)},
pages = {141--157},
year = {2013},
series = {Lecture Notes in Computer Science},
volume = {8044},
publisher = {Springer},
month = jul,
isbn = {978-3-642-39798-1},
url = {http://dx.doi.org/10.1007/978-3-642-39799-8_9},
doi = {10.1007/978-3-642-39799-8_9},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/cav/AlglaveKT13},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/csmr/ChocklerDLFHMMORSST13,
author = {Hana Chockler and
Giovanni Denaro and
Meijia Ling and
Grigory Fedyukovich and
Antti Eero Johannes Hyv{\"{a}}rinen and
Leonardo Mariani and
Ali Muhammad and
Manuel Oriol and
Ajitha Rajan and
Ondrej Sery and
Natasha Sharygina and
Michael Tautschnig},
title = {{PINCETTE} -- Validating Changes and Upgrades in Networked
Software},
booktitle = {17th European Conference on Software Maintenance and Reengineering,
(CSMR 2013)},
pages = {461--464},
year = {2013},
publisher = {IEEE Computer Society},
month = mar,
note = {\emph{Best paper award.}},
isbn = {978-1-4673-5833-0},
url = {http://dx.doi.org/10.1109/CSMR.2013.72},
doi = {10.1109/CSMR.2013.72},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/csmr/ChocklerDLFHMMORSST13},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/esop/BeyerHTV13,
author = {Dirk Beyer and
Andreas Holzer and
Michael Tautschnig and
Helmut Veith},
title = {Information Reuse for Multi-goal Reachability Analyses},
booktitle = {22nd European Symposium
on Programming (ESOP 2013)},
pages = {472--491},
year = {2013},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7792},
isbn = {978-3-642-37035-9},
month = mar,
url = {http://dx.doi.org/10.1007/978-3-642-37036-6_26},
doi = {10.1007/978-3-642-37036-6_26},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/esop/BeyerHTV13},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/esop/AlglaveKNT13,
author = {Jade Alglave and
Daniel Kroening and
Vincent Nimal and
Michael Tautschnig},
title = {Software Verification for Weak Memory via Program Transformation},
booktitle = {22nd European Symposium
on Programming (ESOP 2013)},
pages = {512--532},
year = {2013},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7792},
isbn = {978-3-642-37035-9},
month = mar,
url = {http://dx.doi.org/10.1007/978-3-642-37036-6_28},
doi = {10.1007/978-3-642-37036-6_28},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/esop/AlglaveKNT13},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HornTVLMGK13,
author = {Alex Horn and
Michael Tautschnig and
Celina G. Val and
Lihao Liang and
Tom Melham and
Jim Grundy and
Daniel Kroening},
title = {Formal co-validation of low-level hardware/software interfaces},
booktitle = {Formal Methods in Computer-Aided Design (FMCAD 2013)},
pages = {121--128},
year = {2013},
publisher = {{IEEE}},
month = oct,
url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6679400},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/fmcad/HornTVLMGK13},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HolzerSTV13,
author = {Andreas Holzer and
Christian Schallhart and
Michael Tautschnig and
Helmut Veith},
title = {On the Structure and Complexity of Rational Sets of Regular Languages},
booktitle = {Foundations of Software Technology and
Theoretical Computer Science (FSTTCS 2013)},
year = {2013},
pages = {377--388},
series = {LIPIcs},
volume = {24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
month = dec,
url = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2013.377},
doi = {10.4230/LIPIcs.FSTTCS.2013.377},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/fsttcs/HolzerSTV13},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DSilvaHKT12,
author = {Vijay D'Silva and
Leopold Haller and
Daniel Kroening and
Michael Tautschnig},
title = {Numeric Bounds Analysis with Conflict-Driven Learning},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
(TACAS 2012)},
pages = {48--63},
year = {2012},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7214},
isbn = {978-3-642-28755-8},
month = apr,
url = {http://dx.doi.org/10.1007/978-3-642-28756-5_5},
doi = {10.1007/978-3-642-28756-5_5},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/tacas/DSilvaHKT12},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HolzerKSTV12,
author = {Andreas Holzer and
Daniel Kroening and
Christian Schallhart and
Michael Tautschnig and
Helmut Veith},
title = {Proving Reachability using {{\sc FShell}} - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
(TACAS 2012)},
pages = {538--541},
year = {2012},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7214},
isbn = {978-3-642-28755-8},
month = apr,
url = {http://dx.doi.org/10.1007/978-3-642-28756-5_43},
doi = {10.1007/978-3-642-28756-5_43},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/tacas/HolzerKSTV12},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BaslerDKKTW12,
author = {G{\'{e}}rard Basler and
Alastair F. Donaldson and
Alexander Kaiser and
Daniel Kroening and
Michael Tautschnig and
Thomas Wahl},
title = {satabs: {A} Bit-Precise Verifier for {C} Programs - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
(TACAS 2012)},
pages = {552--555},
year = {2012},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7214},
isbn = {978-3-642-28755-8},
month = apr,
url = {http://dx.doi.org/10.1007/978-3-642-28756-5_47},
doi = {10.1007/978-3-642-28756-5_47},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/tacas/BaslerDKKTW12},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aplas/AlglaveKLNT11,
author = {Jade Alglave and
Daniel Kroening and
John Lugton and
Vincent Nimal and
Michael Tautschnig},
title = {Soundness of Data Flow Analyses for Weak Memory Models},
booktitle = {i9th Asian Symposium of Programming Languages and Systems
(APLAS 2011)},
pages = {272--288},
year = {2011},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7078},
isbn = {978-3-642-25317-1},
month = dec,
url = {http://dx.doi.org/10.1007/978-3-642-25318-8_21},
doi = {10.1007/978-3-642-25318-8_21},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/aplas/AlglaveKLNT11},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/atva/AlglaveDKT11,
author = {Jade Alglave and
Alastair F. Donaldson and
Daniel Kroening and
Michael Tautschnig},
title = {Making Software Verification Tools Really Work},
booktitle = {Automated Technology for Verification and
Analysis (ATVA 2011)},
pages = {28--42},
year = {2011},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6996},
isbn = {978-3-642-24371-4},
month = oct,
biburl = {http://dblp.uni-trier.de/rec/bib/conf/atva/AlglaveDKT11},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fase/HolzerJKLSTV11,
author = {Andreas Holzer and
Visar Januzaj and
Stefan Kugele and
Boris Langer and
Christian Schallhart and
Michael Tautschnig and
Helmut Veith},
title = {Seamless Testing for Models and Code},
booktitle = {14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011)},
pages = {278--293},
year = {2011},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6603},
isbn = {978-3-642-19810-6},
month = apr,
biburl = {http://dblp.uni-trier.de/rec/bib/conf/fase/HolzerJKLSTV11},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BunteZTK11,
author = {Sven B{\"{u}}nte and
Michael Zolda and
Michael Tautschnig and
Raimund Kirner},
title = {Improving the Confidence in Measurement-Based Timing Analysis},
booktitle = {14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2011},
pages = {144--151},
year = {2011},
month = mar,
isbn = {978-0-7695-4368-0},
publisher = {IEEE Computer Society},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/isorc/BunteZTK11},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/hvc/HolzerTSV10,
author = {Andreas Holzer and
Michael Tautschnig and
Christian Schallhart and
Helmut Veith},
title = {An Introduction to Test Specification in {FQL}},
booktitle = {6th International Haifa Verification Conference (HVC 2011)},
pages = {9--22},
year = {2010},
month = oct,
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6504},
isbn = {978-3-642-19582-2},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/hvc/HolzerTSV10},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/isola/HaberlHKTW10,
author = {Wolfgang Haberl and
Markus Herrmannsdoerfer and
Stefan Kugele and
Michael Tautschnig and
Martin Wechs},
title = {Seamless Model-driven Development put into Practice},
pages = {18--32},
year = {2010},
month = oct,
address = {Heraklion, Crete, Greece},
booktitle = {4th International Symposium on Leveraging Applications of Formal
Methods, Verification and Validation (ISoLA 2010)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6415},
isbn = {978-3-642-16557-3},
doi = {10.1007/978-3-642-16558-0_4},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/isola/HaberlHKTW10},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/isola/HolzerJKT10,
author = {Andreas Holzer and
Visar Januzaj and
Stefan Kugele and
Michael Tautschnig},
title = {Timely Time Estimates},
booktitle = {4th International Symposium on Leveraging Applications of Formal
Methods, Verification and Validation (ISoLA 2010)},
pages = {33--46},
year = {2010},
month = oct,
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6415},
isbn = {978-3-642-16557-3},
doi = {10.1007/978-3-642-16558-0_5},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/isola/HolzerJKT10},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HolzerTVS10,
author = {Andreas Holzer and
Christian Schallhart and
Michael Tautschnig and
Helmut Veith},
title = {How did you specify your test suite ?},
booktitle = {Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010)},
pages = {407--416},
year = {2010},
publisher = {ACM},
month = sep,
isbn = {978-1-4503-0116-9},
doi = {10.1145/1858996.1859084},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/kbse/HolzerTVS10},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HolzerSTV09,
author = {Andreas Holzer and
Christian Schallhart and
Michael Tautschnig and
Helmut Veith},
title = {Query-Driven Program Testing},
booktitle = {Proceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009)},
pages = {151--166},
year = {2009},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5403},
month = jan,
pdf = {vmcai09.pdf},
doi = {10.1007/978-3-540-93900-9_15},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/vmcai/HolzerSTV09},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{haberl:herrmama:kugele:tautschnig:wechs:saase09,
author = {Wolfgang Haberl and Markus Herrmannsdoerfer and Stefan Kugele and Michael Tautschnig and Martin Wechs},
title = {One Click from Model to Reality},
year = {2009},
booktitle = {Proceedings of Symposium on Automotive/Avionics Systems Engineering (SAASE 2009)}
}
@inproceedings{DBLP:conf/wia/GruberHT09,
author = {Hermann Gruber and
Markus Holzer and
Michael Tautschnig},
title = {Short Regular Expressions from Finite Automata: Empirical Results},
booktitle = {14th International Conference on Implementation and Application of Automata (CIAA 2009)},
pages = {188--197},
year = {2009},
month = jul,
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5642}
}
@inproceedings{DBLP:conf/cav/HolzerSTV08,
author = {Andreas Holzer and
Christian Schallhart and
Michael Tautschnig and
Helmut Veith},
title = {{FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement}},
booktitle = {20th International Conference on Computer Aided Verification (CAV 2008)},
pages = {209--213},
year = {2008},
month = jul,
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5123},
pdf = {cav08.pdf},
doi = {10.1007/978-3-540-70545-1_20},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/cav/HolzerSTV08},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fdl/WangHMT08,
author = {Zhonglei Wang and
Andreas Herkersdorf and
Stefano Merenda and
Michael Tautschnig},
title = {A Model Driven Development Approach for Implementing Reactive Systems
in Hardware},
booktitle = {Forum on Specification and Design Languages (FDL08)},
pages = {197--202},
year = {2008},
month = sep,
publisher = {IEEE Computer Society},
doi = {10.1109/FDL.2008.4641445},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/fdl/WangHMT08},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icst/BunteT08,
author = {Sven B{\"{u}}nte and
Michael Tautschnig},
title = {A Benchmarking Suite for Measurement-Based {WCET} Analysis Tools},
booktitle = {International Conference on Software Testing Verification and Validation Workshop (ICSTW'08)},
pages = {353--356},
year = {2008},
month = apr,
publisher = {IEEE Computer Society Press},
isbn = {978-0-7695-3388-9},
doi = {10.1109/ICSTW.2008.1},
pdf = {testbench08.pdf},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/icst/BunteT08},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/isola/LangerT08,
author = {Boris Langer and
Michael Tautschnig},
title = {Navigating the Requirements Jungle},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation},
pages = {354--368},
year = {2008},
month = oct,
publisher = {Springer},
series = {Communications in Computer and Information Science},
volume = {17},
isbn = {978-3-540-88478-1},
pdf = {isola08-req-jungle.pdf},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/isola/LangerT08},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/isola/KugeleHTW08,
author = {Stefan Kugele and
Wolfgang Haberl and
Michael Tautschnig and
Martin Wechs},
title = {Optimizing Automatic Deployment Using Non-functional Requirement Annotations},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation},
pages = {400--414},
year = {2008},
month = oct,
publisher = {Springer},
series = {Communications in Computer and Information Science},
volume = {17},
isbn = {978-3-540-88478-1},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/isola/KugeleHTW08},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wosp/WangHKT08,
author = {Zhonglei Wang and
Wolfgang Haberl and
Stefan Kugele and
Michael Tautschnig},
title = {Automatic generation of systemc models from component-based designs
for early design validation and performance analysis},
booktitle = {7th International Workshop on Software and Performance (WOSP 2008)},
pages = {139--144},
year = {2008},
month = jun,
publisher = {ACM},
isbn = {978-1-59593-873-2},
pdf = {wosp08.pdf},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/wosp/WangHKT08},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{haberl:tautschnig:baumgarten:iaeng08,
author = {Wolfgang Haberl and Michael Tautschnig and Uwe Baumgarten},
title = {{Running COLA on Embedded Systems}},
month = mar,
year = {2008},
address = {Hongkong, China},
booktitle = {Proceedings of The International MultiConference of Engineers and Computer Scientists 2008},
pages = {922--928},
isbn = {9789889867188},
pdf = {iaeng08.pdf},
note = {\emph{Awarded Certificate of Merit.}}
}
@inproceedings{DBLP:conf/date/BauerPT07,
author = {Andreas Bauer and
Markus Pister and
Michael Tautschnig},
title = {Tool-support for the analysis of hybrid systems and models},
booktitle = {2007 Conference on Design, Automation and Test in Europe (DATE 2007)},
pages = {924--929},
year = {2007},
month = apr,
publisher = {European Design and Automation Association},
abstract = {
This paper introduces a method and tool-support for the automatic
analysis and verification of hybrid and embedded control systems,
whose continuous dynamics are often modelled using MATLAB/Simulink.
The method is based upon converting system models into the uniform
input language of our efficient multi-domain constraint solving
library, ABsolver, which is then used for subsequent analysis.
Basically, ABsolver is an extensible SMT-solver which addresses mixed
Boolean and (nonlinear) arithmetic constraint problems as they appear
in the design of hybrid control systems.
It allows the integration and semantic connection of various domain
specific solvers via a logical circuit, such that almost arbitrary
multi-domain constraint problems can be formulated and solved.
Its design has been tailored for extensibility, and thus facilitates
the reuse of expert knowledge, in that the most appropriate solver for
a given task can be integrated and used.
As such the only constraint over the problem domain is the capability
of the employed solvers.
Our approach to systems verification has been validated in an
industrial case study using the model of a car's steering control
system.
However, additional benchmarks show that other hard instances of
problems could also be solved by ABsolver in respectable time, and
that for some instances, ABsolver's approach was the only means of
solving a problem at all.
},
isbn = {978-3-9810801-2-4},
doi = {10.1109/DATE.2007.364411},
pdf = {date07.pdf},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/date/BauerPT07},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/Kuhnel0T07,
author = {Christian K{\"{u}}hnel and
Andreas Bauer and
Michael Tautschnig},
title = {Compatibility and reuse in component-based systems via type and unit
inference},
booktitle = {Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)},
pages = {101--108},
year = {2007},
month = aug,
publisher = {IEEE Computer Society Press},
issn = {1089-6503},
doi = {10.1109/EUROMICRO.2007.24},
pdf = {kuehnel-componentbasedCompatibility.pdf},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/euromicro/Kuhnel0T07},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/isola/BauerLST07,
author = {Andreas Bauer and
Martin Leucker and
Christian Schallhart and
Michael Tautschnig},
title = {Don't care in {SMT}---Building flexible yet efficient abstraction/refinement solvers},
booktitle = {2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)},
pages = {135--146},
year = {2007},
month = dec,
address = {Poitiers, France},
isbn = {9782854288148},
pdf = {isola07.pdf},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/isola/BauerLST07},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
This file was generated by bibtex2html 1.99.