Scientific publications
2011
- Analysis and Optimization of Fault-Tolerant Task Scheduling on Multiprocessor Embedded Systems In Xiaoping Chen , Peter Stone , LuisEnrique Sucar and Tijn van der Zant , editor, International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS). Embedded System Week, Taipei, Taiwan, 2011. Details URL DOI BIB
- Experience with content-based requirements engineering assessments In Proceedings of the 19th International Requirements Engineering Conference, pages 345-346, 2011. IEEE. Details DOI BIB
- Generic Performance Prediction for ERP and SOA Applications In 19th European Conference on Information Systems, 2011. Aalto University Helsinki. Details URL BIB
- ICEIS 2011 - Proceedings of the 13th International Conference on Enterprise Information Systems, Volume 3, Beijing, China, 8-11 June, 2011 Runtong Zhang , José Cordeiro , Xuewei Li , Zhenji Zhang and Juliang Zhang , editor SciTePress. Details BIB
- Measuring the Buffer Occupation of SAP ERP System Applications In 13th International Conference on Enterprise Information Systems, pages 266-272, 2011. SciTePress. Details URL BIB
- Mehr Software (im) Wagen - Informations- und Kommunikationstechnologie als Motor der Elektromobilität der Zukunft In Eva Geisberger and Manfred Broy , editor, Konferenzband 2. Automobiltechnisches Kolloqium 2011, 2011. VDI Verlag. Details BIB
- Mehr Software (im) Wagen: Informations- und Kommunikationstechnik (IKT) als Motor der Elektromobilität der Zukunft, Abschlussbericht des vom Bundesministerium für Wirtschaft und Technologie geförderten Verbundvorhabens eCar-IKT-Systemarchitektur für Elektromobilität volume . ForTISS GmbH, , edition, 2011. Details BIB
- Mehr Software (im) Wagen: Informations- und Kommunikationstechnik (IKT) als Motor der Elektromobilität der Zukunft, Zusammenfassung der Ergebnisse des vom Bundesministerium für Wirtschaft und Technologie geförderten Verbundvorhabens eCar-IKT-Systemarchitektur für Elektromobilität volume . ForTISS GmbH, , edition, 2011. Details BIB
- Model Construction and Priority Synthesis for Simple Interaction Systems In NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, pages 466–471, 2011. Details URL DOI BIB
- Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments In Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 2011. IEEE. Details DOI BIB
- On the Hardness of Priority Synthesis In Radu Calinescu and David Garlan , editor, Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings, pages 110–117, 2011. Details URL DOI BIB
- Optimizations for Game-based Software Synthesis TR-2011-12, Verimag Research Report, 2011. Details BIB
- Performance of SAP ERP with Memory Virtualization Using IBM Active Memory Expansion As an Example In Proceedings of the 5th International Workshop on Virtualization Technologies in Distributed Computing, pages 21-28, New York, NY, USA, 2011. ACM. Details DOI BIB
- Performance und Skalierung von SAP ERP System in virtualisierten Umgebungen Dissertation, Technische Universität München, München, 2011. Details BIB
- Reliability-Aware Design Optimization for Multiprocessor Embedded Systems In 14th Euromicro International Conference on Digital System Design (DSD), Oulu, Finland, 2011. Details URL DOI BIB
- Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice In Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings, pages 118–133, 2011. Details URL DOI BIB
- The Software Car: Information and Communication Technology (ICT) as an Engine for the Electromobility of the Future, Summary of results of the "eCar ICT System Architecture for Electromobility" research project sponsored by the Federal Ministry of Economics and Technology volume . ForTISS GmbH, , edition, 2011. Details BIB
- Understanding the Performance Behavior of a SAP ERP System for the Use of Queuing Models In 10th International Conference on Modeling and Applied Simulation, pages 361-370, 2011. Universita di Genova, Genoa. Details URL BIB
- User-friendly Model Checking Integration in Model-based Development In Proceedings of the 24th International Conference on Computer Applications in Industry and Engineering, 2011. Details BIB
- Visual Motion Capturing for Kinematic Model Estimation of a Humanoid Robot In Rudolf Mester and Michael Felsberg , editor, Pattern Recognition, 33rd DAGM Symposium, volume 6835 of Lecture Notes in Computer Science, pages 438–443, Frankfurt, Germany, 2011. Springer. Details DOI BIB