Jazayeri, B., Platenius, M. C., Engels, G., &; Kundisch, D. (2016). Features of IT Service Markets: A Systematic Literature Review (Supplementary Material). Universität Paderborn.
LibreCat: /record/198

Jazayeri, B., Platenius, M., Engels, G., &; Kundisch, D. (2016). Features of IT Service Markets: A Systematic Literature Review. In Proceedings of the 14th International Conference on Service Oriented Computing (ICSOC) (Vol. 9936, pp. 301–316). Banff, Canada: Springer.https://doi.org/10.1007/978-3-319-46295-0_19 
LibreCat: /record/199
DOI: 10.1007/978-3-319-46295-0_19

Bodden, E., I Pun, K., Steffen, M., Stolz, V., &; Wickert, A.-K. (2016). Information Flow Analysis for Go. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, 431–445.https://doi.org/10.1007/978-3-319-47166-2_30 
LibreCat: /record/20556
DOI: 10.1007/978-3-319-47166-2_30

Bodden, E., Eichberg, M., I Pun, K., Steffen, M., Stolz, V., &; Wickert, A.-K. (2016). Don’t let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go. Nordic Workshop on Programming Theory (NWPT’16).
LibreCat: /record/20716

Nguyen Quang Do, L., Ali, K., Livshits, B., Bodden, E., Smith, J., &; Murphy-Hill, E. (2016). Just-in-Time Static Analysis.http://dx.doi.org/10.7939/DVN/10859 
LibreCat: /record/20717
DOI: http://dx.doi.org/10.7939/DVN/10859

Rasthofer, S., Arzt, S., Bodden, E., &; Miltenberger, M. (2016). Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen. Datenschutz Und Datensicherheit, 718–722.https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536 
LibreCat: /record/20718
DOI: https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536

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

Follner, A., Bartel, A., Peng, H., Chang, Y.-C., Ispoglou, K., Payer, M., &; Bodden, E. (2016). PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution. International Workshop on Security and Trust Management (STM), 212–228.
LibreCat: /record/20720

Nguyen Quang Do, L., Eichberg, M., &; Bodden, E. (2016). Toward an Automated Benchmark Management System. Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 13–17.
LibreCat: /record/20721

Arzt, S., Kussmaul, T., &; Bodden, E. (2016). Towards Cross-Platform Cross-Language Analysis with Soot. Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 1–6.
LibreCat: /record/20722

Follner, A., &; Bodden, E. (2016). ROPocop — Dynamic mitigation of code-reuse attacks. Journal of Information Security and Applications , 29, 16–26.http://dx.doi.org/10.1016/j.jisa.2016.01.002 
LibreCat: /record/20724
DOI: http://dx.doi.org/10.1016/j.jisa.2016.01.002

Follner, A., Bartel, A., &; Bodden, E. (2016). Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality. International Symposium on Engineering Secure Software and Systems (ESSoS).
LibreCat: /record/20725

Falzon, K., &; Bodden, E. (2016). Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels. In F. Piessens &; L. Vigan’o (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 (pp. 116–138). Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-662-49635-0_7 
LibreCat: /record/20726
DOI: 10.1007/978-3-662-49635-0_7

Rasthofer, S., Arzt, S., Miltenberger, M., &; Bodden, E. (2016). Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques. Network and Distributed System Security Symposium (NDSS).
LibreCat: /record/20727

Nadi, S., Krüger, S., Mezini, M., &; Bodden, E. (2016). Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs? International Conference for Software Engineering (ICSE), 935–946.
LibreCat: /record/20728

Arzt, S., &; Bodden, E. (2016). StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android Framework. International Conference for Software Engineering (ICSE).
LibreCat: /record/20729

Eling, N., Rasthofer, S., Kolhagen, M., Bodden, E., &; Buxmann, P. (2016). Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment. 2016 49th Hawaii International Conference on System Sciences (HICSS), 3666–3675.https://doi.org/10.1109/HICSS.2016.458 
LibreCat: /record/20730
DOI: 10.1109/HICSS.2016.458

Dziwok, S., Pohlmann, U., Piskachev, G., Schubert, D., Thiele, S., &; Gerking, C. (2016). The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling.
LibreCat: /record/20822

Holtmann, J., Fockel, M., Koch, T., Schmelter, D., Brenner, C., Bernijazov, R., &; Sander, M. (2016). The MechatronicUML Requirements Engineering Method: Process and Language.https://doi.org/10.13140/RG.2.2.33223.29606 
LibreCat: /record/20823
DOI: 10.13140/RG.2.2.33223.29606

Greinert, M., Tschirner, C., &; Holtmann, J. (2016). Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme. Tag Des Systems Engineering 2016, 77–86.https://doi.org/10.3139/9783446451414.008 
LibreCat: /record/20825
DOI: 10.3139/9783446451414.008

Schubert, D., Heinzemann, C., &; Gerking, C. (2016). Towards Safe Execution of Reconfigurations in Cyber-Physical Systems. Proceedings of the 19th International ACM Sigsoft Symposium on Component-Based Software Engineering.
LibreCat: /record/20830

Platenius, M. C., Josifovska, K., van Rooijen, L., Arifulina, S., Becker, M., Engels, G., &; Schäfer, W. (2016). An Overview of Service Specification Language and Matching in On-The-Fly Computing (.3). Universität Paderborn.
LibreCat: /record/221

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

Arifulina, S., Platenius, M. C., Mohr, F., Engels, G., &; Schäfer, W. (2015). 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 (pp. 333--340).https://doi.org/10.1109/SERVICES.2015.58 
LibreCat: /record/280
DOI: 10.1109/SERVICES.2015.58

Börding, P., Bruns, M., &; Platenius, M. C. (2015). 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) (pp. 974--977).https://doi.org/10.1145/2786805.2803181 
LibreCat: /record/313
DOI: 10.1145/2786805.2803181

Platenius, M. C., Arifulina, S., &; Schäfer, W. (2015). 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) (pp. 75–84).https://doi.org/10.1145/2737166.2737174 
LibreCat: /record/279
DOI: 10.1145/2737166.2737174

Schäfer, W., Dziwok, S., Pohlmann, U., Bobolz, J., Czech, M., Dann, A. P., Geismann, J., Hüwe, M., Krieger, A., Piskachev, G., Schubert, D., &; Wohlrab, R. (2015). Seminar Theses of the Project Group Cybertron.
LibreCat: /record/20977

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

Schäfer, W., Dziwok, S., Pohlmann, U., Bobolz, J., Czech, M., Dann, A. P., Geismann, J., Hüwe, M., Krieger, A., Piskachev, G., Schubert, D., &; Wohlrab, R. (2015). Seminar Theses of the Project Group Cybertron.
LibreCat: /record/20832

Geismann, J. (2015). Multi-Core Execution of Safety-Critical Component-Based Software. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik.
LibreCat: /record/20833

Meyer, J., Holtmann, J., Koch, T., &; Meyer, M. (2015). Generierung von AUTOSAR-Modellen aus UML-Spezifikationen. In J. Gausemeier, R. Dumitrescu, F.-J. Rammig, W. Schäfer, &; A. Trächtler (Eds.), 10. Paderborner Workshop Entwurf mechatronischer Systeme (Vol. 343, pp. 159–172). Heinz Nixdorf Institut.
LibreCat: /record/20902

Li, L., Bartel, A., Bissyande, T. F., Klein, J., Le Traon, Y., Arzt, S.,  McDaniel, P. (2015). IccTA: Detecting Inter-Component Privacy Leaks in Android Apps. In 2015 International Conference on Software Engineering (ICSE) (pp. 280–291).
LibreCat: /record/5207

Brangewitz, S., Jungmann, A., Petrlic, R., &; Platenius, M. C. (2014). 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) (pp. 49–57).
LibreCat: /record/346

Arifulina, S., Becker, M., Platenius, M. C., &; Walther, S. (2014). SeSAME: Modeling and Analyzing High-Quality Service Compositions. In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) (pp. 839–842).https://doi.org/10.1145/2642937.2648621 
LibreCat: /record/364
DOI: 10.1145/2642937.2648621

Petrlic, R., Jungmann, A., Platenius, M. C., Schäfer, W., &; Sorge, C. (2014). Security and Privacy Challenges in On-The-Fly Computing. In Tagungsband der 4. Konferenz Software-Technologien und -Prozesse (STeP 2014) (pp. 131–142).
LibreCat: /record/366

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

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

Becker, S., Dziwok, S., Gerking, C., Heinzemann, C., Schäfer, W., Meyer, M., &; Pohlmann, U. (2014). The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems. Proceedings of the 36th International Conference on Software Engineering (Posters).
LibreCat: /record/20907

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

Becker, S., Dziwok, S., Gerking, C., Schäfer, W., Heinzemann, C., Thiele, S., Meyer, M., Priesterjahn, C., Pohlmann, U., &; Tichy, M. (2014). The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling.
LibreCat: /record/20909

Pohlmann, U., Meyer, M., Dann, A. P., &; Brink, C. (2014). Viewpoints and Views in Hardware Platform Modeling for Safe Deployment. Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, 23:23-23:30.
LibreCat: /record/20910

Becker, M., Platenius, M. C., &; Becker, S. (2014). Cloud Computing Reduces Uncertainties in Quality-of-Service Matching! In Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB) (pp. 153–159).https://doi.org/10.1007/978-3-319-14886-1_15 
LibreCat: /record/449
DOI: 10.1007/978-3-319-14886-1_15

Platenius, M. C., Arifulina, S., Petrlic, R., &; Schäfer, W. (2014). Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet (pp. 6–17).https://doi.org/10.1007/978-3-319-14886-1_2 
LibreCat: /record/401
DOI: 10.1007/978-3-319-14886-1_2

Arifulina, S., Platenius, M. C., Gerth, C., Becker, S., Engels, G., &; Schäfer, W. (2014). Market-optimized Service Specification and Matching. In X. Franch, A. Ghose, G. Lewis, &; S. Bhiri (Eds.), Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014) (pp. 543–550).https://doi.org/10.1007/978-3-662-45391-9_47 
LibreCat: /record/402
DOI: 10.1007/978-3-662-45391-9_47

Platenius, M. C., Becker, S., &; Schäfer, W. (2014). Integrating Service Matchers into a Service Market Architecture. In P. Avgeriou &; U. Zdun (Eds.), Proceedings of the 8th European Conference on Software Architecture (ECSA 2014) (pp. 210–217).https://doi.org/10.1007/978-3-319-09970-5_19 
LibreCat: /record/409
DOI: 10.1007/978-3-319-09970-5_19

Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J.,https://doi.org/10.1145/2594291.2594299__McDaniel, P. (2014). 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.https://doi.org/10.1145/2594291.2594299 
LibreCat: /record/5189
DOI: 10.1145/2594291.2594299

Arzt, S., Rasthofer, S., Lovat, E., &; Bodden, E. (2014). DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android. In International Conference on Availability, Reliability and Security (ARES 2014) (pp. 40–49). IEEE.
LibreCat: /record/5190

Hüwe, M. (2013). Das Verteilungsproblem für mechatronische Systeme. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik.
LibreCat: /record/20978

Farshizadeh, E., Briese, H., Steinmann, D., Stockmann, L., Beringer, S., Holler, D., Klobedanz, K., Heinzemann, C., Peter, K., &; Leuer, M. (2013). Simulationsgestützter Entwurf für Elektrofahrzeuge. 8. Dortmunder Autotag.
LibreCat: /record/20980

Koch, T. (2013). Combining Scenario-based and Architecture-based Timing Requirements. University of Paderborn.
LibreCat: /record/20985