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

sysadmins
Stefan Wilkecontact 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