Ma, Canlong;Jordan, Claudius;Provost, Julien
SATE: Model-Based Testing with Design-to-Test and Plant Features
IFAC-PapersOnLine
2018
51
7
310-315

Jordan, Claudius V.;Herrero, Judit Cuezva;Provost, Julien
Extension of the Plant Feature Approach Introducing Temporal Relations
2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)
IEEE
2018

Alexander Ludewig, Marian Daun, Ana Petrovska, Wolfgang Böhm, Alexander Fay
Requirements for modeling dynamic function networks for collaborative embedded systems
Workshops at Modellierung 2018, Modellierung in der Entwicklung von kollaborativen eingebetteten Systemen (MEKES)
2018

Saahil Ognawala, Alexander Pretschner, Thomas Hutzelmann, Eirini Psallida, Ricardo Nales Amato
Presentation: Reviewing KLEE’s Sonar-Search Strategy in Context of Greybox Fuzzing
2018

Zibaei, Ehsan;Banescu, Sebastian;Pretschner, Alexander
Diagnosis of Safety Incidents for Cyber-Physical Systems: A UAV Example
2018 3rd International Conference on System Reliability and Safety (ICSRS)
IEEE
2018

Ahmadvand, Mohsen;Pretschner, Alexander;Ball, Keith;Eyring, Daniel
Integrity Protection Against Insiders in Microservice-Based Infrastructures: From Threats to a Security Framework
Software Technologies: Applications and Foundations
Springer International Publishing
2018

Ahmadvand, Mohsen;Hayrapetyan, Anahit;Banescu, Sebastian;Pretschner, Alexander
Practical Integrity Protection with Oblivious Hashing
Proceedings of the 34th Annual Computer Security Applications Conference on - ACSAC '18
ACM Press
2018

Petrovska, Ana;Grigoleit, Florian
Towards Context Modeling for Dynamic Collaborative Embedded Systems in Open Context
2018

Osman, Mohd Hafeez;Ho-Quang, Truong;Chaudron, Michel
An Automated Approach for Classifying Reverse-Engineered and Forward-Engineered UML Class Diagrams
2018 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
IEEE
2018

Shafaei, Sina;Kugele, Stefan;Osman, Mohd Hafeez;Knoll, Alois
Uncertainty in Machine Learning: A Safety Perspective on Autonomous Driving
Developments in Language Theory
Springer International Publishing
2018