Scientific publications
2010
- Stand und Anforderungen an eine Werkzeugunterstuetzung zur Entwicklung von Automatisierungssoftware TUM-I1003, Technische Universität München, February 2010. Details URL BIB
- Modell-zu-Metamodell-Transformationen zur Entwicklung von komponentenbasierten Systemen In 6. Dagstuhl-Workshop MBEES 2010: Model-Based Development of Embedded Systems, February 2010. Details URL BIB
- AutoFOCUS3 - A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems In Model-Based Engineering of Embedded Real-Time Systems, volume 6100 of LNCS, . Springer, Berlin Heidelberg, 2010. Details DOI BIB
- EasyKit - Eine allgemeine Methodik für die Entwicklung von Steuerungskomponenten In Jürgen Gausemeier , Franz Ramming , Wilhelm Schäfer and Ansgar Trächtler , editor, Entwurf mechatronischer Systeme, volume 272 of HNI-Verlagsschriftenreihe, pages 23–36, Paderborn, Germany, 2010. Details BIB
- GAVS: Game Arena Visualization and Synthesis In Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings, pages 347–352, 2010. Details URL DOI BIB
- A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems CoRR, abs/1011.0268():, 2010. Details URL BIB
- A System for Seamless Abstraction Layers for Model-based Development of Embedded Software In Software Engineering 2010 - Workshopband (inkl. Doktorandensymposium), volume P-160, pages 137–148, Bonn, 2010. Gesellschaft für Informatik. Details URL BIB
- ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8 - 12, 2010 Joaquim Filipe and José Cordeiro , editor SciTePress. Details BIB
- Modeling ERP Business Processes Using Layered Queueing Networks In 12th International Conference on Enterprise Information Systems, pages 255-260, 2010. INSTICC. Details URL BIB
- Performance-Messung eines Portalsystems in virtualisierter Umgebung am Fallbeispiel SAP. Dissertation, Technische Universität München, München, 2010. Details BIB
- Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments Proceedings of the IEEE, 98():526 - 545, 2010. Details DOI BIB
- Towards an evolutionary model generation for ERP performance simulation In IADIS International Conference on Intelligent Systems and Agents (ISA), 2010. Details URL BIB
2009
- Efficient Communication in Control-Oriented Embedded Networks In Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation, September 2009. Details URL BIB
- eSOA - Service Oriented Architectures adapted for Embedded Networks In Proceedings of the 7th International Conference on Industrial Informatics), June 2009. Details URL BIB
- A Software Architecture for Model-Based Programming of Robot Systems In Advances in Robotics Research – Theory, Implementation, Application, pages 135–146, June 2009. Springer. Details DOI BIB
- Services to the Field: An Approach for Resource Constrained Sensor/Actor Networks In The Fourth Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2009) – extended version, May 2009. IEEE. Details URL BIB
- Developing Service Oriented Sensor/Actuator Networks using a Tailored Middleware In 6th International Conference on Information Technology : New Generations (ITNG 2009), April 2009. IEEE. Details URL BIB
- eSOA - SOA für eingebettete Netze In Proceedings of the Workshop on Service Oriented Computing at KIVS 2009), 2009. Details URL BIB
- Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification In MariaSimonetta Balsamo , William J. Knottenbelt and Andrea Marin , editor, Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2009, 15-18 December 2009, Daejeon, Korea, pages 72–77, 2009. Details URL DOI BIB
- FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems CoRR, abs/0905.3946():, 2009. Details URL BIB


