fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: systems engineering

Export list as BibTeX file

2011

  • 2011 User-friendly Model Checking Integration in Model-based Development Alarico Campetelli, Florian Hölzl and Florian Neubeck In Proceedings of the 24th International Conference on Computer Applications in Industry and Engineering, Details BIB

2010

  • November 2010 AutoFocus Tool Chain Florian Hölzl, Maria Spichkova and David Trachtenherz TUM-I1021, 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 Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments Manfred Broy, Martin Feilkas, Markus Herrmannsdörfer, Stefano Merenda and Daniel Ratiu Proceedings of the IEEE, 98():526 - 545, 2010. Details DOI BIB