Liste als BibTeX-Datei exportieren

2017

• September 2017 EARS-CTRL: Building and Verifying Controllers for Dummies Levi Lúcio, Salman Rahman, Saad bin Abid und Alistair Mavin In Tools and Demo Session track at MoDELS 2017, Seiten 1–6, Details URL BIB
• September 2017 ExplicitCase: Integrated Model-based Development of System and Safety Cases Carmen Cârlan, Simon Barner, Alexander Diewald, Alexandros Tsalidis und Sebastian Voss In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Band 10489 von LNCS, Seiten 52 – 63, Springer. Details DOI BIB
• September 2017 Expressive Symbolic-Execution Contract Proving for the DSLTrans Transformation Language Bentley James Oakes, Levi Lúcio, Cláudio Gomes und Hans Vangheluwe 2017-01, Details URL BIB
• September 2017 GSN Support of Mixed-Criticality Systems Certification Carlos-Fernando Nicolas, Fernando Eizaguirre, Asier Larrucea Ortube, Simon Barner, Franck Chauvel, Goiuria Sagardui und Jon Pérez In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Seiten 157–172, Springer. Details DOI BIB
• September 2017 Model-based Performance Evaluation of Batch and Stream Applications for Big Data Johannes Kroß und Helmut Krcmar In 2017 IEEE 25th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), Seiten 80-86, IEEE. Details URL DOI BIB
• September 2017 OPC UA for Plug & Produce: Automatic Device Discovery using LDS-ME Stefan Profanter, Kirill Dorofeev, Alois Zoitl und Alois Knoll In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Limassol, Cyprus, Details BIB
• September 2017 Process-Aware Model-Driven Development Environments Levi Lúcio, Saad bin Abid, Salman Rahman, Vincent Aravantinos, Eduard Harwardt und Ralf Kuestner In MODELS Workshops, Seiten 405–411, Details URL BIB
• August 2017 How to Teach Your Robot in 5 Minutes: Applying UX Paradigms to Human-Robot-Interaction Martin Kraft und Markus Rickert In Proceedings of the IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), Lisbon, Portugal, Details DOI BIB
• Juli 2017 Automatically Classifying User Engagement for Dynamic Multi-party Human–Robot Interaction Mary Ellen Foster, Andre Gaschler und Manuel Giuliani International Journal of Social Robotics, ():1–16, Juli 2017. Details DOI BIB
• Juli 2017 Environment Effects at Phantom-Based X-Ray Pose Measurements Sabine Thürauf, Mario Körner, Florian Vogt, Oliver Hornung, M. Ali Nasseri und Alois Knoll In Proceedings of the International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), Seiten 1836–1839, Seogwipo, South Korea, Details DOI BIB