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)
-
2018 WS
- Projektgruppe Verlässlichkeit von Rechensystemen
- Seminar Verlässlichkeit von Rechensystemen
- Fallstudie Verlässlichkeit von Rechensystemen
- Programmierung (Übung)
- Programmierung
- Bachelor-Projekt Verlässlichkeit von Rechensystemen
- Programmierung (Testat) (Programmierung A / B)
- Programmierung A (Übung)
- Programmierung A
- Rechnerstrukturen und Betriebssysteme (Übung)
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 : the Journal of the Safety and Reliability Society 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 - 336Online Volltext: dx.doi.org/
-
Efficient Algorithms for System Diagnosis with BothIn: IEEE Transactions on Parallel and Distributed Systems (T-PDS) Jg. 4 (1993) Nr. 4, S. 371 - 381Online Volltext: dx.doi.org/
-
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 - 224Online Volltext: dx.doi.org/
-
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 - 468Online Volltext: dx.doi.org/
-
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.6Online Volltext: dx.doi.org/
-
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 - 61Online Volltext: dx.doi.org/
-
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 - 23Online Volltext: dx.doi.org/
-
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 - 596Online Volltext: dx.doi.org/
-
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 2004Online Volltext: dx.doi.org/
-
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 - 213Online Volltext: dx.doi.org/
-
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 - 213Online Volltext: dx.doi.org/
-
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 - 123Online Volltext: dx.doi.org/
-
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 - 167Online Volltext: dx.doi.org/
-
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 - 198Online Volltext: dx.doi.org/
-
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,In: Lecture Notes in Computer Science Berlin [u.a.] Jg. 5987 (2010) XI, 322 S. : Ill., graph. Darst.Online Volltext: dx.doi.org/ -
Lehrbuch der Programmierung mit JavaHeidelberg (2000) X, 367 S. : graph. Darst.
-
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,In: Lecture notes in computer science Berlin Jg. 852 (1994)Online Volltext: dx.doi.org/ -
FehlertoleranzverfahrenIn: Studienreihe Informatik Berlin (1990) XII, 322 S.
-
Fehlertolerante SystemeIn: Handbuch der modernen Datenverarbeitung Wiesbaden Jg. 144 (1988) 142
-
Fehlermaskierung durch verteilte SystemeIn: Informatik-Fachberichte Berlin Jg. 121 (1986) X, 232 S.
-
Fehlermaskierung durch verteilte Entscheider-SystemeIn: Interner Bericht / Universität Karlsruhe, Fakultät für Informatik Karlsruhe Jg. 83,8 (1983) 107 Seiten
-
Konformitätsbewertung für sicherheitskritische Anwendungen im Umfeld fehlertoleranter Datenbus-Systeme
Euroforum - Konferenz, 23.-24.03.2004, Heidelberg,(2004)