fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

Veröffentlichungen, Zeitschriftenaufsätze und Broschüren mit Ergebnissen aus dem Institut

Wissenschaftliche Publikationen

Liste als BibTeX-Datei exportieren

2019

  • September 2019 Plug and Produce for Industry 4.0 using Software-defined Networking and OPC UA Basavaraj Madiwalar, Ben Schneider und 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 und Hans Vangheluwe In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Seiten 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 und 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 und 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 und 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 und 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 und 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 und Silvia Tolu Frontiers in Neurorobotics, 13():, August 2019. Details URL PDF DOI BIB
  • Juli 2019 BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko und Roland Meyer In Computer Aided Verification (CAV) 2019., Band 11561 von LNCS, Springer, Cham. Details DOI BIB
  • Juli 2019 Adoption of Software Platforms: Reviewing Influencing Factors and Outlining Future Research Martin Engert, Matthias Pfaff und Helmut Krcmar In Twenty-Third Pacific Asia Conference on Information Systems: PACIS 2019. Xi'An, China., Details URL BIB