Eric Bodden - RankMe

259 papers A* 21A 28B 10C 26Misc 1Journal 83Unranked 80

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A study of privacy-related data collected by Android apps. Autom. Softw. Eng. Mugdha Khedkar, Ambuj Kumar Mondal, Eric Bodden
2026	J	`jnl`	Between law and code: challenges and opportunities for automating privacy assessments. Autom. Softw. Eng. Mugdha Khedkar, Michael Schlichtig, Nihad Atakishiyev, Eric Bodden
2026	J	`jnl`	Challenges in Android Data Disclosure: An Empirical Study. CoRR Mugdha Khedkar, Michael Schlichtig, Mohamed Soliman, Eric Bodden
2026	J	`jnl`	FP-Predictor - False Positive Prediction for Static Analysis Reports. CoRR Tom Ohlmer, Michael Schlichtig, Eric Bodden
2026	J	`jnl`	From Detection to Prevention: Explaining Security-Critical Code to Avoid Vulnerabilities. CoRR Ranjith Krishnamurthy, Oshando Johnson, Goran Piskachev, Eric Bodden
2026	J	`jnl`	Uncovering Hidden Inclusions of Vulnerable Dependencies in Real-World Java Projects. CoRR Stefan Schott, Serena Elisa Ponta, Wolfram Fischer, Jonas Klauke, Eric Bodden
2026	C	`conf`	Using Attack and Failure Propagation Analysis for Context-Aware Security Control Suggestions. MODELSWARD Roman Trentinaglia, Thorsten Koch, Eric Bodden
2026	J	`jnl`	Visualization Task Taxonomy to Understand the Fuzzing Internals. ACM Trans. Softw. Eng. Methodol. Sriteja Kummita, Miao Miao, Eric Bodden, Shiyi Wei
2025	J	`jnl`	A Soundness and Precision Benchmark for Java Debloating Tools. CoRR Jonas Klauke, Tom Ohlmer, Stefan Schott, Serena Elisa Ponta, Wolfram Fischer, Eric Bodden
2025	J	`jnl`	An empirical study of large language models for type and call graph analysis in Python and JavaScript. Empir. Softw. Eng. Ashwin Prasad Shivarpatna Venkatesh, Rose Sunil, Samkutty Sabu, Amir M. Mir, Sofia Reis, Eric Bodden
2025	J	`jnl`	Bytecode-centric Detection of Known-to-be-vulnerable Dependencies in Java Projects. CoRR Stefan Schott, Serena Elisa Ponta, Wolfram Fischer, Jonas Klauke, Eric Bodden
2025	—	`conf`	Explaining Software Vulnerabilities with Large Language Models. ASEW Oshando Johnson, Alexandra Fomina, Ranjith Krishnamurthy, Vaibhav Chaudhari, Rohith Kumar Shanmuganathan, Eric Bodden
2025	J	`jnl`	Explaining Software Vulnerabilities with Large Language Models. CoRR Oshando Johnson, Alexandra Fomina, Ranjith Krishnamurthy, Vaibhav Chaudhari, Rohith Kumar Shanmuganathan, Eric Bodden
2025	—	`conf`	Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses. SOAP@PLDI Kadiray Karakaya, Palaniappan Muthuraman, Eric Bodden
2025	J	`jnl`	Program Feature-Based Benchmarking for Fuzz Testing. Proc. ACM Softw. Eng. Miao Miao, Sriteja Kummita, Eric Bodden, Shiyi Wei
2025	J	`jnl`	Security Requirements and Secure Software Design. IEEE Secur. Priv. Tamara Lopez, Bashar Nuseibeh, Eric Bodden
2025	—	`conf`	SeedUI: Understanding Initial Seeds in Fuzzing. ASEW Sriteja Kummita, Eric Bodden, Miao Miao, Shiyi Wei
2025	J	`jnl`	Software Security Analysis in 2030 and Beyond: A Research Roadmap. ACM Trans. Softw. Eng. Methodol. Marcel Böhme, Eric Bodden, Tevfik Bultan, Cristian Cadar, Yang Liu, Giuseppe Scanniello
2025	J	`jnl`	Visualizing Privacy-Relevant Data Flows in Android Applications. CoRR Mugdha Khedkar, Michael Schlichtig, Santhosh Mohan, Eric Bodden
2024	—	`conf`	Advancing Android Privacy Assessments with Automation. ASE Workshops Mugdha Khedkar, Michael Schlichtig, Eric Bodden
2024	J	`jnl`	Advancing Android Privacy Assessments with Automation. CoRR Mugdha Khedkar, Michael Schlichtig, Eric Bodden
2024	J	`jnl`	An Empirical Study of Large Language Models for Type and Call Graph Analysis. CoRR Ashwin Prasad Shivarpatna Venkatesh, Rose Sunil, Samkutty Sabu, Amir M. Mir, Sofia Reis, Eric Bodden
2024	A	`conf`	Compilation of Commit Changes Within Java Source Code Repositories. ICSME Stefan Schott, Wolfram Fischer, Serena Elisa Ponta, Jonas Klauke, Eric Bodden
2024	J	`jnl`	Compilation of Commit Changes within Java Source Code Repositories. CoRR Stefan Schott, Wolfram Fischer, Serena Elisa Ponta, Jonas Klauke, Eric Bodden
2024	—	`conf`	Detecting Security-Relevant Methods using Multi-label Machine Learning. IDE@ICSE Oshando Johnson, Goran Piskachev, Ranjith Krishnamurthy, Eric Bodden
2024	J	`jnl`	Detecting Security-Relevant Methods using Multi-label Machine Learning. CoRR Oshando Johnson, Goran Piskachev, Ranjith Krishnamurthy, Eric Bodden
2024	—	`conf`	Do Android App Developers Accurately Report Collection of Privacy-Related Data? ASE Workshops Mugdha Khedkar, Ambuj Kumar Mondal, Eric Bodden
2024	J	`jnl`	Do Android App Developers Accurately Report Collection of Privacy-Related Data? CoRR Mugdha Khedkar, Ambuj Kumar Mondal, Eric Bodden
2024	—	`book`	Ernst Denert Award for Software Engineering 2022 - Practice Meets Foundations Ernst Denert Award for Software Engineering Eric Bodden, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Heiko Koziolek, Carola Lilienthal, Florian Matthes, Lutz Prechelt, Bernhard Rumpe, Ina Schaefer
2024	J	`jnl`	Ernst Denert Preis 2023. Softwaretechnik-Trends Eric Bodden, Yasemin Acar, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Bernhard Rumpe
2024	J	`jnl`	Evaluating Security Through Isolation and Defense in Depth. IEEE Secur. Priv. Eric Bodden, Jens Pottebaum, Markus Fockel, Iris Gräßler
2024	J	`jnl`	Java Bytecode Normalization for Code Similarity Analysis (Artifact). Dagstuhl Artifacts Ser. Stefan Schott, Serena Elisa Ponta, Wolfram Fischer, Jonas Klauke, Eric Bodden
2024	A	`conf`	Java Bytecode Normalization for Code Similarity Analysis. ECOOP Stefan Schott, Serena Elisa Ponta, Wolfram Fischer, Jonas Klauke, Eric Bodden
2024	A	`conf`	Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report. ECOOP Fabian Schiebel, Florian Sattler, Philipp Dominik Schubert, Sven Apel, Eric Bodden
2024	J	`jnl`	Software Security Analysis in 2030 and Beyond: A Research Roadmap. CoRR Marcel Böhme, Eric Bodden, Tevfik Bultan, Cristian Cadar, Yang Liu, Giuseppe Scanniello
2024	—	`conf`	SootUp: A Redesign of the Soot Static Analysis Framework. TACAS (1) Kadiray Karakaya, Stefan Schott, Jonas Klauke, Eric Bodden, Markus Schmidt, Linghui Luo, Dongjie He
2024	J	`jnl`	Static analysis driven enhancements for comprehension in machine learning notebooks. Empir. Softw. Eng. Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Mouli Chekkapalli, Jiawei Wang, Li Li, Eric Bodden
2024	A	`conf`	Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability. SANER Anna-Katharina Wickert, Michael Schlichtig, Marvin Vogel, Lukas Winter, Mira Mezini, Eric Bodden
2024	J	`jnl`	Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability. CoRR Anna-Katharina Wickert, Michael Schlichtig, Marvin Vogel, Lukas Winter, Mira Mezini, Eric Bodden
2024	A*	`conf`	Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems. ICSE Kadiray Karakaya, Eric Bodden
2024	J	`jnl`	Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems. CoRR Kadiray Karakaya, Eric Bodden
2024	—	`conf`	The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks. FORGE Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Amir M. Mir, Sofia Reis, Eric Bodden
2024	J	`jnl`	The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks. CoRR Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Amir M. Mir, Sofia Reis, Eric Bodden
2024	—	`conf`	Toward an Android Static Analysis Approach for Data Protection. MOBILESoft@ICSE Mugdha Khedkar, Eric Bodden
2024	J	`jnl`	Toward an Android Static Analysis Approach for Data Protection. CoRR Mugdha Khedkar, Eric Bodden
2024	C	`conf`	Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis. Software Engineering Kadiray Karakaya, Eric Bodden
2024	—	`conf`	TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools. ICSE Companion Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Jiawei Wang, Amir M. Mir, Li Li, Eric Bodden
2024	C	`conf`	UpCy: Safely Updating Outdated Dependencies (Summary). Software Engineering Andreas Dann, Ben Hermann, Eric Bodden
2024	—	`conf`	Visualization Task Taxonomy to Understand the Fuzzing Internals (Registered Report). FUZZING Sriteja Kummita, Miao Miao, Eric Bodden, Shiyi Wei
2024	A*	`conf`	Visualizing and Understanding the Internals of Fuzzing. ASE Sriteja Kummita, Zenong Zhang, Eric Bodden, Shiyi Wei
2023	J	`jnl`	An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities. ACM Trans. Softw. Eng. Methodol. Imen Sayar, Alexandre Bartel, Eric Bodden, Yves Le Traon
2023	J	`jnl`	Can the configuration of static analyses make resolving security vulnerabilities more effective? - A user study. Empir. Softw. Eng. Goran Piskachev, Matthias Becker, Eric Bodden
2023	J	`jnl`	Empirical Evaluation of Secure Development Processes (Dagstuhl Seminar 23181). Dagstuhl Reports Eric Bodden, Sam Weber, Laurie A. Williams
2023	A	`conf`	Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. SANER Ashwin Prasad Shivarpatna Venkatesh, Jiawei Wang, Li Li, Eric Bodden
2023	J	`jnl`	Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. CoRR Ashwin Prasad Shivarpatna Venkatesh, Jiawei Wang, Li Li, Eric Bodden
2023	C	`conf`	Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale. Software Engineering Marcus Nachtigall, Michael Schlichtig, Eric Bodden
2023	C	`conf`	Introducing FUM: A Framework for API Usage Constraint and Misuse Classification. Software Engineering Michael Schlichtig, Steffen Sassalla, Krishna Narasimhan, Eric Bodden
2023	A	`conf`	Model Generation For Java Frameworks. ICST Linghui Luo, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Eric Bodden, Martin Schäf
2023	—	`conf`	Re-Envisioning Industrial Control Systems Security by Considering Human Factors as a Core Element of Defense-in-Depth. EuroS&P Workshops Jens Pottebaum, Jost Rossel, Juraj Somorovsky, Yasemin Acar, René Fahr, Patricia Arias Cabarcos, Eric Bodden, Iris Gräßler
2023	J	`jnl`	Runtime Verification of Crypto APIs: An Empirical Study. IEEE Trans. Software Eng. Adriano Torres, Pedro Henrique Teixeira Costa, Luis Henrique Vieira Amaral, Jonata Pastro, Rodrigo Bonifácio, Marcelo d'Amorim, Owolabi Legunsen, Eric Bodden, Edna Dias Canedo
2023	—	`conf`	Securing Your Crypto-API Usage Through Tool Support - A Usability Study. SecDev Stefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Yasemin Acar, Mira Mezini, Sascha Fahl
2023	A	`conf`	Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis. ICST Kadiray Karakaya, Eric Bodden
2023	J	`jnl`	TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools. CoRR Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Jiawei Wang, Amir M. Mir, Li Li, Eric Bodden
2023	A*	`conf`	UPCY: Safely Updating Outdated Dependencies. ICSE Andreas Dann, Ben Hermann, Eric Bodden
2023	J	`jnl`	slash: A Technique for Static Configuration-Logic Identification. CoRR Mohannad Alhanahnah, Philipp Dominik Schubert, Thomas W. Reps, Somesh Jha, Eric Bodden
2022	J	`jnl`	"Free" as in Freedom to Protest? IEEE Secur. Priv. Fabio Massacci, Antonino Sabetta, Jelena Mirkovic, Toby Murray, Hamed Okhravi, Mohammad Mannan, Anderson Rocha, Eric Bodden, Daniel E. Geer
2022	J	`jnl`	25 Years in Application Security: Looking Back, Looking Forward. IEEE Secur. Priv. Adam Shostack, Fabio Massacci, Eric Bodden, Antonino Sabetta
2022	A	`conf`	A large-scale study of usability criteria addressed by static analysis tools. ISSTA Marcus Nachtigall, Michael Schlichtig, Eric Bodden
2022	J	`jnl`	An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities. CoRR Imen Sayar, Alexandre Bartel, Eric Bodden, Yves Le Traon
2022	J	`jnl`	CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite. CoRR Michael Schlichtig, Anna-Katharina Wickert, Stefan Krüger, Eric Bodden, Mira Mezini
2022	J	`jnl`	Computation on Encrypted Data Using Dataflow Authentication. ACM Trans. Priv. Secur. Andreas Fischer, Benny Fuhry, Jörn Kußmaul, Jonas Janneck, Florian Kerschbaum, Eric Bodden
2022	—	`ch.`	Ernst Denert Software Engineering Award 2022. Ernst Denert Award for Software Engineering Eric Bodden, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Heiko Koziolek, Carola Lilienthal, Florian Matthes, Lutz Prechelt, Bernhard Rumpe, Ina Schaefer
2022	J	`jnl`	Explaining Static Analysis With Rule Graphs. IEEE Trans. Software Eng. Lisa Nguyen Quang Do, Eric Bodden
2022	A	`conf`	FUM - A Framework for API Usage constraint and Misuse Classification. SANER Michael Schlichtig, Steffen Sassalla, Krishna Narasimhan, Eric Bodden
2022	J	`jnl`	Fluently specifying taint-flow queries with fluentTQL. CoRR Goran Piskachev, Johannes Späth, Ingo Budde, Eric Bodden
2022	J	`jnl`	Fluently specifying taint-flow queries with fluentTQL. Empir. Softw. Eng. Goran Piskachev, Johannes Späth, Ingo Budde, Eric Bodden
2022	—	`conf`	How far are German companies in improving security through static program analysis tools? SecDev Goran Piskachev, Stefan Dziwok, Thorsten Koch, Sven Merschjohann, Eric Bodden
2022	J	`jnl`	How far are German companies in improving security through static program analysis tools? CoRR Goran Piskachev, Stefan Dziwok, Thorsten Koch, Sven Merschjohann, Eric Bodden
2022	C	`conf`	IDE Support for Cloud-Based Static Analyses. Software Engineering Linghui Luo, Eric Bodden
2022	C	`conf`	Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite (Short Summary). Software Engineering Andreas Dann, Henrik Plate, Ben Hermann, Serena Elisa Ponta, Eric Bodden
2022	J	`jnl`	Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite. IEEE Trans. Software Eng. Andreas Dann, Henrik Plate, Ben Hermann, Serena Elisa Ponta, Eric Bodden
2022	C	`conf`	Integrating Security Protocols in Scenario-based Requirements Specifications. MODELSWARD Thorsten Koch, Sascha Trippel, Stefan Dziwok, Eric Bodden
2022	J	`jnl`	Static data-flow analysis for software product lines in C. Autom. Softw. Eng. Philipp Dominik Schubert, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian Schiebel, Ben Hermann, Shiyi Wei, Eric Bodden
2022	C	`conf`	TaintBench: Automatic Real-World Malware Benchmarking of Android Taint Analyses. Software Engineering Linghui Luo, Felix Pauck, Goran Piskachev, Manuel Benz, Ivan Pashchenko, Martin Mory, Eric Bodden, Ben Hermann, Fabio Massacci
2022	J	`jnl`	TaintBench: Automatic real-world malware benchmarking of Android taint analyses. Empir. Softw. Eng. Linghui Luo, Felix Pauck, Goran Piskachev, Manuel Benz, Ivan Pashchenko, Martin Mory, Eric Bodden, Ben Hermann, Fabio Massacci
2022	C	`conf`	To what extent can we analyze Kotlin programs using existing Java taint analysis tools? SCAM Ranjith Krishnamurthy, Goran Piskachev, Eric Bodden
2022	J	`jnl`	To what extent can we analyze Kotlin programs using existing Java taint analysis tools? (Extended Version) CoRR Ranjith Krishnamurthy, Goran Piskachev, Eric Bodden
2021	—	`conf`	A Systematic Hardening of Java's Information Hiding. ASSS@AsiaCCS Philipp Holzinger, Eric Bodden
2021	—	`conf`	Automated cell header generator for Jupyter notebooks. AISTA@ISSTA Ashwin Prasad Shivarpatna Venkatesh, Eric Bodden
2021	J	`jnl`	CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. IEEE Trans. Software Eng. Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
2021	A	`conf`	Dealing with Variability in API Misuse Specification. ECOOP Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini
2021	J	`jnl`	Dealing with Variability in API Misuse Specification. CoRR Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini
2021	—	`conf`	Ensuring threat-model assumptions by using static code analyses. ECSA (Companion) Johannes Geismann, Bastian Haverkamp, Eric Bodden
2021	C	`conf`	Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis. Software Engineering Manuel Benz, Erik Krogh Kristensen, Linghui Luo, Nataniel P. Borges Jr., Eric Bodden, Andreas Zeller
2021	—	`conf`	IDE support for cloud-based static analyses. ESEC/SIGSOFT FSE Linghui Luo, Martin Schäf, Daniel Sanchez, Eric Bodden
2021	C	`conf`	Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++. SCAM Philipp Dominik Schubert, Richard Leer, Ben Hermann, Eric Bodden
2021	A	`conf`	Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis. ECOOP Philipp Dominik Schubert, Ben Hermann, Eric Bodden
2021	J	`jnl`	ModGuard : Identifying Integrity & Confidentiality Violations in Java Modules. IEEE Trans. Software Eng. Andreas Dann, Ben Hermann, Eric Bodden
2021	C	`conf`	ModGuard: Identifying Integrity & Confidentiality Violations in Java Modules. Software Engineering Andreas Dann, Ben Hermann, Eric Bodden
2021	C	`conf`	Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++. SCAM Philipp Dominik Schubert, Florian Sattler, Fabian Schiebel, Ben Hermann, Eric Bodden
2021	C	`conf`	SecuCheck: Engineering configurable taint analysis for software developers. SCAM Goran Piskachev, Ranjith Krishnamurthy, Eric Bodden
2021	C	`conf`	SootFX: A Static Code Feature Extraction Tool for Java and Android. SCAM Kadiray Karakaya, Eric Bodden
2020	J	`jnl`	A systematic literature review of model-driven security engineering for cyber-physical systems. J. Syst. Softw. Johannes Geismann, Eric Bodden
2020	A	`conf`	CogniCrypt CGO Stefan Krüger, Karim Ali, Eric Bodden
2020	J	`jnl`	Computation on Encrypted Data using Dataflow Authentication. Proc. Priv. Enhancing Technol. Andreas Fischer, Benny Fuhry, Florian Kerschbaum, Eric Bodden
2020	J	`jnl`	Debugging Static Analysis. IEEE Trans. Software Eng. Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden
2020	A*	`conf`	Heaps'n leaks: how heap snapshots improve Android taint analysis. ICSE Manuel Benz, Erik Krogh Kristensen, Linghui Luo, Nataniel P. Borges, Eric Bodden, Andreas Zeller
2020	A	`conf`	PASAPTO: Policy-aware Security and Performance Trade-off Analysis-Computation on Encrypted Data with Restricted Leakage. CSF Andreas Fischer, Jonas Janneck, Jörn Kussmaul, Nikolas Krätzschmar, Florian Kerschbaum, Eric Bodden
2020	—	`conf`	Reproducing Taint-Analysis Results with ReproDroid. SE Felix Pauck, Eric Bodden, Heike Wehrheim
2020	A	`conf`	Scenario-based specification of security protocols and transformation to security model checkers. MoDELS Thorsten Koch, Stefan Dziwok, Jörg Holtmann, Eric Bodden
2020	—	`conf`	Security-Oriented Fault-Tolerance in Systems Engineering: A Conceptual Threat Modelling Approach for Cyber-Physical Production Systems. KKA Iris Gräßler, Eric Bodden, Jens Pottebaum, Johannes Geismann, Daniel Roesmann
2020	—	`ch.`	Using Abstract Contracts for Verifying Evolving Features and Their Interactions. 20 Years of KeY Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer
2019	A*	`conf`	A Qualitative Analysis of Android Taint-Analysis Results. ASE Linghui Luo, Eric Bodden, Johannes Späth
2019	—	`conf`	ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware. CODASPY Sigmund Albert Gorski III, Benjamin Andow, Adwait Nadkarni, Sunil Manandhar, William Enck, Eric Bodden, Alexandre Bartel
2019	J	`jnl`	ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware. CoRR Sigmund Albert Gorski III, Benjamin Andow, Adwait Nadkarni, Sunil Manandhar, William Enck, Eric Bodden, Alexandre Bartel
2019	—	`conf`	Architectural Runtime Verification. ICSA Companion Lars Stockmann, Sven Laux, Eric Bodden
2019	—	`conf`	AuthCheck: Program-State Analysis for Access-Control Vulnerabilities. FM Workshops (2) Goran Piskachev, Tobias Petrasch, Johannes Späth, Eric Bodden
2019	A	`conf`	Codebase-adaptive detection of security-relevant methods. ISSTA Goran Piskachev, Lisa Nguyen Quang Do, Eric Bodden
2019	J	`jnl`	Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems. Proc. ACM Program. Lang. Johannes Späth, Karim Ali, Eric Bodden
2019	—	`conf`	Explaining Static Analysis - A Perspective. ASE Workshops Marcus Nachtigall, Lisa Nguyen Quang Do, Eric Bodden
2019	—	`conf`	Know your analysis: how instrumentation aids understanding static analysis. SOAP@PLDI Philipp Dominik Schubert, Richard Leer, Ben Hermann, Eric Bodden
2019	A	`conf`	MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper). ECOOP Linghui Luo, Julian Dolby, Eric Bodden
2019	—	`conf`	PhASAR: An Inter-procedural Static Analysis Framework for C/C++. TACAS (2) Philipp Dominik Schubert, Ben Hermann, Eric Bodden
2019	A*	`conf`	SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods. ASE Goran Piskachev, Lisa Nguyen Quang Do, Oshando Johnson, Eric Bodden
2019	—	`conf`	SootDiff: bytecode comparison across different Java compilers. SOAP@PLDI Andreas Dann, Ben Hermann, Eric Bodden
2019	A	`conf`	The Impact of Developer Experience in Using Java Cryptography. ESEM Mohammadreza Hazhirpasand, Mohammad Ghafari, Stefan Krüger, Eric Bodden, Oscar Nierstrasz
2019	J	`jnl`	The Impact of Developer Experience in Using Java Cryptography. CoRR Mohammadreza Hazhirpasand, Mohammad Ghafari, Stefan Krüger, Eric Bodden, Oscar Nierstrasz
2018	J	`jnl`	CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact). Dagstuhl Artifacts Ser. Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
2018	A	`conf`	CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. ECOOP Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
2018	J	`jnl`	Debugging Static Analysis. CoRR Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden
2018	J	`jnl`	Do Android Taint Analysis Tools Keep their Promises? CoRR Felix Pauck, Eric Bodden, Heike Wehrheim
2018	—	`conf`	Do Android taint analysis tools keep their promises? ESEC/SIGSOFT FSE Felix Pauck, Eric Bodden, Heike Wehrheim
2018	C	`conf`	Explainable Static Analysis. Software Engineering Eric Bodden, Lisa Nguyen Quang Do
2018	—	`conf`	Gamifying static analysis. ESEC/SIGSOFT FSE Lisa Nguyen Quang Do, Eric Bodden
2018	—	`conf`	Model Checking the Information Flow Security of Real-Time Systems. ESSoS Christopher Gerking, David Schubert, Eric Bodden
2018	A	`ed.`	Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018 ISSTA Frank Tip, Eric Bodden
2018	—	`conf`	Self-adaptive static analysis. ICSE (NIER) Eric Bodden
2018	C	`ed.`	Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany. Software Engineering Matthias Tichy, Eric Bodden, Marco Kuhrmann, Stefan Wagner, Jan-Philipp Steghöfer
2018	—	`conf`	State of the systems security. ICSE (Companion Volume) Eric Bodden
2018	—	`conf`	The secret sauce in efficient and precise static analysis: the beauty of distributive, summary-based static analyses (and how to master them). ISSTA/ECOOP Workshops Eric Bodden
2018	B	`conf`	Towards ensuring security by design in cyber-physical systems engineering processes. ICSSP Johannes Geismann, Christopher Gerking, Eric Bodden
2018	J	`jnl`	Tracking Load-Time Configuration Options. IEEE Trans. Software Eng. Max Lillack, Christian Kästner, Eric Bodden
2018	—	`conf`	VISUFLOW: a debugging environment for static analyses. ICSE (Companion Volume) Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden
2017	C	`conf`	"Jumping Through Hoops": Why do Java Developers Struggle With Cryptography APIs? Software Engineering Sarah Nadi, Stefan Krüger, Mira Mezini, Eric Bodden
2017	C	`conf`	App Mining. Software Engineering Vitalii Avdiienko, Konstantin Kuznetsov, Alessandra Gorla, Andreas Zeller, Steven Arzt, Siegfried Rasthofer, Eric Bodden
2017	—	`conf`	Cheetah: just-in-time taint analysis for Android apps. ICSE (Companion Volume) Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill
2017	A*	`conf`	CogniCrypt: supporting developers in using cryptography. ASE Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, Ram Kamath
2017	J	`jnl`	Computation on Encrypted Data using Data Flow Authentication. CoRR Andreas Fischer, Benny Fuhry, Florian Kerschbaum, Eric Bodden
2017	J	`jnl`	CrySL: Validating Correct Usage of Cryptographic APIs. CoRR Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
2017	—	`ed.`	Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings ESSoS Eric Bodden, Mathias Payer, Elias Athanasopoulos
2017	A*	`conf`	Hardening Java's Access Control by Abolishing Implicit Privilege Elevation. IEEE Symposium on Security and Privacy Philipp Holzinger, Ben Hermann, Johannes Lerch, Eric Bodden, Mira Mezini
2017	J	`jnl`	IDE Proc. ACM Program. Lang. Johannes Späth, Karim Ali, Eric Bodden
2017	A	`conf`	Just-in-time static analysis. ISSTA Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill
2017	—	`ed.`	Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017 ESEC/SIGSOFT FSE Eric Bodden, Wilhelm Schäfer, Arie van Deursen, Andrea Zisman
2017	J	`jnl`	Self-adaptive static analysis. CoRR Eric Bodden
2017	—	`conf`	The Soot-Based Toolchain for Analyzing Android Apps. MOBILESoft@ICSE Steven Arzt, Siegfried Rasthofer, Eric Bodden
2017	J	`jnl`	Time for Addressing Software Security Issues: Prediction Models and Impacting Factors. Data Sci. Eng. Lotfi Ben Othmane, Golriz Chehrazi, Eric Bodden, Petar Tsalovski, Achim D. Brucker
2016	A*	`conf`	An In-Depth Study of More Than Ten Years of Java Exploitation. CCS Philipp Holzinger, Stefan Triller, Alexandre Bartel, Eric Bodden
2016	—	`conf`	Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality. ESSoS Andreas Follner, Alexandre Bartel, Eric Bodden
2016	J	`jnl`	Analyzing the Gadgets Towards a Metric to Measure Gadget Quality. CoRR Andreas Follner, Alexandre Bartel, Eric Bodden
2016	J	`jnl`	Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact). Dagstuhl Artifacts Ser. Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden
2016	A	`conf`	Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. ECOOP Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden
2016	J	`jnl`	Connecting and Serving the Software Engineering Community. IEEE Trans. Software Eng. Matthew B. Dwyer, Eric Bodden, Brian Fitzgerald, Miryung Kim, Sunghun Kim, Amy J. Ko, Emilia Mendes, Raffaela Mirandola, Ana Moreira, Forrest Shull, Stephen F. Siegel, Tao Xie, Charles Zhang
2016	—	`ed.`	Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings ESSoS Juan Caballero, Eric Bodden, Elias Athanasopoulos
2016	J	`jnl`	Harvester. Datenschutz und Datensicherheit Siegfried Rasthofer, Steven Arzt, Marc Miltenberger, Eric Bodden
2016	A*	`conf`	Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques. NDSS Siegfried Rasthofer, Steven Arzt, Marc Miltenberger, Eric Bodden
2016	—	`conf`	Information Flow Analysis for Go. ISoLA (1) Eric Bodden, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert
2016	—	`conf`	Investigating Users' Reaction to Fine-Grained Data Requests: A Market Experiment. HICSS Nicole Eling, Siegfried Rasthofer, Max Kolhagen, Eric Bodden, Peter Buxmann
2016	A*	`conf`	Jumping through hoops: why do Java developers struggle with cryptography APIs? ICSE Sarah Nadi, Stefan Krüger, Mira Mezini, Eric Bodden
2016	—	`conf`	PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution. STM Andreas Follner, Alexandre Bartel, Hui Peng, Yu-Chen Chang, Kyriakos K. Ispoglou, Mathias Payer, Eric Bodden
2016	J	`jnl`	ROPocop - Dynamic mitigation of code-reuse attacks. J. Inf. Secur. Appl. Andreas Follner, Eric Bodden
2016	—	`conf`	Reverse Engineering Android Apps With CodeInspect (invited paper). IMPS@ESSoS Siegfried Rasthofer, Steven Arzt, Marc Miltenberger, Eric Bodden
2016	A*	`conf`	StubDroid: automatic inference of precise data-flow summaries for the android framework. ICSE Steven Arzt, Eric Bodden
2016	—	`conf`	Toward an automated benchmark management system. SOAP@PLDI Lisa Nguyen Quang Do, Michael Eichberg, Eric Bodden
2016	—	`conf`	Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels. POST Kevin Falzon, Eric Bodden
2016	—	`conf`	Towards cross-platform cross-language analysis with soot. SOAP@PLDI Steven Arzt, Tobias Kussmaul, Eric Bodden
2015	A*	`conf`	Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T). ASE Johannes Lerch, Johannes Späth, Eric Bodden, Mira Mezini
2015	C	`conf`	Dynamically Provisioning Isolation in Hierarchical Architectures. ISC Kevin Falzon, Eric Bodden
2015	C	`conf`	Factors Impacting the Effort Required to Fix Security Vulnerabilities - An Industrial Case Study. ISC Lotfi Ben Othmane, Golriz Chehrazi, Eric Bodden, Petar Tsalovski, Achim D. Brucker, Philip Miseldine
2015	C	`conf`	How Current Android Malware Seeks to Evade Automated Code Analysis. WISTP Siegfried Rasthofer, Irfan Asrar, Stephan Huber, Eric Bodden
2015	—	`conf`	IccTA: Detecting Inter-Component Privacy Leaks in Android Apps. ICSE (1) Li Li, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, Patrick D. McDaniel
2015	J	`jnl`	Incorporating attacker capabilities in risk estimation and mitigation. Comput. Secur. Lotfi Ben Othmane, Rohit Ranchal, Ruchith Fernando, Bharat K. Bhargava, Eric Bodden
2015	—	`conf`	Mining Apps for Abnormal Usage of Sensitive Data. ICSE (1) Vitalii Avdiienko, Konstantin Kuznetsov, Alessandra Gorla, Andreas Zeller, Steven Arzt, Siegfried Rasthofer, Eric Bodden
2015	J	`jnl`	ROPocop - Dynamic Mitigation of Code-Reuse Attacks. CoRR Andreas Follner, Eric Bodden
2015	—	`conf`	Towards secure integration of cryptographic software. Onward! Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, Mira Mezini
2015	—	`conf`	Using targeted symbolic execution for reducing false-positives in dataflow analysis. SOAP@PLDI Steven Arzt, Siegfried Rasthofer, Robert Hahn, Eric Bodden
2015	A	`conf`	jÄk: Using Dynamic Analysis to Crawl and Test Modern Web Applications. RAID Giancarlo Pellegrino, Constantin Tschürtz, Eric Bodden, Christian Rossow
2014	A*	`conf`	A Machine-learning Approach for Classifying and Categorizing Android Sources and Sinks. NDSS Siegfried Rasthofer, Steven Arzt, Eric Bodden
2014	—	`conf`	Denial-of-App Attack: Inhibiting the Installation of Android Apps on Stock Phones. SPSM@CCS Steven Arzt, Stephan Huber, Siegfried Rasthofer, Eric Bodden
2014	B	`conf`	DroidForce: Enforcing Complex, Data-centric, System-wide Policies in Android. ARES Siegfried Rasthofer, Steven Arzt, Enrico Lovat, Eric Bodden
2014	A*	`conf`	FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps. PLDI Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, Patrick D. McDaniel
2014	—	`conf`	FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases. SIGSOFT FSE Johannes Lerch, Ben Hermann, Eric Bodden, Mira Mezini
2014	—	`conf`	How to build the perfect Swiss army knife, and keep it sharp?: Challenges for the soot program-analysis framework in the light of past, current and future demands. SOAP@PLDI Eric Bodden
2014	J	`jnl`	I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis. CoRR Li Li, Alexandre Bartel, Jacques Klein, Yves Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, Patrick D. McDaniel
2014	J	`jnl`	Join point interfaces for safe and flexible decoupling of aspects. ACM Trans. Softw. Eng. Methodol. Eric Bodden, Éric Tanter, Milton Inostroza
2014	J	`jnl`	Likelihood of Threats to Connected Vehicles. Int. J. Next Gener. Comput. Lotfi Ben Othmane, Ruchith Fernando, Rohit Ranchal, Bharat K. Bhargava, Eric Bodden
2014	—	`ed.`	Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2014, April 22, 2014, Lugano, Switzerland FOAL Gary T. Leavens, Hidehiko Masuhara, Hridesh Rajan, Eric Bodden
2014	A*	`conf`	Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes. ICSE Steven Arzt, Eric Bodden
2014	C	`conf`	SPLLIFT - Statically Analyzing Software Product Lines in Minutes Instead of Years. Software Engineering Eric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini
2014	—	`conf`	TS4J: a fluent interface for defining and computing typestate analyses. SOAP@PLDI Eric Bodden
2014	A*	`conf`	Tracking load-time configuration options. ASE Max Lillack, Christian Kästner, Eric Bodden
2014	—	`ed.`	Transactions on Aspect-Oriented Software Development XI Trans. Aspect-Oriented Software Development XI Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle
2014	—	`conf`	Variational Data Structures: Exploring Tradeoffs in Computing with Variability. Onward! Eric Walkingshaw, Christian Kästner, Martin Erwig, Sven Apel, Eric Bodden
2014	—	`conf`	Zertifizierte Datensicherheit für Android-Anwendungen auf Basis statischer Programmanalysen. Sicherheit Steffen Bartsch, Bernhard J. Berger, Eric Bodden, Achim D. Brucker, Jens Heider, Mehmet Kus, Sönke Maseberg, Karsten Sohr, Melanie Volkamer
2013	—	`conf`	A brief tour of join point interfaces. AOSD (Companion) Eric Bodden, Éric Tanter, Milton Inostroza
2013	J	`jnl`	Automated API Property Inference Techniques. IEEE Trans. Software Eng. Martin P. Robillard, Eric Bodden, David Kawrykow, Mira Mezini, Tristan Ratchford
2013	B	`conf`	Distributed Finite-State Runtime Monitoring with Aggregated Events. RV Kevin Falzon, Eric Bodden, Rahul Purandare
2013	A*	`conf`	Easily instrumenting android applications for security purposes. CCS Eric Bodden
2013	A*	`conf`	Effective Inter-Component Communication Mapping in Android: An Essential Step Towards Holistic Security Analysis. USENIX Security Symposium Damien Octeau, Patrick D. McDaniel, Somesh Jha, Alexandre Bartel, Eric Bodden, Jacques Klein, Yves Le Traon
2013	C	`conf`	How Useful Are Existing Monitoring Languages for Securing Android Apps? Software Engineering (Workshops) Steven Arzt, Kevin Falzon, Andreas Follner, Siegfried Rasthofer, Eric Bodden, Volker Stolz
2013	B	`conf`	Instrumenting Android and Java Applications as Easy as abc. RV Steven Arzt, Siegfried Rasthofer, Eric Bodden
2013	A*	`conf`	SPL PLDI Eric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini
2013	J	`jnl`	Schutzmaßnahmen gegen datenschutz- unfreundliche Smartphone-Apps. Datenschutz und Datensicherheit Eric Bodden, Siegfried Rasthofer, Philipp Richter, Alexander Roßnagel
2013	A	`ed.`	Software Composition - 12th International Conference, SC@STAF 2013, Budapest, Hungary, June 19, 2013. Proceedings SC Walter Binder, Eric Bodden, Welf Löwe
2012	A	`conf`	Challenges for Refinement and Composition of Instrumentations: Position Paper. SC Danilo Ansaloni, Walter Binder, Christoph Bockisch, Eric Bodden, Kardelen Hatun, Lukás Marek, Zhengwei Qi, Aibek Sarimbekov, Andreas Sewe, Petr Tuma, Yudi Zheng
2012	—	`conf`	Challenges in Defining a Programming Language for Provably Correct Dynamic Analyses. ISoLA (1) Eric Bodden, Andreas Follner, Siegfried Rasthofer
2012	—	`conf`	Delta-Oriented Monitor Specification. ISoLA (1) Eric Bodden, Kevin Falzon, Ka I Pun, Volker Stolz
2012	C	`conf`	Dynamic Anomaly Detection for More Trustworthy Outsourced Computation. ISC Sami Alsouri, Jan Sinschek, Andreas Sewe, Eric Bodden, Mira Mezini, Stefan Katzenbeisser
2012	—	`conf`	Inter-procedural data-flow analysis with IFDS/IDE and Soot. SOAP@PLDI Eric Bodden
2012	—	`conf`	InvokeDynamic support in Soot. SOAP@PLDI Eric Bodden
2012	J	`jnl`	Partially Evaluating Finite-State Runtime Monitors Ahead of Time. ACM Trans. Program. Lang. Syst. Eric Bodden, Patrick Lam, Laurie J. Hendren
2012	—	`ed.`	Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, SOAP 2012, Beijing, China, June 14, 2012 SOAP@PLDI Eric Bodden, Laurie J. Hendren, Patrick Lam, Elena Sherman
2012	—	`ed.`	Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), WODA 2012, Minneapolis, MN, USA, Sunday, July 15, 2012 WODA@ISSTA Eric Bodden, Madanlal Musuvathi
2012	A	`conf`	RefaFlex: safer refactorings for reflective Java programs. ISSTA Andreas Thies, Eric Bodden
2012	—	`conf`	Static flow-sensitive & context-sensitive information-flow analysis for software product lines: position paper. PLAS Eric Bodden
2012	J	`jnl`	The Clara framework for hybrid typestate analysis. Int. J. Softw. Tools Technol. Transf. Eric Bodden, Laurie J. Hendren
2012	—	`conf`	Towards typesafe weaving for modular reasoning in aspect-oriented programs. FOAL Eric Bodden
2011	—	`conf`	Closure joinpoints: block joinpoints without surprises. AOSD Eric Bodden
2011	—	`conf`	Continuation equivalence: a correctness criterion for static optimizations of dynamic analyses. WODA Eric Bodden
2011	—	`conf`	Join point interfaces for modular reasoning in aspect-oriented programs. SIGSOFT FSE Milton Inostroza, Éric Tanter, Eric Bodden
2011	B	`conf`	MOPBox: A Library Approach to Runtime Verification - (Tool Demonstration). RV Eric Bodden
2011	—	`conf`	Stateful breakpoints: a practical approach to defining parameterized runtime monitors. SIGSOFT FSE Eric Bodden
2011	A*	`conf`	Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders. ICSE Eric Bodden, Andreas Sewe, Jan Sinschek, Hela Oueslati, Mira Mezini
2010	J	`jnl`	Aspect-Oriented Race Detection in Java. IEEE Trans. Software Eng. Eric Bodden, Klaus Havelund
2010	B	`conf`	Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time. RV Eric Bodden, Patrick Lam, Laurie J. Hendren
2010	B	`conf`	Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement. RV Eric Bodden, Patrick Lam
2010	J	`jnl`	Collaborative Runtime Verification with Tracematches. J. Log. Comput. Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem
2010	Misc	`conf`	Effective API navigation and reuse. IRI Awny Alnusair, Tian Zhao, Eric Bodden
2010	—	`conf`	Efficient hybrid typestate analysis by determining continuation-equivalent states. ICSE (1) Eric Bodden
2010	—	`conf`	IDE 2.0: collective intelligence in software development. FoSER Marcel Bruch, Eric Bodden, Martin Monperrus, Mira Mezini
2010	B	`conf`	Reducing Configurations to Monitor in a Software Product Line. RV Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid
2009	—	`conf`	Dependent advice: a general approach to optimizing history-based aspects. AOSD Eric Bodden, Feng Chen, Grigore Rosu
2008	—	`conf`	Finding programming errors earlier by evaluating runtime monitors ahead-of-time. SIGSOFT FSE Eric Bodden, Patrick Lam, Laurie J. Hendren
2008	—	`conf`	Object representatives: a uniform abstraction for pointer information. BCS Int. Acad. Conf. Eric Bodden, Patrick Lam, Laurie J. Hendren
2008	A	`conf`	Racer: effective race detection using aspectj. ISSTA Eric Bodden, Klaus Havelund
2008	—	`conf`	Relational aspects as tracematches. AOSD Eric Bodden, Reehan Shaikh, Laurie J. Hendren
2007	A	`conf`	A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring. ECOOP Eric Bodden, Laurie J. Hendren, Ondrej Lhoták
2007	B	`conf`	Collaborative Runtime Verification with Tracematches. RV Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem
2007	—	`conf`	Domain-Specific Modelling With Atom3. ICSOFT (PL/DPS/KE/MUSE) Hans Vangheluwe, Ximeng Sun, Eric Bodden
2007	—	`conf`	The design and implementation of formal monitoring techniques. OOPSLA Companion Eric Bodden
2007	—	`conf`	Transforming Timeline Specifications into Automata for Runtime Monitoring. AGTIVE Eric Bodden, Hans Vangheluwe
2006	B	`conf`	Aspects and Data Refinement. MPC Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble
2006	—	`conf`	Aspects for Trace Monitoring. FATES/RV Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere
2006	—	`conf`	Avoiding Infinite Recursion with Stratified Aspects. NODe/GSEM Eric Bodden, Florian Forster, Friedrich Steimann
2006	—	`conf`	Efficient trace monitoring. OOPSLA Companion Pavel Avgustinov, Julian Tibble, Eric Bodden, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Ganesh Sittampalam
2006	A	`conf`	Tracechecks: Defining Semantic Interfaces with Temporal Logic. SC Eric Bodden, Volker Stolz
2005	—	`conf`	Temporal Assertions using AspectJ. RV@CAV Volker Stolz, Eric Bodden
2004	—	`conf`	A lightweight LTL runtime verification tool for java. OOPSLA Companion Eric Bodden
2003	—	`conf`	A high-level view of Java applications. OOPSLA Companion Eric Bodden