Marc Diefenbruch
  According to our database1,
  Marc Diefenbruch
  authored at least 8 papers
  between 1996 and 2002.
  
  
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
  2002
    Inform. Spektrum, 2002
    
  
    Proceedings of the 32. Jahrestagung der Gesellschaft für Informatik, Informatik bewegt, INFORMATIK 2002, Dortmund, Germany, September 30, 2002
    
  
    Proceedings of the 32. Jahrestagung der Gesellschaft für Informatik, Informatik bewegt, INFORMATIK 2002, Dortmund, Germany, September 30, 2002
    
  
  2000
    Proceedings of the PAKM 2000, 2000
    
  
  1997
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking.
    
  
    PhD thesis, 1997
    
  
QUEST Performance Evalution of SDL System.
  
    Proceedings of the MMB '97, 1997
    
  
Funktionale und quantitative Verifikation von zeit- und ressourcenerweiterten SDL-Systemen mittels Model-Checking.
  
    Proceedings of the MMB '97, 1997
    
  
  1996
The QUEST-Approach for the Performance Evaluation of SDL-Systems.
  
    Proceedings of the Formal Description Techniques IX: Theory, 1996