Export list as BibTeX file

2017

• September 2017 Robotics Library: An Object-Oriented Approach to Robot Applications Markus Rickert and Andre Gaschler In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Vancouver, BC, Canada, Details URL DOI BIB
• September 2017 DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems Simon Barner, Alexander Diewald, Jörn Migge, Ali Abbas Jaffari Syed, Gerhard Fohler, Madeleine Faugère and Daniel Gracia Pérez In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS '17), pages 259–269, IEEE. Details DOI BIB
• 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 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 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
• May 2017 Just Formal Enough? Automated Analysis of EARS Requirements Levi Lúcio, Salman Rahman, Chih-Hong Cheng and Alistair Mavin In NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, pages 427–434, Details URL DOI BIB
• January 2017 Connecting Artificial Brains to Robots in a Comprehensive Simulation Framework: The Neurorobotics Platform Egidio Falotico, Lorenzo Vannucci, Alessandro Ambrosano, Ugo Albanese, Stefan Ulbrich, Juan Camilo Vasquez Tieck, Georg Hinkel, Murat Kirtay, Igor Peric, Oliver Denninger, Nino Cauli, Arne Roennau, Gudrun Klinker, Axel von Arnim, Luc Guyot, Daniel Peppicelli, Pablo Martinez-Canada, Eduardo Ros, Patrick Maier, Sandro Weber, Manuel Huber, David Plecher, Florian Röhrbein, Stefan Deser, Alina Roitberg, Patrick van der Smagt, Rüdiger Dillmann, Paul Levi, Cecilia Laschi, Alois Knoll and Marc-Oliver Gewaltig Frontiers in Neurorobotics, 11():, January 2017. Details URL PDF DOI BIB
• 2017 Evaluating Software-defined Networking for Deterministic Communication in Distributed Industrial Automation Systems Ben Schneider, Alois Zoitl, Monika Wenger and Jan Olaf Blech In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Details URL PDF 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

2016

• 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