TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 81.

Nguyen, Lisa ; Krüger, Stefan ; Hill, Patrick ; Ali, Karim ; Bodden, Eric :
VisuFlow: a Debugging Environment for Static Analyses.
ICSE ACM
[Konferenz- oder Workshop-Beitrag], (2018)

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

A systematic approach to constructing families of incremental topology control algorithms using graph transformation.
In: Software Engineering und Software Management 2018, 2018-03-06..09, Ulm. In: Lecture Notes in Informatics , P-279 . Bonn
[Konferenz- oder Workshop-Beitrag], (2018)

Reif, Michael ; Eichberg, Michael ; Mezini, Mira
Tichy, Matthias ; Bodden, Eric ; Kuhrmann, Marco ; Wagner, Stefan ; Steghöfer, Jan-Philipp (eds.) :

Call Graph Construction for Java Libraries.
In: Software Engineering und Software Management 2018, Bonn. Gesellschaft für Informatik , Bonn
[Konferenz- oder Workshop-Beitrag], (2018)

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 :
CogniCrypt: Supporting Developers in using Cryptography.
Automated Software Engineering (ASE'17) ACM
[Konferenz- oder Workshop-Beitrag], (2017)

Do, Lisa Nguyen Quang ; Ali, Karim ; Livshits, Benjamin ; Bodden, Eric ; Smith, Justin ; Murphy-Hill, Emerson :
Just-in-Time Static Analysis.
Proceedings of ISSTA ’17 ACM
[Konferenz- oder Workshop-Beitrag], (2017)

Do, Lisa Nguyen Quang ; Ali, Karim ; Livshits, Benjamin ; Bodden, Eric ; Smith, Justin ; Murphy-Hill, Emerson :
Cheetah: Just-in-Time Taint Analysis for Android Apps.
2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) Curran Associates, Inc.
[Konferenz- oder Workshop-Beitrag], (2017)

Holzinger, Philipp ; Hermann, Ben ; Lerch, Johannes ; Bodden, Eric ; Mezini, Mira :
Hardening Java's Access Control by Abolishing Implicit Privilege Elevation.
2017 IEEE Symposium on Security and Privacy (SP 2017) Curran Associates, Inc
[Konferenz- oder Workshop-Beitrag], (2017)

Krüger, Stefan ; Nadi, Sarah ; Reif, Michael ; Karim, Ali ; Mezini, Mira ; Bodden, Eric ; Göpfert, Florian ; Günther, Felix ; Weinert, Christian ; Demmler, Daniel ; Kamath, Ram :
CogniCrypt: Supporting Developers in Using Cryptography.
[Online-Edition: http://dl.acm.org/citation.cfm?id=3155562.3155681]
In: Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering, Piscataway, NJ, USA. In: ASE 2017 . IEEE Press , Piscataway, NJ, USA
[Konferenz- oder Workshop-Beitrag], (2017)

I Pun, Ka ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina ; Bodden, Eric ; Eichberg, Michael
Larsen, Kim G. ; Srba, Jiří (eds.) :

Don't let data Go astray - A Context-Sensitive Taint Analysis for Concurrent Programs in Go.
In: Nordic Workshop on Programming Theory (NWPT'16). Aalborg
[Konferenz- oder Workshop-Beitrag], (2016)

Späth, Johannes ; Do, Lisa Nguyen Quang ; Ali, Karim ; Bodden, Eric :
Boomerang: Demand-Driven Flow-Sensitive, Field-Sensitive, and Context-Sensitive Pointer Analysis.
30th European Conference on Object-Oriented Programming (ECOOP 2016) Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
[Konferenz- oder Workshop-Beitrag], (2016)

Nadi, Sarah ; Krüger, Stefan ; Mezini, Mira ; Bodden, Eric :
Jumping through hoops: why do Java developers struggle with cryptography APIs?
ICSE '16 Proceedings of the 38th International Conference on Software Engineering ACM
[Konferenz- oder Workshop-Beitrag], (2016)

Arzt, Steven ; Bodden, Eric :
StubDroid: automatic inference of precise data-flow summaries for the android framework.
ICSE '16 Proceedings of the 38th International Conference on Software Engineering ACM
[Konferenz- oder Workshop-Beitrag], (2016)

Rasthofer, Siegfried ; Arzt, Steven ; Miltenberger, Marc ; Bodden, Eric :
Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques.
Network and Distributed System Security Symposium 2016 Internet Society
[Konferenz- oder Workshop-Beitrag], (2016)

Bodden, Eric ; Pun, Ka I. ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina
Margaria, Tiziana ; Steffen, Bernhard (eds.) :

Information Flow Analysis for Go.
[Online-Edition: https://doi.org/10.1007/978-3-319-47166-2_30]
In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Springer International Publishing , pp. 431-445. ISBN 978-3-319-47166-2 ISSN 0302-9743
[Buchkapitel], (2016)

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

Pellegrino, Giancarlo ; Tschürtz, Constantin ; Bodden, Eric ; Rossow, Christian
Bos, Herbert ; Monrose, Fabian ; Blanc, Gregory (eds.) :

jÄk: Using Dynamic Analysis to Crawl and Test Modern Web Applications.
In: Lecture Notes in Computer Science 9404 . Springer Cham
[Konferenz- oder Workshop-Beitrag], (2015)

Lerch, Johannes ; Späth, Johannes ; Bodden, Eric ; Mezini, Mira :
Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths.
In: Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on, Lincoln, Nebraska, USA.
[Konferenz- oder Workshop-Beitrag], (2015)

Falzon, Kevin ; Bodden, Eric
Lopez, Javier ; Mitchell, Chris J. (eds.) :

Dynamically Provisioning Isolation in Hierarchical Architectures.
In: Information Security Conference, Trondheim. In: Lecture Notes in Computer Science , 9290 .
[Konferenz- oder Workshop-Beitrag], (2015)

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

Arzt, Steven ; Nadi, Sarah ; Ali, Karim ; Bodden, Eric ; Erdweg, Sebastian ; Mezini, Mira :
Towards Secure Integration of Cryptographic Software.
[Online-Edition: http://2015.splashcon.org/track/onward2015-papers]
In: OOPSLA Onward!, 25.10.2015, Piitsburgh. In: Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software .
[Konferenz- oder Workshop-Beitrag], (2015)

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

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

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

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

Rasthofer, Siegfried ; Arzt, Steven ; Miltenberger, Marc ; Bodden, Eric :
Harvesting Runtime Data in Android Applications for Identifying Malware and Enhancing Code Analysis.

[Report], (2015)

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

Lillack, Max ; Kästner, Christian ; Bodden, Eric :
Tracking Load-time Configuration Option.
In: ASE '14 . ACM
[Konferenz- oder Workshop-Beitrag], (2014)

Arzt, Steven ; Bodden, Eric :
Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes.
International Conference on Software Engineering(ICSE) 2014
[Konferenz- oder Workshop-Beitrag], (2014)

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

Arzt, Steven ; Huber, Stephan ; Rasthofer, Siegfried ; Bodden, Eric :
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 .
[Konferenz- oder Workshop-Beitrag], (2014)

Arzt, Steven ; Rasthofer, Siegfried ; Fritz, Christian ; Bodden, Eric ; Bartel, Alexandre ; Klein, Jacques ; Le Traon, Yves ; Octeau, Damien ; McDaniel, Patrick :
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.
[Konferenz- oder Workshop-Beitrag], (2014)

Li, Li ; Bartel, Alexandre ; Klein, Jacques ; Traon, Yves Le ; Arzt, Steven ; Rasthofer, Siegfried ; Bodden, Eric ; Octeau, Damien ; McDaniel, Patrick :
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]
In: arXiv preprint arXiv:1404.7431
[Report], (2014)

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

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

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

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

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

Arzt, Steven ; Bodden, Eric :
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], (2013)

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

Octeau, Damien ; McDaniel, Patrick ; Jha, Somesh ; Bartel, Alexandre ; Bodden, Eric ; Klein, Jacques ; Le Traon, Yves :
Effective Inter-Component Communication Mapping in Android: An Essential Step Towards Holistic Security Analysis.
In: SEC'13 . USENIX Association
[Konferenz- oder Workshop-Beitrag], (2013)

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

Bodden, Eric ; Mezini, Mira ; Brabrand, Claus ; Tolêdo, Társis ; Ribeiro, Márcio ; Borba, Paulo :
SPLlift - Statically Analyzing Software Product Lines in Minutes Instead of Years.
[Online-Edition: http://www.bodden.de/pubs/bmb+13spllift.pdf]
In: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013).
[Konferenz- oder Workshop-Beitrag], (2013)

Fritz, Christian ; Arzt, Steven ; Rasthofer, Siegfried ; Bodden, Eric ; Bartel, Alexandre ; Klein, Jacques ; le Traon, Yves ; Octeau, Damien ; McDaniel, Patrick :
Highly Precise Taint Analysis for Android Applications.
[Online-Edition: http://www.informatik.tu-darmstadt.de/fileadmin/user_upload/...]

[Report], (2013)

Arzt, Steven ; Rasthofer, Siegfried ; Bodden, Eric :
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], (2013)

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

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

Bodden, Eric ; Tolêdo, Társis ; Ribeiro, Márcio ; Brabrand, Claus ; Borba, Paulo ; Mezini, Mira :
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], (2012)

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

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

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

Octeau, Damien ; McDaniel, Patrick ; Jha, Somesh ; Bartel, Alexandre ; Bodden, Eric ; Klein, J. ; Le Traon, Yves :
Effective Inter-Component Communication Mapping in Android: An Essential Step Towards Holistic Security Analysis.
In: USENIX Security Symposium 2013.
[Artikel], (2012)

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

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

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

Bodden, Eric :
Identifying meaningless parameterized linear-temporal-logic formulas.

[Report], (2012)

Bodden, Eric :
On the Expressiveness of Parameterized Finite-state Runtime Monitors.

[Report], (2012)

Robillard, Martin P. ; Bodden, Eric ; Kawrykow, David ; Mezini, Mira ; Ratchford, Tristan :
Automated API Property Inference Techniques.
[Online-Edition: http://www.bodden.de/pubs/rbk+12automated.pdf]
In: IEEE Transactions on Software Engineering (TSE)
[Artikel], (2012)

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

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

Bodden, Eric :
MOPBox: A Library Approach to Runtime Verification.
[Online-Edition: http://www.bodden.de/pubs/bodden11mopbox.pdf]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2012)

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

Bodden, Eric ; Toledo, Tarsis ; Ribeiro, Marcio ; Brabrand, Claus ; Borba, Paulo ; Mezini, Mira :
Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines.

[Report], (2012)

Inostroza, Milton ; Tanter, Éric ; Bodden, Eric :
Modular Reasoning with Join Point Interfaces.

[Report], (2011)

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

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

Bodden, Eric :
Continuation equivalence: a Correctness Criterion for Static Optimizations of Dynamic Analyses.
[Online-Edition: http://www.bodden.de/pubs/bodden11continuation.pdf]
In: WODA '11: International Workshop on Dynamic Analysis. ACM
[Konferenz- oder Workshop-Beitrag], (2011)

Bodden, Eric :
Closure Joinpoints: Block joinpoints without surprises.
[Online-Edition: http://www.bodden.de/pubs/bodden11closure.pdf]
In: AOSD '11: Proceedings of the 10th International Conference on Aspect-oriented Software Development. ACM
[Konferenz- oder Workshop-Beitrag], (2011)

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

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

Bodden, Eric ; Sewe, Andreas ; Sinschek, Jan ; Oueslati, Hela ; Mezini, Mira :
Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders.
[Online-Edition: http://doi.acm.org/10.1145/1985793.1985827]
In: International Conference on Software Engineering, 21-28 May 2011, Waikiki, Honolulu, HI, USA. Proceedings of the 33rd International Conference on Software Engineering New York, NY, USA
[Konferenz- oder Workshop-Beitrag], (2011)

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

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

Bruch, Marcel ; Bodden, Eric ; Monperrus, Martin ; Mezini, Mira :
IDE 2.0: Collective Intelligence in Software Development.
[Online-Edition: http://www.bodden.de/pubs/bbmm10ide.pdf]
In: FSE/SDP Workshop on the Future of Software Engineering. ACM
[Konferenz- oder Workshop-Beitrag], (2010)

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

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

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

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

Bodden, Eric :
Efficient hybrid typestate analysis by determining continuation-equivalent states.
[Online-Edition: http://dx.doi.org/10.1145/1806799.1806805]
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10
[Konferenz- oder Workshop-Beitrag], (2010)

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

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

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

Diese Liste wurde am Tue May 22 03:42:50 2018 CEST generiert.