Search results for: Frank Ortmeier
Empirical Software Engineering > 2019 > 24 > 3 > 1418-1457
Empirical Software Engineering > 2019 > 24 > 1 > 103-138
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Session 10: Optimization Methods > 423-436
Lecture Notes in Computer Science > Autonomic and Trusted Computing > Track 1: Autonomic/Organic Computing and Communications > 38-47
2016 IEEE Intelligent Vehicles Symposium (IV) > 252 - 257
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part IV: Charts > 355-373
Lecture Notes in Computer Science > Autonomic and Trusted Computing > Organic and Autonomic Computing > 17-31
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part V: Verification > 474-493
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part V: Verification > 419-422
Lecture Notes in Computer Science > Dependable Computing - EDCC 5 > Session 2B: Assessment and Analysis > 210-224
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Application of Formal Methods > 296-308
IFIP — The International Federation for Information Processing > Building the Information Society > TRain: The Railway Domain — A Grand Challenge > 637-642
Reliability Engineering and System Safety > 2015 > 140 > Complete > 191-199
Journal of Intelligent & Robotic Systems > 2015 > 80 > 2 > 279-298
Journal of Intelligent & Robotic Systems > 2015 > 78 > 1 > 127-142
The Journal of Systems & Software > 2013 > 86 > 10 > 2488-2501