fortiss scientific publications

2014 Employing early model-based safety evaluation to iteratively derive E/E architecture design Vladimir Rupanov , Christian Buckl , Ludger Fiege , Michael Armbruster , Alois Knoll and Gernot Spiegelberg Elsevier - Science of Computer Programming, ():161-179, 2014. Details URL DOI BIB

2014 Estimating finger grip force from an image of the hand using Convolutional Neural Networks and Gaussian Processes N Chen , Sebastian Urban , C Osendorfer , Justin Bayer and Patrick van der Smagt In Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014. Details DOI BIB

2014 Evaluating the Prediction Accuracy of Generated Performance Models in Up- and Downscaling Scenarios Andreas Brunnert , Stefan Neubig and Helmut Krcmar In Proceedings of the Symposium on Software Performance (SOSP), pages 113-130, 2014. Details BIB

2014 Evolutionäre Algorithmen zur Performance-Modellierung von Unternehmensanwendungen Daniel Tertilt Dissertation, Technische Universität München, München, 2014. Details BIB

2014 Extending Knowledge-Level Contingent Planning to Robot Task Planning Ronald P. A. Petrick and Andre Gaschler In International Conference on Automated Planning and Scheduling Workshop on Planning and Robotics (PlanRob 2014), 2014. Details BIB

2014 Formal Technical Process Specification and Verification for Automated Production Systems Georg Hackenberg , Alarico Campetelli , Christoph Legat , Jakob Mund , Sabine Teufl and Birgit Vogel-Heuser In System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings, pages 287–303, 2014. Details DOI BIB

2014 Formal Verification of Optical Quantum Flip Gate Mohamed Yousri Mahmoud , Vincent Aravantinos and Sofiene Tahar In Interactive Theorem Proving (ITP), volume 8558 of Lecture Notes in Computer Science, pages 358–373, 2014. Springer. Details DOI BIB

2014 Guest Editorial: Special issue on industrial applications of distributed intelligent systems Thomas Strasser , Alois Zoitl and William A. Gruver Systems, Man, and Cybernetics: Systems, IEEE Transactions on, 44(3):261-262, 2014. Details DOI BIB

2014 Handling uncertain input in multi-user human-robot interaction Simon Keizer , Mary Ellen Foster , Andre Gaschler , Manuel Giuliani , Amy Isard and Oliver Lemon In Proceedings of the 23rd IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), 2014. Details BIB

2014 Image Super-Resolution with Fast Approximate Convolutional Sparse Coding C Osendorfer , H Soyer and Patrick van der Smagt In Neural Information Processing, volume 8836, 2014. Details DOI BIB

2014 Implicational Rewriting Tactics in HOL Vincent Aravantinos and Sofiene Tahar In Interactive Theorem Proving (ITP), volume 8558 of Lecture Notes in Computer Science, pages 45-60, 2014. Springer. Details URL DOI BIB

2014 Information Need in Cloud Service Procurement – An Exploratory Case Study Jan Wollersheim , Matthias Pfaff and Helmut Krcmar In E-Commerce and Web Technologies, volume 188, pages pp 26-33. Springer International Publishing, 2014. Details DOI BIB

2014 Interface definition and code generation in heterogeneous development environments from a single-source Dominik Bauch , David Lenz , Pascal Minnerup and Andrei Avram In In 44. Jahrestagung der Gesellschaft für Informatik, Informatik 2014, Big Data - Komplexität meistern, 2014. Details BIB

2014 Learning Weighted Joint-based Features for Action Recognition Using Depth Camera Guang Chen , Feihu Zhang , Daniel Clarke , Christian Buckl and Alois Knoll In The 9th International Conference on Computer Vision Theory and Applications(VISAPP), 2014. Details BIB

2014 Mehrstufiges Planungskonzept für pilotierte Parkhausfunktionen David Lenz , Pascal Minnerup , Chao Chen and Erwin Roth In 30. VDI/VW-Gemeinschaftstagung "Fahrerassistenz und Integrierte Sicherheit 2014, 2014. Details BIB

2014 Model-free robot anomaly detection R Hornung , Holger Urbanek , J Klodmann , C Osendorfer and Patrick van der Smagt In Proc. IEEE/RSJ International Conference on Robotics and Systems (IROS), 2014. Details DOI BIB

2014 Modelling Control Systems Using IEC 61499 Alois Zoitl and Robert W Lewis volume . IET, , edition, 2014. Details BIB

2014 MRI-based skeletal hand movement model G Stillfried , U. Hillenbrand , M Settles and Patrick van der Smagt In The Human Hand as an Inspiration for Robot Hand Development, volume 95 of Springer Tracts in Advanced Robotics, pages 49–75. Springer, 2014. Details DOI BIB

2014 Multi-Modal Path Planning for Solving Abstract Robot Tasks Sören Jentzsch Technische Universität München, Germany, 2014. Details BIB

2014 Multiple Vehicle Cooperative Localization with Spatial Registration Based on a Probability Hypothesis Density Filter Feihu Zhang , Christian Buckl and Alois Knoll Sensors, 14(1):995–1009, 2014. Details URL DOI BIB

Publications with research results

Scientific publications

2014