| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Stefan Potyra, Volkmar Sieh, Mario Dal Cin |
Evaluating fault-tolerant system designs using FAUmachine.  |
EFTS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin |
View Graphs for Analysis and Testing of Programs at Different Abstraction Levels. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Dal Cin, Mohamed Kaâniche, András Pataricza (eds.) |
Dependable Computing - EDCC-5, 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings |
EDCC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stefan Gossens, Mario Dal Cin |
Structural Analysis of Explicit Fault-Tolerant Programs. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Gossens, Mario Dal Cin |
A View-Based Control Flow Metric. |
COMPSAC Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kerstin Buchacker, Mario Dal Cin, Hans-Jörg Höxer, Volkmar Sieh, Oliver Tschäche, Martin Waitz |
Hardware Fault Injection with UMLinux. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kerstin Buchacker, Mario Dal Cin, Hans-Jörg Höxer, Roland Karch, Volkmar Sieh, Oliver Tschäche |
Reproducible Dependability Benchmarking Experiments Based on Unambiguous Benchmark Setup Descriptions. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Dal Cin |
Extending UML towards a Useful OO-Language for Modeling Dependability Features. |
WORDS Fall |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gábor Huszerl, István Majzik, András Pataricza, Konstantinos Kosmidis, Mario Dal Cin |
Quantitative Analysis of UML Statechart Models of Dependable Systems. |
Comput. J. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Mario Dal Cin, Diego Latella, István Majzik, András Pataricza, Giancarlo Savoia |
Dependability analysis in the early phases of UML-based system design. |
Comput. Syst. Sci. Eng. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Mario Dal Cin, Gábor Huszerl, Konstantinos Kosmidis |
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models. (PDF / PS) |
HASE |
1999 |
DBLP DOI BibTeX RDF |
stochasic reward nets, Embedded systems, statecharts, dependability analysis |
| 1 | Axel Hein, Mario Dal Cin |
Performance and Dependability Evaluation of Scalable Massively Parallel Computer Systems with Conjoint Simulation. |
ACM Trans. Model. Comput. Simul. |
1998 |
DBLP DOI BibTeX RDF |
fault-tolerant and large-scale computer systems, hierarchical model design, process-based simulation, object-oriented modeling, timed Petri nets |
| 1 | Mario Dal Cin, Karl-Erwin Großpietsch, Edgar Nett |
Editorial zum Thema dieses Heftes: Verläßlichkeit - Grundlage zur Beherrschung komplexer Rechensysteme. |
Informatik Spektrum |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Erwin M. Thurner, Mario Dal Cin, Winfrid G. Schneeweiss |
Verläßlichkeitsbewertung komplexer Systeme. |
Informatik Spektrum |
1998 |
DBLP DOI BibTeX RDF |
Verläßlichkeit, Zuverlässigkeit, Bewertungs-Methoden, Modellierungs-Werkzeuge, Fehlerbäume, Markov-Methoden, Stochastische Petri-Netze, Modellierung, Sicherheit |
| 1 | Mario Dal Cin |
Checking Modification Tolerance. (PDF / PS) |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Dal Cin, Wolfgang Hohl, Volkmar Sieh |
Hardware-Supported Fault Tolerance for Multiprocessors. |
ARCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Mario Dal Cin |
Verifying Fault-Tolerant Behavior of State Machines. (PDF / PS) |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Dal Cin, Stephan Kindermann |
Parallelrechner und wissenschaftliches Rechnen - Aktuelles Schlagwort. |
Informatik Spektrum |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Dal Cin |
Rechnerarchitektur - Grundzüge des Aufbaus und der Organisation von Rechnerhardware. |
|
1996 |
RDF |
|
| 1 | Hermann de Meer, Kishor S. Trivedi, Mario Dal Cin |
Guarded Repair of Dependable Systems. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | István Majzik, András Pataricza, Mario Dal Cin, Wolfgang Hohl, Joachim Hönig, Volkmar Sieh |
Hierarchical Checking of Multiprocessors Using Watchdog Processors. |
EDCC |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Fridolin Hofmann, Mario Dal Cin, A. Crygier, H. Hessenauer, U. Hildebrand, Claus-Uwe Linster, Thomas Thiel, Stefan Turowski |
MEMSY - A Modular Expandable Multiprocessor System. |
Parallel Computer Architectures |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Dal Cin, A. Crygier, H. Hessenauer, U. Hildebrand, Joachim Hönig, Wolfgang Hohl, Edgar Michel, András Pataricza |
Fault Tolerance in Distributed Shared Memory Multiprocessors. |
Parallel Computer Architectures |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Arndt Bode, Mario Dal Cin (eds.) |
Parallel Computer Architectures: Theory, Hardware, Software, Applications |
Parallel Computer Architectures |
1993 |
DBLP BibTeX RDF |
|
| 1 | Mario Dal Cin, Wolfgang Hohl (eds.) |
Fault-Tolerant Computing Systems, Tests, Diagnosis, Fault Treatment, 5th International GI/ITG/GMA Conference, Nürnberg, Germany, September 25-27, 1991, Proceedings |
Fault-Tolerant Computing Systems |
1991 |
DBLP BibTeX RDF |
|
| 1 | Mario Dal Cin |
Fehlertoleranz in universellen Hochleistungs-Parallelrechnern. |
Entwurf und Betrieb verteilter Systeme |
1990 |
DBLP BibTeX RDF |
|
| 1 | Mario Dal Cin |
On Distributed System-Level Self-Diagnosis. |
Fehlertolerierende Rechensysteme |
1989 |
DBLP BibTeX RDF |
|
| 1 | Mario Dal Cin |
Ein Diagnoseverfahren für Systeme mit mehreren Verarbeitungseinheiten. |
Fehlertolerierende Rechensysteme |
1987 |
DBLP BibTeX RDF |
|
| 1 | Mario Dal Cin, Karl-Erwin Großpietsch, M. Trautwein |
Methoden der Fehlerdiagnose. |
Informatik Spektrum |
1986 |
DBLP BibTeX RDF |
|
| 1 | Mario Dal Cin |
Software-implementierte Fehlertoleranz - Das aktuelle Schlagwort. |
Informatik Spektrum |
1984 |
DBLP BibTeX RDF |
|
| 1 | Karl-Erwin Großpietsch, Mario Dal Cin (eds.) |
Fehlertolerierende Rechensysteme, 2. GI/NTG/GMR-Fachtagung, Bonn, 19.-21. September 1984, Proceedings |
Fehlertolerierende Rechensysteme |
1984 |
DBLP BibTeX RDF |
|
| 1 | Thomas Risse, Mario Dal Cin, Elmar Dilger |
Zur Verwendung fehlertoleranter Datenstrukturen im Arbeitsplatz-Rechner ATTEMPTO. |
Software-Fehlertoleranz und -Zuverlässigkeit |
1984 |
DBLP BibTeX RDF |
|
| 1 | Thomas Risse, R. Brause, Mario Dal Cin, Elmar Dilger, J. Lutz |
Entwurf und Struktur einer Betriebssystemschicht zur Implementierung von Fehlertoleranz. |
Fehlertolerierende Rechensysteme |
1984 |
DBLP BibTeX RDF |
|
| 1 | R. Brause, E. Ammann, Mario Dal Cin, Elmar Dilger, J. Lutz, Thomas Risse |
Softwarekonzepte des fehlertoleranten Arbeitsplatzrechners ATTEMPTO. |
Microcomputing |
1983 |
DBLP BibTeX RDF |
|
| 1 | Mario Dal Cin |
Graphentheoretische Modelle zur Selbstdiagnose fehlertoleranter Mehrprozessor- und Mehrrechnersysteme. |
Informatik Spektrum |
1982 |
DBLP BibTeX RDF |
|
| 1 | Mario Dal Cin |
Zuverlässigkeitsanalyse fehlertoleranter Rechnersysteme an Hand von Warteschlangennetzwerk-Modellen. |
Elektronische Rechenanlagen |
1982 |
DBLP BibTeX RDF |
|
| 1 | Mario Dal Cin |
Self-Diagnosis for Parallel Computers. |
GI Jahrestagung |
1981 |
DBLP BibTeX RDF |
|
| 1 | Mario Dal Cin |
Modification tolerance of fuzzy-state automata. |
International Journal of Parallel Programming |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Dal Cin |
Fuzzy-state automata: Their stability and fault tolerance. |
International Journal of Parallel Programming |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Dal Cin |
Fault-tolerance and stability of fuzzy-state automata. |
Automatentheorie und Formale Sprachen |
1973 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")