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
2014 | Conference Paper | LibreCat-ID: 5189
S. Arzt et al., “FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps,” in Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14, 2014.
LibreCat
| Files available
| DOI
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 5190
S. Arzt, S. Rasthofer, E. Lovat, and E. Bodden, “DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android,” in International Conference on Availability, Reliability and Security (ARES 2014), 2014, pp. 40–49.
LibreCat
| Files available
| Download (ext.)
2013 | Bachelorsthesis | LibreCat-ID: 20978
M. Hüwe, Das Verteilungsproblem für mechatronische Systeme. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20980
E. Farshizadeh et al., “Simulationsgestützter Entwurf für Elektrofahrzeuge,” 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 20985
T. Koch, Combining Scenario-based and Architecture-based Timing Requirements. University of Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20831
J. Geismann, “Quelltextgenerierung für LEGO Mindstorms-Roboter,” in Berichtsband der Informatiktage 2013: Smarte Sichten, smarte Schichten, 2013, vol. 12, pp. 71–74.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 20913
J. Frieben, H. Heutger, M. Meyer, and S. Becker, “Modulare Leistungsprognose von Kompaktsteuerungen,” in 9. Paderborner Workshop Entwurf mechatronischer Systeme, 2013, pp. 147–160.
LibreCat
2013 | Conference Paper | LibreCat-ID: 484
M. C. Platenius, M. von Detten, C. Gerth, W. Schäfer, and G. Engels, “Service Matching under Consideration of Explicitly Specified Service Variants,” in IEEE 20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–614.
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 494
M. von Detten, Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies. Universität Paderborn, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 527
M. Christin Platenius, “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), 2013, pp. 715–718.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 560
M. Platenius, M. von Detten, S. Becker, W. Schäfer, and G. Engels, “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, 2013, pp. 143–152.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 20974
M. Fockel, J. Holtmann, and J. Meyer, “Semi-automatic establishment and maintenance of valid traceability in automotive development processes,” 2012, doi: 10.1109/sees.2012.6225489.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 630
M. C. Platenius, M. von Detten, and S. Becker, “Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies,” in Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–264.
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 5183
E. Bodden, P. Lam, and L. Hendren, “Partially Evaluating Finite-State Runtime Monitors Ahead of Time,” ACM Transactions on Programming Languages and Systems, vol. 34, no. 2, pp. 1–52, 2012.
LibreCat
| Files available
| DOI
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 20958
J. Holtmann, J. Meyer, and M. von Detten, “Automatic Validation and Correction of Formalized, Textual Requirements,” 2011, doi: 10.1109/icstw.2011.17.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20960
J. Meyer and J. Holtmann, “Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR,” in Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011, pp. 21–30.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20975
M. Fockel, D. Travkin, and M. von Detten, “Interpreting Story Diagrams for the Static Detection of Software Patterns,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20915
J. Meyer, J. Holtmann, and M. Meyer, “Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen,” in 8. Paderborner Workshop Entwurf mechatronischer Systeme, 2011, vol. 294, pp. 203–215.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20916
J. Holtmann, J. Meyer, and M. Meyer, “A Seamless Model-Based Development Process for Automotive Systems,” in Software Engineering 2011 – Workshopband (inkl. Doktorandensymposium), 2011, vol. P-184, pp. 79–88.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 650
M. C. Platenius, Reengineering of Design Deficiencies in Component-Based Software Architectures. Universität Paderborn, 2011.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20934
M. von Detten, M. Meyer, and D. Travkin, “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, 2010, vol. 2, pp. 299–300.
LibreCat
2010 | Report | LibreCat-ID: 20935
M. von Detten, M. Meyer, and D. Travkin, Reclipse - A Reverse Engineering Tool Suite. 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20936
R. Löffler, M. Meyer, and M. Gottschalk, “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, 2010, pp. 57–67.
LibreCat
2010 | Journal Article | LibreCat-ID: 20962
J. Holtmann, “Mit Satzmustern von textuellen Anforderungen zu Modellen,” OBJEKTspektrum, no. RE/2010, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20963
J. Meyer, J. Holtmann, W. Schäfer, and U. A. Nickel, “Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie,” in Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium), 2010, vol. P-160.
LibreCat
2009 | Dissertation | LibreCat-ID: 20937
M. Meyer, Musterbasiertes Re-Engineering von Softwaresystemen. Universitaetsbibliothek Paderborn, 2009.
LibreCat
| Download (ext.)
2008 | Conference Paper | LibreCat-ID: 20938
M. Tichy, S. Henkler, M. Meyer, and M. von Detten, “Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse,” 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20957
E. Kindler and D. Schmelter, “Aspect-oriented modelling from a different angle,” 2008, doi: 10.1145/1404920.1404922.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 20964
J. Holtmann and M. Tichy, “Component Story Diagrams in Fujaba4Eclipse,” in Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, 2008, pp. 44–47.
LibreCat
2008 | Mastersthesis | LibreCat-ID: 20965
J. Holtmann, Graphtransformationen für komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn, 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20966
M. Tichy, S. Henkler, J. Holtmann, and S. Oberthür, “Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems,” in Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, 2008, vol. 236, pp. 27–38.
LibreCat
2008 | Mastersthesis | LibreCat-ID: 20968
J. Holtmann, Graphtransformationen für komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn, 2008.
LibreCat
2007 | Conference Paper | LibreCat-ID: 20949
A. Delic, Z. Avdagic, W. Schäfer, D. Boskovic, and M. Meyer, “Program evaluation using fuzzy logic with bad smells as inputs,” 2007.
LibreCat
2006 | Conference Paper | LibreCat-ID: 20950
M. Meyer, “Pattern-based Reengineering of Software Systems,” in Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), Benevento, Italy, 2006, pp. 305–306.
LibreCat
2006 | Conference Paper | LibreCat-ID: 20951
H. Giese, M. Meyer, and R. Wagner, “A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink,” in Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, 2006, vol. tr-ri-06-275, pp. 56–60.
LibreCat
2006 | Conference Paper | LibreCat-ID: 20952
M. Tichy, M. Meyer, and H. Giese, “On Semantic Issues in Story Diagrams,” in Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, 2006, vol. tr-ri-06-275, pp. 10–14.
LibreCat
2006 | Bachelorsthesis | LibreCat-ID: 20967
J. Holtmann, Entwicklung von Geschäftsprozessmustern zur Qualitätssicherung. University of Paderborn, 2006.
LibreCat
2005 | Conference Paper | LibreCat-ID: 20926
M. Meyer and L. Wendehals, “Selective Tracing for Dynamic Analyses,” in Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), co-located with the 12th WCRE, Pittsburgh, Pennsylvania, USA, 2005, vol. 2005–12, pp. 33–37.
LibreCat
2005 | Conference Paper | LibreCat-ID: 20929
M. Meyer and J. Niere, “Calculation and Visualization of Software Product Metrics,” in Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, 2005, vol. tr-ri-05-259, pp. 41–44.
LibreCat
2005 | Conference Paper | LibreCat-ID: 20930
D. Travkin and M. Meyer, “Generation of Type Safe Association Implementations,” in Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, 2005, vol. tr-ri-05-259, pp. 63–66.
LibreCat
2004 | Report | LibreCat-ID: 20933
J. Niere, M. Meyer, and L. Wendehals, User-driven adaption in rule-based pattern recognition. Paderborn, Germany, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 20931
M. Meyer and L. Wendehals, “Teaching Object-Oriented Concepts with Eclipse,” in Proc. of the Eclipse Technology eXchange Workshop (ETX), Satellite Event of the 19th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Vancouver, Canada, 2004, pp. 1–5.
LibreCat
2004 | Conference Paper | LibreCat-ID: 20932
L. Wendehals, M. Meyer, and A. Elsner, “Selective Tracing of Java Programs,” in Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany, 2004, vol. tr-ri-04-253, pp. 7–10.
LibreCat