fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

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

Wissenschaftliche Publikationen

Stichworte: code generation

Liste als BibTeX-Datei exportieren

2021

2020

  • September 2020 Generation of Co-simulation Algorithms Subject to Simulator Contracts Cláudio Gomes , Casper Thule , Levi Lúcio , Hans Vangheluwe und Peter Gorm Larsen In Software Engineering and Formal Method (SEFM 2019), Band 12226 von LNCS, September 2020. Springer, Cham. Details DOI BIB

2010

  • 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, 2010. Details BIB

2009

  • Juni 2009 A Software Architecture for Model-Based Programming of Robot Systems Michael Geisinger , Simon Barner , Martin Wojtczyk und Alois Knoll In Advances in Robotics Research – Theory, Implementation, Application, Seiten 135–146, Juni 2009. Springer. Details DOI BIB