ACS: Veröffentlichungen

CITE

Applied Computer Science, Publikationen

​Acs
​ ​ 

 

 

 

 

 

 

Dr. rer. nat. Johannes Formann

Raum     V15 R01 H94
Telefon   0201 183 2821
johannes.formann@uni-due.de

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

 

    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
    Online Volltext
  • 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
    Online Volltext