Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
205 Publications
2013 | Conference Paper | LibreCat-ID: 560
Platenius, Marie, et al. “A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing.” Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, 2013, pp. 143–52, doi:10.1145/2465449.2465454.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 20974
Fockel, Markus, et al. “Semi-Automatic Establishment and Maintenance of Valid Traceability in Automotive Development Processes.” 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES), 2012, doi:10.1109/sees.2012.6225489.
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 20914
Fockel, Markus, et al. “Application and Evaluation in the Automotive Domain.” Model-Based Engineering of Embedded Systems, 2012, doi:10.1007/978-3-642-34614-9_12.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 630
Platenius, Marie Christin, et al. “Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies.” Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–64, doi:10.1109/CSMR.2012.33.
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 5183
Bodden, Eric, et al. “Partially Evaluating Finite-State Runtime Monitors Ahead of Time.” ACM Transactions on Programming Languages and Systems, vol. 34, no. 2, Association for Computing Machinery (ACM), 2012, pp. 1–52, doi:10.1145/2220365.2220366.
LibreCat
| Files available
| DOI
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 20958
Holtmann, Jörg, et al. “Automatic Validation and Correction of Formalized, Textual Requirements.” 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011, doi:10.1109/icstw.2011.17.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20960
Meyer, Jan, and Jörg Holtmann. “Eine Durchgängige Entwicklungsmethode von Der Systemarchitektur Bis Zur Softwarearchitektur Mit AUTOSAR.” Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII, fortiss GmbH, 2011, pp. 21–30.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20975
Fockel, Markus, et al. “Interpreting Story Diagrams for the Static Detection of Software Patterns.” Proceedings of the 8th International Fujaba Days, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20915
Meyer, Jan, et al. “Formalisierung von Anforderungen Und Betriebssystemeigenschaften Zur Fruehzeitigen Simulation von Eingebetteten, Automobilen Systemen.” 8. Paderborner Workshop Entwurf Mechatronischer Systeme, vol. 294, Heinz Nixdorf Institut, 2011, pp. 203–15.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20916
Holtmann, Jörg, et al. “A Seamless Model-Based Development Process for Automotive Systems.” Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium), vol. P-184, Bonner Koellen Verlag, 2011, pp. 79–88.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 650
Platenius, Marie Christin. Reengineering of Design Deficiencies in Component-Based Software Architectures. Universität Paderborn, 2011.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20934
von Detten, Markus, et al. “Reverse Engineering with the Reclipse Tool Suite.” 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, pp. 299–300.
LibreCat
2010 | Report | LibreCat-ID: 20935
von Detten, Markus, et al. Reclipse - A Reverse Engineering Tool Suite. 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20936
Löffler, Renate, et al. “Formal Scenario-Based Requirements Specification and Test Case Generation in Healthcare Applications.” Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, ACM, 2010, pp. 57–67.
LibreCat
2010 | Book Chapter | LibreCat-ID: 20961
Seebach, Hella, et al. “Designing Self-Healing in Automotive Systems.” Lecture Notes in Computer Science, 2010, doi:10.1007/978-3-642-16576-4_4.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 20962
Holtmann, Jörg. “Mit Satzmustern von Textuellen Anforderungen Zu Modellen.” OBJEKTspektrum, no. RE/2010, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20963
Meyer, Jan, et al. “Eine Erweiterte Systemmodellierung Zur Entwicklung von Softwareintensiven Anwendungen in Der Automobilindustrie.” Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium), vol. P-160, Bonner Koellen Verlag, 2010.
LibreCat
2009 | Dissertation | LibreCat-ID: 20937
Meyer, Matthias. Musterbasiertes Re-Engineering von Softwaresystemen. Universitaetsbibliothek Paderborn, 2009.
LibreCat
| Download (ext.)
2008 | Conference Paper | LibreCat-ID: 20938
Tichy, Matthias, et al. “Safety of Component-Based Systems: Analysis and Improvement Using Fujaba4Eclipse.” Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany, 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20957
Kindler, Ekkart, and David Schmelter. “Aspect-Oriented Modelling from a Different Angle.” Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08, 2008, doi:10.1145/1404920.1404922.
LibreCat
| DOI