fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: Code Generation

Export list as BibTeX file

2021

2020

  • September 2020 Generation of Co-simulation Algorithms Subject to Simulator Contracts Cláudio Gomes , Casper Thule , Levi Lúcio , Hans Vangheluwe and Peter Gorm Larsen In Software Engineering and Formal Method (SEFM 2019), volume 12226 of 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 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, 2010. Details BIB

2009

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