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