@inproceedingsGeismann_2013, place=Bonn, Germany, series=GI-Edition - Lecture Notes in Informatics (LNI), title=Quelltextgenerierung für LEGO Mindstorms-Roboter, volume=12, booktitle=Berichtsband der Informatiktage 2013: Smarte Sichten, smarte Schichten, publisher=Köllen Verlag, author=Geismann, Johannes, year=2013, pages=71–74, collection=GI-Edition - Lecture Notes in Informatics (LNI) 
LibreCat: /record/20831

@inproceedingsFrieben_Heutger_Meyer_Becker_2013, place=Paderborn, title=Modulare Leistungsprognose von Kompaktsteuerungen, booktitle=9. Paderborner Workshop Entwurf mechatronischer Systeme, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, author=Frieben, Jens and Heutger, Henning and Meyer, Matthias and Becker, Steffen, year=2013, pages=147–160 
LibreCat: /record/20913

@inproceedingsPlatenius_von Detten_Gerth_Schäfer_Engels_2013, title=Service Matching under Consideration of Explicitly Specified Service Variants, DOI=10.1109/ICWS.2013.98, booktitle=IEEE 20th International Conference on Web Services (ICWS 2013), author=Platenius, Marie Christin and von Detten, Markus and Gerth, Christian and Schäfer, Wilhelm and Engels, Gregor, year=2013, pages=613–614 
LibreCat: /record/484
DOI: 10.1109/ICWS.2013.98

@bookvon Detten_2013, title=Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies, publisher=Universität Paderborn, author=von Detten, Markus, year=2013 
LibreCat: /record/494

@inproceedingsChristin Platenius_2013, title=Fuzzy Service Matching in On-The-Fly Computing, DOI=10.1145/2491411.2492405, booktitle=Proceedings of the Doctoral Symposium of the 9th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), author=Christin Platenius, Marie, year=2013, pages=715–718 
LibreCat: /record/527
DOI: 10.1145/2491411.2492405

@inproceedingsPlatenius_von Detten_Becker_Schäfer_Engels_2013, title=A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing, DOI=10.1145/2465449.2465454, booktitle=Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, author=Platenius, Marie and von Detten, Markus and Becker, Steffen and Schäfer, Wilhelm and Engels, Gregor, year=2013, pages=143–152 
LibreCat: /record/560
DOI: 10.1145/2465449.2465454

@inproceedingsFockel_Holtmann_Meyer_2012, title=Semi-automatic establishment and maintenance of valid traceability in automotive development processes, DOI=10.1109/sees.2012.6225489, booktitle=2012 Second International Workshop on Software Engineering for Embedded Systems (SEES), author=Fockel, Markus and Holtmann, Jörg and Meyer, Jan, year=2012 
LibreCat: /record/20974
DOI: 10.1109/sees.2012.6225489

@inbookFockel_Heidl_Höfflinger_Hönninger_Holtmann_Horn_Meyer_Meyer_Schäuffele_2012, place=Berlin, Heidelberg, title=Application and Evaluation in the Automotive Domain, DOI=10.1007/978-3-642-34614-9_12, booktitle=Model-Based Engineering of Embedded Systems, author=Fockel, Markus and Heidl, Peter and Höfflinger, Jens and Hönninger, Harald and Holtmann, Jörg and Horn, Wilfried and Meyer, Jan and Meyer, Matthias and Schäuffele, Jörg, year=2012 
LibreCat: /record/20914
DOI: 10.1007/978-3-642-34614-9_12

@inproceedingsPlatenius_von Detten_Becker_2012, title=Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies, DOI=10.1109/CSMR.2012.33, booktitle=Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), author=Platenius, Marie Christin and von Detten, Markus and Becker, Steffen, year=2012, pages=255–264 
LibreCat: /record/630
DOI: 10.1109/CSMR.2012.33

@articleBodden_Lam_Hendren_2012, title=Partially Evaluating Finite-State Runtime Monitors Ahead of Time, volume=34, DOI=10.1145/2220365.2220366, number=2, journal=ACM Transactions on Programming Languages and Systems, publisher=Association for Computing Machinery (ACM), author=Bodden, Eric and Lam, Patrick and Hendren, Laurie, year=2012, pages=1–52 
LibreCat: /record/5183
DOI: 10.1145/2220365.2220366

@inproceedingsHoltmann_Meyer_von Detten_2011, title=Automatic Validation and Correction of Formalized, Textual Requirements, DOI=10.1109/icstw.2011.17, booktitle=2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, author=Holtmann, Jörg and Meyer, Jan and von Detten, Markus, year=2011 
LibreCat: /record/20958
DOI: 10.1109/icstw.2011.17

@inproceedingsMeyer_Holtmann_2011, title=Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR, booktitle=Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, publisher=fortiss GmbH, author=Meyer, Jan and Holtmann, Jörg, year=2011, pages=21–30 
LibreCat: /record/20960

@inproceedingsFockel_Travkin_von Detten_2011, place=University of Tartu, Estonia, title=Interpreting Story Diagrams for the Static Detection of Software Patterns, booktitle=Proceedings of the 8th International Fujaba Days, author=Fockel, Markus and Travkin, Dietrich and von Detten, Markus, year=2011 
LibreCat: /record/20975

@inproceedingsMeyer_Holtmann_Meyer_2011, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, title=Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen, volume=294, booktitle=8. Paderborner Workshop Entwurf mechatronischer Systeme, publisher=Heinz Nixdorf Institut, author=Meyer, Jan and Holtmann, Jörg and Meyer, Matthias, year=2011, pages=203–215, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn 
LibreCat: /record/20915

@inproceedingsHoltmann_Meyer_Meyer_2011, series=GI-Edition Lecture Notes in Informatics (LNI), title=A Seamless Model-Based Development Process for Automotive Systems, volume=P-184, booktitle=Software Engineering 2011 – Workshopband (inkl. Doktorandensymposium), publisher=Bonner Koellen Verlag, author=Holtmann, Jörg and Meyer, Jan and Meyer, Matthias, year=2011, pages=79–88, collection=GI-Edition Lecture Notes in Informatics (LNI) 
LibreCat: /record/20916

@bookPlatenius_2011, title=Reengineering of Design Deficiencies in Component-Based Software Architectures, publisher=Universität Paderborn, author=Platenius, Marie Christin, year=2011 
LibreCat: /record/650

@inproceedingsvon Detten_Meyer_Travkin_2010, place=New York, NY, USA, title=Reverse Engineering with the Reclipse Tool Suite, volume=2, booktitle=Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, publisher=ACM Press, author=von Detten, Markus and Meyer, Matthias and Travkin, Dietrich, year=2010, pages=299–300 
LibreCat: /record/20934

@bookvon Detten_Meyer_Travkin_2010, title=Reclipse - A Reverse Engineering Tool Suite, author=von Detten, Markus and Meyer, Matthias and Travkin, Dietrich, year=2010 
LibreCat: /record/20935

@inproceedingsLöffler_Meyer_Gottschalk_2010, place=New York, NY, USA, title=Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications, booktitle=Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, publisher=ACM, author=Löffler, Renate and Meyer, Matthias and Gottschalk, Matthias, year=2010, pages=57–67 
LibreCat: /record/20936

@inbookSeebach_Nafz_Holtmann_Meyer_Tichy_Reif_Schäfer_2010, place=Berlin, Heidelberg, title=Designing Self-healing in Automotive Systems, DOI=10.1007/978-3-642-16576-4_4, booktitle=Lecture Notes in Computer Science, author=Seebach, Hella and Nafz, Florian and Holtmann, Jörg and Meyer, Jan and Tichy, Matthias and Reif, Wolfgang and Schäfer, Wilhelm, year=2010 
LibreCat: /record/20961
DOI: 10.1007/978-3-642-16576-4_4