TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 98.

Bonifacio, Rodrigo ; Narasimhan, Krishna ; Bodden, Eric ; Mezini, Mira ; Krüger, Stefan
Møller, Anders ; Sridharan, Manu (eds.) (2021):
Dealing with Variability in API Misuse Specification.
In: LIPIcs, 194, In: European Conference on Object-Oriented Programming (ECOOP 2021),
Leibniz-Zentrum für Informatik, 35th European Conference on Object-Oriented Programming, virtual Conference, 11.-17.07.2021, ISBN 978-3-95977-190-0,
DOI: 10.4230/LIPIcs.ECOOP.2021.19,
[Conference or Workshop Item]

Krüger, Stefan ; Ali, Karim ; Bodden, Eric (2020):
CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs.
International Symposium on Code Generation and Optimization, San Diego, CA, USA, February 22.-26., 2020, [Conference or Workshop Item]

Krüger, Stefan ; Späth, Johannes ; Ali, Karim ; Bodden, Eric ; Mezini, Mira (2019):
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
In: IEEE Transactions on Software Engineering, 2019, Institute of Electrical and Electronics Engineers, ISSN 1939-3520,
DOI: 10.1109/TSE.2019.2948910,
[Article]

Krüger, Stefan ; Späth, Johannes ; Ali, Karim ; Bodden, Eric ; Mezini, Mira (2018):
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
In: 32nd European Conference on Object-Oriented Programming (ECOOP 2018), pp. 10:1-10:27,
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 32nd European Conference on Object-Oriented Programming (ECOOP 2018), Amsterdam, The Netherlands, 15.-21.07.2018, DOI: 10.4230/LIPIcs.ECOOP.2018.10,
[Conference or Workshop Item]

Nguyen, Lisa ; Krüger, Stefan ; Hill, Patrick ; Ali, Karim ; Bodden, Eric (2018):
VisuFlow: a Debugging Environment for Static Analyses.
In: ICSE,
ACM, [Conference or Workshop Item]

Glanz, Leonid ; Amann, Sven ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira
Tichy, Matthias ; Bodden, Eric ; Kuhrmann, Marco ; Wagner, Stefan ; Steghöfer, Jan-Philipp (eds.) (2018):
CodeMatch: Obfuscation Won't Conceal Your Repackaged App.
In: Software Engineering und Software Management 2018, pp. 117-118, Gesellschaft für Informatik, [Book Section]

Reif, Michael ; Eichberg, Michael ; Mezini, Mira
Tichy, Matthias ; Bodden, Eric ; Kuhrmann, Marco ; Wagner, Stefan ; Steghöfer, Jan-Philipp (eds.) (2018):
Call Graph Construction for Java Libraries.
pp. 119-120, Bonn, Gesellschaft für Informatik, Software Engineering und Software Management 2018, Bonn, [Conference or Workshop Item]

Kluge, Roland ; Stein, Michael ; Varró, Gergely ; Schürr, Andy ; Hollick, Matthias ; Mühlhäuser, Max
Tichy, Matthias ; Bodden, Eric ; Kuhrmann, Marco ; Wagner, Stefan ; Steghöfer, Jan-Philipp (eds.) (2018):
A systematic approach to constructing families of incremental topology control algorithms using graph transformation.
In: Lecture Notes in Informatics, 279, In: Software Engineering und Software Management 2018, pp. 109-110,
Gesellschaft für Informatik e.V., 24. Tagung Software Engineering (SE) des Fachbereichs Softwaretechnik der Gesellschaft für Informatik, Ulm, Germany, 05.-09.03.2018, ISBN 978-3-88579-673-2,
[Conference or Workshop Item]

Krüger, Stefan ; Nadi, Sarah ; Reif, Michael ; Ali, Karim ; Mezini, Mira ; Bodden, Eric ; Göpfert, Florian ; Günther, Felix ; Weinert, Christian ; Demmler, Daniel ; Kamath, Ram (2017):
CogniCrypt: Supporting Developers in using Cryptography.
In: Automated Software Engineering (ASE'17),
Piscataway, NJ, USA, ACM, Piscataway, NJ, USA, DOI: 10.1109/ASE.2017.8115707,
[Conference or Workshop Item]

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

Nguyen Quang Do, Lisa ; Ali, Karim ; Livshits, Benjamin ; Bodden, Eric ; Smith, Justin ; Murphy-Hill, Emerson (2017):
Just-in-Time Static Analysis.
In: Proceedings of ISSTA ’17, p. 447,
ACM, Santa Barbara, California, United States, ISBN 978-1-4503-5076-1,
DOI: 10.1145/3092703.3092705,
[Conference or Workshop Item]

Nguyen Quang Do, Lisa ; Ali, Karim ; Livshits, Benjamin ; Bodden, Eric ; Smith, Justin ; Murphy-Hill, Emerson (2017):
Cheetah: Just-in-Time Taint Analysis for Android Apps.
In: 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), pp. 39-42,
Curran Associates, Inc., Buenos Aires, Argentina, ISBN 978-1-5386-1589-8,
DOI: 10.1109/ICSE-C.2017.20,
[Conference or Workshop Item]

Holzinger, Philipp ; Hermann, Ben ; Lerch, Johannes ; Bodden, Eric ; Mezini, Mira (2017):
Hardening Java's Access Control by Abolishing Implicit Privilege Elevation.
2, In: 2017 IEEE Symposium on Security and Privacy (SP 2017), pp. 1.109,
Curran Associates, Inc, San Jose, CA, USA, ISBN 978-1-5090-5534-0,
[Conference or Workshop Item]

I Pun, Ka ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina ; Bodden, Eric ; Eichberg, Michael
Larsen, Kim G. ; Srba, Jiří (eds.) (2016):
Don't let data Go astray - A Context-Sensitive Taint Analysis for Concurrent Programs in Go.
pp. 37-39, Aalborg, Nordic Workshop on Programming Theory (NWPT'16), [Conference or Workshop Item]

Späth, Johannes ; Nguyen Quang Do, Lisa ; Ali, Karim ; Bodden, Eric (2016):
Boomerang: Demand-Driven Flow-Sensitive, Field-Sensitive, and Context-Sensitive Pointer Analysis.
In: 30th European Conference on Object-Oriented Programming (ECOOP 2016), pp. 22:1,
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Rome, Italy, ISBN 978-3-95977-014-9,
DOI: 10.4230/LIPIcs.ECOOP.2016.22,
[Conference or Workshop Item]

Späth, Johannes ; Nguyen, Lisa ; Ali, Karim ; Bodden, Eric (2016):
Boomerang: Demand-Driven Flow-Sensitive, Field-Sensitive, and Context-Sensitive Pointer Analysis.
In: European Conference on Object-Oriented Programming, p. 25,
Dagstuhl, Rome, Italy, [Conference or Workshop Item]

Nadi, Sarah ; Krüger, Stefan ; Mezini, Mira ; Bodden, Eric (2016):
"Jumping Through Hoops" Why do Java Developers Struggle With Cryptography APIs?
In: International Conference on Software Engineering,
ACM, Austin, Texas, USA, [Conference or Workshop Item]

Nadi, Sarah ; Krüger, Stefan ; Mezini, Mira ; Bodden, Eric (2016):
Jumping through hoops: why do Java developers struggle with cryptography APIs?
In: ICSE '16 Proceedings of the 38th International Conference on Software Engineering, pp. 935-946,
ACM, Austin, Texas, ISBN 978-1-4503-3900-1,
DOI: 10.1145/2884781.2884790,
[Conference or Workshop Item]

Arzt, Steven ; Bodden, Eric (2016):
StubDroid: automatic inference of precise data-flow summaries for the android framework.
In: ICSE '16 Proceedings of the 38th International Conference on Software Engineering, pp. 725-735,
ACM, ISBN 978-1-4503-3900-1,
DOI: 10.1145/2884781.2884816,
[Conference or Workshop Item]

Rasthofer, Siegfried ; Arzt, Steven ; Miltenberger, Marc ; Bodden, Eric (2016):
Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques.
In: Network and Distributed System Security Symposium 2016, pp. 1-15,
Internet Society, San Diego, CA, ISBN 1-891562-41-X,
DOI: 10.14722/ndss.2016.23066,
[Conference or Workshop Item]

Bodden, Eric ; Pun, Ka I. ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2016):
Information Flow Analysis for Go.
9952, In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, pp. 431-445, Springer International Publishing, ISBN 978-3-319-47166-2,
DOI: 10.1007/978-3-319-47166-2_30,
[Book Section]

Eling, Nicole ; Rasthofer, Siegfried ; Kolhagen, Max ; Bodden, Eric ; Buxmann, Peter (2016):
Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment.
Hawaii International Conference on System Sciences (HICSS), Grand Hyatt, Kauai, HI, USA, 05.-08.01.2016, [Conference or Workshop Item]

Pellegrino, Giancarlo ; Tschürtz, Constantin ; Bodden, Eric ; Rossow, Christian
Bos, Herbert ; Monrose, Fabian ; Blanc, Gregory (eds.) (2015):
jÄk: Using Dynamic Analysis to Crawl and Test Modern Web Applications.
In: Lecture Notes in Computer Science 9404, In: Research in Attacks, Intrusions, and Defenses. 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015. Proceedings., pp. 295-316,
Springer Cham, Kyoto, Japan, ISBN 978-3-319-26361-8,
DOI: 10.1007/978-3-319-26362-5,
[Conference or Workshop Item]

Lerch, Johannes ; Späth, Johannes ; Bodden, Eric ; Mezini, Mira (2015):
Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths.
In: Proceedings of the 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 619-629,
Washington, DC, USA, IEEE Computer Society, Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on, Lincoln, Nebraska, USA, 9.-13. November 2015, [Conference or Workshop Item]

Othmane, Lotfi Ben ; Chehrazi, Golriz ; Bodden, Eric ; Tsalovski, Petar ; Brucker, Achim (2015):
Time for Addressing Software Security Issues: Prediction Models and Impacting Factors.
[Report]

Falzon, Kevin ; Bodden, Eric
Lopez, Javier ; Mitchell, Chris J. (eds.) (2015):
Dynamically Provisioning Isolation in Hierarchical Architectures.
In: Lecture Notes in Computer Science, 9290, In: Information Security, pp. 83-101,
Information Security Conference, Trondheim, [Conference or Workshop Item]

Othmane, Lotfi Ben ; Chehrazi, Golriz ; Bodden, Eric ; Tsalovski, Petar ; Brucker, Achim ; Miseldine, Philip (2015):
Factors Impacting the Effort Required to Fix Security Vulnerabilities.
In: Proc. of the 18th Information Security Conference (ISC 2015),
[Conference or Workshop Item]

Arzt, Steven ; Nadi, Sarah ; Ali, Karim ; Bodden, Eric ; Erdweg, Sebastian ; Mezini, Mira (2015):
Towards Secure Integration of Cryptographic Software.
In: Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, OOPSLA Onward!, Piitsburgh, 25.10.2015, [Conference or Workshop Item]

Rasthofer, Siegfried ; Asrar, Irfan ; Huber, Stephan ; Bodden, Eric (2015):
How Current Android Malware Seeks to Evade Automated Code Analysis.
In: 9th International Conference on Information Security Theory and Practice (WISTP'2015),
[Conference or Workshop Item]

Rasthofer, Siegfried ; Arzt, Steven ; Kolhagen, Max ; Pfretzschner, Brian ; Huber, Stephan ; Bodden, Eric ; Richter, Philipp (2015):
DroidSearch: A Powerful Search Engine for Android Applications.
In: 2015 Science and Information Conference (SAI),
[Conference or Workshop Item]

Nguyen Quang Do, Lisa ; Ali, Karim ; Bodden, Eric ; Livshits, Benjamin (2015):
Toward a Just-in-Time Static Analysis.
[Article]

Arzt, Steven ; Rasthofer, Siegfried ; Hahn, Robert ; Bodden, Eric (2015):
Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis.
In: Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis,
4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, Portland, USA, 14.06.2015, [Conference or Workshop Item]

Othmane, Lotfi Ben ; Ranchal, Rohit ; Fernando, Ruchith ; Bhargava, Bharat ; Bodden, Eric (2015):
Incorporating Attacker Capabilities in Risk Estimation and Mitigation.
In: Computers & Security, 51, pp. 41–61. DOI: 10.1016/j.cose.2015.03.001,
[Article]

Li, Li ; Bartel, Alexandre ; Bissyande, Tegawende ; Klein, Jacques ; Le Traon, Yves ; Arzt, Steven ; Rasthofer, Siegfried ; Bodden, Eric ; Octeau, Damien ; McDaniel, Patrick (2015):
IccTA: Detecting Inter-Component Privacy Leaks in Android Apps.
In: 2015 International Conference on Software Engineering (ICSE),
[Conference or Workshop Item]

Avdiienko, Vitalii ; Kuznetsov, Konstantin ; Gorla, Alessandra ; Zeller, Andreas ; Arzt, Steven ; Rasthofer, Siegfried ; Bodden, Eric (2015):
Mining Apps for Abnormal Usage of Sensitive Data.
In: 2015 International Conference on Software Engineering (ICSE),
[Conference or Workshop Item]

Rasthofer, Siegfried ; Asrar, Irfan ; Huber, Stephan ; Bodden, Eric (2015):
An Investigation of the Android/BadAccents Malware which Exploits a new Android Tapjacking Attack.
[Report]

Rasthofer, Siegfried ; Arzt, Steven ; Miltenberger, Marc ; Bodden, Eric (2015):
Harvesting Runtime Data in Android Applications for Identifying Malware and Enhancing Code Analysis.
(TUD-CS-2015-0031), [Report]

Maseberg, Sönke ; Bodden, Eric ; Kus, Mehmet ; Brucker, Achim ; Rasthofer, Siegfried ; Berger, Bernhard ; Huber, Stephan ; Sohr, Karsten ; Gerber, Paul ; Volkamer, Melanie (2015):
Zertifizierte Apps.
In: Risiken kennen, Herausforderungen annehmen, Lösungen gestalten, Tagungsband zum 14. Deutscher IT-Sicherheitskongress des BSI 2015, pp. 505-516,
SecuMedia, Bad-Godesberg in Bonn Gau-Algesheim, ISBN 978-3-922746-94-2,
[Conference or Workshop Item]

Follner, Andreas ; Bodden, Eric (2015):
ROPocop - Dynamic Mitigation of Code-Reuse Attacks.
[Report]

Lerch, Johannes ; Hermann, Ben ; Bodden, Eric ; Mezini, Mira (2014):
FlowTwist: Efficient Context-sensitive Inside-out Taint Analysis for Large Codebases.
In: FSE 2014, pp. 98-108, New York, NY, USA, ACM, Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, [Conference or Workshop Item]

Lillack, Max ; Kästner, Christian ; Bodden, Eric (2014):
Tracking Load-time Configuration Option.
In: ASE '14, In: Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, pp. 445-456,
ACM, Vasteras, Sweden, ISBN 978-1-4503-3013-8,
DOI: 10.1145/2642937.2643001,
[Conference or Workshop Item]

Arzt, Steven ; Bodden, Eric (2014):
Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes.
In: International Conference on Software Engineering(ICSE) 2014, pp. 288-298,
DOI: 10.1145/2568225.2568243,
[Conference or Workshop Item]

Sohr, Karsten ; Bartsch, Steffen ; Volkamer, Melanie ; Berger, Bernhard ; Bodden, Eric ; Brucker, Achim ; Maseberg, Sönke ; Kus, Mehmet ; Heider, Jens (2014):
Zertifizierte Datensicherheit für mobile Anwendungen.
In: Lecture Notes in Informatics, 228, In: GI Sicherheit 2014, pp. 283--291,
Gesellschaft für Informatik e.V., Wien, ISBN 978-3-88579-622-0,
[Conference or Workshop Item]

Rasthofer, Siegfried ; Arzt, Steven ; Lovat, Enrico ; Bodden, Eric (2014):
DROIDFORCE: Enforcing Complex, Data-Centric, System-Wide Policies in Android.
In: Proceedings of the International Conference on Availability, Reliability and Security (ARES), [Article]

Arzt, Steven ; Huber, Stephan ; Rasthofer, Siegfried ; Bodden, Eric (2014):
Denial-of-App Attack: Inhibiting the Installation of Android Apps on Stock Phones.
In: Proceedings of the 4th ACM Workshop on Security and Privacy in Smartphones & Mobile Devices, pp. 21-26, 4th ACM Workshop on Security and Privacy in Smartphones & Mobile Devices, Scottsdale, [Conference or Workshop Item]

Arzt, Steven ; Rasthofer, Siegfried ; Fritz, Christian ; Bodden, Eric ; Bartel, Alexandre ; Klein, Jacques ; Le Traon, Yves ; Octeau, Damien ; McDaniel, Patrick (2014):
Flowdroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps.
p. 29, Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, Edinburgh, [Conference or Workshop Item]

Li, Li ; Bartel, Alexandre ; Klein, Jacques ; Le Traon, Yves ; Arzt, Steven ; Rasthofer, Siegfried ; Bodden, Eric ; Octeau, Damien ; McDaniel, Patrick (2014):
I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis.
[Report]

Arzt, Steven ; Bodden, Eric (2014):
Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes.
pp. 288-298, ICSE, Hyderabad, [Conference or Workshop Item]

Rasthofer, Siegfried ; Arzt, Steven ; Bodden, Eric (2014):
A machine-learning approach for classifying and categorizing android sources and sinks.
In: 2014 Network and Distributed System Security Symposium (NDSS), [Article]

Bodden, Eric ; Rasthofer, Siegfried ; Richter, Philipp ; Roßnagel, Alexander (2013):
Schutzmaßnahmen gegen datenschutzunfreundliche Smartphone-Apps – Technische Möglichkeiten und rechtliche Zulässigkeit des Selbstdatenschutzes bei Apps.
In: Datenschutz und Datensicherheit, 37, pp. 720 - 725. ISSN 11,
DOI: 10.1007/s11623-013-0300-1,
[Article]

Arzt, Steven ; Rasthofer, Siegfried ; Bodden, Eric (2013):
Instrumenting Android and Java Applications as Easy as abc.
In: Runtime Verification 2013 (RV'13), pp. 364-381. Springer, [Article]

Falzon, Kevin ; Bodden, Eric ; Purandare, Rahul (2013):
Distributed Finite-State Runtime Monitoring with Aggregated Events.
pp. 94-111, Springer, 4th International Conference on Runtime Verification (RV'13), Rennes, France, 24.-27.09., ISBN 978-3-642-40786-4,
DOI: 10.1007/978-3-642-40787-1_6,
[Conference or Workshop Item]

Arzt, Steven ; Bodden, Eric (2013):
Efficiently updating IDE-based data-flow analyses in response to incremental program changes.
[Report]

Bodden, Eric ; Hermann, Ben ; Lerch, Johannes ; Mezini, Mira (2013):
Reducing human factors in software security architectures.
Future Security Conference 2013, [Conference or Workshop Item]

Octeau, Damien ; McDaniel, Patrick ; Jha, Somesh ; Bartel, Alexandre ; Bodden, Eric ; Klein, Jacques ; Le Traon, Yves (2013):
Effective Inter-Component Communication Mapping in Android: An Essential Step Towards Holistic Security Analysis.
In: SEC'13, In: Proceedings of the 22nd USENIX Conference on Security, pp. 543-558, Berkeley, Calif, USENIX Association, ISBN 978-1-931971-03-4,
[Book Section]

Bodden, Eric ; Tanter, Éric ; Inostroza, Milton (2013):
Joint Point Interfaces for Safe and Flexible Decoupling of Aspects.
In: ACM Transactions on Software Engineering and Methodology, 23 (1), [Article]

Bodden, Eric ; Mezini, Mira ; Brabrand, Claus ; Tolêdo, Társis ; Ribeiro, Márcio ; Borba, Paulo (2013):
SPLlift - Statically Analyzing Software Product Lines in Minutes Instead of Years.
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013), [Conference or Workshop Item]

Bodden, Eric ; Mezini, Mira ; Brabrand, Claus ; Tolêdo, Társis ; Ribeiro, Márcio ; Borba, Paulo (2013):
SPLlift – Statically Analyzing Software Product Lines in Minutes Instead of Years.
In: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013),
[Conference or Workshop Item]

Fritz, Christian ; Arzt, Steven ; Rasthofer, Siegfried ; Bodden, Eric ; Bartel, Alexandre ; Klein, Jacques ; Le Traon, Yves ; Octeau, Damien ; McDaniel, Patrick (2013):
Highly Precise Taint Analysis for Android Applications.
[Report]

Arzt, Steven ; Rasthofer, Siegfried ; Bodden, Eric (2013):
SuSi: A Tool for the Fully Automated Classification and Categorization of Android Sources and Sinks.
[Report]

Arzt, Steven ; Falzon, Kevin ; Follner, Andreas ; Rasthofer, Siegfried ; Bodden, Eric ; Stolz, Volker (2013):
How useful are existing monitoring languages for securing Android apps?
In: GI Lecture Notes in Informatics, Gesellschaft für Informatik, 6. Arbeitstagung Programmiersprachen (ATPS 2013), [Conference or Workshop Item]

Bodden, Eric ; Tolêdo, Társis ; Ribeiro, Márcio ; Brabrand, Claus ; Borba, Paulo ; Mezini, Mira (2012):
Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines.
[Report]

Bodden, Eric ; Follner, Andreas ; Rasthofer, Siegfried (2012):
Challenges in defining a programming language for provably correct dynamic analyses.
Springer, 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), [Conference or Workshop Item]

Bodden, Eric ; Falzon, Kevin ; Pun, Ka I. ; Stolz, Volker (2012):
Delta-oriented Monitor Specification.
Springer, 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), [Conference or Workshop Item]

Alsouri, Sami ; Sinschek, Jan ; Sewe, Andreas ; Bodden, Eric ; Mezini, Mira ; Katzenbeisser, Stefan (2012):
Dynamic Anomaly Detection for More Trustworthy Outsourced Computation.
In: Lecture Notes in Computer Science, 7483, In: Information Security, pp. 168-187,
15th International Conference on Information Security, Passau, Germany, 19-21 Sep 2012, ISSN 0302-9743,
[Conference or Workshop Item]

Thies, Andreas ; Bodden, Eric (2012):
RefaFlex: Safer Refactorings for Reflective Java Programs [forthcoming].
International Symposium on Software Testing and Analysis (ISSTA 2012), [Conference or Workshop Item]

Ansaloni, Danilo ; Binder, Walter ; Bockisch, Christoph ; Bodden, Eric ; Hatun, Kardelen ; Marek, Lukas ; Qi, Zhengwei ; Sarimbekov, Aibek ; Sewe, Andreas ; Tuma, Petr ; Zheng, Yudi (2012):
Challenges for Refinement and Composition of Instrumentations (Position Paper).
International Conference on Software Composition (SC 2012), [Conference or Workshop Item]

Bodden, Eric (2012):
Towards Typesafe Weaving for Modular Reasoning in Aspect-Oriented Programs.
FOAL 2012: International Workshop on the Foundations of Aspect-Oriented Languages, [Conference or Workshop Item]

Bodden, Eric (2012):
Identifying meaningless parameterized linear-temporal-logic formulas.
[Report]

Bodden, Eric (2012):
On the Expressiveness of Parameterized Finite-state Runtime Monitors.
[Report]

Robillard, Martin P. ; Bodden, Eric ; Kawrykow, David ; Mezini, Mira ; Ratchford, Tristan (2012):
Automated API Property Inference Techniques.
In: IEEE Transactions on Software Engineering (TSE), [Article]

Robillard, Martin P. ; Bodden, Eric ; Kawrykow, David ; Mezini, Mira ; Ratchford, Tristan (2012):
Automated API Property Inference Techniques.
In: IEEE Transactions on Software Engineering, 99 (PrePrints), p. 1. IEEE Computer Society, [Article]

Robillard, Martin P. ; Bodden, Eric ; Kawrykow, David ; Mezini, Mira ; Ratchford, Tristan (2012):
Automated API Property Inference Techniques.
In: IEEE Transactions on Software Engineering, 99 (PrePrints), p. 1. IEEE Computer Society, [Article]

Bodden, Eric (2012):
MOPBox: A Library Approach to Runtime Verification.
In: Lecture notes in computer science , 7186, pp. 365-369, Springer, RV ; 2 (San Francisco, CA) : 2011.09.27-30 International Conference on Runtime Verification ; 2 (San Francisco, CA) : 2011.09.27-30, [Conference or Workshop Item]

Bodden, Eric ; Lam, Patrick ; Hendren, Laurie (2012):
Partially evaluating finite-state runtime monitors ahead of time.
In: ACM Transactions on Programming Languages and Systems (TOPLAS), [Article]

Bodden, Eric ; Thies, Andreas (2012):
RefaFlex: Safer Refactorings for Reflective Java Programs.
In: International Symposium on Software Testing and Analysis (ISSTA 2012),
[Conference or Workshop Item]

Bodden, Eric ; Tanter, Éric ; Inostroza, Milton (2012):
Safe and Practical Decoupling of Aspects with Join Point Interfaces.
(TUD-CS-2012-0106), [Report]

Inostroza, Milton ; Tanter, Éric ; Bodden, Eric (2011):
Modular Reasoning with Join Point Interfaces.
[Report]

Lam, Patrick ; Bodden, Eric ; Lhotak, Ondrej ; Hendren, Laurie (2011):
The Soot framework for Java program analysis: a retrospective.
Cetus Users and Compiler Infastructure Workshop (CETUS 2011), [Conference or Workshop Item]

Bodden, Eric (2011):
Stateful Breakpoints: A Practical Approach to Defining Parameterized Runtime Monitors.
pp. 492-495, ESEC/FSE '11: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, [Conference or Workshop Item]

Bodden, Eric (2011):
Continuation equivalence: a Correctness Criterion for Static Optimizations of Dynamic Analyses.
pp. 24-28, ACM, WODA '11: International Workshop on Dynamic Analysis, [Conference or Workshop Item]

Bodden, Eric (2011):
Defining Access Control Policies as Tracematches.
(TUD-CS-2011-0149), [Report]

Bodden, Eric (2011):
Closure Joinpoints: Block joinpoints without surprises.
pp. 117-128, ACM, AOSD '11: Proceedings of the 10th International Conference on Aspect-oriented Software Development, [Conference or Workshop Item]

Bodden, Eric ; Hendren, Laurie (2011):
The Clara framework for hybrid typestate analysis.
In: International Journal on Software Tools for Technology Transfer (Springer), [Article]

Inostroza, Milton ; Tanter, Éric ; Bodden, Eric (2011):
Join Point Interfaces for Modular Reasoning in Aspect-Oriented Programs.
pp. 508-511, ESEC/FSE '11: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, [Conference or Workshop Item]

Bodden, Eric ; Sewe, Andreas ; Sinschek, Jan ; Oueslati, Hela ; Mezini, Mira (2011):
Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders.
In: Proceedings of the 33rd International Conference on Software Engineering, pp. 241-250,
New York, NY, USA, International Conference on Software Engineering, Waikiki, Honolulu, HI, USA, 21-28 May 2011, [Conference or Workshop Item]

Bodden, Eric ; Lam, Patrick (2010):
Clara: Partially Evaluating Runtime Monitors at Compile Time.
In: LNCS, 6418, pp. 183-197, Springer, 1st International Conference on Runtime Verification (RV), [Conference or Workshop Item]

Bodden, Eric ; Lam, Patrick ; Hendren, Laurie (2010):
Clara: a Framework for Statically Evaluating Finite-state Runtime Monitors.
In: LNCS, 6418, pp. 74-88, Springer, 1st International Conference on Runtime Verification (RV), [Conference or Workshop Item]

Bruch, Marcel ; Bodden, Eric ; Monperrus, Martin ; Mezini, Mira (2010):
IDE 2.0: Collective Intelligence in Software Development.
pp. 53-58, ACM, FSE/SDP Workshop on the Future of Software Engineering, DOI: 10.1145/1882362.1882374?,
[Conference or Workshop Item]

Kim, Chang Hwan Peter ; Bodden, Eric ; Batory, Don ; Khurshid, Sarfraz (2010):
Reducing Configurations to Monitor in a Software Product Line.
In: LNCS, 6418, pp. 285-299, Springer, 1st International Conference on Runtime Verification (RV), [Conference or Workshop Item]

Alnusair, Awny ; Zhao, Tian ; Bodden, Eric (2010):
Effective API Navigation and Reuse.
pp. 7-12, IEEE, International Conference on Conference on Information Reuse and Integration (IEEE IRI), [Conference or Workshop Item]

Bodden, Eric ; Havelund, Klaus (2010):
Aspect-oriented Race Detection in Java.
In: IEEE Transactions on Software Engineering (TSE), 36 (4), pp. 509-527. IEEE, [Article]

Bodden, Eric (2010):
Specifying and Exploiting Advice-Execution Ordering using Dependency State Machines.
International Workshop on the Foundations of Aspect-Oriented Languages (FOAL), [Conference or Workshop Item]

Bodden, Eric ; Sewe, Andreas ; Sinschek, Jan ; Mezini, Mira (2010):
Taming Reflection: Static Analysis in the Presence of Reflection and Custom Class Loaders.
(TUD-CS-2010-0066), [Report]

Bodden, Eric (2010):
Efficient hybrid typestate analysis by determining continuation-equivalent states.
1, In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10, p. 5,
[Conference or Workshop Item]

Bodden, Eric ; Chen, Feng ; Rosu, Grigore (2009):
Dependent advice: A general approach to optimizing history-based aspects.
In: Proceedings of the ACM 2009, [Report]

Bodden, Eric ; Hendren, Laurie ; Lam, Patrick ; Lhoták, Ondrej ; Naeem, Nomair (2008):
Collaborative Runtime Verification with Tracematches.
In: Oxford Journal of Logics and Computation, 2008, [Article]

Bodden, Eric ; Havelund, Klaus (2008):
Racer: Effective Race Detection Using AspectJ.
In: International Symposium on Software Testing and Analysis (ISSTA 2008), pp. pages 155–165. [Article]

This list was generated on Tue Oct 19 01:31:16 2021 CEST.