Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2011
- Analysis and Optimization of Fault-Tolerant Task Scheduling on Multiprocessor Embedded Systems In Xiaoping Chen , Peter Stone , LuisEnrique Sucar und 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, Seiten 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 und Juliang Zhang , Editor SciTePress. Details BIB
- Measuring the Buffer Occupation of SAP ERP System Applications In 13th International Conference on Enterprise Information Systems, Seiten 266-272, 2011. SciTePress. Details URL BIB
- Mehr Software (im) Wagen - Informations- und Kommunikationstechnologie als Motor der Elektromobilität der Zukunft In Eva Geisberger und 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 Band . ForTISS GmbH, , Ausgabe, 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 Band . ForTISS GmbH, , Ausgabe, 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, Seiten 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 und David Garlan , Editor, Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings, Seiten 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, Seiten 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, Seiten 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 Band . ForTISS GmbH, , Ausgabe, 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, Seiten 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 und Michael Felsberg , Editor, Pattern Recognition, 33rd DAGM Symposium, Band 6835 von Lecture Notes in Computer Science, Seiten 438–443, Frankfurt, Germany, 2011. Springer. Details DOI BIB