Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2011
- Energy-Aware Task Allocation for Network-on-Chip Based Heterogeneous Multiprocessor Systems In 19th Euromicro International Conference on Parallel, Distributed and Network-Based Computing(PDP), Ayia Napa, Cyprus, Februar 2011. Details URL DOI BIB
- Model-Based Analysis and Development of Dependable Systems In Model-Based Engineering of Embedded Real-Time Systems. Lecture Notes in Computer Science Vol. 6000, Januar 2011. Springer. Details URL DOI BIB
- FALTER in the Loop: Testing UAV Software in Virtual Environments In Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011. Details BIB
- GAVS+: An Open Platform for the Research of Algorithmic Game Solving In Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, , Seiten 258–261, 2011. Details URL DOI BIB
- 19th European Conference on Information Systems, ECIS 2011, Helsinki, Finland, June 9-11, 2011 Virpi Kristiina Tuunainen , Matti Rossi und Joe Nandhakumar , Editor Details BIB
- A Survey on Performance Modelling and Simulation of SAP Enterprise Resource Planning Systems In 10th International Conference on Modeling and Applied Simulation, Seiten 347-352, 2011. Diptem Universita di Genoa. Details URL BIB
- A Workflow for Runtime Adaptive Task Allocation on Heterogeneous MPSoCs In Design, Automation and Test in Europe (DATE), Grenoble, France, 2011. Details URL DOI BIB
- Algorithms for Synthesizing Priorities in Component-Based Systems In Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, Seiten 150–167, 2011. Details URL DOI BIB
- 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