Mario Dal Cin

According to our database, Mario Dal Cin authored at least 49 papers between 1973 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Evaluating fault-tolerant system designs using FAUmachine.

Stefan Potyra, Volkmar Sieh, Mario Dal Cin

Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, 2007

2005

View Graphs for Analysis and Testing of Programs at Different Abstraction Levels.

Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin

Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005

2004

Structural Analysis of Explicit Fault-Tolerant Programs.

Stefan Gossens, Mario Dal Cin

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

A View-Based Control Flow Metric.

Stefan Gossens, Mario Dal Cin

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003

Strukturelle Analyse explizit fehlertoleranter Programme.

Stefan Gossens, Mario Dal Cin

Softwaretechnik-Trends, 2003

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

Mario Dal Cin

Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

Hardware Fault Injection with UMLinux.

Kerstin Buchacker, Mario Dal Cin, Hans-Jörg Höxer, Volkmar Sieh, Oliver Tschäche, Martin Waitz

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Reproducible Dependability Benchmarking Experiments Based on Unambiguous Benchmark Setup Descriptions.

Kerstin Buchacker, Mario Dal Cin, Hans-Jörg Höxer, Roland Karch, Volkmar Sieh, Oliver Tschäche

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002

Quantitative Analysis of UML Statechart Models of Dependable Systems.

Gábor Huszerl, István Majzik, András Pataricza, Konstantinos Kosmidis, Mario Dal Cin

Comput. J., 2002

2001

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

Andrea Bondavalli, Mario Dal Cin, Diego Latella, István Majzik, András Pataricza, Giancarlo Savoia

Comput. Syst. Sci. Eng., 2001

2000

Structured language for specifications of quantitative requirements.

Mario Dal Cin

Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

1999

High-level Integrated Design Environment for dependability (HIDE).

Andrea Bondavalli, Mario Dal Cin, Diego Latella, András Pataricza

Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models.

Mario Dal Cin, Gábor Huszerl, Konstantinos Kosmidis

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1998

Performance and Dependability Evaluation of Scalable Massively Parallel Computer Systems with Conjoint Simulation.

Axel Hein, Mario Dal Cin

ACM Trans. Model. Comput. Simul., 1998

Verläßlichkeitsbewertung komplexer Systeme.

Erwin M. Thurner, Mario Dal Cin, Winfrid G. Schneeweiss

Inform. Spektrum, 1998

Editorial zum Thema dieses Heftes: Verläßlichkeit - Grundlage zur Beherrschung komplexer Rechensysteme.

Mario Dal Cin, Karl-Erwin Großpietsch, Edgar Nett

Inform. Spektrum, 1998

Checking Modification Tolerance.

Mario Dal Cin

Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

1997

Verifying Fault-Tolerant Behavior of State Machines.

Mario Dal Cin

Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

Hardware-Supported Fault Tolerance for Multiprocessors.

Mario Dal Cin, Wolfgang Hohl, Volkmar Sieh

Proceedings of the Architektur von Rechensystemen, Arbeitsteilige Systemarchitekturen: Konzepte, Lösungen, Anwendungen, Trends, 1997

1996

Parallelrechner und wissenschaftliches Rechnen - Aktuelles Schlagwort.

Mario Dal Cin, Stephan Kindermann

Inform. Spektrum, 1996

Rechnerarchitektur - Grundzüge des Aufbaus und der Organisation von Rechnerhardware.

Mario Dal Cin

Leitfäden der Informatik, Teubner, ISBN: 978-3-519-02941-0, 1996

1994

Guarded Repair of Dependable Systems.

Hermann de Meer, Kishor S. Trivedi, Mario Dal Cin

Theor. Comput. Sci., 1994

Stable object storage for multiprocessors with distributed shared memory.

Andreas Grygier, Mario Dal Cin

Proceedings of WORDS '94. The First Workshop on Object-Oriented Real-Time Dependable Systems, 1994

Hierarchical Checking of Multiprocessors Using Watchdog Processors.

István Majzik, András Pataricza, Mario Dal Cin, Wolfgang Hohl, Joachim Hönig, Volkmar Sieh

Proceedings of the Dependable Computing, 1994

1993

Error detection mechanisms for massively parallel multiprocessors.

Mario Dal Cin, Wolfgang Hohl, Edgar Michel, András Pataricza

Proceedings of the 1993 Euromicro Workshop on Parallel and Distributed Processing, 1993

MEMSY - A Modular Expandable Multiprocessor System.

Fridolin Hofmann, Mario Dal Cin, Andreas Grygier, H. Hessenauer, Uwe Hildebrand, Claus-Uwe Linster, Thomas Thiel, Stefan Turowski

Proceedings of the Parallel Computer Architectures: Theory, 1993

Fault Tolerance in Distributed Shared Memory Multiprocessors.

Mario Dal Cin, Andreas Grygier, H. Hessenauer, Uwe Hildebrand, Joachim Hönig, Wolfgang Hohl, Edgar Michel, András Pataricza

Proceedings of the Parallel Computer Architectures: Theory, 1993

1991

Fault tolerance for highly parallel computers.

Mario Dal Cin

Microprocessing and Microprogramming, 1991

1990

Fehlertoleranz in universellen Hochleistungs-Parallelrechnern.

Mario Dal Cin

Proceedings of the Entwurf und Betrieb verteilter Systeme, 1990

1989

On Distributed System-Level Self-Diagnosis.

Mario Dal Cin

Proceedings of the Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 1989

1988

Parallel processing: Fault Tolerance II.

Mario Dal Cin

Microprocess. Microprogramming, 1988

Session G2: Parallel processing: Fault tolerance I.

Mario Dal Cin

Microprocess. Microprogramming, 1988

Expertensysteme für die Fehlerdiagnose / Expert Systems for Diagnosis.

Mario Dal Cin, Thomas Philipp

it Inf. Technol., 1988

Editorial: Weshalb Fehlertoleranz?

Mario Dal Cin

it Inf. Technol., 1988

1987

Ein Diagnoseverfahren für Systeme mit mehreren Verarbeitungseinheiten.

Mario Dal Cin

Proceedings of the Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 1987

1986

Methoden der Fehlerdiagnose.

Mario Dal Cin, Karl-Erwin Großpietsch, M. Trautwein

Inform. Spektrum, 1986

1985

Was ist modulare Programmierung?

Mario Dal Cin

Elektron. Rechenanlagen, 1985

1984

Software-implementierte Fehlertoleranz - Das aktuelle Schlagwort.

Mario Dal Cin

Inform. Spektrum, 1984

Zur Verwendung fehlertoleranter Datenstrukturen im Arbeitsplatz-Rechner ATTEMPTO.

Thomas Risse, Mario Dal Cin, Elmar Dilger

Proceedings of the Software-Fehlertoleranz und -Zuverlässigkeit, 1984

Entwurf und Struktur einer Betriebssystemschicht zur Implementierung von Fehlertoleranz.

Thomas Risse, Rüdiger W. Brause, Mario Dal Cin, Elmar Dilger, J. Lutz

Proceedings of the Fehlertolerierende Rechensysteme, 1984

1983

Softwarekonzepte des fehlertoleranten Arbeitsplatzrechners ATTEMPTO.

Rüdiger W. Brause, E. Ammann, Mario Dal Cin, Elmar Dilger, J. Lutz, Thomas Risse

Proceedings of the Microcomputing, 1983

1982

Zuverlässigkeitsanalyse fehlertoleranter Rechnersysteme an Hand von Warteschlangennetzwerk-Modellen.

Mario Dal Cin

Elektron. Rechenanlagen, 1982

Graphentheoretische Modelle zur Selbstdiagnose fehlertoleranter Mehrprozessor- und Mehrrechnersysteme.

Mario Dal Cin

Inform. Spektrum, 1982

1981

A model of self-supervision.

Mario Dal Cin, Elmar Dilger

Z. Oper. Research, 1981

Self-Diagnosis for Parallel Computers.

Mario Dal Cin

Proceedings of the GI, 1981

1979

Fehlertolerante Systeme - Modelle der Zuverlässigkeit, Verfügbarkeit, Diagnose und Erneuerung.

Mario Dal Cin

Leitfäden der angewandten Mathematik und Mechanik 50, Teubner, ISBN: 978-3-519-02352-4, 1979

1975

Modification tolerance of fuzzy-state automata.

Mario Dal Cin

Int. J. Parallel Program., 1975

Fuzzy-state automata: Their stability and fault tolerance.

Mario Dal Cin

Int. J. Parallel Program., 1975

1973

Fault-tolerance and stability of fuzzy-state automata.

Mario Dal Cin

Proceedings of the 1. Fachtagung über Automatentheorie und Formale Sprachen, 1973