Publications (271)
Safety Assessment of Autonomous Cars using Verification Techniques (2007)
Althoff, M.; Stursberg, O.; Buss, M.
Conference proceedings articleSafety Assessment of Driving Behavior in Multi-Lane Traffic for Autonomous Vehicles (2009)
Althoff, M.; Stursberg, O.; Buss, M.
Conference proceedings articleSafety Scanning: An approach to include safety into managerial decision making (PSYNDEXshort) (2012)
Sträter, O.; Athanassiou, G.; Arenius, M.
Conference proceedings articleSaftfutter unterdrückt pathogene Mikroflora im Darm von Mastschweinen (2011)
Marien, C.; Sundrum, A.
Conference proceedings articleSanitary landfilling - A key component of waste management in transition economies (2009)
Fellner, J.; Laner, D.; Lederer, J.; Brunner, P.
Conference proceedings articleSC^2 Challenges: When Satisfiability Checking and Symbolic Computation Join Forces (2017)
Seiler, W.
Conference proceedings articleScenario-based model predictive operation control of islanded microgrids (2015)
Hans, C.; Sopasakis, P.; Bemporad, A.; Raisch, J.; Reincke-Collon, C.
Conference proceedings articleSchemes for Efficient QW Pumping of AlGaInP Disk Lasers (2017)
Kahle, H.
Conference proceedings articleSchichtenmodell für die verteilte Nutzung modellgestützter Verfahren (2000)
Wenzel, S.; Jessen, U.; Rittscher, J.; Scholz, I.
Conference proceedings articleSchlauchflöße und Schwimmschläuche an Euphrat und Tigris in der römischen Kaiserzeit (2013)
Ruffing, K.; Rollinger, R.
Conference proceedings article