Michael Tautschnig : Publications

Click here to download all publications in a single bibtex file

@inproceedings{dhkt.tacas.2012,
  title = "Numeric Bounds Analysis with Conflict-Driven Learning",
  author = "Vijay D'Silva and Leopold Haller and Daniel Kroening and Michael Tautschnig",
  year = "2012",
  booktitle = "TACAS",
  url = "https://www.cs.ox.ac.uk/people/leopold.haller/papers/tacas2012.pdf",
}

@inproceedings{holzer:januzaj:kugele:langer:schallhart:tautschnig:veith:fase11,
  title = "Seamless Testing for Models and Code",
  author = "Andreas Holzer and Visar Januzaj and Stefan Kugele and Boris Langer and Christian Schallhart and Michael Tautschnig and Helmut Veith",
  year = "2011",
  booktitle = "Proceedings of 14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011)",
  isbn = "978-3-642-19810-6",
  month = "April",
  pages = "278-293",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6603",
}

@inproceedings{buente:kirner:zolda:tautschnig:isorc:2011,
  title = "Improving the Confidence in Measurement-Based Timing Analysis",
  author = "Sven B{\"u}nte and Raimund Kirner and Michael Zolda and Michael Tautschnig",
  year = "2011",
  address = "Newport Beach, CA, USA",
  booktitle = "Proceedings of 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2011",
  isbn = "978-0-7695-4368-0",
  month = "March",
  pages = "144-151",
  publisher = "IEEE Computer Society",
}

@inproceedings{alglave:kroening:lugton:nimal:tautschnig:aplas11,
  title = "Soundness of Data Flow Analyses for Weak Memory Models",
  author = "Jade Alglave and Daniel Kroening and John Lugton and Vincent Nimal and Michael Tautschnig",
  year = "2011",
  booktitle = "Proceedings of Programming Languages and Systems - 9th Asian Symposium (APLAS 2011)",
  isbn = "978-3-642-25317-1",
  month = "dec",
  pages = "272-288",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "7078",
}

@inproceedings{alglave:donaldson:kroening:tautschnig:atva11,
  title = "Making Software Verification Tools Really Work",
  author = "Jade Alglave and Alastair Donaldson and Daniel Kroening and Michael Tautschnig",
  year = "2011",
  booktitle = "Proceedings of 9th Automated Technology for Verification and Analysis (ATVA 2011)",
  isbn = "978-3-642-24371-4",
  month = "oct",
  pages = "28-42",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6996",
}

@inproceedings{holzer:schallhart:tautschnig:veith:hvc10,
  title = "An Introduction to Test Specification in {FQL}",
  author = "Andreas Holzer and Christian Schallhart and Michael Tautschnig and Helmut Veith",
  year = "2011",
  booktitle = "Proceedings of 6th International Haifa Verification Conference (HVC 2011)",
  editor = "Sharon Barner and Ian G. Harris and Daniel Kroening and Orna Raz",
  isbn = "978-3-642-19582-2",
  month = "October",
  pages = "9-22",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6504",
}

@inproceedings{holzer:schallhart:tautschnig:veith:ase10,
  title = "How did you specify your test suite ?",
  author = "Andreas Holzer and Christian Schallhart and Michael Tautschnig and Helmut Veith",
  year = "2010",
  address = "Antwerp, Belgium",
  booktitle = "Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010)",
  isbn = "978-1-4503-0116-9",
  month = "September",
  pages = "407--416",
  publisher = "ACM",
}

@article{bauer:leucker:schallhart:tautschnig:sttt,
  title = "Don't care in {SMT}---Building flexible yet efficient abstraction/refinement solvers",
  author = "Andreas Bauer and Martin Leucker and Christian Schallhart and Michael Tautschnig",
  year = "2010",
  journal = "International Journal on Software Tools for Technology Transfer",
  month = "February",
  number = "1",
  pages = "23--37",
  volume = "12",
  doi = "10.1007/s10009-009-0133-2",
}

@inproceedings{holzer:januzaj:kugele:tautschnig:isola10,
  title = "Timely Time Estimates",
  author = "Andreas Holzer and Visar Januzaj and Stefan Kugele and Michael Tautschnig",
  year = "2010",
  address = "Heraklion, Crete, Greece",
  booktitle = "Proceedings of 4th International Symposium on Leveraging Applications (ISoLA 2010)",
  editor = "Tiziana Margaria and Bernhard Steffen",
  isbn = "978-3-642-16557-3",
  month = "October",
  pages = "33-46",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6415",
  doi = "10.1007/978-3-642-16558-0_5",
}

@inproceedings{haberl:herrmama:kugele:tautschnig:wechs:isola10,
  title = "Seamless Model-driven Development put into Practice",
  author = "Wolfgang Haberl and Markus Herrmannsdoerfer and Stefan Kugele and Michael Tautschnig and Martin Wechs",
  year = "2010",
  address = "Heraklion, Crete, Greece",
  booktitle = "Proceedings of 4th International Symposium on Leveraging Applications (ISoLA 2010)",
  editor = "Tiziana Margaria and Bernhard Steffen",
  isbn = "978-3-642-16557-3",
  month = "October",
  pages = "18-32",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6415",
  doi = "10.1007/978-3-642-16558-0_4",
}

@inproceedings{gruber:holzer:tautschnig:ciaa09,
  title = "Short Regular Expressions from Finite Automata: Empirical Results",
  author = "Hermann Gruber and Markus Holzer and Michael Tautschnig",
  year = "2009",
  address = "Sydney, Australia",
  booktitle = "Proceedings of the 14th International Conference on Implementation and Application of Automata (CIAA 2009)",
  month = "July",
  pages = "188--197",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5642",
}

@inbook{haberl:tautschnig:baumgarten:lnee,
  title = "{Generating Distributed Code From COLA Models}",
  author = "Wolfgang Haberl and Michael Tautschnig and Uwe Baumgarten",
  year = "2009",
  booktitle = "Trends in Communication Technologies and Engineering Science",
  chapter = "20",
  isbn = "978-1-4020-9492-7",
  month = "March",
  publisher = "Springer",
  series = "Lecture Notes in Electrical Engineering",
  volume = "33",
}

@inproceedings{holzer:schallhart:tautschnig:veith:vmcai09,
  title = "Query-Driven Program Testing",
  author = "Andreas Holzer and Christian Schallhart and Michael Tautschnig and Helmut Veith",
  year = "2009",
  address = "Savannah, GA, USA",
  booktitle = "Proceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009)",
  editor = "Neil D.~Jones and Markus M{\"u}ller-Olm",
  month = "January",
  pages = "151--166",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5403",
}

@inproceedings{haberl:herrmama:kugele:tautschnig:wechs:saase09,
  title = "One Click from Model to Reality",
  author = "Wolfgang Haberl and Markus Herrmannsdoerfer and Stefan Kugele and Michael Tautschnig and Martin Wechs",
  year = "2009",
  booktitle = "Proceedings of Symposium on Automotive/Avionics Systems Engineering (SAASE 2009)",
}

@article{haberl:tautschnig:baumgarten:ijcs,
  title = "{From COLA Models to Distributed Embedded Systems Code}",
  author = "Wolfgang Haberl and Michael Tautschnig and Uwe Baumgarten",
  year = "2008",
  issn = "1819-656X",
  journal = "IAENG International Journal of Computer Science",
  month = "September",
  number = "3",
  pages = "427--437",
  volume = "35",
}

@inproceedings{wang:herkersdorf:merenda:tautschnig:fdl08,
  title = "A Model Driven Development Approach for Implementing Reactive Systems in Hardware",
  author = "Zhonglei Wang and Andreas Herkersdorf and Stefano Merenda and Michael Tautschnig",
  year = "2008",
  address = "Stuttgart, Germany",
  booktitle = "Forum on Specification and Design Languages (FDL08)",
  month = "September",
  pages = "197--202",
  publisher = "IEEE Computer Society",
  doi = "10.1109/FDL.2008.4641445",
}

@inproceedings{holzer:schallhart:tautschnig:veith:cav08,
  title = "{FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement}",
  author = "Andreas Holzer and Christian Schallhart and Michael Tautschnig and Helmut Veith",
  year = "2008",
  address = "Princeton, NJ, USA",
  booktitle = "Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008)",
  month = "July",
  pages = "209--213",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5123",
}

@inproceedings{wang:haberl:kugele:tautschnig:wosp08,
  title = "{Automatic Generation of SystemC Models from Component-based Designs for Early Design Validation and Performance Analysis}",
  author = "Zhonglei Wang and Wolfgang Haberl and Stefan Kugele and Michael Tautschnig",
  year = "2008",
  address = "Princeton, NJ, USA",
  booktitle = "WOSP '08: Proceedings of the 7th International Workshop on Software and Performance",
  isbn = "978-1-59593-873-2",
  keywords = "COLA, Code Generation, Simulation, SystemC",
  month = "June",
  pages = "139--144",
  publisher = "ACM",
}

@inproceedings{buente:tautschnig:testbench08,
  title = "{A Benchmarking Suite for Measurement-Based WCET Analysis Tools}",
  author = "Sven B\"unte and Michael Tautschnig",
  year = "2008",
  address = "Lillehammer, Norway",
  booktitle = "International Conference on Software Testing Verification and Validation Workshop (ICSTW'08)",
  isbn = "978-0-7695-3388-9",
  month = "April",
  pages = "353--356",
  publisher = "IEEE Computer Society Press",
  doi = "10.1109/ICSTW.2008.1",
}

@inproceedings{haberl:tautschnig:baumgarten:iaeng08,
  title = "{Running COLA on Embedded Systems}",
  author = "Wolfgang Haberl and Michael Tautschnig and Uwe Baumgarten",
  year = "2008",
  address = "Hongkong, China",
  booktitle = "Proceedings of The International MultiConference of Engineers and Computer Scientists 2008",
  isbn = "9789889867188",
  keywords = "embedded systems, component-based models, automated code generation",
  month = "March",
  pages = "922--928",
}

@inproceedings{langer:tautschnig:isola08,
  title = "Navigating the Requirements Jungle",
  author = "Boris Langer and Michael Tautschnig",
  year = "2008",
  address = "Porto Sani, Greece",
  booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",
  editor = "Tiziana Margaria and Bernhard Steffen",
  isbn = "978-3-540-88478-1",
  month = "October",
  pages = "354--368",
  publisher = "Springer",
  series = "Communications in Computer and Information Science",
  volume = "17",
}

@inproceedings{kugele:haberl:tautschnig:wechs:isola08,
  title = "Optimizing Automatic Deployment Using Non-Functional Requirement Annotations",
  author = "Stefan Kugele and Wolfgang Haberl and Michael Tautschnig and Martin Wechs",
  year = "2008",
  address = "Porto Sani, Greece",
  booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",
  editor = "Tiziana Margaria and Bernhard Steffen",
  isbn = "978-3-540-88478-1",
  month = "October",
  pages = "400--414",
  publisher = "Springer",
  series = "Communications in Computer and Information Science",
  volume = "17",
}

@techreport{tum-i0714,
  title = "{COLA} -- The component language",
  author = "Stefan Kugele and Michael Tautschnig and Andreas Bauer and Christian Schallhart and Stefano Merenda and Wolfgang Haberl and Christian K{\"u}hnel and Florian M{\"uller} and Zhonglei Wang and Doris Wild and Sabine Rittmann and Martin Wechs",
  year = "2007",
  institution = "Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen",
  month = "September",
  number = "TUM-I0714",
}

@inproceedings{kuehnel:bauer:tautschnig:ecbse07,
  title = "Compatibility and reuse in component-based systems via type and unit inference",
  author = "Christian K{\"u}hnel and Andreas Bauer and Michael Tautschnig",
  year = "2007",
  address = "L\"ubeck, Germany",
  booktitle = "Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)",
  issn = "1089-6503",
  month = "August",
  pages = "101--108",
  publisher = "IEEE Computer Society Press",
  doi = "10.1109/EUROMICRO.2007.24",
}

@inproceedings{bauer:pister:tautschnig:date07,
  title = "Tool-support for the analysis of hybrid systems and models",
  author = "Andreas Bauer and Markus Pister and Michael Tautschnig",
  year = "2007",
  address = "Nice, France",
  booktitle = "Proceedings of the 2007 Conference on Design, Automation and Test in Europe (DATE)",
  isbn = "978-3-9810801-2-4",
  month = "April",
  pages = "924--929",
  publisher = "European Design and Automation Association",
  doi = "10.1109/DATE.2007.364411",
}

@inproceedings{bauer:leucker:schallhart:tautschnig:isola07,
  title = "Don't care in {SMT}---Building flexible yet efficient abstraction/refinement solvers",
  author = "Andreas Bauer and Martin Leucker and Christian Schallhart and Michael Tautschnig",
  year = "2007",
  address = "Poitiers, France",
  booktitle = "Proceedings of the 2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)",
  isbn = "9782854288148",
  month = "December",
  pages = "135--146",
}