Publications

Export list as BibTeX file

2018

  • Markus Rickert, Andre Gaschler and Alois Knoll. Applications in HHI: Physical Cooperation. In Ambarish Goswami and Prahlad Vadakkepat, editor, . Springer, June 2018. Details DOI BibTeX
  • Sabine Thürauf, Oliver Hornung, Mario Körner, Florian Vogt, Alois Knoll and M. Ali Nasseri. Model-Based Calibration of a Robotic C-Arm System Using X-Ray Imaging. Journal of Medical Robotics Research, ():, April 2018. Details DOI BibTeX
  • Alexander Diewald, Simon Barner and Sebastian Voss. Architecture Exploration for Safety-Critical Systems. In Proceedings of the DATE Workshop on New Platforms for Future Cars: Current and Emerging Trends (NPCAR), March 2018. Details BibTeX
  • Harald Rueß and Helmut Krcmar. Künstliche Intelligenz – Chancen für Wirtschaft und Gesellschaft in Bayern. , ():, March 2018. Details PDF BibTeX
  • Chih-Hong Cheng, Frederik Diehl, Gereon Michael Hinz, Yassine Hamza, Georg Nührenberg, Markus Rickert, Harald Rueß and Michael Truong-Le. Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives. In Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), pages 1005–1006, Dresden, Germany, March 2018. Details DOI BibTeX
  • Caren Dripke, Ben Schneider, Mihai Dragan and Alexander Verl. Concept of Distributed Interpolation for Skill-Based Manufacturing with Real-Time Communication. In Fachkolloqium der Wissesschaftliche Gesellschaft Montage Handhabung Industrierobotik, February 2018. Details BibTeX
  • Ben Schneider, Monika Wenger, Alois Zoitl and Sebastian Voss. Using IEC 61499 Models for Automatic Network Configuration of Distributed Automation Systems. In 9th Vienna International Conference on Mathmatical Modelling (MATHMOD2018), February 2018. Details BibTeX
  • Andre Gaschler, Ronald P. A. Petrick, Oussama Khatib and Alois Knoll. KABouM: Knowledge-Level Action and Bounding Geometry Motion Planner. Journal of Artificial Intelligence Research, 61():323–362, February 2018. Details DOI BibTeX
  • Rainer Diesch, Matthias Pfaff and Helmut Krcmar. Prerequisite to Measure Information Security - A State of the Art Literature Review. In Proceedings of the 4th International Conference on Information Systems Security and Privacy (ICISSP), January 2018. INSTICC, SciTePress. Details DOI BibTeX
  • Andreas Reidt, Helmut Krcmar and Stefan Schuhbäck. Comprehensive View on Architectural Requirements for Maintenance Information Systems, volume , pages 249-257, , edition, 2018. , . Details BibTeX
  • Hernán Ponce de León, Lucio Nardelli, Carmona Josep and Seppe K. L. M. vanden Broucke. Incorporating negative information to process discovery of complex systems. Inf. Sci., 422():480–496, 2018. Details DOI BibTeX
  • Marcilio Lemos, Yuri Gil Dantas, Iguatemi Fonseca and Vivek Nigam. On the accuracy of formal verification of selective defenses for TDoS attacks. J. Log. Algebr. Meth. Program., 94():45–67, 2018. Details DOI BibTeX

2017

  • Matthias Pfaff, Stefan Neubig and Helmut Krcmar. Ontology for Semantic Data Integration in the Domain of IT Benchmarking. Journal on Data Semantics, ():, November 2017. Details PDF DOI BibTeX
  • Kirill Dorofeev, Chih-Hong Cheng, Magno Guedes, Pedro Ferreira, Stefan Profanter and Alois Zoitl. Device Adapter Concept towards Enabling Plug&Produce Production Environments. In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), September 2017. Details BibTeX
  • Simon Barner, Alexander Diewald, Jörn Migge, Ali Syed, Gerhard Fohler, Madeleine Faugère and Daniel Gracia Pérez. DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems. In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS '17), pages 259–269, September 2017. IEEE. Details DOI BibTeX
  • Carmen Carlan, Simon Barner, Alexander Diewald, Alexandros Tsalidis and Sebastian Voss. ExplicitCase: Integrated Model-based Development of System and Safety Cases. In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, pages 52 – 63, September 2017. Springer. Details DOI BibTeX
  • Carlos-Fernando Nicolas, Fernando Eizaguirre, Asier Larrucea, Simon Barner, Franck Chauvel, Goiuria Sagardui and Jon Pérez. GSN Support of Mixed-Criticality Systems Certification. In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, pages 157–172, September 2017. Springer. Details DOI BibTeX
  • Johannes Kroß and Helmut Krcmar. Model-based Performance Evaluation of Batch and Stream Applications for Big Data. In 2017 IEEE 25th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), pages 80-86, September 2017. IEEE. Details DOI BibTeX
  • Stefan Profanter, Kirill Dorofeev, Alois Zoitl and Alois Knoll. OPC UA for Plug & Produce: Automatic Device Discovery using LDS-ME. In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Limassol, Cyprus, September 2017. Details BibTeX
  • Markus Rickert and Andre Gaschler. Robotics Library: An Object-Oriented Approach to Robot Applications. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Vancouver, BC, Canada, September 2017. Details DOI BibTeX