Personensuche
Personensuche
Es wurde 1 Person gefunden.
WiWi
Anschrift
Universitätsstrasse 12
45117 Essen
45117 Essen
Raum
R12 R07 A45
Telefon
Telefax
Webseite
Sprechzeiten
n.V.
Funktionen
-
Wissenschaftliche/r Mitarbeiter/in, Zentralfunktionen
Aktuelle Veranstaltungen
-
2023 WS
Vergangene Veranstaltungen (max. 10)
-
2023 SS
-
2022 WS
-
2022 SS
-
2021 WS
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
-
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
-
Formulierung von FehlertoleranzanforderungenIn: Diskussionskreis Fehlertoleranz 2005: Tagungsband / Czornack, Jan-Thomas; Stodden, Daniel; Trinitis, Carsten; Walter, Max (Hrsg.) 2005, S. 61 - 68
-
Entfernte Redundanz - Beschreibung, Analyse und Bewertung eines neuartigen Architekturkonzeptes für fehlertolerante SteuerungssystemeDuisburg, Essen (2011) X, 180 S., Beil. 1 CD-ROM