forsyte logo
TU Wien Informatik —
Formal Methods in Systems Engineering
TU Wien Logo Informatik Logo
 
Home | Courses | Research | Publications | People | Open Positions | Contact | Impressum | Help
professors
secretaries
scientific staff
associate members
sysadmins
   
former staff
all current members

 

People

professors
Univ.-Prof. Dr. Helmut Veithcontact info...


secretaries
Therese Schwarzcontact info...


scientific staff
Dipl.-Inf. (FH) Andreas Holzer, M. Sc.contact info...
Visar Januzaj, M. Sc.contact info...
Aleksandr Karbyshevcontact info...
Mcs. Mohammad Khaleghicontact info...
Dipl.-Inf. Johannes Kindercontact info...
Dipl.-Inf. Stefan Kugelecontact info...
Dr. Christian Schallhartcontact info...
Dipl.-Inf. Michael Tautschnigcontact info...
Dipl.-Math. Florian Zulegercontact info...


associate members
Dipl.-Inform. Boris Langercontact info...


sysadmins
Toni Pisjakcontact info...


 
News  
paper
2010-02-01
New paper: Runtime Verification for LTL and TLTL
paper
2010-02-01
New paper: Comparing LTL Semantics for Runtime Verification
paper
2010-02-01
New paper: Semantic Integrity in Large-Scale Online Simulations
paper
2010-06-29
New paper: How did you specify your test suite ?
news
2010-05-28
Helmut Veith is a founding member of the Austrian Society for Rigorous Systems Engineering
more news...
to top >>
Home | Courses | Research | Publications | People | Open Positions | Contact | Impressum | Help