Export list as BibTeX file

2017

• September 2017 EARS-CTRL: Building and Verifying Controllers for Dummies Levi Lúcio, Salman Rahman, Saad bin Abid and Alistair Mavin In Tools and Demo Session track at MoDELS 2017, pages 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 and Sebastian Voss In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, volume 10489 of LNCS, pages 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 and 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 and Jon Pérez In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, pages 157–172, Springer. Details DOI BIB
• September 2017 Model-based Performance Evaluation of Batch and Stream Applications for Big Data Johannes Kroß and Helmut Krcmar In 2017 IEEE 25th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), pages 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 and 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 and Ralf Kuestner In MODELS Workshops, pages 405–411, Details URL BIB
• August 2017 How to Teach Your Robot in 5 Minutes: Applying UX Paradigms to Human-Robot-Interaction Martin Kraft and Markus Rickert In Proceedings of the IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), Lisbon, Portugal, Details DOI BIB
• July 2017 Automatically Classifying User Engagement for Dynamic Multi-party Human–Robot Interaction Mary Ellen Foster, Andre Gaschler and Manuel Giuliani International Journal of Social Robotics, ():1–16, July 2017. Details DOI BIB
• July 2017 Environment Effects at Phantom-Based X-Ray Pose Measurements Sabine Thürauf, Mario Körner, Florian Vogt, Oliver Hornung, M. Ali Nasseri and Alois Knoll In Proceedings of the International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), pages 1836–1839, Seogwipo, South Korea, Details DOI BIB