Publications

Export list as BibTeX file

2017

  • Chao Chen, Markus Rickert and Alois Knoll. Motion Planning under Perception and Control Uncertainties with Space Exploration Guided Heuristic Search. In Proceedings of the IEEE Intelligent Vehicles Symposium, Redondo Beach, CA, USA, June 2017. Details BibTeX
  • Nikhil Somani, Markus Rickert and Alois Knoll. An Exact Solver for Geometric Constraints with Inequalities. IEEE Robotics and Automation Letters, 2(2):1148–1155, April 2017. Details DOI BibTeX

2016

  • Andreas Ruhland, Christian Prehofer and Oliver Horst. embSFI: An Approach for Software Fault Isolation in Embedded Systems. In Marcus Völp, Paulo Esteves-Verissimo, Antonio Casimiro and Rodolfo Pellizzoni, editor, 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems, pages 6–11, Porto, Portugal, December 2016. IEEE, Details BibTeX
  • Keegan Napier, Oliver Horst and Christian Prehofer. Comparably Evaluating Communication Performance within Mixed-Criticality Systems. In 4th International Workshop on Mixed Criticality Systems (WMC), Porto, Portugal, November 2016. Details BibTeX
  • Johannes Kroß and Helmut Krcmar. Modeling and Simulating Apache Spark Streaming Applications. Softwaretechnik-Trends, 36(4):, November 2016. Details BibTeX
  • 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), pages 2293–2300, Daejeon, Republic of Korea, October 2016. Details DOI 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), pages 430–437, Daejeon, Republic of Korea, October 2016. Details DOI 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 DOI 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
  • Christian Prehofer, Oliver Horst, Riccardo Dodi, Arjan Geven, George Kornaros, Eleonora Montanari and Michele Paolino. Towards Trusted Apps platforms for open CPS. In 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC), pages 23–28, April 2016. Details DOI 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
  • Lacramioara Astefanoaei, Marius Bozga, Saddek Bensalem, Chih-Hong Cheng and Harald Rueß. Compositional Parameter Synthesis. In FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pages 60–68, 2016. Details DOI BibTeX