2005

König R.:
"Closure Systems and Implications"
in: Ganter B., Godin R., Mephu Nguifo E. (Eds.):
ICFCA-2005 International Conference on Formal Concept Analysis (Supplementary Volume)
(IUT Lens - Université d'Artois, France, February 14-18, 2005).
2005, S. 7-14.

Dörfler C., Sieh, V.:
"Software-Tests mit der FAUmachine"
in: Czornack J.-T., Stodden D., Trinitis C., Walter M. (Hrsg.):
Diskussionskreis Fehlertoleranz 2005
(Diskussionskreis Fehlertoleranz 2005 München 10.-11. März 2005).
Aachen: Shaker-Verlag, 2005.

Sand M.:
"Patterns for Model Verification"
in: n.b. (Hrsg.): Supplement to Proc. HASE 2005: International Symposium on High Assurance Systems Engineering
(Ninth IEEE International Sympossium on High Assurance Systems Engineering Heidelberg, Germany 12-14. October 2005).
2005, S. 3-4.

Höxer H.-J., Sieh V.; Waitz M.:
"Fast Simulation of Stuck-At and Coupling Memory Faults Using FAUmachine"
in: n.b. (Hrsg.): In Supplement to Proc. HASE 2005: International Symposium on High Assurance Systems Engineering
(Ninth IEEE International Symposium on High Assurance Systems Engineering Heidelberg, Germany 12-14 October 2005).
2005, S. 1-2.

Dal Cin M., Kaaniche M., Pataricza A. (Hrsg.):
"Dependable Computing EDCC-5"
(5th European Dependable Computing Conference Budapest, Hungary April, 2005) Heidelberg: Springer, 2005 (LNCS Bd. 3463).

Gossens S., Belli, F., Beydeda S., Dal Cin M.:
"View Graphs for Analysis and Testing of Programs"
in: Proc. 9th IEEE High-Assurance System Engineering Symposium 2005 (HASE 2005), Heidelberg, Oktober 2005.

2004

Höxer, H.-J.:
"Virtuelle PCs und Netzwerke mit FAUmachine"
KNF-Kongress '04, Georg-Simon-Ohm-Fachhochschule Nürnberg, Germany, November 21, 2004.

Höxer, H.-J.; Waitz, M.; Sieh, V.:
"Advanced virtualization techniques for FAUmachine"
Linux-Kongress 2004, Erlangen, Germany, September 7-10, 2004.

Gossens S., Dal Cin M.:
"A View-based Control Flow Metric"
fast abstract accepted at IEEE International Computer Software and Applications Conference 2004 (COMPSAC 2004), Hong Kong, China, September 2004.

Gossens S., Dal Cin M.:
"Structural Analysis of Explicit Fault-Tolerant Programs"
accepted at IEEE High-Assurance System Engineering Symposium 2004 (HASE 2004), Tampa, USA, March 2004

Wang F., Gossens S., Haas W., Heinkel U.:
"Generierung von Plänen für die funktionale Verifikation automatenbasierter Entwürfe"
accepted at workshop "Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS'04)", Dresden, April 2004.

Wang F., Gossens S., Haas W., Heinkel U.:
"Generierung von Testvorschlägen aus tabellarischen Spezifikationen"
accepted at 16. ITG/GI/GMM Workshop "Testmethoden und Zuverlaessigkeit von Schaltungen und Systemen", Dresden, March 2004

2003

Buchacker, K.; Dal Cin, M.; Höxer, H.-J.; Karch, R.; Sieh, V.; Tschäche, O.:
"Reproducible Dependability Benchmarking Experiments Based on Unambiguosus Benchmark Setup Descriptions"
DSN2003, 2003, S. 469-478.

Buchacker, K.; Höxer, H.-J.; Sieh, V.:
"UMLinux als Sandbox"
IT-Sicherheit im verteilten Chaos, 2003, ISBN 3-922746-49-7, S. 409-423.

Haas W., Bürner T., Gossens S., Heinkel U.:
"Formal Specification of a 40GBit/s Sonet/SDH ASIC with ADeVA"
Forum on specification and Design Languages 2003 (FDL'03), Frankfurt, September 2003.

Heinkel U., Mayer C., Pleickhardt J., Knäblein J., Sahm H., Webb C., Haas W., Gossens S.:
"An Optimized Flow for Designing high-speed, large-scale CMOS ASIC SoCs"
Proceedings SAMOS III Workshop, LNCS 3133/2004, Samos, Greece, July 2003.

Höxer, H.-J.:
"System im System"
Linux-Magazin 12/2003, 2003, S. 88-91.

Gossens S., Dal Cin M.:
"Strukturelle Analyse explizit fehlertoleranter Programme"
In 5th Workshop Software-Reengineering, Bad Honnef, Germany, Softwaretechnik-Trends, Vol. 23, No. 2, May 2003.

Haas W., Gossens S., Heinkel U.:
"Semantics of a Formal Specification Language for Advanced Design and Verification of ASICs (ADeVA)"
In Proc. 11th E.I.S.-Workshop, Erlangen, Germany, April 2003.

Heinkel U., Mayer C., Pleickhardt J., Knäblein J., Sahm H., Webb C., Haas W., Gossens S.:
"Specification, Design and Verification of Systems-on-Chip in a Telecom Application"
In Proc. 11th E.I.S.-Workshop, Erlangen, Germany, April 2003

König R.:
"Endliche Hüllensysteme und ihre Implikationenbasen"
Séminaire Lotharingien de Combinatoire, B49g (2003), 46 pp.

Tschäche, O.:
"Dependability Benchmarking of Linux based Systems"
Proceedings Informatik 2003, Beiträge des Schwerpunkts Sicherheit - Schutz und Zuverlässigkeit, 2003, S. 237-248.

2002

Gossens, S.:
"Enhancing Validation with Behavioural Types"
In Proc. High-Assurance System Engineering Symposium HASE 2002. IEEE, Tokyo, Japan, 2002, to appear.

Gossens, S.:
"Enhancing System Validation with Behavioural Types"
In Proc. 4th Workshop Software-Reengineering (Tech. Report of the Universität Koblenz-Landau, Institut für Informatik), Bad Honnef, Germany, April 2002.

Gossens, S.:
"Verifikation durch Kontrollflussuntersuchung"
In: Jürgen Ebert ; Bernt Kullbach ; Franz Lehner (Hrsg.): 4. Workshop Software Reengineering, Fachbericht Informatik 9/2002 der Universität Koblenz-Landau

Haas, W; Gossens, S.; Heinkel, U.:
"Integration of Formal Specification into the Standard ASIC Design Flow"
In Proc. High-Assurance System Engineering Symposium HASE 2002. IEEE, Tokyo, Japan, 2002, to appear

Haas, W; Gossens, S.; Heinkel, U.:
"Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA)"
GI/ITG/GMM Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", Tübingen, Germany, February 2002.

Höxer, H.-J.; Buchacker, K.; Sieh, V.:
"Implementing a User-Mode Linux with Minimal Changes from Original Kernel"
Linux-Kongress 2002, Köln, Germany, September 4-6, 2002, pp. 72-82.

Huszerl G., Majzik I., Pataricza A., K. Kosmidis, M. Dal Cin:
"Quantitative Analysis of UML Statechart Models of Dependable Systems"
The Computer Journal, Vol 45(3), May 2002, pp. 260-277, ISSN: 0010-4620

Huszerl, G.; Kosmidis, K.:
"An Object Oriented Notation for Modelling Quantitative Aspects"
In Workshop Proceedings "Workshop on Dependability and Fault Tolerance" of the Int. Conf. on Architecture of Computing Systems (ARCS'02), Karlsruhe, Germany, 8-11. April 2002 pp. 91-100

Höxer, H.-J.; Sieh, V.; Buchacker, K.:
"UMLinux - A Tool for Testing a Linux System's Fault Tolerance"
In Proc. LinuxTag 2002, Karlsruhe, Germany, June 6.-9. 2002.

Kreische, D:
"Modellierung von Geschäftsprozessen in der Unified Modeling Language und ihre Transformation in Petrinetze"
Promise 2002, Potsdam, Germany, Oct. 9.-11. 2002.
In Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen
Lecture Notes in Informatics (LNI), P-21, pp. 26-27

Sieh, V.; Buchacker, K.:
"Testing the Fault-Tolerance of Networked Systems"
In International Conference on Architecture of Computing Systems, Workshop Proceedings. VDE, Karlsruhe, Germany, 2002, pp. 37-46.

Sieh, V.; Buchacker, K.:
UMLinux --- A Versatile SWIFI Tool
Fourth European Dependable Computing Conference, Toulouse, France, October 23-25, 2002, pp. 159-171.

Sand, M.:
Modelling Dependable Systems with Patterns
In Fast Abstracts Proc. 4th European Dependable Computing Conference EDCC-4.

2001

Buchacker, K.; Sieh, V.:
"Framework for Testing the Fault-Tolerance of Systems Including OS and Network Aspects."
In Proc. High-Assurance System Engineering Symposium HASE 2001. IEEE, Boca Raton, Florida, 2001, pp. 95-105.

Bondavalli A., Dal Cin M., Latella D., Majzik I., Pataricza A. and Savoia G.:
"Dependability Analysis in the Early Phases of UML Based System Design."
Journal of Computer Systems Science and Engineering, Vol. 16, pp. 265-275, 2001.

Dal Cin, M; Dalibor, S.:
"Generating Test Plans for Distributed Systems with Stochastic Decision Models"
In Fast Abstracts Proc. High-Assurance System Engineering Symposium HASE 2001.

Dal Cin, M.; Kosmidis, K.; Ioannid, A.:
"Modeling Requirements for Dependable Systems with UML Statecharts"
In Fast Abstracts Proc. DSN-2001 The International Conference on Dependable Systems and Networks

Kanoun, K.; Costa, D.; Dal Cin, Mario; Gil, P.; Laprie, J.-C.; Madeira, H.; Suri, N.:
DBench: Dependability Benchmarking.
In: IEEE (Veranst.): Suppl. Proc. 2001, Int. Conference on Dependable Systems and Networks (Conference on Dependable Systems and Networks, Göteborg). 2001, S. D12-15.

Kreische, D.:
"Performance and Dependability in Business Process Modeling"
In Proc. 5th Int. Workshop on Performability Modeling of Computer and Communication Systems PMCCS 5.
Arbeitsberichte des Instituts für Informatik, FAU Erlangen-Nürnberg

Kosmidis, K.; Sand, M.:
"Assurance Analysis by Scenario-based UML Modeling"
In Fast Abstracts Proc. High-Assurance System Engineering Symposium HASE 2001.

2000

Buchacker, K.:
"Modelling with Extended Fault Trees"
In Proc. High-Assurance System Engineering Symposium HASE 2000, S. 238-246. IEEE, 2000.

Dal Cin, M.:
"Structured Language for Specifications of Quantitative Requirements"
In Proc. High- Assurance System Engineering Symposium HASE 2000, p. 221-227, IEEE 2000

Dal Cin, M.:
"Can Visual Models of Dependable Systems Be Evaluated?"
In Proc. Workshops and Abstracts, International Conference on Dependable Systems and Networks, New York, IEEE, p. 46-47, 2000

Dal Cin, M.:
"Can Visual Models of Dependable Systems Be Evaluated?"
Report Dagstuhl Seminar on Validation of Dependable Behavior of Safety- and Mission-Critical Computing Systems, März 2000

Kosmidis, K; Huszerl, G.:
"UML Extensions for Quantitative Analysis"
Workshop Dynamic Behaviour in UML Models: Semantic Questions, UML 2000, York UK,. In:Workshop Proceedings LMU-München, Insitut für Informatik, Bericht 0006, Oktober 2000

1999

Allmaier, S.; Kreische, D.:
"Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets."
In Proc. IEEE 20th Int. Conf. on Application and Theory of Petri Nets (ICATPN'99) (Springer, LNCS), Williamsburg, VA, USA, 1999.

Bondavalli, A.; Dal Cin, M.; Latella, D.; Pataricza, A.:
"High-level Integrated Design Environment for Dependability (HIDE)."
In Proc. IEEE WORDS'99 Monterey, 1999.

Buchacker, K.:
"Analyzing Safety-critical Systems Using Extended Fault Trees."
In: W. Erhard, K.- E. Grosspietsch, W. Koch, E. Maehle und E. Zehendner (Hrsg.): ARCS'99: Architektur von Rechensystemen 1999 (Workshops), S. 117-125. Universität Jena, Institut für Informatik,1999

Buchacker, K.:
"Combining Fault Trees and Petri-Nets to Model Safety-critical Systems."
In: A. Tentner (Hrsg.): High Performance Computing 1999, S. 439-444. The Society for Computer Simulation International, 1999.

Dal Cin, M.; Huszerl G.; Kosmidis, K.:
"Evaluation of Dependability Critical Systems based on Guarded Statechart Models."
In Proc. HASE'99 Fourth IEEE International Symposium on High Assurance Systems Engineering, Washington DC, USA, 1999, pp. 37-45.

Dal Cin, M.; Huszerl G.; Kosmidis, K.:
"Transformation of Guarded State Charts for Quantitative Evaluation of Dependable Embedded Systems."
In Proc. 10th EuropeanWorkshop on Dependable Computing (EWDC-10), Wien 1999, pp. 143-147.

Dal Cin, M.:
"Can Visual Models of Dependability Critical Software Be Evaluated?"
In Proc. of the Second Workshop on Formal Descriptions and Software Reliability (FDSR'99), Boca Raton, FL, USA, 1999.

Hein, A.; Dal Cin, M.:
Performance and Dependability Evaluation of Scalable Massively Parallel Computer Systems with Conjoint Simulation.
ACM Trans. On Modeling and Computer Simulation, Vo. 8, pp. 333-373, 1999.

1998

Buchacker, K.:
"Integration erweiterter Fehlerbäume und generalisierter stochastischer Petrinetze."
In 5. Workshop Algorithmen und Werkzeuge für Petrinetze, Universität Dortmund, Fachbereich Informatik, Forschungsbericht Nr. 694, Hrsg.: J. Desel, P. Kemper, E. Kindler, A. Oberweis, pp. 13-18.

Dal Cin, M.:
"Checking Modification Tolerance."
In: Proc. IEEE High Assurance Systems Engineering (HASE 98), Bethesda, Maryland, pp. 9-12, 1998.

Dal Cin, M.:
"Relational Modeling and Analysis of Fault-Tolerant Software for Reactive Systems."
Workshop on Formal Description and Software Reliability 1998

Dal Cin, M.:
Modeling Fault-Tolerant System Behavior
Systems Theory and Practice, Springer Verlag pp 213-234, 1998.

Dal Cin, M.; Meadows, C.; Sanders,W.H. (eds)
Dependable Computing for Critical Applications
Vol 6 IEEE-Computer Society 1998.

Csertán, C.; Majzik, I.; Pataricza, A.; Allmaier, S.C.; Hohl, W.:
Reachability Analysis of Petri-nets by Using FPGA Based Accelerators.
Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS'98), Budapest 1998.

Fey, D.; Kasche, B.; Burkert, Ch.; Tschaeche, O.:
Specification for a reconfigurable optoelectronic VLSI processor suitable for digital signal processing.
In: Applied Optics, Vol. 37, January 1998, pp. 284-295

Kuhn, M.:
Cipher Instruction Search Attack on the Bus-Encryption Security Microcontroller DS5002FP.
IEEE Transactions on Computers, Vol. 47, No. 10, October 1998, pp. 1153-1157

Sieh, V.:
"Fehlertoleranzmaßnahmen für Multiprozessoren und ihre Bewertung"
In H. Wedekind, J. Kleinöder (Hrsg) "Von der Informatik zu Computational Science und Computational Engineering", Abschlußkolloquium SFB 182, Erlangen, Oktober 1998, S. 185-193.

Thurner, E.; Dal Cin, M.; Schneeweiß, W.:
Verläßlichkeitsbewertung komplexer Systeme.
Informatik Spektrum, pp 318-328, 1998

1997

Allmaier, S.; Dalibor, S.:
"PANDA - Petri net ANalysis and Design Assistant"
In: Tools Descriptions, 9th Int. Conference on Modelling Techniques and Tools for Computer Performance Evaluation, St.Malo, Juni 97, p. 58

Allmaier, S.; Dalibor, S.; Kreische, D.:
"Parallel Graph Generation Algorithms for Shared and Distributed Memory Machines."
In: Proc. Parallel Computing Conference (ParCo'97), Bonn, Germany, 1997

Allmaier, S.; Kowarschik, M.; Horton, G.:
"State Space Construction and Steady-State Solution of GSPNs on a Shared-Memory Multiprocessor."
In: Proc. IEEE Int. Workshop Petri Nets and Performance Models, St. Malo, Frankreich, IEEE Comp. Soc. Press, 1997.

Allmaier, S.; Horton, G.:
"Parallel Shared-Memory State-Space Exploration in Stochastic Modelling."
In: G. Bilardi, A. Ferreira, R. Lüling, J. Rolim (editors): Solving Irregularly Structured Problems in Parallel, LNCS 1253, Springer, 1997.

Dal Cin, M.:
"Verifying fault-tolerant behavior of state machines"
Proc. Second IEEE High-Assurance Systems Engineering HASE 97, Bethesda, Maryland, August 1997

Dal Cin, M.; Hohl, W. ; Sieh, V.:
"Hardware-Supported Fault Tolerance for Multiprocessors"
Proc. Architektur von Rechensystemen ARCS '97, Rostock, VDE-Verlag 1997, pp. 13-22.

Dal Cin, M.; Meadows, C.; Sanders, W.H. (eds):
"Dependable Computing for Critical Applications 6"
IEEE CS Press 1997.

Horton, G.; Grillenbeck, R.; Kraus, F.:
"A Concept Graph Editor for Computer-Aided Learning"
In: Gens, W. (Hrsg.): Smalltalk und Java in Industrie und Ausbildung. Tagungsband zum 3. Fachkongreß STJA, 10.--11. Sep., Erfurt, 1997.

Sieh, V.; Tschäche, O.; Balbach, F.:
"Comparing Different Fault Models Using VERIFY"
Proceedings 6th Conference on Dependable Computing for Critical Applications (DCCA-6), Grainau, Deutschland, 5.-7. März 1997, S. 59-76.

Sieh, V.; Balbach, F.; Tschäche, O.:
"VERIFY: Zuverlässigkeitsanalyse unter Verwendung von VHDL-Modellen mit integrierter Fehlerbeschreibung"
Tagungsband 9.Workshop "Testmethoden und Zuverlässigkeit von Schaltungen und Systemen", Universität Bremen, Bremen, Deutschland, 9.-11. März 1997, S. 39-42.

Sieh, V.; Tschäche, O.; Balbach, F.:
"System Dependability Analysis using VHDL Models with Integrated Fault Descriptions"
Extended Abstracts 8th European Workshop on Dependable Computing (EWDC-8), Göteborg, Schweden, 1.-4. April 1997.

Sieh, V.; Tschäche, O.; Balbach, F.:
"VERIFY: Evaluation of Reliability Using VHDL-Models with Embedded Fault Descriptions"
Proceedings 27th Symposium on Fault Tolerant Computing (FTCS-27), Seattle (WA), USA, 25.-27. Juni 1997, S. 32-36.

1996

Balbach, F. (ed.):
"Integrating Fault Tolerance in off-the shelf Massively Parallel Systems"
Proc. of workshop run by FTMPS consortium (ESPRIT 6731) within HPCN Europe 1996.

Bänsch, K.; Hein, A.; Malhotra, M.; Trivedi, K.S.:
"Comment/Correction: Dependability Modeling Using Petri Nets"
IEEE Transactions on Reliability, Vol. 45, No. 2, pp. 272-273, 1996.

Dal Cin, M.; Hessenauer, H.; Hohl,W.:
"The Modular Expandable Multiprocessor System MEMSY"
Computer Systems Science & Engineering, Vol. 11, No 4, 1996, pp. 211-219.

Dal Cin, M.:
"Rechnerarchitektur: Grundzüge des Aufbaus und der Organisation von Rechnerhardware"
Teubner 1996

Dal Cin, M; Kindermann, S.:
"Parallelrechner und wissenschaftliches Rechnen"
Informatik Spektrum, Vol. 19/2, 1996

Dalibor, S.; Hein, A.; Hohl, W.:
"Application Dependent Performability Evaluation of Fault-Tolerant Multiprocessors"
Proc. 4th Euromicro Workshop on Parallel and Distributed Processing, Braga, Portugal, January 24-26, 1996, IEEE CS Press 1996, pp.310-318.

Deconinek, G.; Vounckx, J.; Lauwereins, R.; Altmann, J.; Balbach, F.; Dal Cin, M.; Silva, J.G. Madeira, H.; Becker, E.; Maehhle, E.:
"A Scalable Implementation of Fault Tolerance for Massively Parallel Systems"
Proc. Second Int. Conf. on Massively Parallel Computing Systems, IEEE 1996, pp. 214-223.

Greiner, S.; Horton, G.:
"Analysis of Stiff Markov Chains with the Multi-Level Method"
European Simulation Symposium 1996, Budapest.

Hein, A.; K. K. Goswami:
"Conjoint Simulation - a Technique for the Combined Performance and Dependability Analysis of Large-Scale Computer Systems"
In Proc. IPDS '96 (International Performance and Dependability Symposium), Urbana-Champaign (IL, U.S.A.), 4.-6. September 1996, IEEE CS Press 1996, pp. 68-77.

Hein, A.; W. Hohl:
"Combinatorial Modeling Techniques in Conjoint Simulation"
Abstract Book of the PMCCS3 (Third International Workshop on Performability Modeling of Computer and Communication Systems), Indian Lakes Resort, Bloomingdale (IL, U.S.A.), 6.-8. September 1996, pp. 1-5.

Horton. G.:
"Computation of the Distribution of Accumulated Reward with Fluid Stochastic Petri-Nets"
In Proc. IPDS '96 (International Performance and Dependability Symposium), Urbana-Champaign (IL, U.S.A.), 4.-6. September 1996, IEEE CS Press 1996, pp. 90-95>

Horton, G.:
"Der Einsatz von LEX und YACC in technisch-wissenschaftlichen Anwendungsprogrammen."
Software-Werkzeuge in Scientific Computing, Hamburg, Juni 1995, Ed.W. Makkens, S. Rump, Vieweg Verlag 1996.

Horton, G.:
"On the Multi-Level Algorithm for Markov Chains"
Copper Mountain Conference on Iterative Methods, Copper Mountain, CO, April 1996.

Majzik, I.; Hohl, W.; Pataricza, A.; Sieh, V.:
"Multiprocessor Checking Using Watchdog Processors"
Computer Systems Science & Engineering, Vol. 11, No 5, 1996, pp. 301-310.

Petri, A., Urbán, P.; Altmann, J.; Bartha, T.; Pataricza, A.:
"Constraint Based System-Level Diagnosis of Multiprocessors"
IEEE 2nd European Dependable Computing Conference, Taormina, 2-4. Oktober 1996.

Tschäche, O.; Sieh, V.:
"ATOMS - A tool for Automatic Optimization of Gate-Level VHDL Models for Simulation"
24.-26. Oktober 1996, Genua, Proc. 8th European Simulation Symposium, Volume II, S.329 ff.

1995

Güthoff, J.; Sieh, V.:
"Combining Software-Implemented and Simulation-Based Fault Injection into a Single Fault Injection Method"
Proc. of the 25th Int. Symp. on Fault Tolerant Computing, FTCS-25, Pasadena (California/USA), 1995, pp 196-206

1994

Dal Cin, M.; Hohl, W.; Dalibor, S.; Eckert, T.; Grygier, A.; Hessenauer, H.; Hildebrand, U.;
Hönig, J.; Hofmann, F.; Linster, C.-U.; Michel, E.; Pataricza, A.; Sieh, V.; Thiel, T.; Turowski, S.:
"Architecture and Realization of the Modular Expandable Multiprocessor System MEMSY"
Proc. First Intl. Conf. on Massively Parallel Computing Systems (MPCS'94), Ischia, IEEE, 1994, pp 7-15.

Majzik, I.; Pataricza, A.; Dal Cin, M.; Hohl, W.; Hönig, J.; Sieh, V.:
"Hierarchical Checking of Multiprocessors using Watchdog Processors"
Proc. Dependable Computing-EDCC-1, Berlin, Springer LNCS 852, 1994, pp 386-403

Majzik, I.; Pataricza, A.; Dal Cin, M.; Hohl, W.; Hönig, J.; Sieh, V.:
"A High-speed Watchdog Processor for Multitasking Systems"
Proc. uP'94, 8th Symposium on Microcomputer and Microprocessor Applications, TU Budapest, 1994, pp 65-74.

Sieh, V.; Pataricza, A.; Sallay, B.; Hohl, W.; Hönig, J.; Benyo, B.:
"Fault Injection Based Validation of Fault-Tolerant Multiprocessors"
Proc. uP'94, 8th Symposium on Microcomputer and Microprocessor Applications, TU Budapest, 1994, pp 85-94.