Personensuche

Personensuche

Bitte geben Sie den Namen der gesuchten Person ein.

Es wurde 1 Person gefunden.

Ingenieurwissenschaften / Bauwissenschaften / Center for Information Technology

Anschrift
Universitätsstr. 15
45141 Essen
Raum
V15 R01 H94
Sprechzeiten
Nach Vereinbarung

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.

    Beiträge in Sammelwerken und Tagungsbänden

  • Formann, Johannes
    An efficient approach to tolerate attackers in fault-tolerant systems
    In: Sicherheit 2014: Sicherheit, Schutz und Zuverlässigkeit / 7. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 19.-21. März 2014, Wien / Katzenbeisser, Stefan; Lotz, Volkmar; Weippl, Edgar (Hrsg.) 2014, S. 419 - 432
  • Formann, Johannes; Echtle, Klaus
    Efficient acknowledgement and retransmission techniques for bus-systems
    In: 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
  • Becke, Martin; Dreibholz, Thomas; Rathgeb, Erwin P.; Formann, Johannes
    Link Emulation on the Data Link Layer in a Linux-based Future Internet Testbed Environment
    In: Proceedings of the 10th International Conference on Networks / ICN 2011; January 23‐28, 2011; St. Maarten, The Netherlands Antilles 2011, S. 92 - 98
  • 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
  • Dissertation

  • Formann, Johannes;
    Kryptografische Insel zur Realisierung von Angreifertoleranz in redundanten Systemen
    Duisburg, Essen (2016) xiii, 111 Seiten