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
Arzt, Steven, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, and Patrick McDaniel. “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. https://doi.org/10.1145/2594291.2594299.
LibreCat
| Files available
| DOI
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 5190
Arzt, Steven, Siegfried Rasthofer, Enrico Lovat, and Eric Bodden. “DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android.” In International Conference on Availability, Reliability and Security (ARES 2014), 40–49. IEEE, 2014.
LibreCat
| Files available
| Download (ext.)
2013 | Bachelorsthesis | LibreCat-ID: 20978
Hüwe, Marcus. Das Verteilungsproblem Für Mechatronische Systeme. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20980
Farshizadeh, Emad, Hermann Briese, David Steinmann, Lars Stockmann, Steffen Beringer, Dominik Holler, Kay Klobedanz, Christian Heinzemann, Klaus Peter, and Michael Leuer. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” In 8. Dortmunder Autotag, 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 20985
Koch, Thorsten. Combining Scenario-Based and Architecture-Based Timing Requirements. University of Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20831
Geismann, Johannes. “Quelltextgenerierung Für LEGO Mindstorms-Roboter.” In Berichtsband Der Informatiktage 2013: Smarte Sichten, Smarte Schichten, 12:71–74. GI-Edition - Lecture Notes in Informatics (LNI). Bonn, Germany: Köllen Verlag, 2013.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 20913
Frieben, Jens, Henning Heutger, Matthias Meyer, and Steffen Becker. “Modulare Leistungsprognose von Kompaktsteuerungen.” In 9. Paderborner Workshop Entwurf Mechatronischer Systeme, 147–60. Paderborn: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 484
Platenius, Marie Christin, Markus von Detten, Christian Gerth, Wilhelm Schäfer, and Gregor Engels. “Service Matching under Consideration of Explicitly Specified Service Variants.” In IEEE 20th International Conference on Web Services (ICWS 2013), 613–14, 2013. https://doi.org/10.1109/ICWS.2013.98.
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 494
Detten, Markus von. 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, Marie. “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), 715–18, 2013. https://doi.org/10.1145/2491411.2492405.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 560
Platenius, Marie, Markus von Detten, Steffen Becker, Wilhelm Schäfer, and Gregor 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, 143–52, 2013. https://doi.org/10.1145/2465449.2465454.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 20974
Fockel, Markus, Jörg Holtmann, and Jan Meyer. “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. https://doi.org/10.1109/sees.2012.6225489.
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 20914
Fockel, Markus, Peter Heidl, Jens Höfflinger, Harald Hönninger, Jörg Holtmann, Wilfried Horn, Jan Meyer, Matthias Meyer, and Jörg Schäuffele. “Application and Evaluation in the Automotive Domain.” In Model-Based Engineering of Embedded Systems. Berlin, Heidelberg, 2012. https://doi.org/10.1007/978-3-642-34614-9_12.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 630
Platenius, Marie Christin, Markus von Detten, and Steffen 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), 255–64, 2012. https://doi.org/10.1109/CSMR.2012.33.
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 5183
Bodden, Eric, Patrick Lam, and Laurie Hendren. “Partially Evaluating Finite-State Runtime Monitors Ahead of Time.” ACM Transactions on Programming Languages and Systems 34, no. 2 (2012): 1–52. https://doi.org/10.1145/2220365.2220366.
LibreCat
| Files available
| DOI
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 20958
Holtmann, Jörg, Jan Meyer, and Markus von Detten. “Automatic Validation and Correction of Formalized, Textual Requirements.” In 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011. https://doi.org/10.1109/icstw.2011.17.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20960
Meyer, Jan, and Jörg Holtmann. “Eine Durchgängige Entwicklungsmethode von Der Systemarchitektur Bis Zur Softwarearchitektur Mit AUTOSAR.” In Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII, 21–30. fortiss GmbH, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20975
Fockel, Markus, Dietrich Travkin, and Markus von Detten. “Interpreting Story Diagrams for the Static Detection of Software Patterns.” In Proceedings of the 8th International Fujaba Days. University of Tartu, Estonia, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20915
Meyer, Jan, Jörg Holtmann, and Matthias Meyer. “Formalisierung von Anforderungen Und Betriebssystemeigenschaften Zur Fruehzeitigen Simulation von Eingebetteten, Automobilen Systemen.” In 8. Paderborner Workshop Entwurf Mechatronischer Systeme, 294:203–15. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20916
Holtmann, Jörg, Jan Meyer, and Matthias Meyer. “A Seamless Model-Based Development Process for Automotive Systems.” In Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium), P-184:79–88. GI-Edition Lecture Notes in Informatics (LNI). Bonner Koellen Verlag, 2011.
LibreCat