Auflistung nach Autor:in "Schlaefer, Alexander"
1 - 7 von 7
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragEin Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme(Software Engineering und Software Management 2018, 2018) Padberg, Julia; Schlaefer, Alexander; Schupp, SibylleMedizinische cyberphysikalische Systeme erfordern einerseits die Adaption an patientenindividuelle Parameter während einer Behandlung und andererseits den Nachweis eines sicheren Systemverhaltens. Wir schlagen vor, Nachweisbarkeit mittels Online Model-Checking und Nachvollziehbarkeit durch Anwendung von regelbasierten Transformationen zu verbinden.
- TextdokumentComputer Assisted Planning for Robotic Radiosurgery(Ausgezeichnete Informatikdissertationen 2007, 2008) Schlaefer, Alexander
- KonferenzbeitragFail safety in medical cyber-physical systems (FS-MCPS)(Software-engineering and management 2015, 2015) Schlaefer, Alexander; Schupp, Sibylle
- KonferenzbeitragFS-MCPS 2017 - 3rd Workshop on Fail Safety in Medical Cyber-Physical Systems(Software Engineering 2017, 2017) Schlaefer, Alexander; Schupp, Sibylle; Stollenwerk, Andre ́
- KonferenzbeitragFS-MCPS: 2nd workshop on fail safety in medical cyber-physical systems(Software Engineering 2016, 2016) Schlaefer, Alexander; Schupp, Sibylle; Stollenwerk, André
- KonferenzbeitragMedizinische Robotik und Navigation(Informatik 2009 – Im Focus das Leben, 2009) Schlaefer, Alexander; Schweikard, Achim
- KonferenzbeitragMedizinische Robotik und Navigation(Informatik 2009 – Im Focus das Leben, 2009) Schlaefer, Alexander; Schweikard, Achim