Mario Dal Cin

Publications

356

Citations

H-Index

1970

Active since

Affiliations

Friedrich-Alexander-Universität Erlangen-Nürnberg(Current)

University of Tübingen

Mario Dal Cin is an author at Friedrich-Alexander-Universität Erlangen-Nürnberg specializing in engineering, reliability engineering, and systems engineering.

Top concepts

EngineeringFormal VerificationSystems EngineeringFormal MethodsReliability EngineeringComputer ScienceComputer EngineeringSystem SoftwareSoftware TestingSoftware Analysis

Publications per year

1970–2007

Publications

Dependability analysis in the early phases of UML-based system design

Andrea Bondavalli, Mario Dal Cin, Diego Latella et al. · Florence Research (University of Florence) · 2001 · 117 citations

Engineering, Software Engineering, Dependable System Architecture +22

Evaluating fault-tolerant system designs using FAUmachine

Stefan Potyra, Volkmar Sieh, Mario Dal Cin · 2007 · 43 citations

Early Evaluation, Engineering, Software Systems +22

Guarded repair of dependable systems

Hermann de Meer, Kishor S. Trivedi, Mario Dal Cin · Theoretical Computer Science · 1994 · 28 citations

Hardware Security, Software Maintenance, Reliability Engineering +10

Extending UML towards a Useful OO-Language for Modeling Dependability Features

Mario Dal Cin · 2004 · 22 citations

Software Maintenance, Dependability Mechanisms, Engineering +25

High-level Integrated Design Environment for dependability (HIDE)

Andrea Bondavalli, Mario Dal Cin, Diego Latella et al. · 2003 · 21 citations

Engineering, Software Engineering, Effective Design Process +21

Rows per page

1–5 of 15