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
- 1
- 2
- 3
- 4 (current)
- 5
2014 | Conference Paper | LibreCat-ID: 5189
Arzt S, Rasthofer S, Fritz C, 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. ACM Press; 2014. doi:10.1145/2594291.2594299
LibreCat
| Files available
| DOI
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 5190
Arzt S, Rasthofer S, Lovat E, Bodden E. DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android. In: International Conference on Availability, Reliability and Security (ARES 2014). IEEE; 2014:40-49.
LibreCat
| Files available
| Download (ext.)
2013 | Bachelorsthesis | LibreCat-ID: 20978
Hüwe M. Das Verteilungsproblem Für Mechatronische Systeme. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20980
Farshizadeh E, Briese H, Steinmann D, et al. Simulationsgestützter Entwurf für Elektrofahrzeuge. In: 8. Dortmunder Autotag. ; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 20985
Koch T. Combining Scenario-Based and Architecture-Based Timing Requirements. University of Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20831
Geismann J. Quelltextgenerierung für LEGO Mindstorms-Roboter. In: Berichtsband Der Informatiktage 2013: Smarte Sichten, Smarte Schichten. Vol 12. GI-Edition - Lecture Notes in Informatics (LNI). Köllen Verlag; 2013:71-74.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 20913
Frieben J, Heutger H, Meyer M, Becker S. Modulare Leistungsprognose von Kompaktsteuerungen. In: 9. Paderborner Workshop Entwurf Mechatronischer Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2013:147-160.
LibreCat
2013 | Conference Paper | LibreCat-ID: 484
Platenius MC, von Detten M, Gerth C, Schäfer W, Engels G. Service Matching under Consideration of Explicitly Specified Service Variants. In: IEEE 20th International Conference on Web Services (ICWS 2013). ; 2013:613-614. doi:10.1109/ICWS.2013.98
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 494
von Detten M. 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
Christin Platenius M. 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:715-718. doi: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. 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:143-152. doi:10.1145/2465449.2465454
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 20974
Fockel M, Holtmann J, Meyer J. Semi-automatic establishment and maintenance of valid traceability in automotive development processes. In: 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 M, Heidl P, Höfflinger J, et al. Application and Evaluation in the Automotive Domain. In: 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 MC, von Detten M, Becker S. 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:255-264. doi:10.1109/CSMR.2012.33
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 5183
Bodden E, Lam P, Hendren L. Partially Evaluating Finite-State Runtime Monitors Ahead of Time. ACM Transactions on Programming Languages and Systems. 2012;34(2):1-52. doi:10.1145/2220365.2220366
LibreCat
| Files available
| DOI
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 20958
Holtmann J, Meyer J, von Detten M. Automatic Validation and Correction of Formalized, Textual Requirements. In: 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 J, Holtmann J. Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR. In: Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII. fortiss GmbH; 2011:21-30.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20975
Fockel M, Travkin D, von Detten M. Interpreting Story Diagrams for the Static Detection of Software Patterns. In: Proceedings of the 8th International Fujaba Days. ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20915
Meyer J, Holtmann J, Meyer M. Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen. In: 8. Paderborner Workshop Entwurf Mechatronischer Systeme. Vol 294. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut; 2011:203-215.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20916
Holtmann J, Meyer J, Meyer M. A Seamless Model-Based Development Process for Automotive Systems. In: Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium). Vol P-184. GI-Edition Lecture Notes in Informatics (LNI). Bonner Koellen Verlag; 2011:79-88.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 650
Platenius MC. Reengineering of Design Deficiencies in Component-Based Software Architectures. Universität Paderborn; 2011.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20934
von Detten M, Meyer M, Travkin D. 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. Vol 2. ACM Press; 2010:299-300.
LibreCat
2010 | Report | LibreCat-ID: 20935
von Detten M, Meyer M, Travkin D. Reclipse - A Reverse Engineering Tool Suite.; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20936
Löffler R, Meyer M, Gottschalk M. 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. ACM; 2010:57-67.
LibreCat
2010 | Book Chapter | LibreCat-ID: 20961
Seebach H, Nafz F, Holtmann J, et al. Designing Self-healing in Automotive Systems. In: 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. Mit Satzmustern von textuellen Anforderungen zu Modellen. OBJEKTspektrum. 2010;(RE/2010).
LibreCat
2010 | Conference Paper | LibreCat-ID: 20963
Meyer J, Holtmann J, Schäfer W, Nickel UA. Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie. In: Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium). Vol P-160. GI-Edition - Lecture Notes in Informatics (LNI). Bonner Koellen Verlag; 2010.
LibreCat
2009 | Dissertation | LibreCat-ID: 20937
Meyer M. Musterbasiertes Re-Engineering von Softwaresystemen. Universitaetsbibliothek Paderborn; 2009.
LibreCat
| Download (ext.)
2008 | Conference Paper | LibreCat-ID: 20938
Tichy M, Henkler S, Meyer M, von Detten M. Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse. In: Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany. ; 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20957
Kindler E, Schmelter D. Aspect-oriented modelling from a different angle. In: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08. ; 2008. doi:10.1145/1404920.1404922
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 20964
Holtmann J, Tichy M. Component Story Diagrams in Fujaba4Eclipse. In: Proc. of the 6th International Fujaba Days 2008, Dresden, Germany. ; 2008:44-47.
LibreCat
2008 | Mastersthesis | LibreCat-ID: 20965
Holtmann J. Graphtransformationen Für Komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn; 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20966
Tichy M, Henkler S, Holtmann J, Oberthür S. 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. Vol 236. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut; 2008:27-38.
LibreCat
2008 | Mastersthesis | LibreCat-ID: 20968
Holtmann J. Graphtransformationen Für Komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn; 2008.
LibreCat
2007 | Conference Paper | LibreCat-ID: 20949
Delic A, Avdagic Z, Schäfer W, Boskovic D, Meyer M. Program evaluation using fuzzy logic with bad smells as inputs. 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
2006 | Conference Paper | LibreCat-ID: 20950
Meyer M. Pattern-based Reengineering of Software Systems. In: Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), Benevento, Italy. IEEE Computer Society; 2006:305-306.
LibreCat
2006 | Conference Paper | LibreCat-ID: 20951
Giese H, Meyer M, Wagner R. A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink. In: Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany. Vol tr-ri-06-275. Technical Report. University of Paderborn; 2006:56-60.
LibreCat
2006 | Conference Paper | LibreCat-ID: 20952
Tichy M, Meyer M, Giese H. On Semantic Issues in Story Diagrams. In: Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany. Vol tr-ri-06-275. Technical Report. University of Paderborn; 2006:10-14.
LibreCat
2006 | Bachelorsthesis | LibreCat-ID: 20967
Holtmann J. Entwicklung von Geschäftsprozessmustern Zur Qualitätssicherung. University of Paderborn; 2006.
LibreCat
2005 | Conference Paper | LibreCat-ID: 20926
Meyer M, Wendehals L. 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. Vol 2005-12. Technical Report. ; 2005:33-37.
LibreCat
2005 | Conference Paper | LibreCat-ID: 20929
Meyer M, Niere J. Calculation and Visualization of Software Product Metrics. In: Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany. Vol tr-ri-05-259. Technical Report. University of Paderborn; 2005:41-44.
LibreCat
2005 | Conference Paper | LibreCat-ID: 20930
Travkin D, Meyer M. Generation of Type Safe Association Implementations. In: Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany. Vol tr-ri-05-259. Technical Report. University of Paderborn; 2005:63-66.
LibreCat
2004 | Report | LibreCat-ID: 20933
Niere J, Meyer M, Wendehals L. User-Driven Adaption in Rule-Based Pattern Recognition.; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 20931
Meyer M, Wendehals L. 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. ACM Press; 2004:1-5.
LibreCat
2004 | Conference Paper | LibreCat-ID: 20932
Wendehals L, Meyer M, Elsner A. Selective Tracing of Java Programs. In: Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany. Vol tr-ri-04-253. Technical Report. University of Paderborn; 2004:7-10.
LibreCat
- 1
- 2
- 3
- 4 (current)
- 5