Name Card

Full name Familienname, Vorname
Heinz, Thomas
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gurtner, Markus ; Zips, Patrik ; Heinz, Thomas ; Atak, Muhammed ; Ophey, Julian ; Seiler-Thull, Daniel ; Kugi, Andreas Efficient oscillation detection for verification of mechatronic closed-loop systems using search-based testingArtikel Article 15-Jan-2022
2Altman, Erik ; Childers, Bruce R. ; Cohn, Robert ; Davidson, Jack ; Brosschere, Koen De ; Sutter, Bjorn De ; Ertl, Martin Anton ; Franz, Michael ; Gu, Yuan ; Hauswirth, Matthias ; Heinz, Thomas ; Hsu, Wei-Chung ; Knoop, Jens ; Krall, Andreas ; Kumar, Naveen ; Maebe, Jonas ; Muth, Robert ; Rival, Xavier ; Rohou, Erven ; Rosner, Roni ; Soffa, Mary Lou ; Troeger, Jens ; Vick, Christopher 08441 Final Report -- Emerging Uses and Paradigms for Dynamic Binary TranslationKonferenzbeitrag Inproceedings2009