Prefix title Titel (vorangestellt)
Univ.Prof. Dipl.-Ing.
 
Full name Familienname, Vorname
Weissenbacher, Georg
 
Postfix title Titel (nachgestellt)
D.Phil.
 

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

Results 1-9 of 9 (Search time: 0.014 seconds).



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

TitleP-InvestigatorProject status
Abstraction-based Parameterized TLA CheckerWeissenbacher, GeorgCOMPLETED
AutoTestWeissenbacher, GeorgIN PROGRESS
Bit-level Accurate Reasoning and InterpolationWeissenbacher, GeorgIN PROGRESS
LogiCs-ScholarshipsWeissenbacher, GeorgIN PROGRESS
Tools for Concurrent and distributed SystemsWeissenbacher, GeorgCLOSED