Publications

Export list as BibTeX file

2016

  • Alexander Perzylo, Nikhil Somani, Stefan Profanter, Ingmar Kessler, Markus Rickert and Alois Knoll. Intuitive Instruction of Industrial Robots: Semantic Process Descriptions for Small Lot Production. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Daejeon, Republic of Korea, October 2016. Details BibTeX
  • Andreas Reidt, Markus Duchon and Helmut Krcmar. Sicherheitsaspekte von Industrie 4.0. In Tagungsband Smarte Fabrik & Smarte Arbeit – Industrie 4.0 gewinnt Kontur VPP2016 – Vernetzt planen und produzieren, pages 445-456, October 2016. Technische Universität Chemnitz Institut für Betriebswissenschaften und Fabriksysteme, Müller, Bullinger-Hoffmann. Details BibTeX
  • Nikhil Somani, Markus Rickert, Andre Gaschler, Caixia Cai, Alexander Perzylo and Alois Knoll. Task level robot programming using prioritized non-linear inequality constraints. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Daejeon, Republic of Korea, October 2016. Details BibTeX
  • Simon Barner, Alexander Diewald, Fernando Eizaguirre, Anatoly Vasilevskiy and Franck Chauvel. Building Product-lines of Mixed-Criticality Systems. In Proceedings of the Forum on Specification and Design Languages (FDL 2016), Bremen, Germany, September 2016. IEEE. Details BibTeX
  • Andreas Reidt, Markus Duchon and Helmut Krcmar. Referenzarchitektur eines Ressourcen-Cockpits zur Unterstützung der Instandhaltung, volume , pages 221, München, 1 edition, September 2016. , fortiss GmbH. Details DOI BibTeX
  • Chao Chen, Markus Rickert and Alois Knoll. Combining Task and Motion Planning for Intersection Assistance Systems. In Proceedings of the IEEE Intelligent Vehicles Symposium, pages 1242–1247, Gothenburg, Sweden, June 2016. Details DOI BibTeX
  • Mathias Haage, Stefan Profanter, Ingmar Kessler, Alexander Perzylo, Nikhil Somani, Olof Sörnmo, Martin Karlsson, Sven Gestegård Robertz, Klas Nilsson, Ludovic Resch and Michael Marti. On Cognitive Robot Woodworking in SMErobotics. In Proceedings of the International Symposium on Robotics (ISR), Munich, Germany, June 2016. Details BibTeX
  • Markus Rickert and Alexander Perzylo. Industrieroboter für KMU: Flexible und intuitive Prozessbeschreibung. Industrie Management, 32(2):46–49, April 2016. Details BibTeX
  • Andreas Bayha, Levi Lúcio, Vincent Aravantinos, Kenji Miyamoto and Georgeta Igna. Factory Product Lines: Tackling the Compatibility Problem. In Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, January 2016. ACM. Details BibTeX
  • Lacramioara Astefanoaei, Saddek Bensalem and Marius Bozga. A Compositional Approach to the Verification of Hybrid Systems. In Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pages 88–103, 2016. Details DOI BibTeX
  • Wiebke Koepp, Patrick van der Smagt and Sebastian Urban. A Differentiable Transition Between Additive and Multiplicative Neurons. In International Conference on Learning Representations (ICLR), 2016. Details BibTeX
  • Alexander Diewald, Sebastian Voss and Simon Barner. A Lightweight Design Space Exploration and Optimization Language. In Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES '16), pages 190–193, New York, NY, USA, 2016. ACM. Details DOI BibTeX
  • Martin Hofmann, Christian Neukirchen and Harald Rueß. Certification for u-Calculus with Winning Strategies. In Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pages 111–128, 2016. Details DOI BibTeX
  • Maximilian Karl, Maximilian Sölch, Justin Bayer and Patrick van der Smagt. Deep Variational Bayes Filters: Unsupervised Learning of State Space Models from Raw Data. arxiv, ():, 2016. Details BibTeX
  • Andreas Reidt and Helmut Krcmar. Entwicklung und Implementierung eines Softwareprototyps zur Informationsunterstützung und Qualitätsbewertung. In Cloud-Services aus der Geschäftsperspektive, pages 143-157, 2016. Springer Fachmedien Wiesbaden. Details DOI BibTeX
  • Agneta Gustus and Patrick van der Smagt. Evaluation of joint type modelling in the human hand. Journal of Biomechanics, ():, 2016. Details DOI BibTeX
  • Zaur Molotnikov, Konstantin Schorp, Vincent Aravantinos and Bernhard Schätz. FAT-SCHRIFTENREIHE 287 - Future Programming Paradigms in the Automotive Industry. 2016. Details BibTeX
  • Chao Chen. Motion Planning for Nonholonomic Vehicles with Space Exploration Guided Heuristic Search. Technische Universität München, 2016. Details BibTeX
  • Jan Wollersheim, Patrick Hoberg, Andreas Reidt and Helmut Krcmar. Motivation, Bausteine und Vorgehensweise. In Cloud-Services aus der Geschäftsperspektive, pages 3-14, 2016. Springer Fachmedien Wiesbaden. Details DOI BibTeX
  • Felix Willnecker and Helmut Krcmar. Optimization of Deployment Topologies for Distributed Enterprise Applications. In 2016 12th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA , pages 106-115, 2016. Details DOI BibTeX