Export list as BibTeX file

2019

• September 2019 Plug and Produce for Industry 4.0 using Software-defined Networking and OPC UA Basavaraj Madiwalar, Ben Schneider and Stefan Profanter In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Zaragoza, Spain, Details URL PDF BIB
• September 2019 Semantics of Co-simulation Algorithms with Simulator Contracts Cláudio Gomes, Levi Lúcio and Hans Vangheluwe In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pages 784–798, IEEE. Details DOI BIB
• September 2019 Skill-based Engineering and Control on Field-Device-Level with OPC UA Patrick Zimmermann, Etienne Axmann, Benjamin Brandenbourger, Kirill Dorofeev, André Mankowski and Paulo Zanini In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Details BIB
• September 2019 SMT-Based Deployment Calculation in Industrial Automation Domain Tarik Terzimehić, Monika Wenger, Sebastian Voss, Sten Grüner and Haitham Elfham In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), IEEE. Details DOI BIB
• September 2019 Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report Tomas Bures, Danny Weyns, Bradley Schmerl, John Fitzgerald, Adina Aniculaesei, Christian Berger, Joao Cambeiro, Jan Carlson, Shafiul Azam Chowdhury, Marian Daun, Nianyu Li, Matthias Markthaler, Claudio Menghi, Birgit Penzenstadler, Aedan Pettit, Robert Pettit, Luca Sabatucci, Christos Tranoris, Hans Vangheluwe, Sebastian Voss and Edith Zavala SIGSOFT Softw. Eng. Notes, 44(4):11–13, September 2019. Details DOI BIB
• September 2019 The Neurorobotics Platform for Teaching – Embodiment Experiments with Spiking Neural Networks and Virtual Robots Juan Camilo Vasquez Tieck, Jacques Kaiser, Lea Steffen, Martin Schulze, Axel von Arnim, Daniel Reichard, Arne Roennau and Rüdiger Dillmann In 2019 IEEE International Conference on Cyborg and Bionic Systems (CBS), IEEE. Details URL DOI BIB
• August 2019 A Biomimetic Control Method Increases the Adaptability of a Humanoid Robot Acting in a Dynamic Environment Marie-Claire Capolei, Emmanouil Angelidis, Egidio Falotico, Henrik Hautop Lund and Silvia Tolu Frontiers in Neurorobotics, ():, August 2019. Details URL DOI BIB
• August 2019 A Biomimetic Control Method Increases the Adaptability of a Humanoid Robot Acting in a Dynamic Environment Marie-Claire Capolei, Emmanouil Angelidis, Egidio Falotico, Henrik Hautop Lund and Silvia Tolu Frontiers in Neurorobotics, 13():, August 2019. Details URL PDF DOI BIB
• July 2019 BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko and Roland Meyer In Computer Aided Verification (CAV) 2019., volume 11561 of LNCS, Springer, Cham. Details DOI BIB
• July 2019 Adoption of Software Platforms: Reviewing Influencing Factors and Outlining Future Research Martin Engert, Matthias Pfaff and Helmut Krcmar In Twenty-Third Pacific Asia Conference on Information Systems: PACIS 2019. Xi'An, China., Details URL BIB