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.
210 Publications
2013 | Conference Paper | LibreCat-ID: 20831
Geismann, J. (2013). Quelltextgenerierung für LEGO Mindstorms-Roboter. Berichtsband Der Informatiktage 2013: Smarte Sichten, Smarte Schichten, 12, 71–74.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 20913
Frieben, J., Heutger, H., Meyer, M., & Becker, S. (2013). Modulare Leistungsprognose von Kompaktsteuerungen. 9. Paderborner Workshop Entwurf Mechatronischer Systeme, 147–160.
LibreCat
2013 | Conference Paper | LibreCat-ID: 484
Platenius, M. C., von Detten, M., Gerth, C., Schäfer, W., & Engels, G. (2013). Service Matching under Consideration of Explicitly Specified Service Variants. In IEEE 20th International Conference on Web Services (ICWS 2013) (pp. 613–614). https://doi.org/10.1109/ICWS.2013.98
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 494
von Detten, M. (2013). Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies. Universität Paderborn.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 527
Christin Platenius, M. (2013). Fuzzy Service Matching in On-The-Fly Computing. In 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) (pp. 715–718). https://doi.org/10.1145/2491411.2492405
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 560
Platenius, M., von Detten, M., Becker, S., Schäfer, W., & Engels, G. (2013). A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing. In Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering (pp. 143–152). https://doi.org/10.1145/2465449.2465454
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 20974
Fockel, M., Holtmann, J., & Meyer, J. (2012). Semi-automatic establishment and maintenance of valid traceability in automotive development processes. 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES). https://doi.org/10.1109/sees.2012.6225489
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 20914
Fockel, M., Heidl, P., Höfflinger, J., Hönninger, H., Holtmann, J., Horn, W., Meyer, J., Meyer, M., & Schäuffele, J. (2012). Application and Evaluation in the Automotive Domain. In Model-Based Engineering of Embedded Systems. https://doi.org/10.1007/978-3-642-34614-9_12
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 630
Platenius, M. C., von Detten, M., & Becker, S. (2012). Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies. In Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR) (pp. 255–264). https://doi.org/10.1109/CSMR.2012.33
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 5183
Bodden, E., Lam, P., & Hendren, L. (2012). Partially Evaluating Finite-State Runtime Monitors Ahead of Time. ACM Transactions on Programming Languages and Systems, 34(2), 1–52. https://doi.org/10.1145/2220365.2220366
LibreCat
| Files available
| DOI
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 20958
Holtmann, J., Meyer, J., & von Detten, M. (2011). Automatic Validation and Correction of Formalized, Textual Requirements. 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops. https://doi.org/10.1109/icstw.2011.17
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20960
Meyer, J., & Holtmann, J. (2011). Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR. Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII, 21–30.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20975
Fockel, M., Travkin, D., & von Detten, M. (2011). Interpreting Story Diagrams for the Static Detection of Software Patterns. Proceedings of the 8th International Fujaba Days.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20915
Meyer, J., Holtmann, J., & Meyer, M. (2011). Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen. 8. Paderborner Workshop Entwurf Mechatronischer Systeme, 294, 203–215.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20916
Holtmann, J., Meyer, J., & Meyer, M. (2011). A Seamless Model-Based Development Process for Automotive Systems. Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium), P-184, 79–88.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 650
Platenius, M. C. (2011). Reengineering of Design Deficiencies in Component-Based Software Architectures. Universität Paderborn.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20934
von Detten, M., Meyer, M., & Travkin, D. (2010). 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, 2, 299–300.
LibreCat
2010 | Report | LibreCat-ID: 20935
von Detten, M., Meyer, M., & Travkin, D. (2010). Reclipse - A Reverse Engineering Tool Suite.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20936
Löffler, R., Meyer, M., & Gottschalk, M. (2010). Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications. Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, 57–67.
LibreCat
2010 | Book Chapter | LibreCat-ID: 20961
Seebach, H., Nafz, F., Holtmann, J., Meyer, J., Tichy, M., Reif, W., & Schäfer, W. (2010). Designing Self-healing in Automotive Systems. In Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-16576-4_4
LibreCat
| DOI