Scientific publications
2011
- 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
2010
- Vom Modell zum Code fuer IEC 61508, ISO 26262 und Co. In Proceedings of the 3rd Embedded Software Engineering Congress, December 2010. Details URL BIB
- AutoFocus Tool Chain TUM-I1021, November 2010. Details URL BIB
- Model-to-Metamodel Transformation for the Development of Component-Based Systems In Dorina C. Petriu , Nicolas Rouquette and Oystein Haugen , editor, Model Driven Engineering Languages and Systems, volume 6395 of Lecture Notes in Computer Science, pages 391–405. Springer-Verlag, Berlin / Heidelberg, Germany, October 2010. Details DOI BIB
- Model-Based Specification of Timing Requirements In Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT 2010), pages 239–248, Scottsdale, Arizona, USA, October 2010. Association for Computer Machinery. Details URL DOI BIB
- MultiNet: An Intelligent Sensor Cable In Fifth IEEE International Workshop on Practical Issues in Building Sensor Network Applications (SenseApp 2010), October 2010. IEEE. Details URL BIB
- Propagation, Transformation and Refinement of Safety Requirements In Proceedings of the 3rd Workshop on Non-functional System Properties in Domain Specific Modeling Languages, October 2010. Details URL BIB
- Runtime Adaptive Allocation of Dynamically Mixed Tasks on a Heterogeneous MPSoC platform In Design and Architectures for Signal and Image Processing conference (DASIP), Edinburgh, UK, October 2010. Details URL DOI BIB
- FTOS: Model-Driven Development of Fault-Tolerant Automation Systems Proceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory Automation, ():, September 2010. Details URL DOI BIB
- Hardware-aware model-driven software development In ACACES 2010 Poster Abstracts, pages 89-92, Terrassa, Spain, July 2010. High-Performance Embedded Architecture and Compiliation Network of Excellence. Details BIB
- Towards and Adaptive Execution of Applications in Heterogeneous Embedded Networks In Software Engineering for Sensor Network Applications (SESENA 2010), May 2010. ACM/IEEE. Details URL BIB
- Formal Modeling of Safety Requirements in the Model-Driven Development of Safety Critical Embedded Systems In Proceedings of the Eighth European Dependable Computing Conference (EDCC 2010), April 2010. Details URL BIB
- Service Migration Scenarios for Embedded Networks In The Fifth International Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2010), April 2010. IEEE. Details URL BIB