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
Diplomarbeit/diploma thesis (open)
   
all

 

Open thesis topics

Diplomarbeit/diploma thesis
Design of a Repository for Embedded Real Time Applications (open)

 more...


Information about older theses can be found on our old homepage.

 
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