Personensuche

Personensuche

Bitte geben Sie den Namen der gesuchten Person ein.

Es wurde 1 Person gefunden.

WiWi

Anschrift
Universitätsstrasse 12
45117 Essen
Raum
R12 R07 A45
Sprechzeiten
n.V.

Funktionen

  • Wissenschaftliche/r Mitarbeiter/in, Zentralfunktionen

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.

    Artikel in Zeitschriften

  • Echtle, Klaus; Kimmeskamp, Thorsten; Jacquet, Sébastien; Malassé, Olaf; Pock, Michael; Walter, Max
    Achieving Safety and Reliability for Systems with Remote Redundancy
    In: Safety & reliability : the Journal of the Safety and Reliability Society Jg. 30 (2010) Nr. 4, S. 36 - 55
  • Beiträge in Sammelwerken und Tagungsbänden

  • Echtle, Klaus; Kimmeskamp, Thorsten
    Verification of a Control System built using Remote Redundancy by means of Timed Automata and State Space Exploration
    In: 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
  • Echtle, Klaus; Kimmeskamp, Thorsten
    Fault-Tolerant and Fail-Safe Control Systems Using Remote Redundancy
    In: 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
  • Echtle, Klaus; Kimmeskamp, Thorsten; Jacquet, Sébastien; Malassé, Olaf; Pock, Michael; Walter, Max
    Reliability Analysis of a Control System Built Using Remote Redundancy
    In: 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
  • Sander, Oliver; Klimm, Alexander; Becker, Jens E.; Becker, Jürgen; Kimmeskamp, Thorsten; Formann, Johannes; Echtle, Klaus; Weinberger, Katharina; Bulach, Slava
    Sicherung von Zuverlässigkeit und Interoperabilität bei der fahrzeuginternen Kommunikation mittels formaler Verifikation
    In: 14. Internationaler Kongress Elektronik im Kraftfahrzeug. - (VDI-Berichte ; 2075) 2009, S. 345 - 357
  • Formann, Johannes; Kimmeskamp, Thorsten; Echtle, Klaus; Tappe, Dominik; Weinberger, Katharina; Bulach, Slava; Mittag, Maximilian
    Techniken zur nachweislich vollständigen Verifikation von komplexen Schaltungen – neue Ansätze und Erfahrungen
    In: 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
  • Kimmeskamp, Thorsten; Jochim, Markus; Formann, Johannes; Echtle, Klaus; Bulach, Slava; Weinberger, Katharina
    Formale Verifikation eines komplexen seriellen Kommunikationsprotokolls - "Lessons Learned" am Beispiel einer FlexRay-IP-Verifikation
    In: 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
  • Kimmeskamp, Thorsten
    Formulierung von Fehlertoleranzanforderungen
    In: Diskussionskreis Fehlertoleranz 2005: Tagungsband / Czornack, Jan-Thomas; Stodden, Daniel; Trinitis, Carsten; Walter, Max (Hrsg.) 2005, S. 61 - 68
  • Dissertation

  • Kimmeskamp, Thorsten;
    Entfernte Redundanz - Beschreibung, Analyse und Bewertung eines neuartigen Architekturkonzeptes für fehlertolerante Steuerungssysteme
    Duisburg, Essen (2011) X, 180 S., Beil. 1 CD-ROM