ACS: Veröffentlichungen

    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
    ISBN: 978-3-88579-622-0
  • 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
    ISBN: 978-3-8007-3492-4
  • 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
    ISBN: 978-1-61208-002-4
  • 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
    ISBN: 978-3-18-092075-7
  • 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
    ISBN: 978-3-8007-3178-7
  • 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
    ISBN: 978-3-8007-3119-0
  • Dissertation

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

Vorträge

  • The Byzantine Generals got new Ammo. Diskussionskreis Fehlertoleranz der GI/ITG-Fachgruppe FERS, Nürnberg 2012
  • An AUTOSAR compliant approach to secure applications against malicious attacker. EUROFORUM-Jahrestagung "ISO 26262", Stuttgart 2013
  • Security for safety relevant systems. IQPC “Automotive Embedded Systems", Düsseldorf 2014
  • Cryptographic island – An extension for fault tolerant systems to enable intrusion tolerance. Diskussionskreis Fehlertoleranz der GI/ITG-Fachgruppe FERS, Dresden 2014
  • Cryptographic island – An extension for fault tolerant systems to enable intrusion tolerance. Doktorandenseminar am Lehrstuhl Informatik 1, Universität Erlangen, Erlangen 2015
  • Sicherheit meint nicht Sicherheit und erst recht nicht Verfügbarkeit. MRMCD, Darmstadt 2015
  • Creating a routable bicycle map for garmin devices with OpenStreetMap data. MRMCD, Darmstadt 2017

Rückfragen zur Webseite: Dieter Heinold
Telefon +49 (0)201 / 183-2688, E-Mail: dieter.heinold@uni-due.de

Bauwissenschaften

Dr. rer. nat. Johannes Formann

Raum     V13 S03 C56
Telefon   0201 183 2821
johannes.formann@uni-due.de