Scientific publications

Export list as BibTeX file

2019

• March 2019 Body Randomization Reduces the Sim-to-Real Gap for Compliant Quadruped Locomotion Alexander Vandersompele , Gabriel Urbain , Hossain Mahmud , Francis Wyffels and Joni Dambre Frontiers in Neurorobotics, 13():, March 2019. Details URL PDF DOI BIB
• March 2019 Künstliche Intelligenz Out-of-the-Box – aber was steckt in der Box? Dian Balta , Helmut Krcmar and Peter Kuhn Vortrag, March 2019. Details URL BIB
• March 2019 Runtime Monitoring Neuron Activation Patterns Chih-Hong Cheng , Georg Nührenberg and Hirotoshi Yasuoka In Design, Automation & Test in Europe Conference & Exhibition, pages 300–303, Florence, Italy, March 2019. Details URL DOI BIB
• March 2019 The Collaborative Virtual Reality Neurorobotics Lab Tim Weissker , Emmanouil Angelidis , Alexander Kulik , Stephan Beck , Andre Kunert , Anton Frolov , Sandro Weber , Adrian Kreskowski and Bernd Froehlich In Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces (VR), pages 1671–1674, Osaka, Japan, March 2019. IEEE. Details URL PDF DOI BIB
• February 2019 Wissensbasierte digitale Unterstützung in der Pflanzenbauberatung Anahita Nafissi , Fabian Weckesser , Ingmar Kessler , Markus Rickert , Matthias Pfaff , Sebastian Peisl and Michael Beck In Andreas Meyer-Aurich , Markus Gandorfer , Norbert Barta , Andreas Gronauer , Jochen Kantelhardt and Helga Floto , editor, Referate der 39. GIL-Jahrestagung in Wien: Informatik in der Land-, Forst- und Ernährungswirtschaft Fokus: Digitalisierung für landwirtschaftliche Betriebe in kleinstrukturierten Regionen – ein Widerspruch in sich?, volume 287 of Lecture Notes in Informatics, pages 145–150. Gesellschaft für Informatik, Bonn, Germany, February 2019. Details URL BIB
• February 2019 Digitalgestützte Bürgerbeteiligung & KI Dian Balta , Helmut Krcmar , Peter Kuhn , Daniel Kulus and Mahdi Sellami PLANERIN, 2019(1):19–22, February 2019. Details URL BIB
• February 2019 OPC UA versus ROS, DDS, and MQTT: Performance Evaluation of Industry 4.0 Protocols Stefan Profanter , Ayhun Tekat , Kirill Dorofeev , Markus Rickert and Alois Knoll In Proceedings of the IEEE International Conference on Industrial Technology (ICIT), Melbourne, Australia, February 2019. Details DOI BIB
• January 2019 Structure and behavior preserving statecharts refinements Eugene Syriani , Vasco Sousa and Levi Lúcio Science of Computer Programming, 170():49–79, January 2019. Details DOI BIB
• 2019 A general proof certification framework for modal logic Tomer Libal and Marco Volpe Mathematical Structures in Computer Science, 29(8):1344–1378, 2019. Details DOI BIB
• 2019 A Hybrid Approach of Solar Power Forecasting Using Machine Learning Arpit Bajpai and Markus Duchon pages 108-113, 2019. Details DOI BIB
• 2019 A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols Musab A. Alturki , Tajana Ban Kirigin , Max Kanovich , Vivek Nigam , Andre Scedrov and Carolyn Talcott In Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, volume 11565 of Lecture Notes in Computer Science, pages 192–213, 2019. Springer. Details BIB
• 2019 A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols Musab A. Alturki , Tajana Ban Kirigin , Max Kanovich , Vivek Nigam , Andre Scedrov and Carolyn Talcott pages 192–213, 2019. Details DOI BIB
• 2019 A Perspective On Digital Wellbeing Matthias Schmidmaier In the he ACM Conference on Human Factors in Computing System, Workshop on Designing for Digital Wellbeing, . 2019. Details BIB
• 2019 An OPC UA based Energy Management Platform for Multi-Energy Prosumers in Districts Denis Bytschkow , Alexandre Capone , Jan Mayer , Michael Kramer and Thomas Licklederer , 2019. Details BIB
• 2019 Benefits and Challenges of Smart Highways for the User Gesa Wiegand In IUI Workshops, 2019. Details BIB
• 2019 BLE Injection-Free Attack: A Novel Attack On Bluetooth LowEnergy Devices Aellison Cassimiro T. dos Santos , José L. Soares Filho , {{$1A}}villa {{$1I}}. S. Silva , Vivek Nigam and Iguatemi Fonseca Journal of Ambient Intelligence and Humanized Computing, ():, 2019. Details BIB
• 2019 Cooperative Multi-Vehicle Behavior Coordination for Autonomous Driving Tobias Kessler and Alois Knoll IEEE Intelligent Vehicles Symposium (IV), ():, 2019. Details BIB
• 2019 Design and Runtime Verification Side-by-Side in eTrice Sudeep Kanav , Levi Lúcio , Christian Hilden and Thomas Schuetz In Proceedings of the NASA Formal Methods Symposium, volume 11460 of LNCS, pages 255–262, 2019. Springer. Details DOI BIB
• 2019 Effective Management of Standardizing in E-Government Dian Balta IGI Global, Hershey, PA, USA, 1 edition, 2019. Details URL DOI BIB
• 2019 ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models Vivek Nigam , Alexandros Tsalidis , Sebastian Voss and Carmen Cârlan In 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. Details DOI BIB