Veröffentlichungen

Liste als BibTeX-Datei exportieren

2017

  • Chao Chen, Markus Rickert und 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, Juni 2017. Details BibTeX
  • Nikhil Somani, Markus Rickert und 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 und Oliver Horst. embSFI: An Approach for Software Fault Isolation in Embedded Systems. In Marcus Völp, Paulo Esteves-Verissimo, Antonio Casimiro und Rodolfo Pellizzoni, Editor, 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems, Seiten 6–11, Porto, Portugal, Dezember 2016. IEEE, Details BibTeX
  • Keegan Napier, Oliver Horst und 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ß und 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 und 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), Seiten 2293–2300, Daejeon, Republic of Korea, Oktober 2016. Details DOI BibTeX
  • Andreas Reidt, Markus Duchon und Helmut Krcmar. Sicherheitsaspekte von Industrie 4.0. In Tagungsband Smarte Fabrik & Smarte Arbeit – Industrie 4.0 gewinnt Kontur VPP2016 – Vernetzt planen und produzieren, Seiten 445-456, Oktober 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 und 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), Seiten 430–437, Daejeon, Republic of Korea, Oktober 2016. Details DOI BibTeX
  • Simon Barner, Alexander Diewald, Fernando Eizaguirre, Anatoly Vasilevskiy und 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 und Helmut Krcmar. Referenzarchitektur eines Ressourcen-Cockpits zur Unterstützung der Instandhaltung, Band , Seiten 221, München, 1 Ausgabe, September 2016. , fortiss GmbH. Details DOI BibTeX
  • Chao Chen, Markus Rickert und Alois Knoll. Combining Task and Motion Planning for Intersection Assistance Systems. In Proceedings of the IEEE Intelligent Vehicles Symposium, Seiten 1242–1247, Gothenburg, Sweden, Juni 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 und Michael Marti. On Cognitive Robot Woodworking in SMErobotics. In Proceedings of the International Symposium on Robotics (ISR), Munich, Germany, Juni 2016. Details BibTeX
  • Christian Prehofer, Oliver Horst, Riccardo Dodi, Arjan Geven, George Kornaros, Eleonora Montanari und 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), Seiten 23–28, April 2016. Details DOI BibTeX
  • Markus Rickert und 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 und Georgeta Igna. Factory Product Lines: Tackling the Compatibility Problem. In Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Januar 2016. ACM. Details BibTeX
  • Lacramioara Astefanoaei, Saddek Bensalem und 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, Seiten 88–103, 2016. Details DOI BibTeX
  • Wiebke Koepp, Patrick van der Smagt und Sebastian Urban. A Differentiable Transition Between Additive and Multiplicative Neurons. In International Conference on Learning Representations (ICLR), 2016. Details BibTeX
  • Alexander Diewald, Sebastian Voss und 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), Seiten 190–193, New York, NY, USA, 2016. ACM. Details DOI BibTeX
  • Martin Hofmann, Christian Neukirchen und 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, Seiten 111–128, 2016. Details DOI BibTeX
  • Lacramioara Astefanoaei, Marius Bozga, Saddek Bensalem, Chih-Hong Cheng und Harald Rueß. Compositional Parameter Synthesis. In FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, Seiten 60–68, 2016. Details DOI BibTeX