@inproceedingsNguyen Quang Do_Ali_Livshits_Bodden_Smith_Murphy-Hill_2017, title=Cheetah: Just-in-Time Taint Analysis for Android Apps, booktitle=International Conference for Software Engineering (ICSE), Tool Demonstrations Track, author=Nguyen Quang Do, Lisa and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson, year=2017 
LibreCat: /record/20715

@inproceedingsSchivo_Yildiz._Ruijters_Gerking_Kumar_Dziwok_Rensink_Stoelinga_2017, place=Changsha, series=Lecture Notes in Computer Science, title=How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach, DOI=10.1007/978-3-319-69483-2_19, number=10606, booktitle=Dependable Software Engineering, 3rd International Symposium (SETTA 2017), publisher=Springer, author=Schivo, Stefano and Yildiz., Bugra M. and Ruijters, Enno and Gerking, Christopher and Kumar, Rajesh and Dziwok, Stefan and Rensink, Arend and Stoelinga, Mariëlle, editor=Larsen, Kim G. and Sokolsky, Oleg and Wang, Ji, year=2017, pages=319–336, collection=Lecture Notes in Computer Science 
LibreCat: /record/20792
DOI: 10.1007/978-3-319-69483-2_19

@bookDziwok_2017, title=Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems, publisher=Paderborn University, author=Dziwok, Stefan, year=2017 
LibreCat: /record/20794

@inproceedingsGerking_Schubert_Budde_2017, place=Marburg, series=Lecture Notes in Computer Science, title=Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities, number=10374, booktitle=Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017), publisher=Springer, author=Gerking, Christopher and Schubert, David and Budde, Ingo, editor=Guerra, Esther and van den Brand, Mark, year=2017, pages=19–34, collection=Lecture Notes in Computer Science 
LibreCat: /record/20797

@inproceedingsGeismann_Pohlmann_Schmelter_2017, title=Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems, booktitle=Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, author=Geismann, Johannes and Pohlmann, Uwe and Schmelter, David, year=2017 
LibreCat: /record/20804

@bookBecker_2017, title=Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction, publisher=Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, author=Becker, Matthias, year=2017 
LibreCat: /record/20805

@inproceedingsSpäth_Ali_Bodden_2017, title=IDEal: Efficient and Precise Alias-aware Dataflow Analysis, booktitle=2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH), publisher=ACM Press, author=Späth, Johannes and Ali, Karim and Bodden, Eric, year=2017 
LibreCat: /record/5204

@articleFischer_Fuhry_Kerschbaum_Bodden_2017, title=Computation on Encrypted Data using Data Flow Authentication, volume=abs/1710.00390, journal=CoRR, author=Fischer, Andreas and Fuhry, Benny and Kerschbaum, Florian and Bodden, Eric, year=2017 
LibreCat: /record/5209

@bookBecker_2017, title=Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction, DOI=10.17619/UNIPB/1-133, publisher=Universität Paderborn, author=Becker, Matthias, year=2017 
LibreCat: /record/102
DOI: 10.17619/UNIPB/1-133

@bookPlatenius_2016, title=Fuzzy Matching of Comprehensive Service Specifications, publisher=Universität Paderborn, author=Platenius, Marie Christin, year=2016 
LibreCat: /record/195

@bookJazayeri_Platenius_Engels_Kundisch_2016, title=Features of IT Service Markets: A Systematic Literature Review (Supplementary Material), publisher=Universität Paderborn, author=Jazayeri, Bahar and Platenius, Marie Christin and Engels, Gregor and Kundisch, Dennis, year=2016 
LibreCat: /record/198

@inproceedingsJazayeri_Platenius_Engels_Kundisch_2016, place=Banff, Canada, series=Lecture Notes in Computer Science (LNCS), title=Features of IT Service Markets: A Systematic Literature Review, volume=9936, DOI=10.1007/978-3-319-46295-0_19, booktitle=Proceedings of the 14th International Conference on Service Oriented Computing (ICSOC), publisher=Springer, author=Jazayeri, Bahar and Platenius, Marie and Engels, Gregor and Kundisch, Dennis, year=2016, pages=301–316, collection=Lecture Notes in Computer Science (LNCS) 
LibreCat: /record/199
DOI: 10.1007/978-3-319-46295-0_19

@inproceedingsBodden_I Pun_Steffen_Stolz_Wickert_2016, title=Information Flow Analysis for Go, DOI=10.1007/978-3-319-47166-2_30, booktitle=Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, author=Bodden, Eric and I Pun, Ka and Steffen, Martin and Stolz, Volker and Wickert, Anna-Katharina, year=2016, pages=431–445 
LibreCat: /record/20556
DOI: 10.1007/978-3-319-47166-2_30

@inproceedingsBodden_Eichberg_I Pun_Steffen_Stolz_Wickert_2016, title=Don’t let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go, booktitle=Nordic Workshop on Programming Theory (NWPT’16), author=Bodden, Eric and Eichberg, Michael and I Pun, Ka and Steffen, Martin and Stolz, Volker and Wickert, Anna-Katharina, year=2016 
LibreCat: /record/20716

@bookNguyen Quang Do_Ali_Livshits_Bodden_Smith_Murphy-Hill_2016, title=Just-in-Time Static Analysis, DOI=http://dx.doi.org/10.7939/DVN/10859, author=Nguyen Quang Do, Lisa and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson, year=2016 
LibreCat: /record/20717
DOI: http://dx.doi.org/10.7939/DVN/10859

@articleRasthofer_Arzt_Bodden_Miltenberger_2016, title=Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen, DOI=https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536, journal=Datenschutz und Datensicherheit, author=Rasthofer, Siegfried and Arzt, Steven and Bodden, Eric and Miltenberger, Marc, year=2016, pages=718–722 
LibreCat: /record/20718
DOI: https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536

@inproceedingsHolzinger_Triller_Bartel_Bodden_2016, series=CCS ’16, title=An In-Depth Study of More Than Ten Years of Java Exploitation, DOI=http://doi.acm.org/10.1145/2976749.2978361, booktitle=Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, author=Holzinger, Philipp and Triller, Stefan and Bartel, Alexandre and Bodden, Eric, year=2016, pages=779–790, collection=CCS ’16 
LibreCat: /record/20719
DOI: http://doi.acm.org/10.1145/2976749.2978361

@inproceedingsFollner_Bartel_Peng_Chang_Ispoglou_Payer_Bodden_2016, title=PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution, booktitle=International Workshop on Security and Trust Management (STM), author=Follner, Andreas and Bartel, Alexandre and Peng, Hui and Chang, Yu-Chen and Ispoglou, Kyriakos and Payer, Mathias and Bodden, Eric, year=2016, pages=212–228 
LibreCat: /record/20720

@inproceedingsNguyen Quang Do_Eichberg_Bodden_2016, series=SOAP 2016, title=Toward an Automated Benchmark Management System, booktitle=Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, author=Nguyen Quang Do, Lisa and Eichberg, Michael and Bodden, Eric, year=2016, pages=13–17, collection=SOAP 2016 
LibreCat: /record/20721

@inproceedingsArzt_Kussmaul_Bodden_2016, series=SOAP 2016, title=Towards Cross-Platform Cross-Language Analysis with Soot, booktitle=Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, author=Arzt, Steven and Kussmaul, Tobias and Bodden, Eric, year=2016, pages=1–6, collection=SOAP 2016 
LibreCat: /record/20722