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
FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps
S. Arzt, S. Rasthofer, C. Fritz, E. Bodden, A. Bartel, J. Klein, Y. Le Traon, D. Octeau, P. McDaniel, in: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14, ACM Press, 2014.
LibreCat
| Files available
| DOI
| Download (ext.)
S. Arzt, S. Rasthofer, C. Fritz, E. Bodden, A. Bartel, J. Klein, Y. Le Traon, D. Octeau, P. McDaniel, in: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14, ACM Press, 2014.
2014 | Conference Paper | LibreCat-ID: 5190
DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android
S. Arzt, S. Rasthofer, E. Lovat, E. Bodden, in: International Conference on Availability, Reliability and Security (ARES 2014), IEEE, 2014, pp. 40–49.
LibreCat
| Files available
| Download (ext.)
S. Arzt, S. Rasthofer, E. Lovat, E. Bodden, in: International Conference on Availability, Reliability and Security (ARES 2014), IEEE, 2014, pp. 40–49.
2013 | Bachelorsthesis | LibreCat-ID: 20978
Das Verteilungsproblem für mechatronische Systeme
M. Hüwe, Das Verteilungsproblem Für Mechatronische Systeme, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013.
LibreCat
M. Hüwe, Das Verteilungsproblem Für Mechatronische Systeme, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013.
2013 | Conference Paper | LibreCat-ID: 20980
Simulationsgestützter Entwurf für Elektrofahrzeuge
E. Farshizadeh, H. Briese, D. Steinmann, L. Stockmann, S. Beringer, D. Holler, K. Klobedanz, C. Heinzemann, K. Peter, M. Leuer, in: 8. Dortmunder Autotag, 2013.
LibreCat
E. Farshizadeh, H. Briese, D. Steinmann, L. Stockmann, S. Beringer, D. Holler, K. Klobedanz, C. Heinzemann, K. Peter, M. Leuer, in: 8. Dortmunder Autotag, 2013.
2013 | Mastersthesis | LibreCat-ID: 20985
Combining Scenario-based and Architecture-based Timing Requirements
T. Koch, Combining Scenario-Based and Architecture-Based Timing Requirements, University of Paderborn, 2013.
LibreCat
T. Koch, Combining Scenario-Based and Architecture-Based Timing Requirements, University of Paderborn, 2013.
2013 | Conference Paper | LibreCat-ID: 20831
Quelltextgenerierung für LEGO Mindstorms-Roboter
J. Geismann, in: Berichtsband Der Informatiktage 2013: Smarte Sichten, Smarte Schichten, Köllen Verlag, Bonn, Germany, 2013, pp. 71–74.
LibreCat
| Download (ext.)
J. Geismann, in: Berichtsband Der Informatiktage 2013: Smarte Sichten, Smarte Schichten, Köllen Verlag, Bonn, Germany, 2013, pp. 71–74.
2013 | Conference Paper | LibreCat-ID: 20913
Modulare Leistungsprognose von Kompaktsteuerungen
J. Frieben, H. Heutger, M. Meyer, S. Becker, in: 9. Paderborner Workshop Entwurf Mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Paderborn, 2013, pp. 147–160.
LibreCat
J. Frieben, H. Heutger, M. Meyer, S. Becker, in: 9. Paderborner Workshop Entwurf Mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Paderborn, 2013, pp. 147–160.
2013 | Conference Paper | LibreCat-ID: 484
Service Matching under Consideration of Explicitly Specified Service Variants
M.C. Platenius, M. von Detten, C. Gerth, W. Schäfer, G. Engels, in: IEEE 20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–614.
LibreCat
| Files available
| DOI
M.C. Platenius, M. von Detten, C. Gerth, W. Schäfer, G. Engels, in: IEEE 20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–614.
2013 | Dissertation | LibreCat-ID: 494
Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies
M. von Detten, Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies, Universität Paderborn, 2013.
LibreCat
| Files available
M. von Detten, Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies, Universität Paderborn, 2013.
2013 | Conference Paper | LibreCat-ID: 527
Fuzzy Service Matching in On-The-Fly Computing
M. Christin Platenius, 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
M. Christin Platenius, 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.
2013 | Conference Paper | LibreCat-ID: 560
A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing
M. Platenius, M. von Detten, S. Becker, W. Schäfer, G. Engels, in: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, 2013, pp. 143–152.
LibreCat
| Files available
| DOI
M. Platenius, M. von Detten, S. Becker, W. Schäfer, G. Engels, in: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, 2013, pp. 143–152.
2012 | Conference Paper | LibreCat-ID: 20974
Semi-automatic establishment and maintenance of valid traceability in automotive development processes
M. Fockel, J. Holtmann, J. Meyer, in: 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES), 2012.
LibreCat
| DOI
M. Fockel, J. Holtmann, J. Meyer, in: 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES), 2012.
2012 | Book Chapter | LibreCat-ID: 20914
Application and Evaluation in the Automotive Domain
M. Fockel, P. Heidl, J. Höfflinger, H. Hönninger, J. Holtmann, W. Horn, J. Meyer, M. Meyer, J. Schäuffele, in: Model-Based Engineering of Embedded Systems, Berlin, Heidelberg, 2012.
LibreCat
| DOI
M. Fockel, P. Heidl, J. Höfflinger, H. Hönninger, J. Holtmann, W. Horn, J. Meyer, M. Meyer, J. Schäuffele, in: Model-Based Engineering of Embedded Systems, Berlin, Heidelberg, 2012.
2012 | Conference Paper | LibreCat-ID: 630
Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies
M.C. Platenius, M. von Detten, S. Becker, in: Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–264.
LibreCat
| Files available
| DOI
M.C. Platenius, M. von Detten, S. Becker, in: Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–264.
2012 | Journal Article | LibreCat-ID: 5183
Partially Evaluating Finite-State Runtime Monitors Ahead of Time
E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages and Systems 34 (2012) 1–52.
LibreCat
| Files available
| DOI
| Download (ext.)
E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages and Systems 34 (2012) 1–52.
2011 | Conference Paper | LibreCat-ID: 20958
Automatic Validation and Correction of Formalized, Textual Requirements
J. Holtmann, J. Meyer, M. von Detten, in: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011.
LibreCat
| DOI
J. Holtmann, J. Meyer, M. von Detten, in: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011.
2011 | Conference Paper | LibreCat-ID: 20960
Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR
J. Meyer, J. Holtmann, in: Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII, fortiss GmbH, 2011, pp. 21–30.
LibreCat
J. Meyer, J. Holtmann, in: Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII, fortiss GmbH, 2011, pp. 21–30.
2011 | Conference Paper | LibreCat-ID: 20975
Interpreting Story Diagrams for the Static Detection of Software Patterns
M. Fockel, D. Travkin, M. von Detten, in: Proceedings of the 8th International Fujaba Days, University of Tartu, Estonia, 2011.
LibreCat
M. Fockel, D. Travkin, M. von Detten, in: Proceedings of the 8th International Fujaba Days, University of Tartu, Estonia, 2011.
2011 | Conference Paper | LibreCat-ID: 20915
Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen
J. Meyer, J. Holtmann, M. Meyer, in: 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Heinz Nixdorf Institut, 2011, pp. 203–215.
LibreCat
J. Meyer, J. Holtmann, M. Meyer, in: 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Heinz Nixdorf Institut, 2011, pp. 203–215.
2011 | Conference Paper | LibreCat-ID: 20916
A Seamless Model-Based Development Process for Automotive Systems
J. Holtmann, J. Meyer, M. Meyer, in: Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium), Bonner Koellen Verlag, 2011, pp. 79–88.
LibreCat
J. Holtmann, J. Meyer, M. Meyer, in: Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium), Bonner Koellen Verlag, 2011, pp. 79–88.
2011 | Mastersthesis | LibreCat-ID: 650
Reengineering of Design Deficiencies in Component-Based Software Architectures
M.C. Platenius, Reengineering of Design Deficiencies in Component-Based Software Architectures, Universität Paderborn, 2011.
LibreCat
M.C. Platenius, Reengineering of Design Deficiencies in Component-Based Software Architectures, Universität Paderborn, 2011.
2010 | Conference Paper | LibreCat-ID: 20934
Reverse Engineering with the Reclipse Tool Suite
M. von Detten, M. Meyer, D. Travkin, in: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, ACM Press, New York, NY, USA, 2010, pp. 299–300.
LibreCat
M. von Detten, M. Meyer, D. Travkin, in: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, ACM Press, New York, NY, USA, 2010, pp. 299–300.
2010 | Report | LibreCat-ID: 20935
Reclipse - A Reverse Engineering Tool Suite
M. von Detten, M. Meyer, D. Travkin, Reclipse - A Reverse Engineering Tool Suite, 2010.
LibreCat
M. von Detten, M. Meyer, D. Travkin, Reclipse - A Reverse Engineering Tool Suite, 2010.
2010 | Conference Paper | LibreCat-ID: 20936
Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications
R. Löffler, M. Meyer, M. Gottschalk, in: Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, ACM, New York, NY, USA, 2010, pp. 57–67.
LibreCat
R. Löffler, M. Meyer, M. Gottschalk, in: Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, ACM, New York, NY, USA, 2010, pp. 57–67.
2010 | Book Chapter | LibreCat-ID: 20961
Designing Self-healing in Automotive Systems
H. Seebach, F. Nafz, J. Holtmann, J. Meyer, M. Tichy, W. Reif, W. Schäfer, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2010.
LibreCat
| DOI
H. Seebach, F. Nafz, J. Holtmann, J. Meyer, M. Tichy, W. Reif, W. Schäfer, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2010.
2010 | Journal Article | LibreCat-ID: 20962
Mit Satzmustern von textuellen Anforderungen zu Modellen
J. Holtmann, OBJEKTspektrum (2010).
LibreCat
J. Holtmann, OBJEKTspektrum (2010).
2010 | Conference Paper | LibreCat-ID: 20963
Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie
J. Meyer, J. Holtmann, W. Schäfer, U.A. Nickel, in: Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium), Bonner Koellen Verlag, 2010.
LibreCat
J. Meyer, J. Holtmann, W. Schäfer, U.A. Nickel, in: Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium), Bonner Koellen Verlag, 2010.
2009 | Dissertation | LibreCat-ID: 20937
Musterbasiertes Re-Engineering von Softwaresystemen
M. Meyer, Musterbasiertes Re-Engineering von Softwaresystemen, Universitaetsbibliothek Paderborn, 2009.
LibreCat
| Download (ext.)
M. Meyer, Musterbasiertes Re-Engineering von Softwaresystemen, Universitaetsbibliothek Paderborn, 2009.
2008 | Conference Paper | LibreCat-ID: 20938
Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse
M. Tichy, S. Henkler, M. Meyer, M. von Detten, in: Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany, 2008.
LibreCat
M. Tichy, S. Henkler, M. Meyer, M. von Detten, in: Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany, 2008.
2008 | Conference Paper | LibreCat-ID: 20957
Aspect-oriented modelling from a different angle
E. Kindler, D. Schmelter, in: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08, 2008.
LibreCat
| DOI
E. Kindler, D. Schmelter, in: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08, 2008.
2008 | Conference Paper | LibreCat-ID: 20964
Component Story Diagrams in Fujaba4Eclipse
J. Holtmann, M. Tichy, in: Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, 2008, pp. 44–47.
LibreCat
J. Holtmann, M. Tichy, in: Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, 2008, pp. 44–47.
2008 | Mastersthesis | LibreCat-ID: 20965
Graphtransformationen für komponentenbasierte Softwarearchitekturen
J. Holtmann, Graphtransformationen Für Komponentenbasierte Softwarearchitekturen, Software Engineering Group, University of Paderborn, 2008.
LibreCat
J. Holtmann, Graphtransformationen Für Komponentenbasierte Softwarearchitekturen, Software Engineering Group, University of Paderborn, 2008.
2008 | Conference Paper | LibreCat-ID: 20966
Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems
M. Tichy, S. Henkler, J. Holtmann, S. Oberthür, in: Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, Heinz Nixdorf Institut, 2008, pp. 27–38.
LibreCat
M. Tichy, S. Henkler, J. Holtmann, S. Oberthür, in: Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, Heinz Nixdorf Institut, 2008, pp. 27–38.
2008 | Mastersthesis | LibreCat-ID: 20968
Graphtransformationen für komponentenbasierte Softwarearchitekturen
J. Holtmann, Graphtransformationen Für Komponentenbasierte Softwarearchitekturen, Software Engineering Group, University of Paderborn, 2008.
LibreCat
J. Holtmann, Graphtransformationen Für Komponentenbasierte Softwarearchitekturen, Software Engineering Group, University of Paderborn, 2008.
2007 | Conference Paper | LibreCat-ID: 20949
Program evaluation using fuzzy logic with bad smells as inputs
A. Delic, Z. Avdagic, W. Schäfer, D. Boskovic, M. Meyer, in: Proc. of the 21st International Symposium on Information, Communication and Automation Technologies (ICAT 2007), Sarajevo, Bosnia Herzegovina, Faculty of Electrical Engineering, University of Sarajevo, 2007.
LibreCat
A. Delic, Z. Avdagic, W. Schäfer, D. Boskovic, M. Meyer, in: Proc. of the 21st International Symposium on Information, Communication and Automation Technologies (ICAT 2007), Sarajevo, Bosnia Herzegovina, Faculty of Electrical Engineering, University of Sarajevo, 2007.
2006 | Conference Paper | LibreCat-ID: 20950
Pattern-based Reengineering of Software Systems
M. Meyer, in: Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), Benevento, Italy, IEEE Computer Society, 2006, pp. 305–306.
LibreCat
M. Meyer, in: Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), Benevento, Italy, IEEE Computer Society, 2006, pp. 305–306.
2006 | Conference Paper | LibreCat-ID: 20951
A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink
H. Giese, M. Meyer, R. Wagner, in: Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, University of Paderborn, 2006, pp. 56–60.
LibreCat
H. Giese, M. Meyer, R. Wagner, in: Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, University of Paderborn, 2006, pp. 56–60.
2006 | Conference Paper | LibreCat-ID: 20952
On Semantic Issues in Story Diagrams
M. Tichy, M. Meyer, H. Giese, in: Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, University of Paderborn, 2006, pp. 10–14.
LibreCat
M. Tichy, M. Meyer, H. Giese, in: Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, University of Paderborn, 2006, pp. 10–14.
2006 | Bachelorsthesis | LibreCat-ID: 20967
Entwicklung von Geschäftsprozessmustern zur Qualitätssicherung
J. Holtmann, Entwicklung von Geschäftsprozessmustern Zur Qualitätssicherung, University of Paderborn, 2006.
LibreCat
J. Holtmann, Entwicklung von Geschäftsprozessmustern Zur Qualitätssicherung, University of Paderborn, 2006.
2005 | Conference Paper | LibreCat-ID: 20926
Selective Tracing for Dynamic Analyses
M. Meyer, L. Wendehals, in: Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), Co-Located with the 12th WCRE, Pittsburgh, Pennsylvania, USA, 2005, pp. 33–37.
LibreCat
M. Meyer, L. Wendehals, in: Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), Co-Located with the 12th WCRE, Pittsburgh, Pennsylvania, USA, 2005, pp. 33–37.
2005 | Conference Paper | LibreCat-ID: 20929
Calculation and Visualization of Software Product Metrics
M. Meyer, J. Niere, in: Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, University of Paderborn, 2005, pp. 41–44.
LibreCat
M. Meyer, J. Niere, in: Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, University of Paderborn, 2005, pp. 41–44.
2005 | Conference Paper | LibreCat-ID: 20930
Generation of Type Safe Association Implementations
D. Travkin, M. Meyer, in: Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, University of Paderborn, 2005, pp. 63–66.
LibreCat
D. Travkin, M. Meyer, in: Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, University of Paderborn, 2005, pp. 63–66.
2004 | Report | LibreCat-ID: 20933
User-driven adaption in rule-based pattern recognition
J. Niere, M. Meyer, L. Wendehals, User-Driven Adaption in Rule-Based Pattern Recognition, Paderborn, Germany, 2004.
LibreCat
J. Niere, M. Meyer, L. Wendehals, User-Driven Adaption in Rule-Based Pattern Recognition, Paderborn, Germany, 2004.
2004 | Conference Paper | LibreCat-ID: 20931
Teaching Object-Oriented Concepts with Eclipse
M. Meyer, L. Wendehals, 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, ACM Press, 2004, pp. 1–5.
LibreCat
M. Meyer, L. Wendehals, 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, ACM Press, 2004, pp. 1–5.
2004 | Conference Paper | LibreCat-ID: 20932
Selective Tracing of Java Programs
L. Wendehals, M. Meyer, A. Elsner, in: Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany, University of Paderborn, 2004, pp. 7–10.
LibreCat
L. Wendehals, M. Meyer, A. Elsner, in: Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany, University of Paderborn, 2004, pp. 7–10.