Publications
] Filters: Author is Mario Dal Cin [Clear All Filters]
"Dependability Modeling Using Aspect Weaving Techniques",
Dependable Computing - EDCC 2005, Berlin ; Heidelberg, Springer, pp. 77 - 78, 2005.
"Design and Analysis of Fault Tolerant Architectures by Model Weaving",
Proc. Ninth IEEE Int. Symposium on High-Assurance Systems Engineering (HASE-05): IEEE Computer Society Press, pp. 15 - 24, 2005.
"Hierarchical Checking of Multiprocessors Using Watchdog Processors",
Dependable Computing - EDCC-1, Berlin ; Heidelberg, Springer-Verlag, pp. 386 - 403, 1994.
"Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models",
Proc. Fourth IEEE Int. Symposium on High Assurance Systems Engineering (HASE'99): IEEE Computer Society Press, pp. 37 - 45, 1999.
"Transformation of Guarded Statecharts for Quantitative Evaluation of Dependable Embedded Systems",
Proc. 10th European Workshop on Dependable Computing (EWDC-10): Österreichische Computer Gesellschaft, pp. 143 - 187, 1999.
"Dependability Analysis in The Early Phases of Uml-based System Design",
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 16, issue 5, pp. 265 - 275, 2001.
Abstract
"Quantitative Analysis of Uml Statechart Models of Dependable Systems",
COMPUTER JOURNAL, vol. 45, issue 3, pp. 260 - 277, 2002.
Abstract
