Zum Inhalt springen

  2. Ortmeier, Frank [VerfasserIn] ; Rauzy, Antoine [HerausgeberIn]

    Model-Based Safety and Assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham [u.a.]: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8822

  3. Ortmeier, Frank [VerfasserIn] ; Daniel, Peter [Sonstige Person, Familie und Körperschaft]

    Computer Safety, Reliability, and Security : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2012

    Erschienen in: Lecture notes in computer science ; 7612

  4. Ortmeier, Frank [VerfasserIn] ; Daniel, Peter [Sonstige Person, Familie und Körperschaft]

    Computer Safety, Reliability, and Security : SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2012

    Erschienen in: Lecture notes in computer science ; 7613

  5. Andonov, Petar [VerfasserIn] ; Findeisen, Rolf [AkademischeR BetreuerIn]; Ortmeier, Frank [AkademischeR BetreuerIn]

    Guaranteed set-based controller design for hybrid dynamical systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Magdeburg: Universitätsbibliothek, 2021

  6. Fuentealba Ortiz, Patricio [VerfasserIn] ; Ortmeier, Frank [AkademischeR BetreuerIn]; Preim, Bernhard [AkademischeR BetreuerIn]

    Automatic fetal distress assessment during labor based on modal and parametrical analysis of the cardiotocographic recording

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Magdeburg: Universitätsbibliothek, 2020

  7. Bondavalli, Andrea [VerfasserIn] ; Ceccarelli, Andrea [HerausgeberIn]; Ortmeier, Frank [HerausgeberIn]

    Computer Safety, Reliability, and Security : SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham [u.a.]: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8696

  8. Güdemann, Matthias [VerfasserIn] ; Ortmeier, Frank [MitwirkendeR]; Kruse, Rudolf [MitwirkendeR]

    Qualitative and quantitative formal model-based safety analysis - push the safety button

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Universitätsbibl.; Otto von Guericke University Library, Magdeburg, Germany, 2011

  9. Fuentealba Ortiz, Patricio [VerfasserIn] ; Ortmeier, Frank [Sonstige Person, Familie und Körperschaft]; Preim, Bernhard [Sonstige Person, Familie und Körperschaft]

    Automatic fetal distress assessment during labor based on modal and parametrical analysis of the cardiotocographic recording

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Magdeburg: Universitätsbibliothek Otto-von-Guericke-Universität, 2020

  10. Andonov, Petar [VerfasserIn] ; Findeisen, Rolf [Sonstige Person, Familie und Körperschaft]; Ortmeier, Frank [Sonstige Person, Familie und Körperschaft]

    Guaranteed set-based controller design for hybrid dynamical systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Magdeburg: Universitätsbibliothek Otto-von-Guericke-Universität, 2021

  11. Güdemann, Matthias [VerfasserIn] ; Ortmeier, Frank [AkademischeR BetreuerIn]; Kruse, Rudolf [AkademischeR BetreuerIn]

    Qualitative and quantitative formal model-based safety analysis : push the safety button

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Magdeburg: Universitätsbibliothek, 2011

  14. Ortmeier, Frank [VerfasserIn]; Reif, Wolfgang [VerfasserIn]

    Safety optimization: a combination of fault tree analysis and optimization techniques

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Augsburg University Publication Server (OPUS), 2006-06-07

  15. Krüger, Frank [VerfasserIn] ; Kirste, Thomas [Sonstige Person, Familie und Körperschaft]; Uhrmacher, Adelinde [Sonstige Person, Familie und Körperschaft]; Ortmeier, Frank [Sonstige Person, Familie und Körperschaft]

    Activity, context, and plan recognition with computational causal behavior models

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Rostock: Universität Rostock, 2018

  16. Krüger, Frank [VerfasserIn] ; Kirste, Thomas [Sonstige Person, Familie und Körperschaft]; Uhrmacher, Adelinde [Sonstige Person, Familie und Körperschaft]; Ortmeier, Frank [Sonstige Person, Familie und Körperschaft] Universität Rostock, Universität Rostock, Universität Rostock Fakultät für Informatik und Elektrotechnik, Universität Rostock Fakultät für Informatik und Elektrotechnik

    Activity, context, and plan recognition with computational causal behaviour models

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Rostock: University, 2016

  17. Filax, Marco [VerfasserIn]; Klockmann, Maximilian [VerfasserIn]; Ortmeier, Frank [VerfasserIn] ; Otto-von-Guericke-Universität Magdeburg Institut für Intelligente Kooperierende Systeme

    EVOK - Echtzeit Vor-Ort-Aufklärung und Einsatzmonitoring; Teilvorhaben: Konzeption eines echtzeitfähigen Vor-Ort-Aufklärungssystems : Schlussbericht für das BMBF-Forschungsvorhaben : Projektlaufzeit: 01.02.2019-31.01.2022, zuwendungsneutral verlängert bis 31.12.2022

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Magedburg: Otto-von-Guericke-Universität Magdeburg, [Fakultät für Informatik - Institut für Intelligente Kooperierende Systeme], 30.06.2023

  19. Heumüller, Robert [VerfasserIn]; Nielebock, Sebastian [VerfasserIn]; Ortmeier, Frank [VerfasserIn]

    Exploit those code reviews! : bigger data for deeper learning

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2021

    Erschienen in: Spinellis, Diomidis: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ; (2021), Seite 1505-1509

  20. Heumüller, Robert [VerfasserIn]; Nielebock, Sebastian [VerfasserIn]; Ortmeier, Frank [VerfasserIn]

    Exploit those code reviews! : bigger data for deeper learning

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Magdeburg: Universitätsbibliothek Otto-von-Guericke-Universität, 2021