default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Michael Tautschnig
@article{DBLP:journals/corr/abs-2302-02384,
author = {Daniel Kroening and
Peter Schrammel and
Michael Tautschnig},
title = {{CBMC:} The {C} Bounded Model Checker},
journal = {CoRR},
volume = {abs/2302.02384},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.02384},
doi = {10.48550/ARXIV.2302.02384},
eprinttype = {arXiv},
eprint = {2302.02384},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-02384.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/BeyerDDHLT22,
author = {Dirk Beyer and
Matthias Dangl and
Daniel Dietsch and
Matthias Heizmann and
Thomas Lemberger and
Michael Tautschnig},
title = {Verification Witnesses},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {31},
number = {4},
pages = {57:1--57:69},
year = {2022},
url = {https://doi.org/10.1145/3477579},
doi = {10.1145/3477579},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/BeyerDDHLT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CookKKTTT21,
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},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {1},
pages = {34--52},
year = {2021},
url = {https://doi.org/10.1007/s10703-020-00344-2},
doi = {10.1007/S10703-020-00344-2},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/CookKKTTT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/ChongCEKKMSTTT21,
author = {Nathan Chong and
Byron Cook and
Jonathan Eidelman and
Konstantinos Kallas and
Kareem Khazem and
Felipe R. Monteiro and
Daniel Schwartz{-}Narbonne and
Serdar Tasiran and
Michael Tautschnig and
Mark R. Tuttle},
title = {Code-level model checking in the software development workflow at
Amazon Web Services},
journal = {Softw. Pract. Exp.},
volume = {51},
number = {4},
pages = {772--797},
year = {2021},
url = {https://doi.org/10.1002/spe.2949},
doi = {10.1002/SPE.2949},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/ChongCEKKMSTTT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CookDKMPPTW20,
author = {Byron Cook and
Bj{\"{o}}rn D{\"{o}}bel and
Daniel Kroening and
Norbert Manthey and
Martin Pohlack and
Elizabeth Polgreen and
Michael Tautschnig and
Pawel Wieczorkiewicz},
title = {Using model checking tools to triage the severity of security bugs
in the Xen hypervisor},
booktitle = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa,
Israel, September 21-24, 2020},
pages = {185--193},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_26},
doi = {10.34727/2020/ISBN.978-3-85448-042-6\_26},
timestamp = {Thu, 14 Jan 2021 08:55:22 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/CookDKMPPTW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChongCKKMSTTT20,
author = {Nathan Chong and
Byron Cook and
Konstantinos Kallas and
Kareem Khazem and
Felipe R. Monteiro and
Daniel Schwartz{-}Narbonne and
Serdar Tasiran and
Michael Tautschnig and
Mark R. Tuttle},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Code-level model checking in the software development workflow},
booktitle = {{ICSE-SEIP} 2020: 42nd International Conference on Software Engineering,
Software Engineering in Practice, Seoul, South Korea, 27 June - 19
July, 2020},
pages = {11--20},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377813.3381347},
doi = {10.1145/3377813.3381347},
timestamp = {Fri, 11 Dec 2020 12:48:29 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChongCKKMSTTT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/BeyerDDHLT20,
author = {Dirk Beyer and
Matthias Dangl and
Daniel Dietsch and
Matthias Heizmann and
Thomas Lemberger and
Michael Tautschnig},
title = {Reproduction Package for {TOSEM} Article 'Verification Witnesses'
(Version VerificationWitnesses-artifact-TOSEM)},
publisher = {Zenodo},
year = {2020},
month = mar,
howpublished = {\url{https://doi.org/10.5281/zenodo.3731856}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.3731856},
doi = {10.5281/ZENODO.3731856},
timestamp = {Tue, 17 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/BeyerDDHLT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KhazemT19,
author = {Kareem Khazem and
Michael Tautschnig},
editor = {Dirk Beyer and
Marieke Huisman and
Fabrice Kordon and
Bernhard Steffen},
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}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {199--203},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_13},
doi = {10.1007/978-3-030-17502-3\_13},
timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KhazemT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/LiangMKST18,
author = {Lihao Liang and
Tom Melham and
Daniel Kroening and
Peter Schrammel and
Michael Tautschnig},
title = {Effective Verification for Low-Level Software with Competing Interrupts},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {17},
number = {2},
pages = {36:1--36:26},
year = {2018},
url = {https://doi.org/10.1145/3147432},
doi = {10.1145/3147432},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/LiangMKST18.bib},
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},
editor = {Hana Chockler and
Georg Weissenbacher},
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}},
series = {Lecture Notes in Computer Science},
volume = {10982},
pages = {467--486},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_28},
doi = {10.1007/978-3-319-96142-2\_28},
timestamp = {Fri, 09 Apr 2021 18:35:26 +0200},
biburl = {https://dblp.org/rec/conf/cav/CookKKTTT18.bib},
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},
editor = {Catherine Dubois and
Burkhart Wolff},
title = {Tests from Witnesses - Execution-Based Validation of Verification
Results},
booktitle = {Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse,
France, June 27-29, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10889},
pages = {3--23},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92994-1\_1},
doi = {10.1007/978-3-319-92994-1\_1},
timestamp = {Sun, 04 Aug 2024 19:44:04 +0200},
biburl = {https://dblp.org/rec/conf/tap/0001DLT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HuismanKMT17,
author = {Marieke Huisman and
Vladimir Klebanov and
Rosemary Monahan and
Michael Tautschnig},
title = {VerifyThis 2015 - {A} program verification competition},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {6},
pages = {763--771},
year = {2017},
url = {https://doi.org/10.1007/s10009-016-0438-x},
doi = {10.1007/S10009-016-0438-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HuismanKMT17.bib},
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},
editor = {Deepak D'Souza and
K. Narayan Kumar},
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},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {241--248},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_17},
doi = {10.1007/978-3-319-68167-2\_17},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/PrabhuSSTY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MalacariaTD16,
author = {Pasquale Malacaria and
Michael Tautschnig and
Dino Distefano},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Information Leakage Analysis of Complex {C} Code and Its application
to OpenSSL},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {909--925},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_63},
doi = {10.1007/978-3-319-47166-2\_63},
timestamp = {Thu, 27 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/MalacariaTD16.bib},
bibsource = {dblp computer science bibliography, https://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},
editor = {Sanjai Rayadurgam and
Oksana Tkachuk},
title = {Assisted Coverage Closure},
booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
MN, USA, June 7-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9690},
pages = {49--64},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40648-0\_5},
doi = {10.1007/978-3-319-40648-0\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/NellisKCKST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/KhazemT16,
author = {Kareem Khazem and
Michael Tautschnig},
editor = {Dragan Bosnacki and
Anton Wijs},
title = {smid: {A} Black-Box Program Driver},
booktitle = {Model Checking Software - 23rd International Symposium, {SPIN} 2016,
Co-located with {ETAPS} 2016, Eindhoven, The Netherlands, April 7-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9641},
pages = {182--188},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-32582-8\_12},
doi = {10.1007/978-3-319-32582-8\_12},
timestamp = {Tue, 12 Sep 2023 07:57:22 +0200},
biburl = {https://dblp.org/rec/conf/spin/KhazemT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MukherjeeTK16,
author = {Rajdeep Mukherjee and
Michael Tautschnig and
Daniel Kroening},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {v2c - {A} Verilog to {C} Translator},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {580--586},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_38},
doi = {10.1007/978-3-662-49674-9\_38},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/MukherjeeTK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HolzerSTV15,
author = {Andreas Holzer and
Christian Schallhart and
Michael Tautschnig and
Helmut Veith},
title = {Closure properties and complexity of rational sets of regular languages},
journal = {Theor. Comput. Sci.},
volume = {605},
pages = {62--79},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.08.035},
doi = {10.1016/J.TCS.2015.08.035},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HolzerSTV15.bib},
bibsource = {dblp computer science bibliography, https://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},
editor = {Bernd Finkbeiner and
Geguang Pu and
Lijun Zhang},
title = {Learning the Language of Error},
booktitle = {Automated Technology for Verification and Analysis - 13th International
Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9364},
pages = {114--130},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24953-7\_9},
doi = {10.1007/978-3-319-24953-7\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/ChapmanCKKST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KroeningLMST15,
author = {Daniel Kroening and
Lihao Liang and
Tom Melham and
Peter Schrammel and
Michael Tautschnig},
editor = {Wolfgang Nebel and
David Atienza},
title = {Effective verification of low-level software with nested interrupts},
booktitle = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
9-13, 2015},
pages = {229--234},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2755803},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/KroeningLMST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NellisKCKST15,
author = {Adam Nellis and
Pascal Kesseli and
Philippa Ryan Conmy and
Daniel Kroening and
Peter Schrammel and
Michael Tautschnig},
title = {Assisted Coverage Closure},
journal = {CoRR},
volume = {abs/1509.04587},
year = {2015},
url = {http://arxiv.org/abs/1509.04587},
eprinttype = {arXiv},
eprint = {1509.04587},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NellisKCKST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AlglaveMT14,
author = {Jade Alglave and
Luc Maranget and
Michael Tautschnig},
title = {Herding Cats: Modelling, Simulation, Testing, and Data Mining for
Weak Memory},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {36},
number = {2},
pages = {7:1--7:74},
year = {2014},
url = {https://doi.org/10.1145/2627752},
doi = {10.1145/2627752},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AlglaveMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/KroeningT14,
author = {Daniel Kroening and
Michael Tautschnig},
editor = {Petr Hlinen{\'{y}} and
Zdenek Dvor{\'{a}}k and
Jir{\'{\i}} Jaros and
Jan Kofron and
Jan Korenek and
Petr Matula and
Karel Pala},
title = {Automating Software Analysis at Large Scale},
booktitle = {Mathematical and Engineering Methods in Computer Science - 9th International
Doctoral Workshop, {MEMICS} 2014, Tel{\v{c}}, Czech Republic, October
17-19, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8934},
pages = {30--39},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14896-0\_3},
doi = {10.1007/978-3-319-14896-0\_3},
timestamp = {Fri, 01 Dec 2023 09:55:19 +0100},
biburl = {https://dblp.org/rec/conf/memics/KroeningT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AlglaveMT14,
author = {Jade Alglave and
Luc Maranget and
Michael Tautschnig},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Herding cats: modelling, simulation, testing, and data-mining for
weak memory},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {40},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594347},
doi = {10.1145/2594291.2594347},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AlglaveMT14.bib},
bibsource = {dblp computer science bibliography, https://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 = {2014 14th International Conference on Quality Software, Allen, TX,
USA, October 2-3, 2014},
pages = {67--72},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/QSIC.2014.40},
doi = {10.1109/QSIC.2014.40},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/BloemKRT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BeyerHTV14,
author = {Dirk Beyer and
Andreas Holzer and
Michael Tautschnig and
Helmut Veith},
editor = {Wilhelm Hasselbring and
Nils Christian Ehmke},
title = {Reusing Information in Multi-Goal Reachability Analyses},
booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
25. Februar - 28. Februar 2014, Kiel, Germany},
series = {{LNI}},
volume = {{P-227}},
pages = {97--98},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/30979},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/BeyerHTV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KroeningT14,
author = {Daniel Kroening and
Michael Tautschnig},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {{CBMC} - {C} Bounded Model Checker - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {389--391},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_26},
doi = {10.1007/978-3-642-54862-8\_26},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/KroeningT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlglaveKT13,
author = {Jade Alglave and
Daniel Kroening and
Michael Tautschnig},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Partial Orders for Efficient Bounded Model Checking of Concurrent
Software},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {141--157},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_9},
doi = {10.1007/978-3-642-39799-8\_9},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/AlglaveKT13.bib},
bibsource = {dblp computer science bibliography, https://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},
editor = {Anthony Cleve and
Filippo Ricca and
Maura Cerioli},
title = {{PINCETTE} - Validating Changes and Upgrades in Networked Software},
booktitle = {17th European Conference on Software Maintenance and Reengineering,
{CSMR} 2013, Genova, Italy, March 5-8, 2013},
pages = {461--464},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CSMR.2013.72},
doi = {10.1109/CSMR.2013.72},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/ChocklerDLFHMMORSST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BeyerHTV13,
author = {Dirk Beyer and
Andreas Holzer and
Michael Tautschnig and
Helmut Veith},
editor = {Matthias Felleisen and
Philippa Gardner},
title = {Information Reuse for Multi-goal Reachability Analyses},
booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
{ESOP} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {472--491},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37036-6\_26},
doi = {10.1007/978-3-642-37036-6\_26},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BeyerHTV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AlglaveKNT13,
author = {Jade Alglave and
Daniel Kroening and
Vincent Nimal and
Michael Tautschnig},
editor = {Matthias Felleisen and
Philippa Gardner},
title = {Software Verification for Weak Memory via Program Transformation},
booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
{ESOP} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {512--532},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37036-6\_28},
doi = {10.1007/978-3-642-37036-6\_28},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/AlglaveKNT13.bib},
bibsource = {dblp computer science bibliography, https://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, Portland, OR,
USA, October 20-23, 2013},
pages = {121--128},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679400/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/HornTVLMGK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HolzerSTV13,
author = {Andreas Holzer and
Christian Schallhart and
Michael Tautschnig and
Helmut Veith},
editor = {Anil Seth and
Nisheeth K. Vishnoi},
title = {On the Structure and Complexity of Rational Sets of Regular Languages},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2013, December 12-14, 2013,
Guwahati, India},
series = {LIPIcs},
volume = {24},
pages = {377--388},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2013.377},
doi = {10.4230/LIPICS.FSTTCS.2013.377},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HolzerSTV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-1629,
author = {Jade Alglave and
Daniel Kroening and
Michael Tautschnig},
title = {Partial Orders for Efficient {BMC} of Concurrent Software},
journal = {CoRR},
volume = {abs/1301.1629},
year = {2013},
url = {http://arxiv.org/abs/1301.1629},
eprinttype = {arXiv},
eprint = {1301.1629},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-1629.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-6074,
author = {Andreas Holzer and
Christian Schallhart and
Michael Tautschnig and
Helmut Veith},
title = {On the Structure and Complexity of Rational Sets of Regular Languages},
journal = {CoRR},
volume = {abs/1305.6074},
year = {2013},
url = {http://arxiv.org/abs/1305.6074},
eprinttype = {arXiv},
eprint = {1305.6074},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-6074.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlglaveMT13,
author = {Jade Alglave and
Luc Maranget and
Michael Tautschnig},
title = {Herding Cats},
journal = {CoRR},
volume = {abs/1308.6810},
year = {2013},
url = {http://arxiv.org/abs/1308.6810},
eprinttype = {arXiv},
eprint = {1308.6810},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlglaveMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/DonaldsonKKTW12,
author = {Alastair F. Donaldson and
Alexander Kaiser and
Daniel Kroening and
Michael Tautschnig and
Thomas Wahl},
title = {Counterexample-guided abstraction refinement for symmetric concurrent
programs},
journal = {Formal Methods Syst. Des.},
volume = {41},
number = {1},
pages = {25--44},
year = {2012},
url = {https://doi.org/10.1007/s10703-012-0155-3},
doi = {10.1007/S10703-012-0155-3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/DonaldsonKKTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DSilvaHKT12,
author = {Vijay Victor D'Silva and
Leopold Haller and
Daniel Kroening and
Michael Tautschnig},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {Numeric Bounds Analysis with Conflict-Driven Learning},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {48--63},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_5},
doi = {10.1007/978-3-642-28756-5\_5},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/DSilvaHKT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HolzerKSTV12,
author = {Andreas Holzer and
Daniel Kroening and
Christian Schallhart and
Michael Tautschnig and
Helmut Veith},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {Proving Reachability Using FShell - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {538--541},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_43},
doi = {10.1007/978-3-642-28756-5\_43},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/HolzerKSTV12.bib},
bibsource = {dblp computer science bibliography, https://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},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {satabs: {A} Bit-Precise Verifier for {C} Programs - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {552--555},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_47},
doi = {10.1007/978-3-642-28756-5\_47},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BaslerDKKTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-7264,
author = {Jade Alglave and
Daniel Kroening and
Vincent Nimal and
Michael Tautschnig},
title = {Software Verification for Weak Memory via Program Transformation},
journal = {CoRR},
volume = {abs/1207.7264},
year = {2012},
url = {http://arxiv.org/abs/1207.7264},
eprinttype = {arXiv},
eprint = {1207.7264},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-7264.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/AlglaveKLNT11,
author = {Jade Alglave and
Daniel Kroening and
John Lugton and
Vincent Nimal and
Michael Tautschnig},
editor = {Hongseok Yang},
title = {Soundness of Data Flow Analyses for Weak Memory Models},
booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
Kenting, Taiwan, December 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7078},
pages = {272--288},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25318-8\_21},
doi = {10.1007/978-3-642-25318-8\_21},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/AlglaveKLNT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AlglaveDKT11,
author = {Jade Alglave and
Alastair F. Donaldson and
Daniel Kroening and
Michael Tautschnig},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Making Software Verification Tools Really Work},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {28--42},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_3},
doi = {10.1007/978-3-642-24372-1\_3},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/AlglaveDKT11.bib},
bibsource = {dblp computer science bibliography, https://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},
editor = {Dimitra Giannakopoulou and
Fernando Orejas},
title = {Seamless Testing for Models and Code},
booktitle = {Fundamental Approaches to Software Engineering - 14th International
Conference, {FASE} 2011, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken,
Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6603},
pages = {278--293},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19811-3\_20},
doi = {10.1007/978-3-642-19811-3\_20},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/HolzerJKLSTV11.bib},
bibsource = {dblp computer science bibliography, https://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, Newport Beach, California,
USA, 28-31 March 2011},
pages = {144--151},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ISORC.2011.27},
doi = {10.1109/ISORC.2011.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/BunteZTK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BauerLST10,
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},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {1},
pages = {23--37},
year = {2010},
url = {https://doi.org/10.1007/s10009-009-0133-2},
doi = {10.1007/S10009-009-0133-2},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BauerLST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/HolzerTSV10,
author = {Andreas Holzer and
Michael Tautschnig and
Christian Schallhart and
Helmut Veith},
editor = {Sharon Barner and
Ian G. Harris and
Daniel Kroening and
Orna Raz},
title = {An Introduction to Test Specification in {FQL}},
booktitle = {Hardware and Software: Verification and Testing - 6th International
Haifa Verification Conference, {HVC} 2010, Haifa, Israel, October
4-7, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6504},
pages = {9--22},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19583-9\_5},
doi = {10.1007/978-3-642-19583-9\_5},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/HolzerTSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HaberlHKTW10,
author = {Wolfgang Haberl and
Markus Herrmannsdoerfer and
Stefan Kugele and
Michael Tautschnig and
Martin Wechs},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Seamless Model-Driven Development Put into Practice},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6415},
pages = {18--32},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16558-0\_4},
doi = {10.1007/978-3-642-16558-0\_4},
timestamp = {Sun, 02 Jun 2019 21:11:28 +0200},
biburl = {https://dblp.org/rec/conf/isola/HaberlHKTW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HolzerJKT10,
author = {Andreas Holzer and
Visar Januzaj and
Stefan Kugele and
Michael Tautschnig},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Timely Time Estimates},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6415},
pages = {33--46},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16558-0\_5},
doi = {10.1007/978-3-642-16558-0\_5},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HolzerJKT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HolzerTVS10,
author = {Andreas Holzer and
Christian Schallhart and
Michael Tautschnig and
Helmut Veith},
editor = {Charles Pecheur and
Jamie Andrews and
Elisabetta Di Nitto},
title = {How did you specify your test suite},
booktitle = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
Software Engineering, Antwerp, Belgium, September 20-24, 2010},
pages = {407--416},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1858996.1859084},
doi = {10.1145/1858996.1859084},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/HolzerTVS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HolzerSTV09,
author = {Andreas Holzer and
Christian Schallhart and
Michael Tautschnig and
Helmut Veith},
editor = {Neil D. Jones and
Markus M{\"{u}}ller{-}Olm},
title = {Query-Driven Program Testing},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 10th International
Conference, {VMCAI} 2009, Savannah, GA, USA, January 18-20, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5403},
pages = {151--166},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-93900-9\_15},
doi = {10.1007/978-3-540-93900-9\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/HolzerSTV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/GruberHT09,
author = {Hermann Gruber and
Markus Holzer and
Michael Tautschnig},
editor = {Sebastian Maneth},
title = {Short Regular Expressions from Finite Automata: Empirical Results},
booktitle = {Implementation and Application of Automata, 14th International Conference,
{CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5642},
pages = {188--197},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02979-0\_22},
doi = {10.1007/978-3-642-02979-0\_22},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/GruberHT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HolzerSTV08,
author = {Andreas Holzer and
Christian Schallhart and
Michael Tautschnig and
Helmut Veith},
editor = {Aarti Gupta and
Sharad Malik},
title = {FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {209--213},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_20},
doi = {10.1007/978-3-540-70545-1\_20},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/HolzerSTV08.bib},
bibsource = {dblp computer science bibliography, https://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, {FDL} 2008, September
23-25, 2008, Stuttgart, Germany, Proceedings},
pages = {197--202},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/FDL.2008.4641445},
doi = {10.1109/FDL.2008.4641445},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/fdl/WangHMT08.bib},
bibsource = {dblp computer science bibliography, https://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 = {First International Conference on Software Testing Verification and
Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008, Workshops
Proceedings},
pages = {353--356},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICSTW.2008.1},
doi = {10.1109/ICSTW.2008.1},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BunteT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LangerT08,
author = {Boris Langer and
Michael Tautschnig},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Navigating the Requirements Jungle},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {354--368},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_25},
doi = {10.1007/978-3-540-88479-8\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/LangerT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KugeleHTW08,
author = {Stefan Kugele and
Wolfgang Haberl and
Michael Tautschnig and
Martin Wechs},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Optimizing Automatic Deployment Using Non-functional Requirement Annotations},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {400--414},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_28},
doi = {10.1007/978-3-540-88479-8\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/KugeleHTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/WangHKT08,
author = {Zhonglei Wang and
Wolfgang Haberl and
Stefan Kugele and
Michael Tautschnig},
editor = {Alberto Avritzer and
Elaine J. Weyuker and
C. Murray Woodside},
title = {Automatic generation of systemc models from component-based designs
for early design validation and performance analysis},
booktitle = {Proceedings of the 7th International Workshop on Software and Performance,
{WOSP} 2008, Princeton, NJ, USA, June 23-26, 2008},
pages = {139--144},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1383559.1383577},
doi = {10.1145/1383559.1383577},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wosp/WangHKT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BauerPT07,
author = {Andreas Bauer and
Markus Pister and
Michael Tautschnig},
editor = {Rudy Lauwereins and
Jan Madsen},
title = {Tool-support for the analysis of hybrid systems and models},
booktitle = {2007 Design, Automation and Test in Europe Conference and Exposition,
{DATE} 2007, Nice, France, April 16-20, 2007},
pages = {924--929},
publisher = {{EDA} Consortium, San Jose, CA, {USA}},
year = {2007},
url = {https://doi.org/10.1109/DATE.2007.364411},
doi = {10.1109/DATE.2007.364411},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/BauerPT07.bib},
bibsource = {dblp computer science bibliography, https://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 = {33rd {EUROMICRO} Conference on Software Engineering and Advanced Applications
{(EUROMICRO-SEAA} 2007), August 28-31, 2007, L{\"{u}}beck, Germany},
pages = {101--108},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/EUROMICRO.2007.24},
doi = {10.1109/EUROMICRO.2007.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/Kuhnel0T07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BauerLST07,
author = {Andreas Bauer and
Martin Leucker and
Christian Schallhart and
Michael Tautschnig},
editor = {Yamine A{\"{\i}}t Ameur and
Fr{\'{e}}d{\'{e}}ric Boniol and
Virginie Wiels},
title = {Don't care in SMT-Building flexible yet efficient abstraction/refinement
solvers},
booktitle = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods,
Verification and Validation, Poitiers-Futuroscope, France, December
12-14, 2007},
series = {Revue des Nouvelles Technologies de l'Information},
volume = {{RNTI-SM-1}},
pages = {135--146},
publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
year = {2007},
url = {http://editions-rnti.fr/?inprocid=1000540},
timestamp = {Thu, 24 Apr 2014 17:37:26 +0200},
biburl = {https://dblp.org/rec/conf/isola/BauerLST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-19 00:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
