Export list as BibTeX file

2010

• April 2010 Formal Modeling of Safety Requirements in the Model-Driven Development of Safety Critical Embedded Systems Dominik Sojer, Christian Buckl and Alois Knoll In Proceedings of the Eighth European Dependable Computing Conference (EDCC 2010), Details URL BIB
• April 2010 Service Migration Scenarios for Embedded Networks Stephan Sommer, Christian Buckl, Gerd Kainz, Andreas Scholz, Irina Gaponova, Alois Knoll, Alfons Kemper, Jörg Heuer and Anton Schmitt In The Fifth International Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2010), IEEE. Details URL BIB
• February 2010 Stand und Anforderungen an eine Werkzeugunterstuetzung zur Entwicklung von Automatisierungssoftware Dominik Sojer, Christian Buckl and Alois Knoll TUM-I1003, Technische Universität München, Details URL BIB
• February 2010 Modell-zu-Metamodell-Transformationen zur Entwicklung von komponentenbasierten Systemen Christian Buckl, Gerd Kainz, Stephan Sommer and Alois Knoll In 6. Dagstuhl-Workshop MBEES 2010: Model-Based Development of Embedded Systems, Details URL BIB
• 2010 AutoFOCUS3 - A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems Florian Hölzl and Martin Feilkas In Model-Based Engineering of Embedded Real-Time Systems, volume 6100 of LNCS, . Springer, Berlin Heidelberg, Details DOI BIB
• 2010 EasyKit - Eine allgemeine Methodik für die Entwicklung von Steuerungskomponenten Simon Barner, Michael Geisinger, Jia Huang, Alois Knoll, Holger Bönicke, Christoph Ament, Jochen Mades, Reinhard Pittschellis and Gerd Bauer 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, Details BIB
• 2010 GAVS: Game Arena Visualization and Synthesis Chih-Hong Cheng, Christian Buckl, Michael Luttenberger and Alois Knoll In Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings, pages 347–352, Details URL DOI BIB
• 2010 A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems Chih-Hong Cheng, Harald Rueß, Alois Knoll and Christian Buckl CoRR, abs/1011.0268():, 2010. Details URL BIB
• 2010 A System for Seamless Abstraction Layers for Model-based Development of Embedded Software Judith Thyssen, Daniel Ratiu, Wolfgang Schwitzer, Alexander Harhurin, Martin Feilkas and Eike Thaden In Software Engineering 2010 - Workshopband (inkl. Doktorandensymposium), volume P-160, pages 137–148, Bonn, Gesellschaft für Informatik. Details URL BIB
• 2010 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