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: 95.

Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and 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), Schloss Dagstuhl-Leibniz-Zentrum für Informatik, In: 32nd European Conference on Object-Oriented Programming (ECOOP 2018), Amsterdam, The Netherlands, 15.-21.07.2018, DOI: 10.4230/LIPIcs.ECOOP.2018.10,
[Online-Edition: https://2018.ecoop.org/],
[Conference or Workshop Item]

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

Kluge, Roland and Stein, Michael and Varró, Gergely and Schürr, Andy and Hollick, Matthias and Mühlhäuser, Max
Tichy, Matthias and Bodden, Eric and Kuhrmann, Marco and Wagner, Stefan and Steghöfer, Jan-Philipp (eds.) (2018):
A systematic approach to constructing families of incremental topology control algorithms using graph transformation.
In: Software Engineering und Software Management 2018, Bonn, In: Software Engineering und Software Management 2018, Ulm, 2018-03-06..09, In: Lecture Notes in Informatics, P-279, [Conference or Workshop Item]

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

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

Krüger, Stefan and Nadi, Sarah and Reif, Michael and Ali, Karim and Mezini, Mira and Bodden, Eric and Göpfert, Florian and Günther, Felix and Weinert, Christian and Demmler, Daniel and 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,
[Online-Edition: http://dl.acm.org/citation.cfm?id=3155562.3155681],
[Conference or Workshop Item]

Späth, Johannes and Ali, Karim and 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]

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

Do, Lisa Nguyen Quang and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and 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), 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 and Hermann, Ben and Lerch, Johannes and Bodden, Eric and Mezini, Mira (2017):
Hardening Java's Access Control by Abolishing Implicit Privilege Elevation.
In: 2017 IEEE Symposium on Security and Privacy (SP 2017), Curran Associates, Inc, San Jose, CA, USA, 2, ISBN 978-1-5090-5534-0,
[Conference or Workshop Item]

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

Späth, Johannes and Do, Lisa Nguyen Quang and Ali, Karim and 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), 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 and Nguyen, Lisa and Ali, Karim and Bodden, Eric (2016):
Boomerang: Demand-Driven Flow-Sensitive, Field-Sensitive, and Context-Sensitive Pointer Analysis.
In: European Conference on Object-Oriented Programming, Dagstuhl, Rome, Italy, [Conference or Workshop Item]

Nadi, Sarah and Krüger, Stefan and Mezini, Mira and 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 and Krüger, Stefan and Mezini, Mira and 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, ACM, Austin, Texas, ISBN 978-1-4503-3900-1,
DOI: 10.1145/2884781.2884790,
[Conference or Workshop Item]

Arzt, Steven and 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, ACM, ISBN 978-1-4503-3900-1,
DOI: 10.1145/2884781.2884816,
[Conference or Workshop Item]

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

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

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

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

Lerch, Johannes and Späth, Johannes and Bodden, Eric and 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), Washington, DC, USA, IEEE Computer Society, In: Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on, Lincoln, Nebraska, USA, 9.-13. November 2015, [Online-Edition: https://dl.acm.org/citation.cfm?id=2916135&picked=prox],
[Conference or Workshop Item]

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

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

Othmane, Lotfi Ben and Chehrazi, Golriz and Bodden, Eric and Tsalovski, Petar and Brucker, Achim and 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 and Nadi, Sarah and Ali, Karim and Bodden, Eric and Erdweg, Sebastian and Mezini, Mira (2015):
Towards Secure Integration of Cryptographic Software.
In: OOPSLA Onward!, Piitsburgh, 25.10.2015, In: Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, [Online-Edition: http://2015.splashcon.org/track/onward2015-papers],
[Conference or Workshop Item]

Rasthofer, Siegfried and Asrar, Irfan and Huber, Stephan and 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 and Arzt, Steven and Kolhagen, Max and Pfretzschner, Brian and Huber, Stephan and Bodden, Eric and Richter, Philipp (2015):
DroidSearch: A Powerful Search Engine for Android Applications.
In: 2015 Science and Information Conference (SAI), [Conference or Workshop Item]

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

Arzt, Steven and Rasthofer, Siegfried and Hahn, Robert and 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, In: 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 and Ranchal, Rohit and Fernando, Ruchith and Bhargava, Bharat and Bodden, Eric (2015):
Incorporating Attacker Capabilities in Risk Estimation and Mitigation.
In: Computers & Security, pp. 41–61, 51, DOI: 10.1016/j.cose.2015.03.001,
[Article]

Li, Li and Bartel, Alexandre and Bissyande, Tegawende and Klein, Jacques and Traon, Yves Le and Arzt, Steven and Rasthofer, Siegfried and Bodden, Eric and Octeau, Damien and 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 and Kuznetsov, Konstantin and Gorla, Alessandra and Zeller, Andreas and Arzt, Steven and Rasthofer, Siegfried and 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 and Asrar, Irfan and Huber, Stephan and Bodden, Eric (2015):
An Investigation of the Android/BadAccents Malware which Exploits a new Android Tapjacking Attack.
[Report]

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

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

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

Lerch, Johannes and Hermann, Ben and Bodden, Eric and Mezini, Mira (2014):
FlowTwist: Efficient Context-sensitive Inside-out Taint Analysis for Large Codebases.
New York, NY, USA, ACM, In: Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, In: FSE 2014, [Online-Edition: http://doi.acm.org/10.1145/2635868.2635878],
[Conference or Workshop Item]

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

Arzt, Steven and 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, DOI: 10.1145/2568225.2568243,
[Conference or Workshop Item]

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

Rasthofer, Siegfried and Arzt, Steven and Lovat, Enrico and 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 and Huber, Stephan and Rasthofer, Siegfried and Bodden, Eric (2014):
Denial-of-App Attack: Inhibiting the Installation of Android Apps on Stock Phones.
In: 4th ACM Workshop on Security and Privacy in Smartphones & Mobile Devices, Scottsdale, In: Proceedings of the 4th ACM Workshop on Security and Privacy in Smartphones & Mobile Devices, [Conference or Workshop Item]

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

Li, Li and Bartel, Alexandre and Klein, Jacques and Traon, Yves Le and Arzt, Steven and Rasthofer, Siegfried and Bodden, Eric and Octeau, Damien and McDaniel, Patrick (2014):
I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis.
[Online-Edition: http://www.abartel.net/static/p/tr-iccta.pdf],
[Report]

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

Rasthofer, Siegfried and Arzt, Steven and 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 and Rasthofer, Siegfried and Richter, Philipp and 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, pp. 720 - 725, 11/2013, DOI: 10.1007/s11623-013-0300-1,
[Article]

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

Falzon, Kevin and Bodden, Eric and Purandare, Rahul (2013):
Distributed Finite-State Runtime Monitoring with Aggregated Events.
In: Runtime Verification 2013 (RV'13), Springer, LNCS, [Article]

Arzt, Steven and Bodden, Eric (2013):
Efficiently updating IDE-based data-flow analyses in response to incremental program changes.
[Online-Edition: http://www.bodden.de/pubs/TUD-CS-2013-0253.pdf],
[Report]

Bodden, Eric and Hermann, Ben and Lerch, Johannes and Mezini, Mira (2013):
Reducing human factors in software security architectures.
In: Future Security Conference 2013, [Online-Edition: http://www.bodden.de/pubs/blh+13reducing.pdf],
[Conference or Workshop Item]

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

Bodden, Eric and Tanter, Éric and Inostroza, Milton (2013):
Joint Point Interfaces for Safe and Flexible Decoupling of Aspects.
In: Software Engineering Top Journals, Rank 5, ACM Transactions on Softw, [Article]

Bodden, Eric and Mezini, Mira and Brabrand, Claus and Tolêdo, Társis and Ribeiro, Márcio and 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), [Online-Edition: http://www.bodden.de/pubs/bmb+13spllift.pdf],
[Conference or Workshop Item]

Bodden, Eric and Mezini, Mira and Brabrand, Claus and Tolêdo, Társis and Ribeiro, Márcio and 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 and Arzt, Steven and Rasthofer, Siegfried and Bodden, Eric and Bartel, Alexandre and Klein, Jacques and Le Traon, Yves and Octeau, Damien and McDaniel, Patrick (2013):
Highly Precise Taint Analysis for Android Applications.
[Online-Edition: http://www.informatik.tu-darmstadt.de/fileadmin/user_upload/...],
[Report]

Arzt, Steven and Rasthofer, Siegfried and Bodden, Eric (2013):
SuSi: A Tool for the Fully Automated Classification and Categorization of Android Sources and Sinks.
[Online-Edition: http://www.informatik.tu-darmstadt.de/fileadmin/user_upload/...],
[Report]

Arzt, Steven and Falzon, Kevin and Follner, Andreas and Rasthofer, Siegfried and Bodden, Eric and Stolz, Volker (2013):
How useful are existing monitoring languages for securing Android apps?
Gesellschaft für Informatik, In: 6. Arbeitstagung Programmiersprachen (ATPS 2013), In: GI Lecture Notes in Informatics, [Online-Edition: http://www.bodden.de/pubs/aff13howuseful.pdf],
[Conference or Workshop Item]

Bodden, Eric and Tolêdo, Társis and Ribeiro, Márcio and Brabrand, Claus and Borba, Paulo and Mezini, Mira (2012):
Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines.
[Online-Edition: http://www.bodden.de/pubs/btr+12transparent.pdf],
[Report]

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

Bodden, Eric and Falzon, Kevin and Pun, Ka I. and Stolz, Volker (2012):
Delta-oriented Monitor Specification.
Springer, In: 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), [Online-Edition: http://www.bodden.de/pubs/bfp+12delta.pdf],
[Conference or Workshop Item]

Alsouri, Sami and Sinschek, Jan and Sewe, Andreas and Bodden, Eric and Mezini, Mira and Katzenbeisser, Stefan (2012):
Dynamic Anomaly Detection for More Trustworthy Outsourced Computation.
In: Information Security, In: 15th International Conference on Information Security, Passau, Germany, 19-21 Sep 2012, In: Lecture Notes in Computer Science, 7483, ISSN 0302-9743,
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-33383-5_11],
[Conference or Workshop Item]

Thies, Andreas and Bodden, Eric (2012):
RefaFlex: Safer Refactorings for Reflective Java Programs [forthcoming].
In: International Symposium on Software Testing and Analysis (ISSTA 2012), [Online-Edition: http://www.bodden.de/pubs/tb12refaflex.pdf],
[Conference or Workshop Item]

Ansaloni, Danilo and Binder, Walter and Bockisch, Christoph and Bodden, Eric and Hatun, Kardelen and Marek, Lukas and Qi, Zhengwei and Sarimbekov, Aibek and Sewe, Andreas and Tuma, Petr and Zheng, Yudi (2012):
Challenges for Refinement and Composition of Instrumentations (Position Paper).
In: International Conference on Software Composition (SC 2012), [Online-Edition: http://www.bodden.de/pubs/abb+12challenges.pdf],
[Conference or Workshop Item]

Bodden, Eric (2012):
Towards Typesafe Weaving for Modular Reasoning in Aspect-Oriented Programs.
In: 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. and Bodden, Eric and Kawrykow, David and Mezini, Mira and Ratchford, Tristan (2012):
Automated API Property Inference Techniques.
In: IEEE Transactions on Software Engineering (TSE), [Online-Edition: http://www.bodden.de/pubs/rbk+12automated.pdf],
[Article]

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

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

Bodden, Eric (2012):
MOPBox: A Library Approach to Runtime Verification.
Springer, In: RV ; 2 (San Francisco, CA) : 2011.09.27-30 International Conference on Runtime Verification ; 2 (San Francisco, CA) : 2011.09.27-30, In: Lecture notes in computer science , 7186, [Online-Edition: http://www.bodden.de/pubs/bodden11mopbox.pdf],
[Conference or Workshop Item]

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

Bodden, Eric and 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 and Tanter, Éric and Inostroza, Milton (2012):
Safe and Practical Decoupling of Aspects with Join Point Interfaces.
(TUD-CS-2012-0106), [Report]

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

Lam, Patrick and Bodden, Eric and Lhotak, Ondrej and Hendren, Laurie (2011):
The Soot framework for Java program analysis: a retrospective.
In: Cetus Users and Compiler Infastructure Workshop (CETUS 2011), [Online-Edition: http://www.bodden.de/pubs/lblh11soot.pdf],
[Conference or Workshop Item]

Bodden, Eric (2011):
Stateful Breakpoints: A Practical Approach to Defining Parameterized Runtime Monitors.
In: ESEC/FSE '11: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, [Online-Edition: http://www.bodden.de/pubs/bodden11stateful.pdf],
[Conference or Workshop Item]

Bodden, Eric (2011):
Continuation equivalence: a Correctness Criterion for Static Optimizations of Dynamic Analyses.
ACM, In: WODA '11: International Workshop on Dynamic Analysis, [Online-Edition: http://www.bodden.de/pubs/bodden11continuation.pdf],
[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.
ACM, In: AOSD '11: Proceedings of the 10th International Conference on Aspect-oriented Software Development, [Online-Edition: http://www.bodden.de/pubs/bodden11closure.pdf],
[Conference or Workshop Item]

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

Inostroza, Milton and Tanter, Éric and Bodden, Eric (2011):
Join Point Interfaces for Modular Reasoning in Aspect-Oriented Programs.
In: ESEC/FSE '11: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, [Online-Edition: http://www.bodden.de/pubs/itb11jpi.pdf],
[Conference or Workshop Item]

Bodden, Eric and Sewe, Andreas and Sinschek, Jan and Oueslati, Hela and 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, New York, NY, USA, In: International Conference on Software Engineering, Waikiki, Honolulu, HI, USA, 21-28 May 2011, [Online-Edition: http://doi.acm.org/10.1145/1985793.1985827],
[Conference or Workshop Item]

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

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

Bruch, Marcel and Bodden, Eric and Monperrus, Martin and Mezini, Mira (2010):
IDE 2.0: Collective Intelligence in Software Development.
ACM, In: FSE/SDP Workshop on the Future of Software Engineering, DOI: 10.1145/1882362.1882374?,
[Online-Edition: http://www.bodden.de/pubs/bbmm10ide.pdf],
[Conference or Workshop Item]

Kim, Chang Hwan Peter and Bodden, Eric and Batory, Don and Khurshid, Sarfraz (2010):
Reducing Configurations to Monitor in a Software Product Line.
Springer, In: 1st International Conference on Runtime Verification (RV), In: LNCS, 6418, [Online-Edition: http://www.bodden.de/pubs/kbbk10reducing.pdf],
[Conference or Workshop Item]

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

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

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

Bodden, Eric and Sewe, Andreas and Sinschek, Jan and 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.
In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10, 1, [Online-Edition: http://dx.doi.org/10.1145/1806799.1806805],
[Conference or Workshop Item]

Bodden, Eric and Chen, Feng and Rosu, Grigore (2009):
Dependent advice: A general approach to optimizing history-based aspects.
In: ACM, 2009, pp. pages 3–14, AOSD ’09: Proceedings of , [Article]

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

Bodden, Eric and 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 22 01:52:38 2019 CEST.