|
|
 |
|
- Dal Cin M.; Gossens S.:
"Structural Analysis of Explicit Fault-Tolerant Programs"
- Dal Cin M.:
"Vor der Selbst-Diagnose zum Verlässlichkeits-Benchmark"
- Dal Cin M.:
"Extending UML towards a Useful OO-Language for Modeling Dependability Features"
- Madeira H.; Kanoun K.; Arlat J.; Costa D.; Crouzet Y.; Dal Cin M.; P. Gil P.; Suri N.:
"Towards a Framework for Dependability Benchmarking"
- Arlat J.; Costa D.; Dal Cin M.; Gil P.; Kanoun K.; Laprie J.C.; Madeira H.; Suri N.:
"DBench (Dependability Benchmarking)"
- Bondavalli A., Dal Cin M., Latella D., Majzik I., Pataricza A. and Savoia G.:
"Dependability Analysis in the Early Phases of UML Based System Design."
Journal of Computer Systems Science and Engineering, Vol. 16, pp. 265-275, 2001
- Dal Cin, M.:
"Structured Language for Specifications of Quantitative Requirements"
In Proc. High- Assurance System Engineering Symposium HASE 2000, p. 221-227, IEEE 2000
- Bondavalli, A.; Dal Cin, M.; Latella, D.; Pataricza, A.:
"High-level Integrated Design Environment for Dependability (HIDE)"
In Proc. IEEE WORDS'99 Monterey, 1999
- Dal Cin, M.; Huszerl G.; Kosmidis, K.:
"Evaluation of Dependability Critical Systems based on Guarded Statechart Models"
In Proc. HASE'99 Fourth IEEE International Symposium on High Assurance Systems Engineering, Washington DC, USA, 1999, pp. 37-45.
- Dal Cin, M.; Huszerl, G.; Kosmidis, K.:
"Transformation of Guarded Statecharts for Quantitative Evaluation of Dependable Embedded Systems"
In Proc. 10th European Workshop on Dependable Computing EWDC-10, Wien 1999, pp. 143-147
- Hein, A.; Dal Cin, M.:
Performance and Dependability Evaluation of Scalable Massively Parallel Computer Systems with Conjoint Simulation.
ACM Trans. On Modeling and Computer Simulation, Vo. 8, pp. 333-373, 1999.
- Dal Cin, M.:
"Checking Modification Tolerance."
In: Proc. IEEE High Assurance Systems Engineering (HASE 98), Bethesda, Maryland, pp. 9-12, 1998.
- Dal Cin, M.:
"Modeling Fault-Tolerant System Behavior"
Systems Theory and Practice, Springer Verlag pp 213-234, 1998.
- Dal Cin, M.:
"Verifying fault-tolerant behavior of state machines"
Proc. Second IEEE High-Assurance Systems Engineering HASE 97, Bethesda, Maryland, August 1997
- Dal Cin, M.; Hohl, W. ; Sieh, V.:
"Hardware-Supported Fault Tolerance for Multiprocessors"
Proc. Architektur von Rechensystemen ARCS '97, Rostock, VDE-Verlag 1997, pp. 13-22.
- Dal Cin, M.; Hessenauer, H.; Hohl,W.:
"The Modular Expandable Multiprocessor System MEMSY"
Computer Systems Science & Engineering, Vol. 11, No 4, 1996, pp. 211-219.
- Dal Cin, M; Kindermann, S.:
"Parallelrechner und wissenschaftliches Rechnen"
Informatik Spektrum, Vol. 19/2, 1996
|
|
|
|
