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

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