Prof. Dr. Dr. h.c. Mario Dal Cin

Mario Dal Cin

Until September 2005, Dr. Dr. h.c. Mario Dal Cin was the head of the Department for Computer Sciences III of the University of Erlangen-Nürnberg. He has now retired.


Contact

Address: Prof. a.D. Dr. Dr. h.c. Mario Dal Cin
Lehrstuhl für Informatik 3 (Rechnerarchitektur)
Martensstrasse 3
91058 Erlangen
Germany
Homepage: http://www3.informatik.uni-erlangen.de/Persons/dalcin/
E-Mail: dalcin@gmx.de

Publications

  • Potyra, Stefan; Sieh, Volkmar; Dal Cin, Mario:
    Evaluating fault-tolerant system designs using FAUmachine.
    In: n.b. (Ed.): EFTS '07: Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems
    (Workshop on Engineering Fault Tolerant Systems, Dubrovnik, Croatia).
    New York, NY, USA: ACM, 2007. - ISBN 978-1-59593-725-4
  • Dal Cin, Mario; Kaaniche, Mohamed; Pataricza, Andras (Ed.):
    Dependable Computing EDCC-5.
    (5th European Dependable Computing Conference, Budapest, Hungary, April, 2005).
    Heidelberg: Springer, 2005, pp. 472. (LNCS vol. 3463)
  • Gossens, Stefan; Belli, Fevzi; Beydeda, Sami; Dal Cin, Mario:
    View Graphs for Analysis and Testing of Programs at Different Abstraction Levels.
    In: IEEE Computer Society (Ed.): Ninth IEEE International Symposium on High Assurance Systems Engineering
    (HASE 2005 Ninth IEEE International Symposium on High Assurance Systems Engineering, Heidelberg, Germany, 12-14 October 2005).
    2005, pp. 121-130.
  • Gossens, Stefan; Dal Cin, Mario:
    A View-based Control Flow Metric.
    In: n.b. (Ed.): Proceedings of IEEE International Computer Software and Applications Conference 2004 (COMPSAC 2004)
    (IEEE International Computer Software and Applications Conference 2004 (COMPSAC 2004), Hong Kong, China, September).
    2004, pp. -.
  • Dal Cin, Mario:
    An approach for designing and assessing detectors for dependable component-based systems.
    Talk: High Assurance System Engineering
    Tampa, 01.03.2004
  • Gossens, Stefan; Dal Cin, Mario:
    Structural Analysis of Explicit Fault-Tolerant Programs.
    In: n.b. (Ed.): Proceedings of IEEE High-Assurance System Engineering Symposium 2004 (HASE 2004)
    (IEEE High-Assurance System Engineering Symposium 2004 (HASE 2004), Tampa, USA, March).
    2004, pp. ..
  • Dal Cin, Mario:
    Verlässlichkeitsbenchmarks: Anforderungen und Struktur.
    Talk: Dikussionskreis Fehlertoleranz, Humboldt Universität Berlin
    Berlin, 11. 11.2004
  • Dal Cin, Mario; Kreische, David:
    Dependability Analysis of Business Process Models.
    In: n.b. (Ed.): Supplement of the Symposium on Dependable Systems and Networks (DSN)2003
    (Symposium on Dependable Systems and Networks (DSN)2003, San Francisco, Juni 2003).
    Los Alamitos, CA: IEEE Computer Society, 2003, pp. B24-B25.
  • Dal Cin, Mario:
    Extending UML towards a Useful OO-Language for Modeling Dependability Features.
    In: n.b. (Ed.): Proceedings of the Workshop on Object-Oriented Real-Time DependableSystems (WORDS F) 2003
    (Workshop on Object-Oriented Real-Time DependableSystems (WORDS F) 2003, Capri, Mai 2003).
    Los Alamitos, CA: IEEE Computer Society, 2003, pp. 84- 90.
  • Buchacker, Kerstin; Dal Cin, Mario; Höxer, Hans-Jörg; Sieh, Volkmar; Tschäche, Oliver; Waitz, Martin:
    Hardware Fault Injection with UMLinux.
    In: n.b. (Ed.): Proceedings of the 2003 International Conference on Dependable Systems and Networks
    (2003 International Conference on Dependable Systems and Networks, San Francisco (CA), June 22-25, 2003).
    2003, pp. 670.
  • Buchacker, Kerstin; Dal Cin, Mario; Höxer, Hans-Jörg; Karch, R.; Sieh, Volkmar; Tschäche, Oliver:
    Reproducible Dependability Benchmarking Experiments Based on Unambiguosus Benchmark Setup Descriptions.
    In: IEEE Computer Society (Ed.): Proceedings of the International Conference on Dependable Systems
    (International Conference on Dependable Systemsand Networks, San Francisco, CA, June 22nd - 25th).
    2003, pp. 469-478.
  • Gossens, Stefan; Dal Cin, Mario:
    Strukturelle Analyse explizit fehlertoleranter Programme.
    In: n.b. (Ed.): Proc. 5th Workshop Software-Reengineering
    (5th Workshop Software-Reengineering, Bad Honnef, May 2003).
    2003, pp. ..
  • Huszerl, G.; Majzik, I.; Pataricza, A.; Kosmidis, Konstantinos; Dal Cin, Mario:
    Quantitative Analysis of UML Statechart Models of Dependable Systems.
    In: The Computer Journal Vol 45(3) (2002), pp. 260-277
  • Buchacker, Kerstin; Dal Cin, Mario; Hoexer, Hans-Jörg; Sieh, Volkmar; Tschäche, Oliver:
    Reproducable Dependability Benchmarking Experiments Based on Unambiguous Benchmark Setup Description.
    Erlangen: Universität Erlangen-Nürnberg. 2002
    (01/02). - Internal Report
  • Kanoun, K.; Costa, D.; Dal Cin, Mario; Gil, P.; Laprie, J.-C.; Madeira, H.; Suri, N.:
    DBench: Dependability Benchmarking.
    In: IEEE (Org.): Suppl. Proc. 2001, Int. Conference on Dependable Systems and Networks
    (Conference on Dependable Systems and Networks,, Göteborg).
    2001, pp. D12-15.
  • Bondavalli, A.; Dal Cin, Mario; Latella, D.; Majzik, I.; Pataricza, A.; Savoia, G.:
    Dependability Analysis in the Early Phases of UML Based System Design.
    In: Journal of Computer Systems Science and Engineering (2001), no. 16, pp. 265-275
  • Dal Cin, Mario; Dalibor, Stefan:
    Generating Test Plans for Distributed Systems with Stochastic Decision Models.
    In: - (Ed.): Fast Abstracts Proc. High-Assurance System Engineering Symposium HASE 2001
    (High-Assurance System Engineering Symposium HASE 2001, Boca Raton, 22.-24.10.2001).
    2001, pp. -.
  • Dal Cin, Mario:
    Linking Business Process Models with Performance and Dependability.
    In: unbekannt (Ed.): Proc. IFIP WG 10.4 Meeting
    (IFIP WG 10.4 Meeting, unbekannt).
    2001, pp. 209-212.
  • Dal Cin, Mario; Kosmidis, Konstantinos; Ioannid, A.:
    Modeling Requirements for Dependable Systems with UML Statecharts.
    In: . (Ed.): Fast Abstracts Proc. DSN-2001 The International Conference on Dependable Systems and Networks
    (DSN-2001 The International Conference on Dependable Systems and Networks, Göteborg, 01.-04.06.01).
    2001, pp. B112-113.
  • Dal Cin, Mario:
    Can Visual Models of Dependable Systems Be Evaluated?.
    Talk: Seminar on Validation of Dependable Behavior of Safety- and Mission-Critical Computing Systems
    Schloss Dagstuhl, Wadern, Germany, 26.-31.03.2000
  • Dal Cin, Mario:
    Can Visual Models of Dependable Systems Be Evaluated?.
    In: IEEE (Ed.): Proc. Workshops and Abstracts, International Conference on Dependable Systems and Networks
    (International Conference on Dependable Systems and Networks, New York, 25.6.-28.6.2000).
    2000, pp. 46-47.
  • Dal Cin, Mario:
    Structured Language for Specifications of Quantitative Requirements.
    In: IEEE (Ed.): Proc. High-Assurance System Engineering Symposium HASE 2000
    (High-Assurance System Engineering Symposium HASE 2000, Albuquerque, New Mexico, 15.-17.11.2000).
    2000, pp. 221-227.
  • Dal Cin, Mario:
    Can Visual Models of Dependable Systems Be Evaluated?.
    In: n.b. (Ed.): Proc. of the Second Workshop on Formal Descriptions and Software Reliability (FDSR'99)
    (Second Workshop on Formal Descriptions and Software Reliability (FDSR'99), Boca Raton, FL, USA, 01.10.1999).
    1999, pp. -.
  • Dal Cin, Mario; Huszerl, M.; Kosmidis, Konstantinos:
    Evaluation of Dependability Critical Systems based on Guarded Statechart Models.
    In: n.b. (Ed.): Proc. HASE'99 4th International Symposium on High Assurance Systems Engineering
    (HASE'99 4th International Symposium on High Assurance Systems Engineering, Washington DC, USA).
    1999, pp. 37-45.
  • Bondavalli; Dal Cin, Mario; Latella; Pataricza:
    High-level Integrated Design Environment for Dependability (HIDE).
    In: unbekannt (Ed.): Proc. IEEE WORDS'99
    (IEEE WORDS'99, Monterey).
    1999, pp. xxx-yyy.
  • Dal Cin, Mario; Huszerl; Kosmidis, Konstantinos:
    Transformation of Guarded State Charts for Quantitative Evaluation of Dependable Embedded Systems.
    In: unbekannt (Ed.): Proc. 10th European Workshop on Dependable Embedded Computing (EWDC-10)
    (10th European Workshop on Dependable Embedded Computing (EWDC-10), Wien).
    1999, pp. 143-147.
  • Bondavalli, A.; Dal Cin, Mario; Giusti, E.; Latella, D.; Majzik, I.; Massink, M.; Mura, I.:
    Assessment of Analysis and Transformation Techniques.
    Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg. 1998
    - Internal Report
  • Dal Cin, Mario:
    Checking Modification Tolerance.
    In: unbekannt (Ed.): IEEE High Assurance Systems Engineering (HASE 98)
    (IEEE High Assurance Systems Engineering (HASE 98), Bethesda, Maryland, USA).
    1998, pp. 9-12.
  • Dal Cin, Mario:
    Modeling Fault-Tolerant System Behavior.
    In: Albrecht, R. (Ed.): Systems: Theory and Practice
    Wien: Springer Verlag, 1998, pp. 213-234. (Advances in Computing Science) - ISBN 3211832068
  • Hein, Axel; Dal Cin, Mario:
    Performance and dependability evaluation of scalable massively parallel computer systems with conjoint simulation.
    In: ACM Transactions on Modeling and Computer Simulation (TOMACS) 8 (1998), no. 4, pp. 333-373
  • Dal Cin, Mario:
    Relational Modeling and Analysis of Fault-Tolerant Software for Reactive Systems.
    In: n.b. (Ed.): Proc. Workshop on Formal Description and Software Reliability
    (Workshop on Formal Description and Software Reliability, n.b.).
    1998, pp. -.
  • Bondavalli, A.; Dal Cin, Mario; Huszerl, G.; Kosmidis, Konstantinos; Latella, D.; Majzik, I.; Massink, M.; Mura, I.:
    Specification of Analysis and Transformation Techniques.
    Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg. 1998
    - Internal Report
  • Bondavalli, A.; Borschet, A.; Dal Cin, Mario; Hohl, Wolfgang; Latella, D.; Majzik, I.; Massink, M.; Mura, I.:
    Specification of Modeling Techniques.
    Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg. 1998
    - Internal Report
  • Borschet, A.; Dal Cin, Mario; Jávorski, J.; Pataricza, A.; Savoia, G.; Szász, Cs.:
    Specification of the HIDE Environment.
    Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg. 1998
    - Internal Report
  • Csertán, C.; Dal Cin, Mario; Huszerl, G.; Jávorski, J.; Kosmidis, Konstantinos; Pataricza, A.; Szász, Cs.:
    The Demonstrator.
    Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg. 1998
    - Internal Report
  • Thurner, E.; Dal Cin, Mario; Schneeweiß, W.:
    Verläßlichkeitsbewertung komplexer Systeme.
    In: Informatik Spektrum (1998), pp. 318-328
  • Dal Cin, Mario; Meadows, Catherine; Sanders, William H. (Ed.):
    Dependable Computing for Critical Applications (DCCA-6).
    (6th Conference on Dependable Computing for Critical Applications (DCCA-6), Grainau, Germany, 05.-07.03.1997).
    Los Alamitos: IEEE Computer Society, 1997. - ISBN 0-8186-8009-1
  • Dal Cin, Mario; Hohl, Wolfgang; Sieh, Volkmar:
    Hardware-Supported Fault Tolerance for Multiprocessors.
    In: Tavangarian, Djamshid (Ed.): Architektur von Rechensystemen, Arbeitsteilige Systemarchitekturen: Konzepte, Lösungen, Anwendungen, Trends - Vorträge der 14. ITG/GI-Fachtagung ARCS '97
    (Architektur von Rechensystemen, Arbeitsteilige Systemarchitekturen: Konzepte, Lösungen, Anwendungen, Trends, Rostock, Germany, 08.-11.09.1997).
    Berlin: VDE-Verlag, 1997, pp. 13-22. - ISBN 3-8007-2295-X
  • Dal Cin, Mario:
    Verifying fault-tolerant behavior of state machines.
    Erlangen: Universität Erlangen-Nürnberg. 1997
    (01/97). - Internal Report
  • Dal Cin, Mario:
    Verifying fault-tolerant behavior of state machines.
    In: IEEE (Ed.): Proc. Second IEEE International Symposium on High-Assurance Systems Engineering (HASE 97)
    (Second IEEE International Symposium on High-Assurance Systems Engineering (HASE 97), Bethesda, MD, USA, 1997).
    Los Alamitos: IEEE Computer Society, 1997, pp. -.
  • Deconinek, G.; Vounckx, J.; Lauwereins, R.; Altmann, Jörn; Balbach, Frank; Dal Cin, Mario; Silva, J. G.; Madeira, H.; Becker, E.; Maehle, E.:
    A Scalable Implementation of Fault Tolerance for Massively Parallel Systems.
    In: Vaccaro, R.; Sechi, G. R.; Alderighi, M. (Org.): Proc. Second Intl. Conf. on Massively Parallel Computing Systems (MPCS'96)
    (Second Intl. Conf. on Massively Parallel Computing Systems (MPCS'96), Ischia, Italy, 06.-09.05.1996).
    Los Alamitos: IEEE Computer Society, 1996, pp. 214-223. - ISBN 0-8186-7600-0
  • Dal Cin, Mario; Kindermann, Stephan:
    Parallelrechner und wissenschaftliches Rechnen.
    In: Informatik Spektrum 19 (1996), no. 2, pp. 91-92
  • Dal Cin, Mario:
    Rechnerarchitektur: Grundzüge des Aufbaus und der Organisation von Rechnerhardware.
    Stuttgart: Teubner, 1996.
    - 318 Pages. ISBN 3519029413
  • Balbach, Frank; Dal Cin, Mario; Hein, Axel; Meixner, Josef; Rümenapp, B.; Sieh, Volkmar; Stiborsky, J.; Tschäche, Oliver:
    Simulationsbasierte Zuverlässigkeitsanalyse.
    Erlangen: Universität Erlangen-Nürnberg. 1996
    (06/96). - Internal Report
  • Dal Cin, Mario; Hessenauer, Hellmut; Hohl, Wolfgang:
    The Modular Expandable Multiprocessor System MEMSY.
    In: Computer Systems Science & Engineering 11 (1996), no. 4, pp. 211-219
  • Majzik, I.; Pataricza, A.; Dal Cin, Mario; Hohl, Wolfgang; Hönig, Joachim; Sieh, Volkmar:
    A High-speed Watchdog Processor for Multitasking Systems.
    In: Pataricza, A.; Selényi, E.; Somogyi, A. (Ed.): Proc. 8th Symposium on Microcomputer and Microprocessor Applications (uP'94)
    (8th Symposium on Microcomputer and Microprocessor Applications (uP'94), Budapest, 12.-14.10.1994). vol. 1
    Budapest: Budapest Technical University, 1994, pp. 65-74.
  • Dal Cin, Mario; Hohl, Wolfgang; Dalibor, Stefan; Eckert, T.; Grygier, A.; Hessenauer, Hellmut; Hildebrand, U.; Hönig, Joachim; Hofmann, Fridolin; Linster, Claus-Uwe; Michel, E.; Pataricza, A.; Sieh, Volkmar; Thiel, T.; Turowski, Stefan:
    Architecture and Realization of the Modular Expandable Multiprocessor System MEMSY.
    In: Vaccaro, R.; Sechi, G. R.; Alderighi, M. (Org.): Proc. First Intl. Conf. on Massively Parallel Computing Systems (MPCS'94)
    (First Intl. Conf. on Massively Parallel Computing Systems (MPCS'94), Ischia, Italy, 2.-6.05.1994).
    Los Alamitos: IEEE Computer Society, 1994, pp. 7-15. - ISBN 0-8186-6322-7
  • Majzik, I.; Pataricza, A.; Dal Cin, Mario; Hohl, Wolfgang; Hönig, Joachim; Sieh, Volkmar:
    Hierarchical Checking of Multiprocessors using Watchdog Processors.
    In: Echtle, K.; Hammer, D.; Powell, D. (Ed.): Proc. Dependable Computing-EDCC-1
    (First European Dependable Computing Conference (EDCC-1), Berlin, Germany, 4.-6.10.1994).
    Berlin / Heidelberg: Springer Verlag, 1994, pp. 386-403. (Lecture Notes in Computer Science vol. 852) - ISBN 3-540-58426-9