Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2013
- On Behavioral Types for OSGi: From Theory to Implementation CoRR, abs/1306.6115():, 2013. Details URL BIB
- Pattern-Based Methods for Model-Based Safety-Critical Software Architecture Design: A PhD Thesis Proposal In Software Engineering (Workshops), Seiten 493–499, 2013. Details URL BIB
- Performance-Modellierung und Simulation eines SAP-Netweaver-Portal-Systems Dissertation, Technische Universität München, München, 2013. Details BIB
- PROCUREMENT OF CLOUD SERVICES: SEVEN PRINCIPLES TO SUCCESS 2013. Details BIB
- Production Plan-Driven Flexible Assembly Automation Architecture In Vladimír Mařík , JoseL. Martinez Lastra und Petr Skobelev , Editor, Industrial Applications of Holonic and Multi-Agent Systems, Band 8062 von Lecture Notes in Computer Science, Seiten 49-58. Springer Berlin Heidelberg, 2013. Details DOI BIB
- Providing security to a smart grid prosumer system based on a service oriented architecture in an office environment In Innovative Smart Grid Technologies (ISGT), 2013 IEEE PES, Seiten 1–7, 2013. IEEE, Details BIB
- Providing security to a smart grid prosumer system based on a service-oriented architecture in an office environment In IEEE PES Innovative Smart Grid Technologies Conference, ISGT, 2013. Details BIB
- Purchasing processes for cloud services - An exploratory study of process influencing factors 2013. Details BIB
- Relation between object properties and EMG during reaching to grasp Journal of Electromyography and Kinesiology, 23(2):402–410, 2013. Details DOI BIB
- Robot Task and Motion Planning with Sets of Convex Polyhedra In Robotics: Science and Systems (RSS) Workshop on Combined Robot Motion Planning and AI Planning for Practical Applications, 2013. Details BIB
- Robot Task Planning with Contingencies for Run-time Sensing In Proceedings of the Workshop on Combining Task and Motion Planning, IEEE International Conference on Robotics and Automation (ICRA), 2013. Details BIB
- Robots Driven by Compliant Actuators: Optimal Control under Actuation Constraints IEEE Transactions on Robotics, 99(5):, 2013. Details DOI BIB
- Separating Movement and Gravity Components in an Acceleration Signal and Implications for the Assessment of Human Daily Physical Activity PLoS ONE, 8(4):1-10, 2013. Details URL BIB
- Synthesizing Controllers for Automation Tasks with Performance Guarantees In Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, Seiten 154–159, 2013. Details URL DOI BIB
- System requirements in industrial automation In Industrial Informatics (INDIN), 2013 11th IEEE International Conference on, Seiten 572-577, 2013. Details DOI BIB
- Task Dependency of Grip Stiffness—A Study of Human Grip Force and Grip Stiffness Dependency during Two Different Tasks with Same Grip Forces Plos ONE, ():, 2013. Details DOI BIB
- The Introduction of a New Robot for Assistance in Ophthalmic Surgery In 35th Annual International Conference of the IEEE Engineering in Medicine and Biology and Biology Society (EMBC'13), 2013. IEEE Press. Details BIB
- Towards a bottom-up development of reference architectures for smart energy systems In Software Engineering Challenges for the Smart Grid (SE4SG), 2013 2nd International Workshop on, Seiten 9–16, 2013. IEEE, Details BIB
- Towards Modular Certification using Integrated Model-Based Safety Cases In Proceedings of the International Workshop on Verification and Assurance (VeriSure 2013) (co-located with CAV), 2013. Springer. Details URL BIB
- Training and evaluation of an MDP model for social multi-user human-robot interaction In Proceedings of the 14th Annual SIGdial Meeting on Discourse and Dialogue, 2013. Details BIB