Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2014
- Component-Based Modeling and Integration of Automotive Application Architectures In Proceedings of the IEEE International Electric Vehicle Conference 2014 IEVC, 2014. Details BIB
- Continuous Control of the DLR Light-weight Robot III by a human with tetraplegia using the BrainGate2 Neural Interface System In Springer Tracts in Experimental Robotics, . Springer, 2014. Details BIB
- Design Space Exploration in AutoFOCUS3 - An Overview In Vladimír Mařík , JoseL. Martinez Lastra und Petr Skobelev , Editor, IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems, 2014. Springer, Details BIB
- Detecting Performance Change in Enterprise Application Versions Using Resource Profiles In Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, Seiten 165 - 172, ICST, Brussels, Belgium, Belgium, 2014. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering). Details URL DOI BIB
- Employing early model-based safety evaluation to iteratively derive E/E architecture design Elsevier - Science of Computer Programming, ():161-179, 2014. Details URL DOI BIB
- Estimating finger grip force from an image of the hand using Convolutional Neural Networks and Gaussian Processes In Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014. Details DOI BIB
- Evaluating the Prediction Accuracy of Generated Performance Models in Up- and Downscaling Scenarios In Proceedings of the Symposium on Software Performance (SOSP), Seiten 113-130, 2014. Details BIB
- Evolutionäre Algorithmen zur Performance-Modellierung von Unternehmensanwendungen Dissertation, Technische Universität München, München, 2014. Details BIB
- Extending Knowledge-Level Contingent Planning to Robot Task Planning In International Conference on Automated Planning and Scheduling Workshop on Planning and Robotics (PlanRob 2014), 2014. Details BIB
- Formal Technical Process Specification and Verification for Automated Production Systems In System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings, Seiten 287–303, 2014. Details DOI BIB
- Formal Verification of Optical Quantum Flip Gate In Interactive Theorem Proving (ITP), Band 8558 von Lecture Notes in Computer Science, Seiten 358–373, 2014. Springer. Details DOI BIB
- Guest Editorial: Special issue on industrial applications of distributed intelligent systems Systems, Man, and Cybernetics: Systems, IEEE Transactions on, 44(3):261-262, 2014. Details DOI BIB
- Handling uncertain input in multi-user human-robot interaction In Proceedings of the 23rd IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), 2014. Details BIB
- Image Super-Resolution with Fast Approximate Convolutional Sparse Coding In Neural Information Processing, Band 8836, 2014. Details DOI BIB
- Implicational Rewriting Tactics in HOL In Interactive Theorem Proving (ITP), Band 8558 von Lecture Notes in Computer Science, Seiten 45-60, 2014. Springer. Details URL DOI BIB
- Information Need in Cloud Service Procurement – An Exploratory Case Study In E-Commerce and Web Technologies, Band 188, Seiten pp 26-33. Springer International Publishing, 2014. Details DOI BIB
- Interface definition and code generation in heterogeneous development environments from a single-source In In 44. Jahrestagung der Gesellschaft für Informatik, Informatik 2014, Big Data - Komplexität meistern, 2014. Details BIB
- Learning Weighted Joint-based Features for Action Recognition Using Depth Camera In The 9th International Conference on Computer Vision Theory and Applications(VISAPP), 2014. Details BIB
- Mehrstufiges Planungskonzept für pilotierte Parkhausfunktionen In 30. VDI/VW-Gemeinschaftstagung "Fahrerassistenz und Integrierte Sicherheit 2014, 2014. Details BIB
- Model-free robot anomaly detection In Proc. IEEE/RSJ International Conference on Robotics and Systems (IROS), 2014. Details DOI BIB