Scientific publications
2012
- Implementing Modular Domain Specific Language and Analyses In MoDEVVA 2012 (MODELS Workshop), 2012. Details BIB
- Kinematics, Control and Workspace Analysis of a Bowden Wire Actuated Manipulator for Minimally Invasive Single-Port Surgery In IEEE International Conference on Robotics and Biomimetics (ROBIO), 2012. Details BIB
- Language Engineering as an Enabler for Incrementally Defined Formal Analyses In FormSERA 2012 (ICSE Workshop), 2012. Details BIB
- mbeddr - an Extensible C-based Programming Language and IDE for Embedded Systems In Gourab Sen Gupta , Donald Bailey , Serge Demidenko and Dale Carnegie , editor, Proceedings of Wavefront/SPLASH 2012, 2012. Details BIB
- Mechanisms to gather customer-feedback – Requirements in the cloud service ecosystem 2012. Details BIB
- MGSyn: Automatic Synthesis for Industrial Automation In Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, pages 658–664, 2012. Details URL DOI BIB
- Model-based software in-the-loop-test of autonomous systems In Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, 2012. Society for Computer Simulation International. Details URL BIB
- Modeling the Performance and Scalability of a SAP ERP System using an Evolutionary Algorithm In 14th International Conference on Enterprise Information Systems, pages 112-118, 2012. SciTePress. Details URL BIB
- Modelling State of Interaction from Head Poses for Social Human-Robot Interaction In Proceedings of the Gaze in Human-Robot Interaction Workshop held at the 7th ACM/IEEE International Conference on Human-Robot Interaction (HRI 2012), Boston, MA, 2012. Details URL BIB
- Optimization of the Fuzzy Neural Classifiers by Means of Modelbased Cluster Analysis In In Proceedings of the IX System Identification and Control Problems Conference (SICPRO), Moscow, Russia, 2012. Details BIB
- Performance-Modellierung und Simulation eines SAP-ERP-Systems Dissertation, Technische Univesität München, München, 2012. Details BIB
- Real-Time 3D Multiple Human Tracking With Robustness Enchancement Through Machine Learning In International Conference on Computer Vision Theory and Applications, 2012. Details BIB
- Sicherheitskriterien bei der Auswahl von ERP-Systemen ERP-Management, 8(3):50-52, 2012. Details BIB
- Social Behavior Recognition Using Body Posture and Head Pose for Human-Robot Interaction In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2012. Details DOI BIB
- Static Scheduling of a Time-Triggered Network-on-Chip based on SMT Solving In Design, Automation and Test in Europe (DATE), Dresden, Germany, 2012. Details URL BIB
- The Business Perspective on Cloud Computing - A Literature Review of Research on Cloud Computing 2012. Details BIB
- The Software Car: Building ICT Architectures for Future Electric Vehicles In Proceedings of the 2012 IEEE International Electric Vehicle Conference, 2012. Details BIB
- Towards early emergent property understanding: merging behavior space exploration and model-based software engineering In Proceedings of the 2012 Extreme Modeling Workshop, pages 39–44, 2012. ACM, Details BIB
- Towards Fault-Tolerant Embedded Systems with Imperfect Fault Detection In Dorina C. Petriu , Nicolas Rouquette and Oystein Haugen , editor, 49th Design Automation Conference (DAC), pages 188-196, San Francisco, CA, USA, 2012. Details URL DOI BIB
- Two People Walk Into a Bar: Dynamic Multi-Party Social Interaction with a Robot Agent In Proceedings of the 14th ACM International Conference on Multimodal Interaction (ICMI 2012), 2012. Details BIB