Export list as BibTeX file

2011

• July 2011 Model Checking Industrial Robot Systems Markus Weißmann , Stefan Bedenk , Christian Buckl and Alois Knoll In Proceedings of the 18th International Workshop on Model Checking of Software (SPIN 2011), pages 161–176, July 2011. Springer-Verlag. Details URL DOI BIB
• February 2011 A Refined Top-Down Methodology for the Development of Automotive Software Systems - The Keyless Entry-System Case Study Martin Feilkas , Florian Hölzl , Christian Pfaller , Sabine Rittmann , Bernhard Schätz , Wolfgang Schwitzer , Wassiou Sitou , Maria Spichkova and David Trachtenherz February 2011. Details URL BIB
• 2011 Experience with content-based requirements engineering assessments Sabine Teufl , Maged Khalil , Dongyue Mou and Eva Geisberger In Proceedings of the 19th International Requirements Engineering Conference, pages 345-346, 2011. IEEE. Details DOI BIB
• 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, 2011. Details BIB

2010

• November 2010 AutoFocus Tool Chain Florian Hölzl , Maria Spichkova and David Trachtenherz TUM-I1021, November 2010. Details URL BIB
• October 2010 Model-Based Specification of Timing Requirements Christian Buckl , Irina Gaponova , Michael Geisinger , Alois Knoll and Edward A. Lee In Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT 2010), pages 239–248, Scottsdale, Arizona, USA, October 2010. Association for Computer Machinery. Details URL DOI 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, 2010. 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, 2010. Details 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