|
|
 |
|
Buchacker, K.; Dal Cin, M.; Hoexer, H.; Sieh, V.; Tschaeche, O.:
"Reproducable Dependability Benchmarking Experiments Based on Unambiguous Benchmark Setup Description"
Technischer Bericht (01/02), Institut für Informatik 3, Universität Erlangen-Nürnberg.
Buchacker, K.;Karch, R.; Sieh, V.; Tschaeche, O.:
"Running a Dependability Benchmark for an Oracle Database System"
Technischer Bericht (02/02), Institut für Informatik 3, Universität Erlangen-Nürnberg.
Bondavalli, A.; Borschet, A.; Dal Cin, M.; Hohl,W.; Latella, D.; Majzik, I.; Massink, M.; Mura, I.:
"Specification of Modeling Techniques."
Esprit Project 27439 - HIDE, High-level Integrated Design Environment for Dependability, Dez. 1998.
Bondavalli, A.; Dal Cin, M.; Giusti, E.; Latella, D.; Majzik, I.; Massink, M.; Mura, I.:
"Assessment of Analysis and Transformation Techniques."
Esprit Project 27439 - HIDE, High-level Integrated Design Environment for Dependability, Dez. 1998.
Bondavalli, A.; Dal Cin, M.; Huszerl, G.; Kosmidis, K.; Latella, D.; Majzik, I.; Massink, M.; Mura, I.:
"Specification of Analysis and Transformation Techniques."
Esprit Project 27439 - HIDE, High-level Integrated Design Environment for Dependability, Dez. 1998.
Borschet, A.; Dal Cin, M.; Jávorski, J.; Pataricza, A.; Savoia, G.; Szász, Cs.:
"Specification of the HIDE Environment."
Esprit Project 27439 - HIDE, High-level Integrated Design Environment for Dependability, Dez. 1998.
Csertán, C.; Dal Cin, M.; Huszerl, G.; Jávorski, J.; Kosmidis, K.; Pataricza, A.; Szász, Cs.:
"The Demonstrator."
Esprit Project 27439 - HIDE, High-level Integrated Design Environment for Dependability, Dez. 1998.
Fleischmann, M.:
"Didaktisch-orientierte Beurteilung von Lehrbüchern aus der Theoretischen Informatik"
Technical Report, Band 31, IMMD, FAU-Erlangen-Nürnberg, Februar 1998
Hohl,W.:
"Final Report, Part 1: First Phase Project Overview."
Esprit Project 27439 - HIDE, Highlevel Integrated Design Environment for Dependability, Dez. 1998.
Majzik, I.; Csertán, Gy.; Pataricza, A.; Allmaier, S.:
"Support of Formal Verification by FPGA BasedAccelerators."
Technischer Bericht 5/97, IMMD III, Universität Erlangen-Nürnberg
Allmaier, S.; Csertán, Gy.; Dalibor, S.; Kreische, D.:
"Parallel Reachability Graph Generation in Stochastic Modeling on Shared and Distributed Memory Multiprocessors."
Technischer Bericht 4/97, IMMD III, Universität
Erlangen-Nürnberg
Dal Cin, M.:
"Verifying fault-tolerant behavior of state machines."
Interner Bericht 1/97 IMMD III,
Universität Erlangen-Nürnberg
Balbach, F. (ed.); Dal Cin, M.; Hein, A.; Meixner, J.; Rümenapp, B.; Sieh, V.; Stiborsky, J.; Tschäche, O.:
"Simulationsbasierte Zuverlässigkeitsanalyse"
Internet Bericht 6/96, IMMD III, Juli 1996
Hein, A.; Bänsch, K.:
"Architecture Modeling Using SimPar" (User's Manual)
Interner Bericht 3/
96, IMMD III, Juli 1996.
Hein, A.:
"Conjoint Simulation - eine Technik zur Modellierung fehlertoleranter Rechensysteme"
Interner Bericht 2/96: Fachgespräch Modellierung und Bewertung paralleler Systeme, Erlangen, 18. März 1996.
|
|
|
|
