Publikationen

Publikationen mit folgenden Eigenschaften suchen:



Stichwortsuche:

Jahrgang:

Autoren/Editoren:

Nur Autoren/Editoren der Fachgruppe zur Auswahl stellen
Alle Autoren/Editoren des HNI zur Auswahl stellen

Art der Publikation:


 

Unsere Publikationen aus dem Jahr 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), 13. - 19. Jan. 2019 (Details)


Unsere Publikationen aus dem Jahr 2018:



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, 4. - 9. Nov. 2018 (Details)

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, 4. - 9. Nov. 2018 (Details)

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), S. 10:1-10:27, Jul. 2018 (Details)

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, S. 84-92, Jul. 2018 (Details)

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), 26. - 27. Jun. 2018 (Details)

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. Jun. 2018 (Details)

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. Jun. 2018 (Details)

Bodden, Eric: Self-adaptive static analysis. In: International Conference for Software Engineering (ICSE), New Ideas and Emerging Results Track, 30. Mai - 1. Jun. 2018 (Details)

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 (Hrsg.) International Conference on Software and System Process (ICSSP 2018), 26. - 27. Mai 2018 (Details)

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

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

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 (Hrsg.) Model-Driven Engineering and Software Development, Band 1 , S. 72--93, Cham, 19. - 21. Feb. 2018, Springer International Publishing (Details)

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 (Hrsg.) Model-Driven Engineering and Software Development, S. 173--197, 2018, Springer International Publishing (Details)

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 (Details)

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

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 (Details)

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