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
2018 | Journal Article | LibreCat-ID: 20543
Nguyen Quang Do L, Krüger S, Hill P, Ali K, Bodden E. Debugging Static Analysis. IEEE Transactions on Software Engineering. Published online 2018:1-1. doi:10.1109/TSE.2018.2868349
LibreCat
| DOI
| Download (ext.)
2018 | Conference (Editor) | LibreCat-ID: 20544
Tichy M, Bodden E, Kuhrmann M, Wagner S, Steghöfer J-P, eds. Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany. Vol {P-279}. Gesellschaft für Informatik; 2018.
LibreCat
2018 | Conference (Editor) | LibreCat-ID: 20545
Tip F, Bodden E, eds. Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018. ACM; 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 20546
Gerking C, Schubert D, Bodden E. Model Checking the Information Flow Security of Real-Time Systems. In: Payer M, Rashid A, Such JM, eds. Engineering Secure Software and Systems. Springer International Publishing; 2018:27-43.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20547
Nguyen Quang Do L, Bodden E. Gamifying Static Analysis. In: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ESEC/FSE 2018. ACM; 2018:714-718. doi:10.1145/3236024.3264830
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20548
Bodden E. The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them). In: ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018). ISSTA ’18. ACM; 2018:85-93. doi:10.1145/3236454.3236500
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20549
Geismann J, Gerking C, Bodden E. Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes. In: International Conference on Software and System Processes (ICSSP). ; 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 20550
Bodden E. Self-adaptive Static Analysis. In: Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results. ICSE-NIER ’18. ACM; 2018:45-48. doi:10.1145/3183399.3183401
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 20551
Nguyen Quang Do L, Krüger S, Hill P, Ali K, Bodden E. VISUFLOW, a Debugging Environment for Static Analyses. In: International Conference for Software Engineering (ICSE), Tool Demonstrations Track. ; 2018.
LibreCat
| Download (ext.)
2018 | Dissertation | LibreCat-ID: 20779
Fockel M. Safety Requirements Engineering for Early SIL Tailoring. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn; 2018. doi:10.17619/UNIPB/1-490
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20781
Gerking C, Schubert D. Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems. In: European Conference on Software Architecture (ECSA 2018). Lecture Notes in Computer Science. Springer; 2018:147-155. doi:10.1007/978-3-030-00761-4_10
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20784
Geismann J. Traceable Threat Modeling for Safety-critical Systems. In: IEEE International Conference on Software Architecture Companion (ICSA-C 2018) . IEEE; 2018:41-42. doi:10.1109/ICSA-C.2018.00017
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20785
Geismann J, Höttger R, Krawczyk L, Pohlmann U, Schmelter D. Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems. In: Pires LF, Hammoudi S, Selic B, eds. Model-Driven Engineering and Software Development. Vol 1. Springer International Publishing; 2018:72-93. doi:10.1007/978-3-319-94764-8_4
LibreCat
| DOI
2018 | Dissertation | LibreCat-ID: 20789
Pohlmann U. A Model-Driven Software Construction Approach for Cyber-Physical Systems. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik; 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 4999
Pauck F, Bodden E, Wehrheim H. Do Android taint analysis tools keep their promises? In: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018. ACM Press; 2018. doi:10.1145/3236024.3236029
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 5203
Krüger S, Späth J, Ali K, Bodden E, Mezini M. CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. In: European Conference on Object-Oriented Programming (ECOOP). ; 2018:10:1-10:27.
LibreCat
| Files available
| Download (ext.)
2018 | Bachelorsthesis | LibreCat-ID: 1044
Leer R. Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis. Universität Paderborn; 2018.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1045
Strüwer JN. Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn; 2018.
LibreCat
| Files available
2017 | Book Chapter | LibreCat-ID: 20552
Gerking C, Bodden E, Schäfer W. Industrial Security by Design. In: Maier GW, Engels G, Steffen E, eds. Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten. Springer Berlin Heidelberg; 2017:1-24. doi:10.1007/978-3-662-52903-4_8-1
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 20553
Ben Othmane L, Chehrazi G, Bodden E, Tsalovski P, Brucker AD. Time for Addressing Software Security Issues: Prediction Models and Impacting Factors. Data Science and Engineering. 2017;2(2):107-124. doi:https://doi.org/10.1007/s41019-016-0019-8
LibreCat
| Files available
| DOI
2017 | Report | LibreCat-ID: 20554
Bodden E. Self-Adaptive Static Analysis.; 2017.
LibreCat
| Download (ext.)
2017 | Report | LibreCat-ID: 20555
Krüger S, Späth J, Ali K, Bodden E, Mezini M. CrySL: Validating Correct Usage of Cryptographic APIs.; 2017.
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 20557
Lillack M, Kästner C, Bodden E. Tracking Load-time Configuration Options. IEEE Transactions on Software Engineering. 2017;PP(99):1-1. doi:10.1109/TSE.2017.2756048
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20558
Krüger S, Nadi S, Reif M, et al. CogniCrypt: Supporting Developers in using Cryptography. In: International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track. ; 2017.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20559
Do LNQ, Ali K, Livshits B, Bodden E, Smith J, Murphy-Hill E. Just-in-time Static Analysis. In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. ISSTA 2017. ACM; 2017:307-317. doi:10.1145/3092703.3092705
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20715
Nguyen Quang Do L, Ali K, Livshits B, Bodden E, Smith J, Murphy-Hill E. Cheetah: Just-in-Time Taint Analysis for Android Apps. In: International Conference for Software Engineering (ICSE), Tool Demonstrations Track. ; 2017.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20792
Schivo S, Yildiz. BM, Ruijters E, et al. How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. In: Larsen KG, Sokolsky O, Wang J, eds. Dependable Software Engineering, 3rd International Symposium (SETTA 2017). Lecture Notes in Computer Science. Springer; 2017:319-336. doi:10.1007/978-3-319-69483-2_19
LibreCat
| DOI
2017 | Dissertation | LibreCat-ID: 20794
Dziwok S. Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems. Paderborn University; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20797
Gerking C, Schubert D, Budde I. Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities. In: Guerra E, van den Brand M, eds. Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017). Lecture Notes in Computer Science. Springer; 2017:19-34.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20804
Geismann J, Pohlmann U, Schmelter D. Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems. In: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. ; 2017.
LibreCat
2017 | Dissertation | LibreCat-ID: 20805
Becker M. Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 5204
Späth J, Ali K, Bodden E. IDEal: Efficient and Precise Alias-aware Dataflow Analysis. In: 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH). ACM Press; 2017.
LibreCat
| Files available
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 5209
Fischer A, Fuhry B, Kerschbaum F, Bodden E. Computation on Encrypted Data using Data Flow Authentication. CoRR. 2017;abs/1710.00390.
LibreCat
| Files available
| Download (ext.)
2017 | Dissertation | LibreCat-ID: 102
Becker M. Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction. Universität Paderborn; 2017. doi:10.17619/UNIPB/1-133
LibreCat
| DOI
2016 | Dissertation | LibreCat-ID: 195
Platenius MC. Fuzzy Matching of Comprehensive Service Specifications. Universität Paderborn; 2016.
LibreCat
| Files available
2016 | Report | LibreCat-ID: 198
Jazayeri B, Platenius MC, Engels G, Kundisch D. Features of IT Service Markets: A Systematic Literature Review (Supplementary Material). Universität Paderborn; 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 199
Jazayeri B, Platenius M, Engels G, Kundisch D. Features of IT Service Markets: A Systematic Literature Review. In: Proceedings of the 14th International Conference on Service Oriented Computing (ICSOC). Vol 9936. Lecture Notes in Computer Science (LNCS). Banff, Canada: Springer; 2016:301-316. doi:10.1007/978-3-319-46295-0_19
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 20556
Bodden E, I Pun K, Steffen M, Stolz V, Wickert A-K. Information Flow Analysis for Go. In: 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}. ; 2016:431-445. doi:10.1007/978-3-319-47166-2_30
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20716
Bodden E, Eichberg M, I Pun K, Steffen M, Stolz V, Wickert A-K. Don’t let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go. In: Nordic Workshop on Programming Theory (NWPT’16). ; 2016.
LibreCat
| Download (ext.)
2016 | Report | LibreCat-ID: 20717
Nguyen Quang Do L, Ali K, Livshits B, Bodden E, Smith J, Murphy-Hill E. Just-in-Time Static Analysis.; 2016. doi:http://dx.doi.org/10.7939/DVN/10859
LibreCat
| DOI
| 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. Published online 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: 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: 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: 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: 20722
Arzt S, Kussmaul T, Bodden E. Towards Cross-Platform Cross-Language Analysis with Soot. In: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. SOAP 2016. ; 2016:1-6.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20724
Follner A, Bodden E. ROPocop — Dynamic mitigation of code-reuse attacks. Journal of Information Security and Applications . 2016;29:16-26. doi:http://dx.doi.org/10.1016/j.jisa.2016.01.002
LibreCat
| DOI
| 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: 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. Springer Berlin Heidelberg; 2016:116-138. doi:10.1007/978-3-662-49635-0_7
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20727
Rasthofer S, Arzt S, Miltenberger M, Bodden E. Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques. In: Network and Distributed System Security Symposium (NDSS). ; 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20728
Nadi S, Krüger S, Mezini M, Bodden E. Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs? In: International Conference for Software Engineering (ICSE). ; 2016:935-946.
LibreCat
| Download (ext.)
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: 20730
Eling N, Rasthofer S, Kolhagen M, Bodden E, Buxmann P. Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment. In: 2016 49th Hawaii International Conference on System Sciences (HICSS). ; 2016:3666-3675. doi:10.1109/HICSS.2016.458
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.; 2016.
LibreCat
2016 | Report | LibreCat-ID: 20823
Holtmann J, Fockel M, Koch T, et al. The MechatronicUML Requirements Engineering Method: Process and Language.; 2016. doi:10.13140/RG.2.2.33223.29606
LibreCat
| DOI
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: 20830
Schubert D, Heinzemann C, Gerking C. Towards Safe Execution of Reconfigurations in Cyber-Physical Systems. In: Proceedings of the 19th International ACM Sigsoft Symposium on Component-Based Software Engineering. ACM; 2016.
LibreCat
2016 | Report | LibreCat-ID: 221
Platenius MC, Josifovska K, van Rooijen L, et al. An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3). Universität Paderborn; 2016.
LibreCat
| Files available
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.)
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 | 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
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 | 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: 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 | Report | LibreCat-ID: 20832
Schäfer W, Dziwok S, Pohlmann U, et al. Seminar Theses of the Project Group Cybertron.; 2015.
LibreCat
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 | 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 | 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.)
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: 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: 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: 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: 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: 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: 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 | 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
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: 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: 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: 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 | 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: 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: 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.)
2013 | Bachelorsthesis | LibreCat-ID: 20978
Hüwe M. Das Verteilungsproblem Für Mechatronische Systeme. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik; 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 | Mastersthesis | LibreCat-ID: 20985
Koch T. Combining Scenario-Based and Architecture-Based Timing Requirements. University of Paderborn; 2013.
LibreCat
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). 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. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2013:147-160.
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 | 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
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 | 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. ; 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
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.)
2011 | Conference Paper | LibreCat-ID: 20958
Holtmann J, Meyer J, von Detten M. Automatic Validation and Correction of Formalized, Textual Requirements. In: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops. ; 2011. doi:10.1109/icstw.2011.17
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20960
Meyer J, Holtmann J. Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR. In: Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII. fortiss GmbH; 2011:21-30.
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. ; 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
2011 | Conference Paper | LibreCat-ID: 20916
Holtmann J, Meyer J, Meyer M. A Seamless Model-Based Development Process for Automotive Systems. In: Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium). Vol P-184. GI-Edition Lecture Notes in Informatics (LNI). Bonner Koellen Verlag; 2011:79-88.
LibreCat