| [90] | Distributed Finite-State Runtime Monitoring with Aggregated Events (Kevin Falzon, Eric Bodden, Rahul Purandare), In Runtime Verification (Axel Legay, Saddek Bensalem, eds.), pages 94--111, Volume 8174 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2013. [bib] [pdf] [doi] |
| [89] | A Brief Tour of Join Point Interfaces (Eric Bodden, Éric Tanter, Milton Inostroza), pages 19--22, International Conference on Aspect-oriented Programming (AOSD), demo track, 2013. [bib] [pdf] |
| [88] | Reducing human factors in software security architectures (Eric Bodden, Ben Hermann, Johannes Lerch, Mira Mezini), In Future Security Conference 2013, pages 275--285, 2013. [bib] [pdf] |
| [87] | Schutzmaßnahmen gegen Datenschutz-unfreundliche Smartphone-Apps (Eric Bodden, Siegfried Rasthofer, Philipp Richter, Alexander Roßnagel), In Datenschutz und Datensicherheit, 2013. [bib] [pdf] |
| [86] | How useful are existing monitoring languages for securing Android apps? (Steven Arzt, Kevin Falzon, Andreas Follner, Siegfried Rasthofer, Eric Bodden, Volker Stolz), In ATPS, pages 107--122, Volume P-215 of GI Lecture Notes in Informatics, Gesellschaft für Informatik, 2013. [bib] [pdf] |
| [85] | SuSi: A Tool for the Fully Automated Classification and Categorization of Android Sources and Sinks (Steven Arzt, Siegfried Rasthofer, Eric Bodden), Technical report TUD-CS-2013-0114, EC SPRIDE, 2013. [bib] [pdf] |
| [84] | Efficiently updating IDE-based data-flow analyses in response to incremental program changes (Steven Arzt, Eric Bodden), Technical report TUD-CS-2013-0253, EC SPRIDE, 2013. [bib] [pdf] |
| [83] | Highly Precise Taint Analysis for Android Applications (Christian Fritz, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves le Traon, Damien Octeau, Patrick McDaniel), Technical report TUD-CS-2013-0113, EC SPRIDE, 2013. [bib] [pdf] |
| [82] | Proceedings of the 12th International Conference on Software Composition, (Walter Binder, Eric Bodden, Welf Löwe, eds.), Lecture Notes in Computer Science, Springer, 2013. [bib] |
| [81] | Proceedings of the 10th International Workshop on Dynamic Analysis (WODA 2012), (Eric Bodden, Madanlal Musuvathi, eds.), ACM, 2012. [bib] |
| [80] | Partially evaluating finite-state runtime monitors ahead of time (Eric Bodden, Patrick Lam, Laurie Hendren), In ACM Transactions on Programming Languages and Systems (TOPLAS), pages 7:1--7:52, 34(2), 2012. [bib] [pdf] [doi] |
| [79] | Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines (Eric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini), Technical report TUD-CS-2012-0239, EC SPRIDE, Technische Universität Darmstadt, 2012. [bib] [pdf] |
| [78] | Proceedings of the 1st ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2012), (Eric Bodden, Laurie Hendren, Patrick Lam, Elena Sherman, eds.), ACM, 2012. [bib] |
| [77] | InvokeDynamic support in Soot (Eric Bodden), In 1st ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2012), pages 51--55, 2012. [bib] [pdf] [doi] |
| [76] | Inter-procedural Data-flow Analysis with IFDS/IDE and Soot (Eric Bodden), In 1st ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2012), pages 3--8, 2012. [bib] [pdf] [doi] |
| [75] | Challenges for Refinement and Composition of Instrumentations (Position Paper) (Danilo Ansaloni, Walter Binder, Christoph Bockisch, Eric Bodden, Kardelen Hatun, Lukas Marek, Zhengwei Qi, Aibek Sarimbekov, Andreas Sewe, Petr Tuma, Yudi Zheng), In International Conference on Software Composition (SC 2012) (Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book, eds.), pages 86-96, Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2012. [bib] [pdf] [doi] |
| [74] | Position Paper: Static Flow-Sensitive & Context-Sensitive Information-flow Analysis for Software Product Lines (Eric Bodden), In ACM SIGPLAN Seventh Workshop on Programming Languages and Analysis for Security (PLAS 2012), pages 6:1--6:6, 2012. [bib] [pdf] [doi] |
| [73] | RefaFlex: Safer Refactorings for Reflective Java Programs (Andreas Thies, Eric Bodden), In International Symposium on Software Testing and Analysis (ISSTA 2012), pages 1--14, 2012. Awarded: SIGSOFT Distinguished Paper Award [bib] [pdf] |
| [72] | Delta-oriented Monitor Specification (Eric Bodden, Kevin Falzon, Ka I Pun, Volker Stolz), In 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), pages 162--177, Springer, 2012. [bib] [pdf] |
| [71] | Challenges in defining a programming language for provably correct dynamic analyses (Eric Bodden, Andreas Follner, Siegfried Rasthofer), In 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), pages 4--18, Springer, 2012. [bib] [pdf] |
| [70] | Dynamic Anomaly Detection for More Trustworthy Outsourced Computation in Hybrid Clouds (Sami Alsouri, Jan Sinschek, Andreas Sewe, Eric Bodden, Stefan Katzenbeisser, Mira Mezini), In Information Security Conference (ISC 2012), pages 168--187, Volume 7483 of LNCS, Springer, 2012. [bib] [pdf] |
| [69] | Towards Typesafe Weaving for Modular Reasoning in Aspect-Oriented Programs (Eric Bodden), In FOAL '12: International Workshop on the Foundations of Aspect-Oriented Languages, 2012. (Keynote abstract.) [bib] [pdf] |
| [68] | MOPBox: A Library Approach to Runtime Verification (Eric Bodden), In Runtime Verification, pages 365--369, Volume 7186 of LNCS, Springer, 2012. [bib] [pdf] |
| [67] | The Clara framework for hybrid typestate analysis (Eric Bodden, Laurie Hendren), In International Journal on Software Tools for Technology Transfer (STTT), pages 307-326, Volume 14, 2012. (10.1007/s10009-010-0183-5) [bib] [pdf] |
| [66] | Safe and Practical Decoupling of Aspects with Join Point Interfaces (Eric Bodden, Éric Tanter, Milton Inostroza), Technical report TUD-CS-2012-0106, CASED, 2012. [bib] [pdf] |