Personensuche

Personensuche

Bitte geben Sie den Namen der gesuchten Person ein.

Es wurde 1 Person gefunden.

Dr. rer. nat. Johannes Lucia Formann

Ingenieurwissenschaften / Bauwissenschaften / Center for Information Technology

Anschrift
Universitätsstr. 15
45141 Essen
Raum
V15 R01 H94
Telefon
+49 201 183 2821
E-Mail
johanneslucia.formann@uni-due.de
Webseite
https://www.uni-due.de/bauwissenschaften/cite/acs.php
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 Lucia
    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.). Bonn: Gesellschaft für Informatik, 2014, S. 419 – 432
  • Formann, Johannes Lucia; 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.). Berlin: VDE Verl., 2013
  • Becke, Martin; Dreibholz, Thomas; Rathgeb, Erwin P.; Formann, Johannes Lucia
    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
    Online Volltext
  • Sander, Oliver; Klimm, Alexander; Becker, Jens E.; Becker, Jürgen; Kimmeskamp, Thorsten; Formann, Johannes Lucia; 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: Tagungsband / 14. Internationaler Kongress Elektronik im Kraftfahrzeug; 7. und 8. Oktober 2009; Baden-Baden / VDI-Gesellschaft Fahrzeug- und Verkehrstechnik (Hrsg.). Düsseldorf: VDI-Verl., 2009, S. 345 – 357
  • Formann, Johannes Lucia; 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; Tagungsband / 3. GMM/GI/ITG-Fachtagung; 21. bis 23. September 2009; Stuttgart / Sattler, Sebastian (Hrsg.). Berlin: VDE Verlag, 2009, S. 145 – 152
  • Kimmeskamp, Thorsten; Jochim, Markus; Formann, Johannes Lucia; 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; Tagungsband / 2. GMM/GI/ITG-Fachtagung; 29. September bis 1. Oktober 2008; Ingolstadt / Sattler, Sebastian (Hrsg.). Berlin: VDE Verlag, 2008, S. 159 – 161

    • Dissertation

  • Formann, Johannes Lucia
    Kryptografische Insel zur Realisierung von Angreifertoleranz in redundanten Systemen
    Duisburg, Essen, 2016
    Online Volltext, Online Volltext