fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

Veröffentlichungen, Zeitschriftenaufsätze und Broschüren mit Ergebnissen aus dem Institut

Wissenschaftliche Publikationen

Liste als BibTeX-Datei exportieren

2010

  • April 2010 Formal Modeling of Safety Requirements in the Model-Driven Development of Safety Critical Embedded Systems Dominik Sojer, Christian Buckl und 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 und Anton Schmitt In The Fifth International Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2010), IEEE. Details URL BIB
  • Februar 2010 Stand und Anforderungen an eine Werkzeugunterstuetzung zur Entwicklung von Automatisierungssoftware Dominik Sojer, Christian Buckl und Alois Knoll TUM-I1003, Technische Universität München, Details URL BIB
  • Februar 2010 Modell-zu-Metamodell-Transformationen zur Entwicklung von komponentenbasierten Systemen Christian Buckl, Gerd Kainz, Stephan Sommer und 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 und Martin Feilkas In Model-Based Engineering of Embedded Real-Time Systems, Band 6100 von 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 und Gerd Bauer In Jürgen Gausemeier, Franz Ramming, Wilhelm Schäfer und Ansgar Trächtler, Editor, Entwurf mechatronischer Systeme, Band 272 von HNI-Verlagsschriftenreihe, Seiten 23–36, Paderborn, Germany, Details BIB
  • 2010 GAVS: Game Arena Visualization and Synthesis Chih-Hong Cheng, Christian Buckl, Michael Luttenberger und Alois Knoll In Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings, Seiten 347–352, Details URL DOI BIB
  • 2010 A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems Chih-Hong Cheng, Harald Rueß, Alois Knoll und 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 und Eike Thaden In Software Engineering 2010 - Workshopband (inkl. Doktorandensymposium), Band P-160, Seiten 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 und José Cordeiro, Editor SciTePress. Details BIB