Holtmann J, Meyer J, von Detten M. Automatic Validation and Correction of Formalized, Textual Requirements. In: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops. ; 2011. doi:10.1109/icstw.2011.17

Meyer J, Holtmann J. Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR. In: Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII. fortiss GmbH; 2011:21-30.

Fockel M, Travkin D, von Detten M. Interpreting Story Diagrams for the Static Detection of Software Patterns. In: Proceedings of the 8th International Fujaba Days. ; 2011.

Meyer J, Holtmann J, Meyer M. Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen. In: 8. Paderborner Workshop Entwurf Mechatronischer Systeme. Vol 294. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut; 2011:203-215.

Holtmann J, Meyer J, Meyer M. A Seamless Model-Based Development Process for Automotive Systems. In: Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium). Vol P-184. GI-Edition Lecture Notes in Informatics (LNI). Bonner Koellen Verlag; 2011:79-88.

Platenius MC. Reengineering of Design Deficiencies in Component-Based Software Architectures. Universität Paderborn; 2011.

von Detten M, Meyer M, Travkin D. Reverse Engineering with the Reclipse Tool Suite. In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010. Vol 2. ACM Press; 2010:299-300.

von Detten M, Meyer M, Travkin D. Reclipse - A Reverse Engineering Tool Suite.; 2010.

Löffler R, Meyer M, Gottschalk M. Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications. In: Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care. ACM; 2010:57-67.

Seebach H, Nafz F, Holtmann J, et al. Designing Self-healing in Automotive Systems. In: Lecture Notes in Computer Science. ; 2010. doi:10.1007/978-3-642-16576-4_4