Publications

Export 7 results:
Sort by: Author Title [ Type  (Desc)] Year
Filters: Author is Mario Dal Cin  [Clear All Filters]
Conference Paper
Majzik, I., and Domokos, P., "Dependability Modeling Using Aspect Weaving Techniques", Dependable Computing - EDCC 2005, Berlin ; Heidelberg, Springer, pp. 77 - 78, 2005.
Domokos, P., and Majzik, I., "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.
Majzik, I., Pataricza, A., Dal Cin, M., Hohl, W., Hönig, J., and Sieh, V., "Hierarchical Checking of Multiprocessors Using Watchdog Processors", Dependable Computing - EDCC-1, Berlin ; Heidelberg, Springer-Verlag, pp. 386 - 403, 1994.
Dal Cin, M., Huszerl, G., and Kosmidis, K., "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.
Dal Cin, M., Huszerl, G., and Kosmidis, K., "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.
Journal Article