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 | Book Chapter | LibreCat-ID: 20914
M. Fockel et al., “Application and Evaluation in the Automotive Domain,” in Model-Based Engineering of Embedded Systems, Berlin, Heidelberg, 2012.
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 | Book Chapter | LibreCat-ID: 20961
H. Seebach et al., “Designing Self-healing in Automotive Systems,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 2010.
LibreCat | DOI
 

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
 

Filters and Search Terms

department=76

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed