Publications

Search for publications with the following properties:



Keyword search:

Year:

Authors/Editors:

Only authors/editors from this research group are selectable
All authors/editors from the HNI are selectable

Publication type:


 

Our publications from 2019:



Späth, Johannes; Ali, Karim; Bodden, Eric: Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems. Proc. ACM Program. Lang., 3(POPL): pp. 48:1--48:29 2019 (more)

Schubert, Philipp; Hermann, Ben; Bodden, Eric: PhASAR: An Inter-Procedural Static Analysis Framework for C/C++. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2019 (more)

Albert Gorski Iii, Sigmund; Andow, Benjamin; Nadkarni, Adwait; Manandhar, Sunil; Enck, William; Bodden, Eric; Bartel, Alexandre: ACMiner: Extraction and Analysis of Authorization Checks in Android s Middleware. In: ACM Conference on Data and Application Security and Privacy (CODASPY 2019), 2019 (more)


Our publications from 2018:



Fockel, Markus: Safety Requirements Engineering for Early SIL Tailoring. Dissertation, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, Dec 2018 (more)

Pauck, Felix; Bodden, Eric; Wehrheim, Heike: Do Android Taint Analysis Tools Keep their Promises?. In: ESEC/FSE 2018: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Nov 4 - 9, 2018 (more)

Nguyen, Lisa; Bodden, Eric: Gamifying Static Analysis. In: ESEC/FSE 2018: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering - New Ideas Track, ESEC/FSE 2018, pp. 714--718, New York, NY, USA, Nov 4 - 9, 2018, ACM (more)

Fockel, Markus; Merschjohann, Sven; Fazal-Baqaie, Masud: Threat Analysis in Practice - Systematically Deriving Security Requirements. In: 19th International Conference on Product-Focused Software Process Improvement (PROFES 2018), LNCS 11271, Nov 2018, Springer Nature Switzerland AG (more)

Gerking, Christopher; Schubert, David: 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, number 11048 , pp. 147-155, Sep 24 - 28, 2018, Springer (more)

Koch, Thorsten; Holtmann, Jörg; Lindemann, Timo: Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information. In: Pires, Luís Ferreira; Hammoudi, Slimane; Selic, Bran (eds.) Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development, Communications in Computer and Information Science, volume 880 , pp. 173-197. Springer International Publishing, July 2018 (more)

Bodden, Eric: The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them). In: Companion Proceedings for the ISSTA/ECCP 2018 Workshops, ISSTA '18, pp. 85-93, New York, NY, USA, July 2018, ACM (more)

Krüger, Stefan; Späth, Johannes; Ali, Karim; Bodden, Eric; Mezini, Mira: CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. In: European Conference on Object-Oriented Programming (ECOOP), pp. 10:1-10:27, July 2018 (more)

Gerking, Christopher; Schubert, David; Bodden, Eric: Model Checking the Information Flow Security of Real-Time Systems. In: International Symposium on Engineering Secure Software and Systems (ESSoS 2018), number 10953 , pp. 27-43, June 26 - 27, 2018, Springer (more)

Gerking, Christopher: Specification of Information Flow Security Policies in Model-Based Systems Engineering. In: International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018), Lecture Notes in Computer Science, number 11176 , pp. 617-632, 25 June 2018, Springer (more)

Koch, Thorsten: Towards Scenario-based Security Requirements Engineering for Cyber-Physical Systems. In: International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018), 25 June 2018 (more)

Bodden, Eric: Self-adaptive static analysis. In: Proceedings of the 40 International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER '18, pp. 45--48, New York, NY, USA, May 30 - June 1, 2018, ACM (more)

Geismann, Johannes; Gerking, Christopher; Bodden, Eric: Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes. In: Kuhrmann, Marco; O'Connor, Rory V.; Houston, Dan (eds.) International Conference on Software and System Process (ICSSP 2018), pp. 123-127, May 26 - 27, 2018, ACM (more)

Geismann, Johannes: Traceable Threat Modeling for Safety-critical Systems. In: IEEE International Conference on Software Architecture Companion (ICSA-C 2018) , pp. 41-42, Apr 30 - May 4, 2018, IEEE (more)

Tichy, Matthias; Bodden, Eric; Kuhrmann, Marco; Wagner, Stefan; Steghöfer, Jan-Philipp (eds.) Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany. LNI, volume P-279 , Mar 2018, Gesellschaft fuer Informatik (more)

Geismann, Johannes; Höttger, Robert; Krawczyk, Lukas; Pohlmann, Uwe; Schmelter, David: Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems. In: Pires, Luís Ferreira; Hammoudi, Slimane; Selic, Bran (eds.) Model-Driven Engineering and Software Development, volume 1 , pp. 72--93, Cham, Feb 19 - 21, 2018, Springer International Publishing (more)

Nguyen, Lisa; Krüger, Stefan; Hill, Patrick; Ali, Karim; Bodden, Eric: VISUFLOW, a Debugging Environment for Static Analyses. In: International Conference for Software Engineering (ICSE), Tool Demonstrations Track, 1 Jan 2018 (more)

Bodden, Eric: State of the systems security. In: International Conference for Software Engineering (ICSE), Technical Briefing, 2018 (more)

Pohlmann, Uwe: A Model-driven Software Construction Approach for Cyber-physical Systems. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2018 (more)

Fockel, Markus; Holtmann, Jörg; Koch, Thorsten; Schmelter, David: Formal, Model- and Scenario-based Requirement Patterns. In: 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), Jan 2018 (more)

Nguyen, Lisa; Krüger, Stefan; Hill, Patrick; Ali, Karim; Bodden, Eric: Debugging Static Analysis. IEEE Transactions on Software Engineering: pp. 1-1 2018 (more)