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.

167 Publications


2016 | Conference Paper | LibreCat-ID: 20729
Arzt S, Bodden E. StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android Framework. In: International Conference for Software Engineering (ICSE). ; 2016.
LibreCat | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20825
Greinert M, Tschirner C, Holtmann J. Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme. In: Tag Des Systems Engineering 2016. Gesellschaft f{\"u}r Systems Engineering e.V.; 2016:77-86. doi:10.3139/9783446451414.008
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 5205
Späth J, Nguyen Quang Do L, Ali K, Bodden E. Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. In: European Conference on Object-Oriented Programming (ECOOP). ; 2016.
LibreCat | Files available | Download (ext.)
 

2016 | Journal Article | LibreCat-ID: 20718
Rasthofer S, Arzt S, Bodden E, Miltenberger M. Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen. Datenschutz und Datensicherheit. 2016:718-722. doi:https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536
LibreCat | DOI | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20720
Follner A, Bartel A, Peng H, et al. PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution. In: International Workshop on Security and Trust Management (STM). ; 2016:212-228.
LibreCat | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20725
Follner A, Bartel A, Bodden E. Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality. In: International Symposium on Engineering Secure Software and Systems (ESSoS). ; 2016.
LibreCat | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20719
Holzinger P, Triller S, Bartel A, Bodden E. An In-Depth Study of More Than Ten Years of Java Exploitation. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. CCS ’16. ; 2016:779-790. doi:http://doi.acm.org/10.1145/2976749.2978361
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 20721
Nguyen Quang Do L, Eichberg M, Bodden E. Toward an Automated Benchmark Management System. In: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. SOAP 2016. ; 2016:13-17.
LibreCat | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20726
Falzon K, Bodden E. Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels. In: Piessens F, Vigan’o L, eds. Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg; 2016:116-138. doi:10.1007/978-3-662-49635-0_7
LibreCat | DOI | Download (ext.)
 

2016 | Report | LibreCat-ID: 20822
Dziwok S, Pohlmann U, Piskachev G, Schubert D, Thiele S, Gerking C. The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling. Zukunftsmeile 1, 33102 Paderborn, Germany; 2016.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 5207
Li L, Bartel A, Bissyande TF, et al. IccTA: Detecting Inter-Component Privacy Leaks in Android Apps. In: 2015 International Conference on Software Engineering (ICSE). ; 2015:280-291.
LibreCat | Files available | Download (ext.)
 

2015 | Conference Paper | LibreCat-ID: 20979
Stockmann L. Debugging Models in the Context of Automotive Software Development. In: Chechik M, Kolovos D, eds. Proceedings of the Doctoral Symposium of the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems. ; 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 20902
Meyer J, Holtmann J, Koch T, Meyer M. Generierung von AUTOSAR-Modellen aus UML-Spezifikationen. In: Gausemeier J, Dumitrescu R, Rammig F-J, Schäfer W, Trächtler A, eds. 10. Paderborner Workshop Entwurf Mechatronischer Systeme. Vol 343. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut; 2015:159–172.
LibreCat
 

2015 | Report | LibreCat-ID: 20832
Schäfer W, Dziwok S, Pohlmann U, et al. Seminar Theses of the Project Group Cybertron.; 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 280
Arifulina S, Platenius MC, Mohr F, Engels G, Schäfer W. Market-Specific Service Compositions: Specification and Matching. In: Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet. ; 2015:333--340. doi:10.1109/SERVICES.2015.58
LibreCat | Files available | DOI
 

2015 | Mastersthesis | LibreCat-ID: 20833
Geismann J. Multi-Core Execution of Safety-Critical Component-Based Software. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik; 2015.
LibreCat
 

2015 | Report | LibreCat-ID: 20977
Schäfer W, Dziwok S, Pohlmann U, et al. Seminar Theses of the Project Group Cybertron.; 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 279
Platenius MC, Arifulina S, Schäfer W. MatchBox: A Framework for Dynamic Configuration of Service Matching Processes. In: Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15). ; 2015:75-84. doi:10.1145/2737166.2737174
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 313
Börding P, Bruns M, Platenius MC. Comprehensive Service Matching with MatchBox. In: 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15). ; 2015:974--977. doi:10.1145/2786805.2803181
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 364
Arifulina S, Becker M, Platenius MC, Walther S. SeSAME: Modeling and Analyzing High-Quality Service Compositions. In: Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014). ; 2014:839-842. doi:10.1145/2642937.2648621
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 20905
Pohlmann U, Holtmann J, Meyer M, Gerking C. Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems. In: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE Xplore; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 409
Platenius MC, Becker S, Schäfer W. Integrating Service Matchers into a Service Market Architecture. In: Avgeriou P, Zdun U, eds. Proceedings of the 8th European Conference on Software Architecture (ECSA 2014). LNCS. ; 2014:210-217. doi:10.1007/978-3-319-09970-5_19
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 346
Brangewitz S, Jungmann A, Petrlic R, Platenius MC. Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. In: Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION). ; 2014:49-57.
LibreCat | Files available
 

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.)
 

2014 | Conference Paper | LibreCat-ID: 366
Petrlic R, Jungmann A, Platenius MC, Schäfer W, Sorge C. Security and Privacy Challenges in On-The-Fly Computing. In: Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014). ; 2014:131-142.
LibreCat | Files available
 

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: 20983
Brenner C, Greenyer J, Holtmann J, Liebel G, Stieglbauer G, Tichy M. ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. In: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014). ; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20907
Becker S, Dziwok S, Gerking C, et al. The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems. In: Proceedings of the 36th International Conference on Software Engineering (Posters). ACM, New York, NY, USA; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 401
Platenius MC, Arifulina S, Petrlic R, Schäfer W. Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In: Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet. Communications in Computer and Information Science. ; 2014:6-17. doi:10.1007/978-3-319-14886-1_2
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 449
Becker M, Platenius MC, Becker S. Cloud Computing Reduces Uncertainties in Quality-of-Service Matching! In: Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB). Communications in Computer and Information Science. ; 2014:153-159. doi:10.1007/978-3-319-14886-1_15
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 20910
Pohlmann U, Meyer M, Dann AP, Brink C. Viewpoints and Views in Hardware Platform Modeling for Safe Deployment. In: Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling. ACM, New York, NY, USA; 2014:23:23-23:30.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20908
Pohlmann U, Dziwok S, Meyer M, Tichy M, Thiele S. A Modelica Coordination Pattern Library for Cyber-Physical Systems. In: Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques. ; 2014.
LibreCat | Download (ext.)
 

2014 | Conference Paper | LibreCat-ID: 402
Arifulina S, Platenius MC, Gerth C, Becker S, Engels G, Schäfer W. Market-optimized Service Specification and Matching. In: Franch X, Ghose A, Lewis G, Bhiri S, eds. Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014). LNCS. ; 2014:543-550. doi:10.1007/978-3-662-45391-9_47
LibreCat | Files available | DOI
 

2014 | Report | LibreCat-ID: 20909
Becker S, Dziwok S, Gerking C, et al. The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling.; 2014.
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 | 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). Bonn, Germany: 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. Paderborn: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2013:147-160.
LibreCat
 

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
 

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: 20980
Farshizadeh E, Briese H, Steinmann D, et al. Simulationsgestützter Entwurf für Elektrofahrzeuge. In: 8. Dortmunder Autotag. ; 2013.
LibreCat
 

2013 | Bachelorsthesis | LibreCat-ID: 20978
Hüwe M. Das Verteilungsproblem Für Mechatronische Systeme. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik; 2013.
LibreCat
 

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 | 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.)
 

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. Berlin, Heidelberg; 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
 

2011 | Mastersthesis | LibreCat-ID: 650
Platenius MC. Reengineering of Design Deficiencies in Component-Based Software Architectures. Universität Paderborn; 2011.
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. University of Tartu, Estonia; 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
 

Filters and Search Terms

department=76

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed