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. In: ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), Jan 13 - 19, 2019 (more)


Our publications from 2018:



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; Wehrheim, Heike: 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, Nov 4 - 9, 2018 (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)

Bodden, Eric: The Secret Sauce in Efficient and Precise Static Analysis. In: Proceedings of the 7th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP 2018, pp. 84-92, July 2018 (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)

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), June 26 - 27, 2018 (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), 25 June 2018 (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: International Conference for Software Engineering (ICSE), New Ideas and Emerging Results Track, May 30 - June 1, 2018 (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), May 26 - 27, 2018 (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)

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)