default search action
Mario Dal Cin
Person information
- affiliation: University of Erlangen-Nuremberg, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2007
- [c26]Stefan Potyra, Volkmar Sieh, Mario Dal Cin:
Evaluating fault-tolerant system designs using FAUmachine. EFTS 2007: 9 - 2005
- [c25]Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin:
View Graphs for Analysis and Testing of Programs at Different Abstraction Levels. HASE 2005: 121-130 - [e4]Mario Dal Cin, Mohamed Kaâniche, András Pataricza:
Dependable Computing - EDCC-5, 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings. Lecture Notes in Computer Science 3463, Springer 2005, ISBN 3-540-25723-3 [contents] - 2004
- [c24]Stefan Gossens, Mario Dal Cin:
A View-Based Control Flow Metric. COMPSAC Workshops 2004: 26-27 - [c23]Stefan Gossens, Mario Dal Cin:
Structural Analysis of Explicit Fault-Tolerant Programs. HASE 2004: 89-96 - 2003
- [j21]Stefan Gossens, Mario Dal Cin:
Strukturelle Analyse explizit fehlertoleranter Programme. Softwaretechnik-Trends 23(2) (2003) - [c22]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: 469-478 - [c21]Kerstin Buchacker, Mario Dal Cin, Hans-Jörg Höxer, Volkmar Sieh, Oliver Tschäche, Martin Waitz:
Hardware Fault Injection with UMLinux. DSN 2003: 670 - [c20]Mario Dal Cin:
Extending UML towards a Useful OO-Language for Modeling Dependability Features. WORDS Fall 2003: 325-330 - 2002
- [j20]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. 45(3): 260-277 (2002) - 2001
- [j19]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. 16(5): 265-275 (2001) - 2000
- [c19]Mario Dal Cin:
Structured language for specifications of quantitative requirements. HASE 2000: 221-227
1990 – 1999
- 1999
- [c18]Mario Dal Cin, Gábor Huszerl, Konstantinos Kosmidis:
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models. HASE 1999: 37-45 - [c17]Andrea Bondavalli, Mario Dal Cin, Diego Latella, András Pataricza:
High-level Integrated Design Environment for dependability (HIDE). WORDS (Fall) 1999: 87-92 - 1998
- [j18]Mario Dal Cin, Karl-Erwin Großpietsch, Edgar Nett:
Editorial zum Thema dieses Heftes: Verläßlichkeit - Grundlage zur Beherrschung komplexer Rechensysteme. Inform. Spektrum 21(6): 317 (1998) - [j17]Erwin M. Thurner, Mario Dal Cin, Winfrid G. Schneeweiss:
Verläßlichkeitsbewertung komplexer Systeme. Inform. Spektrum 21(6): 318-327 (1998) - [j16]Axel Hein, Mario Dal Cin:
Performance and Dependability Evaluation of Scalable Massively Parallel Computer Systems with Conjoint Simulation. ACM Trans. Model. Comput. Simul. 8(4): 333-373 (1998) - [c16]Mario Dal Cin:
Checking Modification Tolerance. HASE 1998: 4-12 - 1997
- [c15]Mario Dal Cin, Wolfgang Hohl, Volkmar Sieh:
Hardware-Supported Fault Tolerance for Multiprocessors. ARCS 1997: 13-22 - [c14]Mario Dal Cin:
Verifying Fault-Tolerant Behavior of State Machines. HASE 1997: 94-99 - 1996
- [b2]Mario Dal Cin:
Rechnerarchitektur - Grundzüge des Aufbaus und der Organisation von Rechnerhardware. Leitfäden der Informatik, Teubner 1996, ISBN 978-3-519-02941-0, pp. 1-318 - [j15]Mario Dal Cin, Stephan Kindermann:
Parallelrechner und wissenschaftliches Rechnen - Aktuelles Schlagwort. Inform. Spektrum 19(2): 91-92 (1996) - 1994
- [j14]Hermann de Meer, Kishor S. Trivedi, Mario Dal Cin:
Guarded Repair of Dependable Systems. Theor. Comput. Sci. 128(1&2): 179-210 (1994) - [c13]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: 386-403 - [c12]Andreas Grygier, Mario Dal Cin:
Stable object storage for multiprocessors with distributed shared memory. WORDS 1994: 94-99 - 1993
- [c11]Fridolin Hofmann, Mario Dal Cin, Andreas Grygier, H. Hessenauer, Uwe Hildebrand, Claus-Uwe Linster, Thomas Thiel, Stefan Turowski:
MEMSY - A Modular Expandable Multiprocessor System. Parallel Computer Architectures 1993: 15-30 - [c10]Mario Dal Cin, Andreas Grygier, H. Hessenauer, Uwe Hildebrand, Joachim Hönig, Wolfgang Hohl, Edgar Michel, András Pataricza:
Fault Tolerance in Distributed Shared Memory Multiprocessors. Parallel Computer Architectures 1993: 31-48 - [c9]Mario Dal Cin, Wolfgang Hohl, Edgar Michel, András Pataricza:
Error detection mechanisms for massively parallel multiprocessors. PDP 1993: 401-408 - [e3]Arndt Bode, Mario Dal Cin:
Parallel Computer Architectures: Theory, Hardware, Software, Applications. Lecture Notes in Computer Science 732, Springer 1993, ISBN 3-540-57307-0 [contents] - 1991
- [j13]Mario Dal Cin:
Fault tolerance for highly parallel computers. Microprocessing and Microprogramming 32(1-5): 237-241 (1991) - [e2]Mario Dal Cin, Wolfgang Hohl:
Fault-Tolerant Computing Systems, Tests, Diagnosis, Fault Treatment, 5th International GI/ITG/GMA Conference, Nürnberg, Germany, September 25-27, 1991, Proceedings. Informatik-Fachberichte 283, Springer 1991, ISBN 3-540-54545-X [contents] - 1990
- [c8]Mario Dal Cin:
Fehlertoleranz in universellen Hochleistungs-Parallelrechnern. Entwurf und Betrieb verteilter Systeme 1990: 1-14
1980 – 1989
- 1989
- [c7]Mario Dal Cin:
On Distributed System-Level Self-Diagnosis. Fehlertolerierende Rechensysteme 1989: 186-196 - 1988
- [j12]Mario Dal Cin:
Editorial: Weshalb Fehlertoleranz? it Inf. Technol. 30(3): 159-161 (1988) - [j11]Mario Dal Cin, Thomas Philipp:
Expertensysteme für die Fehlerdiagnose / Expert Systems for Diagnosis. it Inf. Technol. 30(4): 237-246 (1988) - [j10]Mario Dal Cin:
Session G2: Parallel processing: Fault tolerance I. Microprocess. Microprogramming 24(1-5): 715 (1988) - [j9]Mario Dal Cin:
Parallel processing: Fault Tolerance II. Microprocess. Microprogramming 24(1-5): 791 (1988) - 1987
- [c6]Mario Dal Cin:
Ein Diagnoseverfahren für Systeme mit mehreren Verarbeitungseinheiten. Fehlertolerierende Rechensysteme 1987: 191-199 - 1986
- [j8]Mario Dal Cin, Karl-Erwin Großpietsch, M. Trautwein:
Methoden der Fehlerdiagnose. Inform. Spektrum 9(2): 82-94 (1986) - 1985
- [j7]Mario Dal Cin:
Was ist modulare Programmierung? Elektron. Rechenanlagen 27(4): 236-241 (1985) - 1984
- [j6]Mario Dal Cin:
Software-implementierte Fehlertoleranz - Das aktuelle Schlagwort. Inform. Spektrum 7(2): 108 (1984) - [c5]Thomas Risse, Mario Dal Cin, Elmar Dilger:
Zur Verwendung fehlertoleranter Datenstrukturen im Arbeitsplatz-Rechner ATTEMPTO. Software-Fehlertoleranz und -Zuverlässigkeit 1984: 63-72 - [c4]Thomas Risse, Rüdiger W. Brause, Mario Dal Cin, Elmar Dilger, J. Lutz:
Entwurf und Struktur einer Betriebssystemschicht zur Implementierung von Fehlertoleranz. Fehlertolerierende Rechensysteme 1984: 66-76 - [e1]Karl-Erwin Großpietsch, Mario Dal Cin:
Fehlertolerierende Rechensysteme, 2. GI/NTG/GMR-Fachtagung, Bonn, 19.-21. September 1984, Proceedings. Informatik-Fachberichte 84, Springer 1984, ISBN 3-540-13348-8 [contents] - 1983
- [c3]Rüdiger W. Brause, E. Ammann, Mario Dal Cin, Elmar Dilger, J. Lutz, Thomas Risse:
Softwarekonzepte des fehlertoleranten Arbeitsplatzrechners ATTEMPTO. Microcomputing 1983: 328-341 - 1982
- [j5]Mario Dal Cin:
Graphentheoretische Modelle zur Selbstdiagnose fehlertoleranter Mehrprozessor- und Mehrrechnersysteme. Inform. Spektrum 5(2): 97-106 (1982) - [j4]Mario Dal Cin:
Zuverlässigkeitsanalyse fehlertoleranter Rechnersysteme an Hand von Warteschlangennetzwerk-Modellen. Elektron. Rechenanlagen 24(2): 61-67 (1982) - 1981
- [j3]Mario Dal Cin, Elmar Dilger:
A model of self-supervision. Z. Oper. Research 25(3): 91-100 (1981) - [c2]Mario Dal Cin:
Self-Diagnosis for Parallel Computers. GI Jahrestagung 1981: 285-292
1970 – 1979
- 1979
- [b1]Mario Dal Cin:
Fehlertolerante Systeme - Modelle der Zuverlässigkeit, Verfügbarkeit, Diagnose und Erneuerung. Leitfäden der angewandten Mathematik und Mechanik 50, Teubner 1979, ISBN 978-3-519-02352-4, pp. 1-206 - 1975
- [j2]Mario Dal Cin:
Fuzzy-state automata: Their stability and fault tolerance. Int. J. Parallel Program. 4(1): 63-80 (1975) - [j1]Mario Dal Cin:
Modification tolerance of fuzzy-state automata. Int. J. Parallel Program. 4(1): 81-93 (1975) - 1973
- [c1]Mario Dal Cin:
Fault-tolerance and stability of fuzzy-state automata. Automatentheorie und Formale Sprachen 1973: 36-44
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint