forsyte logo
TU Darmstadt Computer Science —
Formal Methods in Systems Engineering
informatik logo tu darmstadt logo
 
Home | Courses | Research | Publications | People | Open Positions | Contact | Impressum | Help
professors
secretaries
scientific staff
associate members
sysadmins
affiliated students
   
former students
all current members

 

People

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


secretaries
Veronika Webercontact 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. Marko Samercontact info...
Dr. Christian Schallhartcontact info...
Dipl.-Inf. Michael Tautschnigcontact info...
Dipl.-Math. Florian Zulegercontact info...


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


sysadmins
Stefan Wilkecontact info...


affiliated students
Juha Ojansivucontact info...
Andreas Weiscontact info...


former students
Nikola Dyundevcontact info...
Azizjon Khalmukhamedovcontact info...
Artjom Kochtchicontact info...
Vanessa Struvecontact info...


 
News  
paper
2010-04-20
New paper: Proving Memory Safety of Floating-Point Computations by Combining Static and Dynamic Program Analysis
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
thesis
2008-10-29
Diplomarbeit/diploma thesis: Design of a Repository for Embedded Real Time Applications
more news...
to top >>
Home | Courses | Research | Publications | People | Open Positions | Contact | Impressum | Help