Name Card

Full name Familienname, Vorname
Ahrendt, Wolfgang
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen


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

PreviewAuthor(s)TitleTypeIssue Date
1Sánchez, César ; Schneider, Gerardo ; Ahrendt, Wolfgang ; Bartocci, Ezio ; Bianculli, Domenico ; Colombo, Christian ; Falcone, Yliès ; Francalanza, Adrian ; Krstić, Srđan ; Lourenço, Joa̋o M. ; Nickovic, Dejan ; Pace, Gordon J. ; Rufino, Jose ; Signoles, Julien ; Traytel, Dmitriy ; Weiss, Alexander A survey of challenges for runtime verification from advanced application domains (beyond software)Artikel Article 2019
2Ahrendt, Wolfgang ; Kovacs, Laura ; Robillard, Simon Reasoning About Loops Using Vampire in KeYKonferenzbeitrag Inproceedings 2015

Contributing Publications Mitbeteiligte Publikationen


Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gleiss, Bernhard ; Kovács, Laura ; Schnedlitz, Lena Interactive Visualization of Saturation Attempts in VampireKonferenzbeitrag Inproceedings 2019