Export list as BibTeX file

2017

• 2017 Time, computational complexity, and probability in the analysis of distance-bounding protocols Max Kanovich, Vivek Nigam, Andre Scedrov, Carolyn Talcott and Tajana Ban Kirigin Journal of Computer Security, 25(6):585–630, 2017. Details URL DOI BIB
• 2017 Tool Support for Live Formal Verification Vincent Aravantinos and Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pages 145-155, Details DOI BIB
• 2017 Towards a Model-driven Performance Prediction Approach for Internet of Things Architectures Johannes Kroß, Sebastian Voss and Helmut Krcmar Open Journal of Internet Of Things, 3(1):136-141, 2017. Details URL BIB
• 2017 Towards an Industry 4.0 Compliant Control Software Architecture Using IEC 61499 & OPC UA Tarik Terzimehić, Monika Wenger, Alois Zoitl, Andreas Bayha, Klaus Becker, Thorsten Müller and Hubertus Schauerte In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Details DOI BIB
• 2017 Towards an integrated plant engineering process using a data conversion tool for AutomationML Milan Vathoopan, Benjamin Brandenbourger, Amil George and Alois Zoitl In Dorina C. Petriu, Nicolas Rouquette and Oystein Haugen, editor, Industrial Technology (ICIT), 2017 IEEE International Conference on, pages 1205–1210, IEEE, Details BIB

2016

• December 2016 embSFI: An Approach for Software Fault Isolation in Embedded Systems Andreas Ruhland, Christian Prehofer and Oliver Horst In Marcus Völp, Paulo Esteves-Verissimo, Antonio Casimiro and Rodolfo Pellizzoni, editor, 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems, pages 6–11, Porto, Portugal, IEEE, Details URL BIB
• November 2016 Comparably Evaluating Communication Performance within Mixed-Criticality Systems Keegan Napier, Oliver Horst and Christian Prehofer In 4th International Workshop on Mixed Criticality Systems (WMC), Porto, Portugal, Details URL BIB
• November 2016 Modeling and Simulating Apache Spark Streaming Applications Johannes Kroß and Helmut Krcmar Softwaretechnik-Trends, 36(4):, November 2016. Details URL BIB
• October 2016 Decomposition of Design Space Exploration Problems in the Context of model-based Development Sergey Zverlov In Proceedings of the Doctoral Symposium at the 19th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems (MODELS 2016), CEUR. Details URL BIB
• October 2016 Intuitive Instruction of Industrial Robots: Semantic Process Descriptions for Small Lot Production Alexander Perzylo, Nikhil Somani, Stefan Profanter, Ingmar Kessler, Markus Rickert and Alois Knoll In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 2293–2300, Daejeon, Republic of Korea, Details URL DOI BIB