Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Thomas Heinz 0001
@inproceedings{DBLP:conf/kbse/Gladisch0HOVP19,
author = {Christoph Gladisch and
Thomas Heinz and
Christian Heinzemann and
Jens Oehlerking and
Anne von Vietinghoff and
Tim Pfitzer},
title = {Experience Paper: Search-Based Testing in Automated Driving Control
Applications},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
pages = {26--37},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASE.2019.00013},
doi = {10.1109/ASE.2019.00013},
timestamp = {Sun, 19 Jan 2020 15:18:02 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Gladisch0HOVP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RoehmHM17,
author = {Hendrik Roehm and
Thomas Heinz and
Eva Charlotte Mayer},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {STLInspector: {STL} Validation with Guarantees},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10426},
pages = {225--232},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63387-9\_11},
doi = {10.1007/978-3-319-63387-9\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/RoehmHM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/RoehmOHA16,
author = {Hendrik Roehm and
Jens Oehlerking and
Thomas Heinz and
Matthias Althoff},
editor = {Cyrille Artho and
Axel Legay and
Doron Peled},
title = {{STL} Model Checking of Continuous and Hybrid Systems},
booktitle = {Automated Technology for Verification and Analysis - 14th International
Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9938},
pages = {412--427},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46520-3\_26},
doi = {10.1007/978-3-319-46520-3\_26},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/RoehmOHA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Heinz16,
author = {Thomas Heinz},
editor = {Sergiy Bogomolov and
Matthieu Martel and
Pavithra Prabhakar},
title = {Falsification of Dynamical Systems - An Industrial Perspective},
booktitle = {Numerical Software Verification - 9th International Workshop, {NSV}
2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV}
2016], Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10152},
pages = {78--84},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-54292-8\_7},
doi = {10.1007/978-3-319-54292-8\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Heinz16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/YuzuguzelNKGH15,
author = {Hidir Yuzuguzel and
Jari Niemi and
Serkan Kiranyaz and
Moncef Gabbouj and
Thomas Heinz},
editor = {Yulei Wu and
Geyong Min and
Nektarios Georgalas and
Jia Hu and
Luigi Atzori and
Xiaolong Jin and
Stephen A. Jarvis and
Lei (Chris) Liu and
Ram{\'{o}}n Ag{\"{u}}ero Calvo},
title = {ShakeMe: Key Generation from Shared Motion},
booktitle = {15th {IEEE} International Conference on Computer and Information Technology,
{CIT} 2015; 14th {IEEE} International Conference on Ubiquitous Computing
and Communications, {IUCC} 2015; 13th {IEEE} International Conference
on Dependable, Autonomic and Secure Computing, {DASC} 2015; 13th {IEEE}
International Conference on Pervasive Intelligence and Computing,
PICom 2015, Liverpool, United Kingdom, October 26-28, 2015},
pages = {2130--2133},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CIT/IUCC/DASC/PICOM.2015.316},
doi = {10.1109/CIT/IUCC/DASC/PICOM.2015.316},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEcit/YuzuguzelNKGH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/RoehmGHOW15,
author = {Hendrik Roehm and
Rainer Gmehlich and
Thomas Heinz and
Jens Oehlerking and
Matthias Woehrle},
editor = {Goran Frehse and
Matthias Althoff},
title = {Industrial Examples of Formal Specifications for Test Case Generation},
booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous
and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015},
series = {EPiC Series in Computing},
volume = {34},
pages = {80--88},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/z9ph},
doi = {10.29007/Z9PH},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/RoehmGHOW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/YuzuguzelNKGH15,
author = {Hidir Yuzuguzel and
Jari Niemi and
Serkan Kiranyaz and
Moncef Gabbouj and
Thomas Heinz},
title = {ShakeMe: Key Generation From Shared Motion},
journal = {CoRR},
volume = {abs/1507.06353},
year = {2015},
url = {http://arxiv.org/abs/1507.06353},
eprinttype = {arXiv},
eprint = {1507.06353},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/YuzuguzelNKGH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/HeinzOW14,
author = {Thomas Heinz and
Jens Oehlerking and
Matthias Woehrle},
editor = {Goran Frehse and
Matthias Althoff},
title = {Benchmark: Reachability on a model with holes},
booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous
and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015},
series = {EPiC Series in Computing},
volume = {34},
pages = {31--36},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/cv59},
doi = {10.29007/CV59},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/HeinzOW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/HeinzW09,
author = {Thomas Heinz and
Reinhard Wilhelm},
editor = {Christoph M. Kirsch and
Mahmut T. Kandemir},
title = {Towards device emulation code generation},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN/SIGBED} conference on Languages,
compilers, and tools for embedded systems, {LCTES} 2009, Dublin, Ireland,
June 19-20, 2009},
pages = {109--118},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542452.1542467},
doi = {10.1145/1542452.1542467},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/HeinzW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/000108,
author = {Thomas Heinz},
editor = {Michael Engel and
Olaf Spinczyk},
title = {Preserving temporal behaviour of legacy real-time software across
static binary translation},
booktitle = {Proceedings of the 1st Workshop on Isolation and Integration in Embedded
Systems, {IIES} '08, Glasgow, Scotland, April 1, 2008},
pages = {1--4},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1435458.1435459},
doi = {10.1145/1435458.1435459},
timestamp = {Wed, 16 Mar 2022 23:55:47 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/000108.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/HeinzS08,
author = {Thomas Heinz and
J{\"{o}}rn Schneider},
editor = {Walid Maalej and
Bernd Br{\"{u}}gge},
title = {The Legacy {ECU} Software Problem - Approach and Research Challenges},
booktitle = {Software Engineering 2008 - Workshopband, Fachtagung des GI-Fachbereichs
Softwaretechnik, 18.-22.2.2008 in M{\"{u}}nchen},
series = {{LNI}},
volume = {{P-122}},
pages = {98--102},
publisher = {{GI}},
year = {2008},
url = {https://dl.gi.de/handle/20.500.12116/31509},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/HeinzS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AltmanCCDBSEFGH08,
author = {Erik R. Altman and
Bruce R. Childers and
Robert S. Cohn and
Jack W. Davidson and
Koen De Bosschere and
Bjorn De Sutter and
M. Anton Ertl and
Michael Franz and
Yuan Xiang Gu and
Matthias Hauswirth and
Thomas Heinz and
Wei{-}Chung Hsu and
Jens Knoop and
Andreas Krall and
Naveen Kumar and
Jonas Maebe and
Robert Muth and
Xavier Rival and
Erven Rohou and
Roni Rosner and
Mary Lou Soffa and
Jens Tr{\"{o}}ger and
Christopher A. Vick},
editor = {Bruce R. Childers and
Jack W. Davidson and
Koen De Bosschere and
Mary Lou Soffa},
title = {08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary
Translation},
booktitle = {Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10.
- 31.10.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08441},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/1888/},
timestamp = {Thu, 10 Jun 2021 13:02:07 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AltmanCCDBSEFGH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-25 01:24 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:
