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 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. (more)

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, Oct 31 - Nov 2, 2017 ACM (more)

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 (eds.) Dependable Software Engineering, 3rd International Symposium (SETTA 2017), Lecture Notes in Computer Science, number 10606 , pp. 319-336, Changsha, Oct 23 - 25, 2017, Springer (more)

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

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 (eds.) Handbuch Gestaltung digitaler und vernetzter Arbeitswelten, Springer Reference Psychologie Springer, Berlin/Heidelberg, Oct 2017 (more)

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), Oct 2017, ACM Press (more)

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

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

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

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. (more)

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 (eds.) Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017), Lecture Notes in Computer Science, number 10374 , pp. 19-34, Marburg, July 17 - 18, 2017, Springer (more)

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), July 2017 (more)

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): pp. 107--124, June 2017 (more)

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, May 2017 (more)

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), May 2017 ACM, ACM Press (more)

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), May 2017 IEEE, IEEE Press (more)

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), volume P-267 , pp. 81--82, Feb 21 - 24, 2017, Gesellschaft fuer Informatik (more)

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

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 (eds.) Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), volume P-267 , pp. 109-110, Feb 2017, Gesellschaft fuer Informatik (more)

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, pp. 638--648, New York, NY, USA, 2017, ACM (more)

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, pp. 19--24, New York, NY, USA, 2017, ACM (more)

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

Glanz, Leonid; Amann, Sven; Eichberg, Michael; Mezini, Mira; 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, pp. 43--48, New York, NY, USA, 2017, ACM (more)

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