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

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

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



Results 1-5 of 5 (Search time: 0.0 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