Personensuche
Personensuche
Es wurde 1 Person gefunden.
Funktionen
-
Universitätsprofessor/in em./i.R., Emeritierte Professoren der Fakultät
Aktuelle Veranstaltungen
Keine aktuellen Veranstaltungen.
Vergangene Veranstaltungen (max. 10)
Keine vergangenen Veranstaltungen.
Die folgenden Publikationen sind in der Online-Universitätsbibliographie der Universität Duisburg-Essen verzeichnet. Weitere Informationen finden Sie gegebenenfalls auch auf den persönlichen Webseiten der Person.
-
Achieving Safety and Reliability for Systems with Remote RedundancyIn: Safety & Reliability, Jg. 30, 2010, Nr. 4, S. 36 – 55
-
Genetic Multistart-Algorithm for the Design of Fault-Tolerant Systems.In: Journal of Risk and Reliability., Jg. 1, 2008, Nr. 220, S. 17 – 29
-
Zusammenspiel sicherheitsrelevanter Software und fehlertoleranter Datenbusse am Beispiel von FlexRay™ : Ausgabe vom 22.06.2004In: Elektronik Automotive, 2004, Nr. 3
-
Fehlerinjektion : ein Mittel zur Bewertung der Maßnahmen gegen Fehler in komplexen RechensystemenIn: Informatik-Spektrum, Jg. 21, 1998, Nr. 6, S. 328 – 336
-
Efficient Algorithms for System Diagnosis with BothIn: IEEE Transactions on Parallel and Distributed Systems (T-PDS), Jg. 4, 1993, Nr. 4, S. 371 – 381
-
Detection of Wrongly Directed Messages by Efficient Fault-Tolerance SignaturesIn: 31st GI/ITG International Conference on Architecture of Computing Systems: Workshop Proceedings / ARCS 2018; Braunschweig, Germany; 9 - 12 April 2018. Berlin: VDE, 2018, S. 11 – 20
-
General Extension of FABAN and a Topology-based Approach to tolerate any Number of FaultsIn: 31st GI/ITG International Conference on Architecture of Computing Systems: Workshop Proceedings / ARCS 2018; Braunschweig, Germany; 9 - 12 April 2018. Berlin: VDE, 2018, S. 3 – 10
-
Efficient fault-tolerant clock synchronization in ring topologiesIn: Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017 / PRDC 2017; Christchurch; New Zealand; 22 January 2017 through 25 January 2017 / Kim, Dong Seong; Kitakami, Masato; Varadharajan, Vijay (Hrsg.). Piscataway, NJ: IEEE Computer Society, 2017, S. 223 – 224
-
Fault-tolerant clock synchronization in ring-networksIn: Proceedings of the ACM Symposium on Applied Computing / SAC '17, Marrakech, Morocco, April 03 - 07, 2017. New York: ACM, 2017, S. 465 – 468
-
A Fast Byzantine Fault-Tolerant Diagnostic Agreement Protocol for Synchronous Distributed SystemsIn: ARCS 2016 / 29th International Conference on Architecture of Computing Systems : April 4-7, 2016, Nürnberg, Germany, Friedrich-Alexander University Erlangen-Nürnberg / Varbanescu, Ana Lucia (Hrsg.). Berlin ; Offenbach: VDE Verlag GmbH, 2016, S. 1 – 11
-
FABAN – Fault-tolerant atomic broadcast and agreement in bridge-connected networksIn: ARCS 2016 / 29th International Conference on Architecture of Computing Systems, April 4-7, 2016, Nuremberg, Germany, Friedrich-Alexander University Erlangen-Nürnberg / Varbanescu, Ana Lucia (Hrsg.). Piscataway: IEEE, 2016, S. 1 – 10
-
Simulation-based reliability evaluation for analog applicationsIn: 2014 IEEE International Reliability Physics Symposium (IRPS 2014) / 2014 IEEE International Reliability Physics Symposium (IRPS 2014) : Waikoloa, Hawaii, USA, 1 - 5 June 2014. Piscataway, NJ: IEEE, 2014, S. 4B.2.1 – 4B.2.6
-
Efficient acknowledgement and retransmission techniques for bus-systemsIn: ARCS 2013: Workshop Proceedings / 26th International Conference on Architecture of Computing Systems 2013, February 19 – 22, 2013, Prague, Czech Republic / Berekovic, Mladen; Danek, Martin (Hrsg.). Berlin: VDE Verl., 2013
-
Clock synchronization issues in multi-cluster time-triggered networksIn: Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance / 15th international GI/ITG conference, MMB&DFT, March 15 - 17, 2010, Essen, Germany / Müller-Clostermann, Bruno; Echtle, Klaus; Rathgeb, Erwin P. (Hrsg.). Berlin: Springer, 2010, S. 39 – 61
-
Verification of a Control System built using Remote Redundancy by means of Timed Automata and State Space ExplorationIn: Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance / 15th International GI/ITG Conference, MMB&DFT, March 15-17, 2010, Essen, Germany / Müller-Clostermann, Bruno; Echtle, Klaus; Rathgeb, Erwin P. (Hrsg.). Berlin: Springer, 2010, S. 8 – 23
-
Fault-Tolerant and Fail-Safe Control Systems Using Remote RedundancyIn: Workshop proceedings / ARCS 2009 / 22th International Conference on Architecture of Computing Systems, March 11, 2009, Delft, The Netherlands. / Großpietsch, Karl-Erwin; Herkersdorf, Andreas; Uhrig, Sascha; Ungerer, Theo; Hähner, Jörg (Hrsg.). Berlin, Offenbach: VDE Verlag, 2009, S. 101 – 106
-
Reliability Analysis of a Control System Built Using Remote RedundancyIn: Proceedings of the 18th Advances in Risk and Reliability Technology Symposium : 21 - 23 April 2009, [held at Burleigh Court Conference Centre here at Loughborough University] / Bartlett, Lisa (Hrsg.). Loughborough, UK: Loughborough University, 2009, S. 335 – 346
-
Sicherung von Zuverlässigkeit und Interoperabilität bei der fahrzeuginternen Kommunikation mittels formaler VerifikationIn: 14. Internationaler Kongress Elektronik im Kraftfahrzeug: Tagungsband / 14. Internationaler Kongress Elektronik im Kraftfahrzeug; 7. und 8. Oktober 2009; Baden-Baden / VDI-Gesellschaft Fahrzeug- und Verkehrstechnik (Hrsg.). Düsseldorf: VDI-Verl., 2009, S. 345 – 357
-
Techniken zur nachweislich vollständigen Verifikation von komplexen Schaltungen : neue Ansätze und ErfahrungenIn: Zuverlässigkeit und Entwurf: 3. GMM/GI/ITG-Fachtagung; Tagungsband / 3. GMM/GI/ITG-Fachtagung; 21. bis 23. September 2009; Stuttgart / Sattler, Sebastian (Hrsg.). Berlin: VDE Verlag, 2009, S. 145 – 152
-
Formale Verifikation eines komplexen seriellen Kommunikationsprotokolls : "Lessons Learned" am Beispiel einer FlexRay-IP-VerifikationIn: Zuverlässigkeit und Entwurf: 2. GMM/GI/ITG-Fachtagung; Tagungsband / 2. GMM/GI/ITG-Fachtagung; 29. September bis 1. Oktober 2008; Ingolstadt / Sattler, Sebastian (Hrsg.). Berlin: VDE Verlag, 2008, S. 159 – 161
-
Automatic design of reliable systems consisting of nano-elementsIn: 7th IEEE International Conference on Nanotechnology: Proceedings / Institute of Electrical and Electronics Engineers; IEEE-NANO 2007; 2-5 August 2007; Hong Kong, China. Piscataway: IEEE, 2007, S. 591 – 596
-
Reliability Prediction in Systems with Correlated Component Failures : An Approach Using CopulasIn: 20th International Conference on Architecture of Computing Systems 2007 / Zurich, Switzerland; 15 March 2007. Berlin: VDE, 2007, S. 55 – 62
-
The FlexBeam Project : Support for the Development and Evaluation of Fault-Tolerant Systems on the Basis of the FlexRay™ Databus SystemIn: Automation, assistance and embedded real time platforms for transportation: Proceedings / 6th Braunschweig Conference ; 16 and 17 February 2005, Technical University of Braunschweig. Braunschweig: GZVB, 2005
-
State space reduction in SDL models of fault-tolerant systemsIn: 18th International Parallel & Distributed Processing Symposium / 18th International Parallel & Distributed Processing Symposium : IPDPS; Santa Fe, New Mexico, April 26-30, 2004. Los Alamitos: IEEE Computer Society, 2004
-
A Genetic Algorithm for Fault-Tolerant System DesignIn: Dependable Computing: Proceedings / First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003 / Lemos, Rogèrio de; Weber, Taisy Silva; Jo~no, Jr. Batista Camargo (Hrsg.). Berlin: Springer, 2003, S. 197 – 213
-
Genetic Algorithm for Fault-Tolerant System DesignIn: Dependable Computing: Proceedings / First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003 / de Lemos, Rogério; Weber, Taisy Silva (Hrsg.). Heidelberg: Springer, 2003, S. 197 – 213
-
Avoiding Malicious Byzantine Faults by a New Signature Generation TechniqueIn: Dependable Computing — EDCC-3: Proceedings / Third European Dependable Computing Conference Prague, Czech Republic, September 15–17, 1999 / Hlavicka, Jan; Maehle, Erik (Hrsg.). Berlin: Springer, 1999, S. 106 – 123
-
A Multiple Bus Broadcast Protocol Resilient to 0n Cooperative Byzantine FaultsIn: Proceedings of the Twenty-sixth International Symposium on Fault Tolerant Computing / Annual Symposium on Fault Tolerant Computing, June 25 - 27, 1996, Sendai, Japan. Los Alamitos: IEEE, 1996, S. 158 – 167
-
A multiple bus broadcast protocol resilient to non-cooperative Byzantine faultsIn: Proceedings of the Twenty-sixth International Symposium on Fault Tolerant Computing / Twenty-sixth International Symposium on Fault Tolerant Computing, June 25 - 27, 1996, Sendai, Japan. Los Alamitos: IEEE Computer Society Press, 1996, S. 158
-
The EFA Fault Injector for Fault-TolerantIn: The 1992 IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems / The 1992 IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems ; digest of papers ; July 6 - 7, 1992, Amherst, Massachusetts / Fussell, Niraj; Jha, Donald S. (Hrsg.). Los Alamitos: IEEE Computer Society Press, 1992, S. 28 – 35
-
Testing Fault-Tolerant Protocols by Heristic FaultIn: Fault tolerant computing systems: tests, diagnosis, fault treatment / Cin, Mario Dal; Hohl, Wolfgang (Hrsg.). Berlin: Springer, 1991, S. 407 – 418
-
Distance Agreement ProtocolsIn: International Symposium on Fault-Tolerant Computing ({FTCS} '89 / The Nineteenth International Symposium on Fault-Tolerant Computing, 21-23 June 1989. Washington: IEEE Computer Society Press, 1989, S. 191 – 198
-
Measurement, modelling and evaluation of computing systems and dependability in fault tolerance : 5th international GI/ITG conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010 ; proceedings
International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability in Fault Tolerance ; 15 (Essen) : 2010.03.15-17,Berlin [u.a.]: Springer, 2010
(Lecture Notes in Computer Science ; 5987) -
Lehrbuch der Programmierung mit JavaHeidelberg: d-punkt, 2000
-
Dependable computing - EDCC-1 : first European Dependable Computing Conference, Berlin, Germany, October 4 - 6, 1994 ; proceedings
First European Dependable Computing Conference, October 4–6, 1994, Berlin, Germany,Berlin: Springer, 1994
(Lecture notes in computer science ; 852) -
FehlertoleranzverfahrenBerlin: Springer, 1990(Studienreihe Informatik)
-
Fehlertolerante SystemeWiesbaden: Forkel, 1988
(Handbuch der modernen Datenverarbeitung ; 144) -
Fehlermaskierung durch verteilte SystemeBerlin: Springer, 1986
(Informatik-Fachberichte ; 121) -
Fehlermaskierung durch verteilte Entscheider-SystemeKarlsruhe, 1983
(Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 83,8) -
Konformitätsbewertung für sicherheitskritische Anwendungen im Umfeld fehlertoleranter Datenbus-Systeme
Euroforum - Konferenz, 23.-24.03.2004, Heidelberg,2004