Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2017
- Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern In 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE), Seiten 53–60, 2017. IEEE. Details DOI BIB
- Arguing on Software-Level Verification Techniques Appropriateness In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 10488 von LNCS, Seiten 39–54, Cham, 2017. Springer International Publishing. Details DOI BIB
- autoCode4: Structural Controller Synthesis In Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS, Seiten 398–404, 2017. Details DOI BIB
- Erstellung einer Referenzarchitektur anhand von individuellen Unternehmensanforderungen , ():23-42, 2017. Details BIB
- Evaluating Software-defined Networking for Deterministic Communication in Distributed Industrial Automation Systems In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), 2017. Details URL PDF BIB
- Increasing Control Application Reusability through Generic Device Configuration Model In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), 2017. Details BIB
- Living Safety Arguments for Open Systems In Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017. IEEE. Details DOI BIB
- Maximum Resilience of Artificial Neural Networks In Automated Technology for Verification and Analysis - 15rd International Symposium , ATVA, 2017. Details BIB
- Minimizing Test Suites with Unfoldings of Multithreaded Programs ACM Trans. Embedded Comput. Syst., 16(2):45:1–45:24, 2017. Details DOI BIB
- Modeling and verifying behavioral constraints for automation systems In Industrial Informatics (INDIN), 2017 IEEE 15th International Conference on, Seiten 345–350, 2017. IEEE, Details BIB
- Modular Transformation from AF3 to nuXmv In Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations, Seiten 300–306, 2017. Details URL BIB
- Multi vehicle trajectory coordination for automated parking In IEEE Intelligent Vehicles Symposium (IV), Seiten 661 - 666, 2017. Details URL BIB
- On subexponentials, focusing and modalities in concurrent systems Theor. Comput. Sci., 693():35–58, 2017. Details URL DOI BIB
- Ontology-Based Traffic Scene Modeling, Traffic Regulations Dependent Situational Awareness and Decision-Making for Automated Vehicles In IEEE Intelligent Vehicles Symposium (IV) 2017, 2017. IEEE. Details BIB
- Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models In SAS, Band 10422 von Lecture Notes in Computer Science, Seiten 299–320, 2017. Springer. Details URL DOI BIB
- Referenzarchitektur eines Ressourcen-Cockpits zur Unterstützung der Instandhaltung Bullinger-Hoffman, Angelika, 2017. Details BIB
- Slow TCAM Exhaustion DDoS Attack In ICT Systems Security and Privacy Protection - 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings, Seiten 17–31, 2017. Details URL DOI BIB
- Systematically comparing control approaches in the presence of actuator errors In IEEE Intelligent Vehicles Symposium (IV), Seiten 353 - 358, 2017. Details URL BIB
- Time, computational complexity, and probability in the analysis of distance-bounding protocols Journal of Computer Security, 25(6):585–630, 2017. Details URL DOI BIB
- Tool Support for Live Formal Verification In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), Seiten 145-155, 2017. Details DOI BIB