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 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 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.) 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 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.) 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.) 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 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.) 2013, S. CD – ROMs
-
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.) 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.) 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.) 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.) 2009, S. 335 – 346
-
Sicherung von Zuverlässigkeit und Interoperabilität bei der fahrzeuginternen Kommunikation mittels formaler VerifikationIn: 14. Internationaler Kongress Elektronik im Kraftfahrzeug. - (VDI-Berichte ; 2075) 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 vom 21. bis 23. September 2009 in Stuttgart: (Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik: GMM-Fachbericht ; 61) / Sattler, Sebastian (Hrsg.) 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 vom 29. September bis 1. Oktober 2008 in Ingolstadt: (GMM-Fachbericht ; 57) / Sattler, Sebastian (Hrsg.) 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 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 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 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 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.) 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.) 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.) 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 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 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.) 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.) 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 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