Liste als BibTeX-Datei exportieren

2017

• 2017 Systematically comparing control approaches in the presence of actuator errors Tobias Kessler , Pascal Minnerup , David Lenz und Alois Knoll In IEEE Intelligent Vehicles Symposium (IV), Seiten 353 - 358, 2017. Details URL BIB
• 2017 Time, computational complexity, and probability in the analysis of distance-bounding protocols Max Kanovich , Vivek Nigam , Andre Scedrov , Carolyn Talcott und 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 und Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), Seiten 145-155, 2017. Details DOI BIB
• 2017 Towards a Model-driven Performance Prediction Approach for Internet of Things Architectures Johannes Kroß , Sebastian Voss und 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 und Hubertus Schauerte In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), 2017. Details DOI BIB
• 2017 Towards an integrated plant engineering process using a data conversion tool for AutomationML Milan Vathoopan , Benjamin Brandenbourger , Amil George und Alois Zoitl In Dorina C. Petriu , Nicolas Rouquette und Oystein Haugen , Editor, Industrial Technology (ICIT), 2017 IEEE International Conference on, Seiten 1205–1210, 2017. IEEE, Details BIB

2016

• Dezember 2016 embSFI: An Approach for Software Fault Isolation in Embedded Systems Andreas Ruhland , Christian Prehofer und Oliver Horst In Marcus Völp , Paulo Esteves-Verissimo , Antonio Casimiro und Rodolfo Pellizzoni , Editor, 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems, Seiten 6–11, Porto, Portugal, Dezember 2016. IEEE, Details URL BIB
• November 2016 Comparably Evaluating Communication Performance within Mixed-Criticality Systems Keegan Napier , Oliver Horst und Christian Prehofer In 4th International Workshop on Mixed Criticality Systems (WMC), Porto, Portugal, November 2016. Details URL BIB
• November 2016 Modeling and Simulating Apache Spark Streaming Applications Johannes Kroß und Helmut Krcmar Softwaretechnik-Trends, 36(4):, November 2016. Details URL BIB
• Oktober 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), Oktober 2016. CEUR. Details URL BIB
• Oktober 2016 Intuitive Instruction of Industrial Robots: Semantic Process Descriptions for Small Lot Production Alexander Perzylo , Nikhil Somani , Stefan Profanter , Ingmar Kessler , Markus Rickert und Alois Knoll In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Seiten 2293–2300, Daejeon, Republic of Korea, Oktober 2016. Details URL DOI BIB
• Oktober 2016 Sicherheitsaspekte von Industrie 4.0 Andreas Reidt , Markus Duchon und Helmut Krcmar In Tagungsband Smarte Fabrik & Smarte Arbeit – Industrie 4.0 gewinnt Kontur VPP2016 – Vernetzt planen und produzieren, Seiten 445-456, Oktober 2016. Technische Universität Chemnitz Institut für Betriebswissenschaften und Fabriksysteme, Müller, Bullinger-Hoffmann. Details BIB
• Oktober 2016 Task Level Robot Programming using Prioritized Non-Linear Inequality Constraints Nikhil Somani , Markus Rickert , Andre Gaschler , Caixia Cai , Alexander Perzylo und Alois Knoll In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Seiten 430–437, Daejeon, Republic of Korea, Oktober 2016. Details URL DOI BIB
• Oktober 2016 Usable Design Space Exploration in AutoFOCUS3 Johannes Eder und Sebastian Voss In Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016) co-located with MODELS 2016, Seiten 51–58, Oktober 2016. CEUR-WS. Details URL BIB
• September 2016 An Adaptive Nonlinear Model Predictive Controller for Longitudinal Motion of Automated Vehicles Martin Buechel und Alois Knoll In 2016 IEEE Conference on Control Applications (CCA), September 2016. IEEE. Details DOI BIB
• September 2016 Building Product-lines of Mixed-Criticality Systems Simon Barner , Alexander Diewald , Fernando Eizaguirre , Anatoly Vasilevskiy und Franck Chauvel In Proceedings of the Forum on Specification and Design Languages (FDL 2016), Bremen, Germany, September 2016. IEEE. Details DOI BIB
• September 2016 Interconnecting Product and Process Information to Enable Personalized Production Hendrik Walzel und Nadine Keddis Procedia CIRP, 52():186 - 191, September 2016. Details URL DOI BIB
• September 2016 Referenzarchitektur eines Ressourcen-Cockpits zur Unterstützung der Instandhaltung Andreas Reidt , Markus Duchon und Helmut Krcmar Seiten 221, September 2016. fortiss GmbH. Details DOI BIB
• August 2016 Experimental Evaluation of the Accuracy at the C-Arm Pose Estimation with X-Ray Images Sabine Thürauf , Florian Vogt , Oliver Hornung , Mario Körner , M. Ali Nasseri und Alois Knoll In Proceedings of the International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), Seiten 3859–3862, Orlando, FL, USA, August 2016. Details DOI BIB
• Juni 2016 A Realistic X-Ray Simulation for C-Arm Geometry Calibration Sabine Thürauf , Markus Wolf , Mario Körner , Florian Vogt , Oliver Hornung , M. Ali Nasseri und Alois Knoll In Proceedings of the IEEE International Conference on Biomedical Robotics and Biomechatronics (BioRob), Seiten 383–388, Singapore, Singapore, Juni 2016. Details DOI BIB