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
@inproceedings{Arzt_Rasthofer_Fritz_Bodden_Bartel_Klein_Le Traon_Octeau_McDaniel_2014, title={FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps}, DOI={10.1145/2594291.2594299}, booktitle={Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14}, publisher={ACM Press}, author={Arzt, Steven and Rasthofer, Siegfried and Fritz, Christian and Bodden, Eric and Bartel, Alexandre and Klein, Jacques and Le Traon, Yves and Octeau, Damien and McDaniel, Patrick}, year={2014} }
LibreCat
| Files available
| DOI
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 5190
@inproceedings{Arzt_Rasthofer_Lovat_Bodden_2014, title={DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android}, booktitle={International Conference on Availability, Reliability and Security (ARES 2014)}, publisher={IEEE}, author={Arzt, Steven and Rasthofer, Siegfried and Lovat, Enrico and Bodden, Eric}, year={2014}, pages={40–49} }
LibreCat
| Files available
| Download (ext.)
2013 | Bachelorsthesis | LibreCat-ID: 20978
@book{Hüwe_2013, title={Das Verteilungsproblem für mechatronische Systeme}, publisher={Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik}, author={Hüwe, Marcus}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 20980
@inproceedings{Farshizadeh_Briese_Steinmann_Stockmann_Beringer_Holler_Klobedanz_Heinzemann_Peter_Leuer_2013, title={Simulationsgestützter Entwurf für Elektrofahrzeuge}, booktitle={8. Dortmunder Autotag}, author={Farshizadeh, Emad and Briese, Hermann and Steinmann, David and Stockmann, Lars and Beringer, Steffen and Holler, Dominik and Klobedanz, Kay and Heinzemann, Christian and Peter, Klaus and Leuer, Michael}, year={2013} }
LibreCat
2013 | Mastersthesis | LibreCat-ID: 20985
@book{Koch_2013, title={Combining Scenario-based and Architecture-based Timing Requirements}, publisher={University of Paderborn}, author={Koch, Thorsten}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 20831
@inproceedings{Geismann_2013, place={Bonn, Germany}, series={GI-Edition - Lecture Notes in Informatics (LNI)}, title={Quelltextgenerierung für LEGO Mindstorms-Roboter}, volume={12}, booktitle={Berichtsband der Informatiktage 2013: Smarte Sichten, smarte Schichten}, publisher={Köllen Verlag}, author={Geismann, Johannes}, year={2013}, pages={71–74}, collection={GI-Edition - Lecture Notes in Informatics (LNI)} }
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 20913
@inproceedings{Frieben_Heutger_Meyer_Becker_2013, place={Paderborn}, title={Modulare Leistungsprognose von Kompaktsteuerungen}, booktitle={9. Paderborner Workshop Entwurf mechatronischer Systeme}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Frieben, Jens and Heutger, Henning and Meyer, Matthias and Becker, Steffen}, year={2013}, pages={147–160} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 484
@inproceedings{Platenius_von Detten_Gerth_Schäfer_Engels_2013, title={Service Matching under Consideration of Explicitly Specified Service Variants}, DOI={10.1109/ICWS.2013.98}, booktitle={IEEE 20th International Conference on Web Services (ICWS 2013)}, author={Platenius, Marie Christin and von Detten, Markus and Gerth, Christian and Schäfer, Wilhelm and Engels, Gregor}, year={2013}, pages={613–614} }
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 494
@book{von Detten_2013, title={Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies}, publisher={Universität Paderborn}, author={von Detten, Markus}, year={2013} }
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 527
@inproceedings{Christin Platenius_2013, title={Fuzzy Service Matching in On-The-Fly Computing}, DOI={10.1145/2491411.2492405}, booktitle={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)}, author={Christin Platenius, Marie}, year={2013}, pages={715–718} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 560
@inproceedings{Platenius_von Detten_Becker_Schäfer_Engels_2013, title={A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing}, DOI={10.1145/2465449.2465454}, booktitle={Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering}, author={Platenius, Marie and von Detten, Markus and Becker, Steffen and Schäfer, Wilhelm and Engels, Gregor}, year={2013}, pages={143–152} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 20974
@inproceedings{Fockel_Holtmann_Meyer_2012, title={Semi-automatic establishment and maintenance of valid traceability in automotive development processes}, DOI={10.1109/sees.2012.6225489}, booktitle={2012 Second International Workshop on Software Engineering for Embedded Systems (SEES)}, author={Fockel, Markus and Holtmann, Jörg and Meyer, Jan}, year={2012} }
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 20914
@inbook{Fockel_Heidl_Höfflinger_Hönninger_Holtmann_Horn_Meyer_Meyer_Schäuffele_2012, place={Berlin, Heidelberg}, title={Application and Evaluation in the Automotive Domain}, DOI={10.1007/978-3-642-34614-9_12}, booktitle={Model-Based Engineering of Embedded Systems}, author={Fockel, Markus and Heidl, Peter and Höfflinger, Jens and Hönninger, Harald and Holtmann, Jörg and Horn, Wilfried and Meyer, Jan and Meyer, Matthias and Schäuffele, Jörg}, year={2012} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 630
@inproceedings{Platenius_von Detten_Becker_2012, title={Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies}, DOI={10.1109/CSMR.2012.33}, booktitle={Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR)}, author={Platenius, Marie Christin and von Detten, Markus and Becker, Steffen}, year={2012}, pages={255–264} }
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 5183
@article{Bodden_Lam_Hendren_2012, title={Partially Evaluating Finite-State Runtime Monitors Ahead of Time}, volume={34}, DOI={10.1145/2220365.2220366}, number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={Association for Computing Machinery (ACM)}, author={Bodden, Eric and Lam, Patrick and Hendren, Laurie}, year={2012}, pages={1–52} }
LibreCat
| Files available
| DOI
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 20958
@inproceedings{Holtmann_Meyer_von Detten_2011, title={Automatic Validation and Correction of Formalized, Textual Requirements}, DOI={10.1109/icstw.2011.17}, booktitle={2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops}, author={Holtmann, Jörg and Meyer, Jan and von Detten, Markus}, year={2011} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20960
@inproceedings{Meyer_Holtmann_2011, title={Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR}, booktitle={Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII}, publisher={fortiss GmbH}, author={Meyer, Jan and Holtmann, Jörg}, year={2011}, pages={21–30} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 20975
@inproceedings{Fockel_Travkin_von Detten_2011, place={University of Tartu, Estonia}, title={Interpreting Story Diagrams for the Static Detection of Software Patterns}, booktitle={Proceedings of the 8th International Fujaba Days}, author={Fockel, Markus and Travkin, Dietrich and von Detten, Markus}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 20915
@inproceedings{Meyer_Holtmann_Meyer_2011, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen}, volume={294}, booktitle={8. Paderborner Workshop Entwurf mechatronischer Systeme}, publisher={Heinz Nixdorf Institut}, author={Meyer, Jan and Holtmann, Jörg and Meyer, Matthias}, year={2011}, pages={203–215}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 20916
@inproceedings{Holtmann_Meyer_Meyer_2011, series={GI-Edition Lecture Notes in Informatics (LNI)}, title={A Seamless Model-Based Development Process for Automotive Systems}, volume={P-184}, booktitle={Software Engineering 2011 – Workshopband (inkl. Doktorandensymposium)}, publisher={Bonner Koellen Verlag}, author={Holtmann, Jörg and Meyer, Jan and Meyer, Matthias}, year={2011}, pages={79–88}, collection={GI-Edition Lecture Notes in Informatics (LNI)} }
LibreCat
2011 | Mastersthesis | LibreCat-ID: 650
@book{Platenius_2011, title={Reengineering of Design Deficiencies in Component-Based Software Architectures}, publisher={Universität Paderborn}, author={Platenius, Marie Christin}, year={2011} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 20934
@inproceedings{von Detten_Meyer_Travkin_2010, place={New York, NY, USA}, title={Reverse Engineering with the Reclipse Tool Suite}, volume={2}, booktitle={Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010}, publisher={ACM Press}, author={von Detten, Markus and Meyer, Matthias and Travkin, Dietrich}, year={2010}, pages={299–300} }
LibreCat
2010 | Report | LibreCat-ID: 20935
@book{von Detten_Meyer_Travkin_2010, title={Reclipse - A Reverse Engineering Tool Suite}, author={von Detten, Markus and Meyer, Matthias and Travkin, Dietrich}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 20936
@inproceedings{Löffler_Meyer_Gottschalk_2010, place={New York, NY, USA}, title={Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications}, booktitle={Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care}, publisher={ACM}, author={Löffler, Renate and Meyer, Matthias and Gottschalk, Matthias}, year={2010}, pages={57–67} }
LibreCat
2010 | Book Chapter | LibreCat-ID: 20961
@inbook{Seebach_Nafz_Holtmann_Meyer_Tichy_Reif_Schäfer_2010, place={Berlin, Heidelberg}, title={Designing Self-healing in Automotive Systems}, DOI={10.1007/978-3-642-16576-4_4}, booktitle={Lecture Notes in Computer Science}, author={Seebach, Hella and Nafz, Florian and Holtmann, Jörg and Meyer, Jan and Tichy, Matthias and Reif, Wolfgang and Schäfer, Wilhelm}, year={2010} }
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 20962
@article{Holtmann_2010, title={Mit Satzmustern von textuellen Anforderungen zu Modellen}, number={RE/2010}, journal={OBJEKTspektrum}, author={Holtmann, Jörg}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 20963
@inproceedings{Meyer_Holtmann_Schäfer_Nickel_2010, series={GI-Edition - Lecture Notes in Informatics (LNI)}, title={Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie}, volume={P-160}, booktitle={Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium)}, publisher={Bonner Koellen Verlag}, author={Meyer, Jan and Holtmann, Jörg and Schäfer, Wilhelm and Nickel, Ulrich A.}, year={2010}, collection={GI-Edition - Lecture Notes in Informatics (LNI)} }
LibreCat
2009 | Dissertation | LibreCat-ID: 20937
@book{Meyer_2009, title={Musterbasiertes Re-Engineering von Softwaresystemen}, publisher={Universitaetsbibliothek Paderborn}, author={Meyer, Matthias}, year={2009} }
LibreCat
| Download (ext.)
2008 | Conference Paper | LibreCat-ID: 20938
@inproceedings{Tichy_Henkler_Meyer_von Detten_2008, title={Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse}, booktitle={Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany}, author={Tichy, Matthias and Henkler, Stefan and Meyer, Matthias and von Detten, Markus}, year={2008} }
LibreCat
2008 | Conference Paper | LibreCat-ID: 20957
@inproceedings{Kindler_Schmelter_2008, title={Aspect-oriented modelling from a different angle}, DOI={10.1145/1404920.1404922}, booktitle={Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling - AOM ’08}, author={Kindler, Ekkart and Schmelter, David}, year={2008} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 20964
@inproceedings{Holtmann_Tichy_2008, title={Component Story Diagrams in Fujaba4Eclipse}, booktitle={Proc. of the 6th International Fujaba Days 2008, Dresden, Germany}, author={Holtmann, Jörg and Tichy, Matthias}, year={2008}, pages={44–47} }
LibreCat
2008 | Mastersthesis | LibreCat-ID: 20965
@book{Holtmann_2008, title={Graphtransformationen für komponentenbasierte Softwarearchitekturen}, publisher={Software Engineering Group, University of Paderborn}, author={Holtmann, Jörg}, year={2008} }
LibreCat
2008 | Conference Paper | LibreCat-ID: 20966
@inproceedings{Tichy_Henkler_Holtmann_Oberthür_2008, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems}, volume={236}, booktitle={Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany}, publisher={Heinz Nixdorf Institut}, author={Tichy, Matthias and Henkler, Stefan and Holtmann, Jörg and Oberthür, Simon}, year={2008}, pages={27–38}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2008 | Mastersthesis | LibreCat-ID: 20968
@book{Holtmann_2008, title={Graphtransformationen für komponentenbasierte Softwarearchitekturen}, publisher={Software Engineering Group, University of Paderborn}, author={Holtmann, Jörg}, year={2008} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 20949
@inproceedings{Delic_Avdagic_Schäfer_Boskovic_Meyer_2007, title={Program evaluation using fuzzy logic with bad smells as inputs}, booktitle={Proc. of the 21st International Symposium on Information, Communication and Automation Technologies (ICAT 2007), Sarajevo, Bosnia Herzegovina}, publisher={Faculty of Electrical Engineering, University of Sarajevo}, author={Delic, A. and Avdagic, Z. and Schäfer, Wilhelm and Boskovic, Dusanka and Meyer, Matthias}, year={2007} }
LibreCat
2006 | Conference Paper | LibreCat-ID: 20950
@inproceedings{Meyer_2006, title={Pattern-based Reengineering of Software Systems}, booktitle={Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), Benevento, Italy}, publisher={IEEE Computer Society}, author={Meyer, Matthias}, year={2006}, pages={305–306} }
LibreCat
2006 | Conference Paper | LibreCat-ID: 20951
@inproceedings{Giese_Meyer_Wagner_2006, series={Technical Report}, title={A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink}, volume={tr-ri-06-275}, booktitle={Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany}, publisher={University of Paderborn}, author={Giese, Holger and Meyer, Matthias and Wagner, Robert}, year={2006}, pages={56–60}, collection={Technical Report} }
LibreCat
2006 | Conference Paper | LibreCat-ID: 20952
@inproceedings{Tichy_Meyer_Giese_2006, series={Technical Report}, title={On Semantic Issues in Story Diagrams}, volume={tr-ri-06-275}, booktitle={Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany}, publisher={University of Paderborn}, author={Tichy, Matthias and Meyer, Matthias and Giese, Holger}, year={2006}, pages={10–14}, collection={Technical Report} }
LibreCat
2006 | Bachelorsthesis | LibreCat-ID: 20967
@book{Holtmann_2006, title={Entwicklung von Geschäftsprozessmustern zur Qualitätssicherung}, publisher={University of Paderborn}, author={Holtmann, Jörg}, year={2006} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 20926
@inproceedings{Meyer_Wendehals_2005, series={Technical Report}, title={Selective Tracing for Dynamic Analyses}, volume={2005–12}, booktitle={Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), co-located with the 12th WCRE, Pittsburgh, Pennsylvania, USA}, author={Meyer, Matthias and Wendehals, Lothar}, year={2005}, pages={33–37}, collection={Technical Report} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 20929
@inproceedings{Meyer_Niere_2005, series={Technical Report}, title={Calculation and Visualization of Software Product Metrics}, volume={tr-ri-05-259}, booktitle={Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany}, publisher={University of Paderborn}, author={Meyer, Matthias and Niere, Jörg}, year={2005}, pages={41–44}, collection={Technical Report} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 20930
@inproceedings{Travkin_Meyer_2005, series={Technical Report}, title={Generation of Type Safe Association Implementations}, volume={tr-ri-05-259}, booktitle={Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany}, publisher={University of Paderborn}, author={Travkin, Dietrich and Meyer, Matthias}, year={2005}, pages={63–66}, collection={Technical Report} }
LibreCat
2004 | Report | LibreCat-ID: 20933
@book{Niere_Meyer_Wendehals_2004, place={Paderborn, Germany}, title={User-driven adaption in rule-based pattern recognition}, author={Niere, Jörrg and Meyer, Matthias and Wendehals, Lothar}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 20931
@inproceedings{Meyer_Wendehals_2004, title={Teaching Object-Oriented Concepts with Eclipse}, booktitle={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}, publisher={ACM Press}, author={Meyer, Matthias and Wendehals, Lothar}, year={2004}, pages={1–5} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 20932
@inproceedings{Wendehals_Meyer_Elsner_2004, series={Technical Report}, title={Selective Tracing of Java Programs}, volume={tr-ri-04-253}, booktitle={Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany}, publisher={University of Paderborn}, author={Wendehals, Lothar and Meyer, Matthias and Elsner, Andreas}, year={2004}, pages={7–10}, collection={Technical Report} }
LibreCat