Ausgewählte Vorträge

Dr.-Ing. Martin Riedl

Ausgewählte Vorträge

  • M. Riedl: Vorstellung des Begleitforschungsprojektes Vernetzte IT-Sicherheit für Kritische Infrastrukturen. VfS Fachtagung "Anforderungen an moderne Gefahrenmanagementsysteme", Datev in Nürnberg, 2015 ( Folien Programm )
  • M. Riedl: A Language for Reconfigurable Dependable Systems, its Formalisation and Analysis Environment. Dissertationsvortrag, Universität der Bundeswehr München, 2014 (Folien)
  • M. Riedl: Using LARES in order to tackle
    Hierarchically Structured Dependable Systems. Seminar on Quantitative Models: Expressiveness, Analysis, and new Applications, Schloß Dagstuhl, 2014 (doi, Folien)
  • M. Riedl: LAnguage for REconfigurable dependable Systems - Semantics and Analysis Environment. 44. Diskussionskreis Fehlertoleranz, GI/ITG - Fachgruppe Fehlertolerierende Rechensysteme, Siemens AG, Nürnberg, 2012.
    (Folien, Programm)
  • M. Riedl: Formal Dependability/Safety Models from
    Application-Domain Specications. Seminar on Resilience Assessment and Evaluation, Schloß Dagstuhl, 2010 (doi, Folien)

Dr.-Ing. Martin Riedl

Visitenkarte als QR-Code

QR-Code der vcard