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 2018:



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)

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 (ICSA 2018), 30. Apr. - 4. Mai 2018, IEEE (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), 1. - 2. Jan. 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)

Bodden, Eric: State of the systems security. In: International Conference for Software Engineering (ICSE), Technical Briefing, 2018 (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, 2018 (Details)


Unsere Publikationen aus dem Jahr 2017:



Schmitz, Joachim; Fockel, Markus: Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien. In: Tag des Systems Engineering 2017, Nov. 2017, Gesellschaft für Systems Engineering e.V. (Details)

Krüger, Stefan; Nadi, Sarah; Reif, Michael; Ali, Karim; Mezini, Mira; Bodden, Eric: CogniCrypt: Supporting Developers in using Cryptography. In: International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track, 31. Okt. - 2. Nov. 2017 ACM (Details)

Schivo, Stefano; Yildiz., Bugra M.; Ruijters, Enno; Gerking, Christopher; Kumar, Rajesh; Dziwok, Stefan; Rensink, Arend; Stoelinga, Mariëlle: How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. In: Larsen, Kim G.; Sokolsky, Oleg; Wang, Ji (Hrsg.) Dependable Software Engineering, 3rd International Symposium (SETTA 2017), Lecture Notes in Computer Science, Nr. 10606 , S. 319-336, Changsha, 23. - 25. Okt. 2017, Springer (Details)

Gerking, Christopher; Bodden, Eric; Schäfer, Wilhelm: Industrial Security by Design - Nachverfolgbare Informationssicherheit für Cyber-Physische Produktionssysteme. In: Maier, Günter W.; Engels, Gregor; Steffen, Eckhard (Hrsg.) Handbuch Gestaltung digitaler und vernetzter Arbeitswelten, Springer Reference Psychologie Springer, Berlin/Heidelberg, Okt. 2017 (Details)

Krüger, Stefan; Späth, Johannes; Ali, Karim; Bodden, Eric; Mezini, Mira: CrySL: Validating Correct Usage of Cryptographic APIs. 1710.00564, Okt. 2017 (Details)

Späth, Johannes; Ali, Karim; Bodden, Eric: IDEal: Efficient and Precise Alias-aware Dataflow Analysis. In: 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH), Okt. 2017, ACM Press (Details)

van Rooijen, Lorijn; Baeumer, Frederik Simon; Platenius, Marie Christin; Geierhos, Michaela; Hamann, Heiko; Engels, Gregor: From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process. In: Fourth International Workshop on Artificial Intelligence for Requirements Engineering (AIRE'17) workshop - in conjuction with RE'17, 5. Sep. 2017 (Details)

Schmelter, David; Greenyer, Joel; Holtmann, Jörg: Toward Learning Realizable Scenario-based, Formal Requirements Specifications. In: 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE), Lisbon, Portugal, Sep. 2017, IEEE (Details)

Lillack, Max; Kästner, Christian; Bodden, Eric: Tracking Load-time Configuration Options. IEEE Transactions on Software Engineering, PP(99): S. 1-1, Sep. 2017 (Details)

Wohlers, Benedict; Dziwok, Stefan; Bremer, Christian; Schmelter, David; Lorenz, Wadim: Improving the Product Control of Mechatronic Systems Using Key Performance Indicators. In: Proceedings of the 24th International Conference on Production Research (ICPR), Aug. 2017, DEStech Publications, Inc. (Details)

Gerking, Christopher; Schubert, David; Budde, Ingo: Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities. In: Guerra, Esther; van den Brand, Mark (Hrsg.) Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017), Lecture Notes in Computer Science, Nr. 10374 , S. 19-34, Marburg, 17. - 18. Jul. 2017, Springer (Details)

Nguyen, Lisa; Ali, Karim; Livshits, Benjamin; Bodden, Eric; Smith, Justin; Murphy-Hill, Emerson: Just-in-Time Static Analysis. In: International Symposium on Software Testing and Analysis (ISSTA), Jul. 2017 (Details)

Ben Othmane, Lotfi; Chehrazi, Golriz; Bodden, Eric; Tsalovski, Petar; Brucker, Achim D.: Time for Addressing Software Security Issues: Prediction Models and Impacting Factors. Data Science and Engineering, 2(2): S. 107--124, Jun. 2017 (Details)

Arzt, Steven; Rasthofer, Siegfried; Bodden, Eric: The Soot-based Toolchain For Analyzing Android Apps. In: IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft), Mai 2017 ACM, ACM Press (Details)

Nguyen, Lisa; Ali, Karim; Livshits, Benjamin; Bodden, Eric; Smith, Justin; Murphy-Hill, Emerson: Cheetah: Just-in-Time Taint Analysis for Android Apps. In: International Conference for Software Engineering (ICSE), Tool Demonstrations Track, Mai 2017 (Details)

Holzinger, Philipp; Hermann, Ben; Lerch, Johannes; Bodden, Eric; Mezini, Mira: Hardening Java's Access Control by Abolishing Implicit Privilege Elevation. In: 2017 IEEE Symposium on Security and Privacy (Oakland S&P), Mai 2017 IEEE, IEEE Press (Details)

Platenius, Marie Christin; Arifulina, Svetlana; Schäfer, Wilhelm: MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract). In: Tagung Software Engineering (SE'17), Lecture Notes in Informatics (LNI), Band P-267 , S. 81--82, 21. - 24. Feb. 2017, Gesellschaft fuer Informatik (Details)

Koch, Thorsten; Holtmann, Jörg; Lindemann, Timo: Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities. In: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, Feb. 2017 (Details)

Holtmann, Jörg; Bernijazov, Ruslan; Meyer, Matthias; Schmelter, David; Tschirner, Christian: Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis). In: Jürjens, Jan; Schneider, Kurt (Hrsg.) Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267 , S. 109-110, Feb. 2017, Gesellschaft fuer Informatik (Details)

Gausemeier, Jürgen; Bodden, Eric; Dressler, Falko; Dumitrescu, Roman; Meyer auf der Heide, Friedhelm; Scheytt, Christoph; Trächtler, Ansgar: Wissenschaftsforum Intelligente Technische Systeme (WInTeSys). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 369 , Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2017 (Details)

Geismann, Johannes; Pohlmann, Uwe; Schmelter, David: 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, Jan. 2017 (Details)

Reif, Michael; Amann, Sven; Eichberg, Michael; Reif, Michael; Hermann, Ben; Lerch, Johannes; Mezini, Mira: Hermes: Assessment and Creation of Effective Test Corpora. In: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP 2017, S. 43--48, New York, NY, USA, 2017, ACM (Details)

Kübler, Florian; Müller, Patrick; Hermann, Ben: SootKeeper: Runtime Reusability for Modular Static Analysis. In: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP 2017, S. 19--24, New York, NY, USA, 2017, ACM (Details)

Glanz, Leonid; Amann, Sven; Eichberg, Michael; Reif, Michael; Hermann, Ben; Lerch, Johannes; Mezini, Mira: CodeMatch: Obfuscation Wont Conceal Your Repackaged App. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, S. 638--648, New York, NY, USA, 2017, ACM (Details)

Pohlmann, Uwe; Hüwe, Marcus: Model-Driven Allocation Engineering – Abridged Version. In: Jürjens, Jan; Schneider, Kurt (Hrsg.) GI-Edition, Lecture Notes in Informatics, Software Engineering 2017, Proceedings, 2017 (Details)