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