default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEric Bodden
Person information
- affiliation: Paderborn University, Germany
- affiliation: Fraunhofer-Institut für Entwurfstechnik Mechatronik, Paderborn, Germany
- affiliation: Technische Universität Darmstadt, Germany
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j38]Stefan Schott, Serena Elisa Ponta, Wolfram Fischer, Jonas Klauke, Eric Bodden:
Java Bytecode Normalization for Code Similarity Analysis (Artifact). Dagstuhl Artifacts Ser. 10(2): 20:1-20:3 (2024)- [j37]Ashwin Prasad Shivarpatna Venkatesh
, Samkutty Sabu, Mouli Chekkapalli, Jiawei Wang, Li Li, Eric Bodden:
Static analysis driven enhancements for comprehension in machine learning notebooks. Empir. Softw. Eng. 29(5): 136 (2024) - [j36]Eric Bodden, Jens Pottebaum, Markus Fockel, Iris Gräßler:
Evaluating Security Through Isolation and Defense in Depth. IEEE Secur. Priv. 22(1): 69-72 (2024) - [j35]Eric Bodden, Yasemin Acar, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Bernhard Rumpe:
Ernst Denert Preis 2023. Softwaretechnik-Trends 44(2): 55 (2024) - [c159]Fabian Schiebel, Florian Sattler, Philipp Dominik Schubert, Sven Apel, Eric Bodden:
Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report. ECOOP 2024: 36:1-36:28 - [c158]Stefan Schott, Serena Elisa Ponta, Wolfram Fischer, Jonas Klauke, Eric Bodden:
Java Bytecode Normalization for Code Similarity Analysis. ECOOP 2024: 37:1-37:29 - [c157]Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Amir M. Mir, Sofia Reis, Eric Bodden:
The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks. FORGE 2024: 35-39 - [c156]Sriteja Kummita, Miao Miao, Eric Bodden, Shiyi Wei:
Visualization Task Taxonomy to Understand the Fuzzing Internals (Registered Report). FUZZING 2024: 13-22 - [c155]Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Jiawei Wang, Amir M. Mir, Li Li, Eric Bodden:
TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools. ICSE Companion 2024: 49-53 - [c154]Kadiray Karakaya, Eric Bodden:
Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems. ICSE 2024: 104:1-104:12 - [c153]Stefan Schott, Wolfram Fischer, Serena Elisa Ponta, Jonas Klauke, Eric Bodden:
Compilation of Commit Changes Within Java Source Code Repositories. ICSME 2024: 325-336 - [c152]Oshando Johnson, Goran Piskachev, Ranjith Krishnamurthy, Eric Bodden:
Detecting Security-Relevant Methods using Multi-label Machine Learning. IDE@ICSE 2024: 101-106 - [c151]Mugdha Khedkar, Ambuj Kumar Mondal, Eric Bodden:
Do Android App Developers Accurately Report Collection of Privacy-Related Data? ASE Workshops 2024: 176-186 - [c150]Mugdha Khedkar, Michael Schlichtig, Eric Bodden:
Advancing Android Privacy Assessments with Automation. ASE Workshops 2024: 218-222 - [c149]Sriteja Kummita, Zenong Zhang, Eric Bodden, Shiyi Wei:
Visualizing and Understanding the Internals of Fuzzing. ASE 2024: 2199-2204 - [c148]Mugdha Khedkar, Eric Bodden:
Toward an Android Static Analysis Approach for Data Protection. MOBILESoft@ICSE 2024: 65-68 - [c147]Andreas Dann, Ben Hermann, Eric Bodden:
UpCy: Safely Updating Outdated Dependencies (Summary). Software Engineering 2024: 115-116 - [c146]Kadiray Karakaya, Eric Bodden:
Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis. Software Engineering 2024: 159-160 - [c145]Kadiray Karakaya, Stefan Schott, Jonas Klauke, Eric Bodden, Markus Schmidt, Linghui Luo, Dongjie He:
SootUp: A Redesign of the Soot Static Analysis Framework. TACAS (1) 2024: 229-247 - [c144]Anna-Katharina Wickert, Michael Schlichtig, Marvin Vogel, Lukas Winter, Mira Mezini, Eric Bodden:
Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability. SANER 2024: 693-704 - [e11]Eric Bodden, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Heiko Koziolek, Carola Lilienthal, Florian Matthes, Lutz Prechelt, Bernhard Rumpe, Ina Schaefer:
Ernst Denert Award for Software Engineering 2022 - Practice Meets Foundations. Springer 2024, ISBN 978-3-031-44411-1 [contents] - [i30]Kadiray Karakaya, Eric Bodden:
Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems. CoRR abs/2401.14813 (2024) - [i29]Mugdha Khedkar, Eric Bodden:
Toward an Android Static Analysis Approach for Data Protection. CoRR abs/2402.07889 (2024) - [i28]Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Amir M. Mir, Sofia Reis, Eric Bodden:
The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks. CoRR abs/2402.17679 (2024) - [i27]Oshando Johnson, Goran Piskachev, Ranjith Krishnamurthy, Eric Bodden:
Detecting Security-Relevant Methods using Multi-label Machine Learning. CoRR abs/2403.07501 (2024) - [i26]Anna-Katharina Wickert, Michael Schlichtig, Marvin Vogel, Lukas Winter, Mira Mezini, Eric Bodden:
Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability. CoRR abs/2403.07808 (2024) - [i25]Stefan Schott, Wolfram Fischer, Serena Elisa Ponta, Jonas Klauke, Eric Bodden:
Compilation of Commit Changes within Java Source Code Repositories. CoRR abs/2407.17853 (2024) - [i24]Mugdha Khedkar, Ambuj Kumar Mondal, Eric Bodden:
Do Android App Developers Accurately Report Collection of Privacy-Related Data? CoRR abs/2409.04167 (2024) - [i23]Mugdha Khedkar, Michael Schlichtig, Eric Bodden:
Advancing Android Privacy Assessments with Automation. CoRR abs/2409.06564 (2024) - [i22]Marcel Böhme, Eric Bodden, Tevfik Bultan, Cristian Cadar, Yang Liu, Giuseppe Scanniello:
Software Security Analysis in 2030 and Beyond: A Research Roadmap. CoRR abs/2409.17844 (2024) - [i21]Ashwin Prasad Shivarpatna Venkatesh, Rose Sunil, Samkutty Sabu, Amir M. Mir, Sofia Reis, Eric Bodden:
An Empirical Study of Large Language Models for Type and Call Graph Analysis. CoRR abs/2410.00603 (2024) - 2023
- [j34]Goran Piskachev, Matthias Becker, Eric Bodden:
Can the configuration of static analyses make resolving security vulnerabilities more effective? - A user study. Empir. Softw. Eng. 28(5): 118 (2023) - [j33]Imen Sayar, Alexandre Bartel, Eric Bodden, Yves Le Traon:
An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities. ACM Trans. Softw. Eng. Methodol. 32(1): 25:1-25:45 (2023) - [j32]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:
Runtime Verification of Crypto APIs: An Empirical Study. IEEE Trans. Software Eng. 49(10): 4510-4525 (2023) - [c143]Jens Pottebaum, Jost Rossel, Juraj Somorovsky, Yasemin Acar, René Fahr, Patricia Arias Cabarcos, Eric Bodden, Iris Gräßler:
Re-Envisioning Industrial Control Systems Security by Considering Human Factors as a Core Element of Defense-in-Depth. EuroS&P Workshops 2023: 379-385 - [c142]Andreas Dann, Ben Hermann, Eric Bodden:
UPCY: Safely Updating Outdated Dependencies. ICSE 2023: 233-244 - [c141]Linghui Luo, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Eric Bodden, Martin Schäf:
Model Generation For Java Frameworks. ICST 2023: 165-175 - [c140]Kadiray Karakaya, Eric Bodden:
Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis. ICST 2023: 305-316 - [c139]Marcus Nachtigall, Michael Schlichtig, Eric Bodden:
Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale. Software Engineering 2023: 95-96 - [c138]Michael Schlichtig, Steffen Sassalla, Krishna Narasimhan, Eric Bodden:
Introducing FUM: A Framework for API Usage Constraint and Misuse Classification. Software Engineering 2023: 105-106 - [c137]Stefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Yasemin Acar, Mira Mezini, Sascha Fahl:
Securing Your Crypto-API Usage Through Tool Support - A Usability Study. SecDev 2023: 14-25 - [c136]Ashwin Prasad Shivarpatna Venkatesh, Jiawei Wang, Li Li, Eric Bodden:
Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. SANER 2023: 391-401 - [d7]Andreas Dann, Ben Hermann, Eric Bodden:
UpCy: Safely Updating Outdated Dependencies. Version 1.1. Zenodo, 2023 [all versions]
- [d6]Andreas Dann, Ben Hermann, Eric Bodden:
UpCy: Safely Updating Outdated Dependencies. Version 1.1. Zenodo, 2023 [all versions] - [d5]Andreas Dann, Ben Hermann, Eric Bodden:
UpCy: Safely Updating Outdated Dependencies. Version 1.1. Zenodo, 2023 [all versions] - [d4]Stefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Yasemin Acar, Sascha Fahl:
Securing Your Crypto-API Usage Through Tool Support - A Usability Study. Zenodo, 2023 - [i20]Ashwin Prasad Shivarpatna Venkatesh, Jiawei Wang, Li Li, Eric Bodden:
Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. CoRR abs/2301.04419 (2023) - [i19]Mohannad Alhanahnah, Philipp Dominik Schubert, Thomas W. Reps, Somesh Jha, Eric Bodden:
slash: A Technique for Static Configuration-Logic Identification. CoRR abs/2310.06758 (2023) - [i18]Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Jiawei Wang, Amir M. Mir, Li Li, Eric Bodden:
TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools. CoRR abs/2312.16882 (2023) - [i17]Eric Bodden, Sam Weber, Laurie A. Williams:
Empirical Evaluation of Secure Development Processes (Dagstuhl Seminar 23181). Dagstuhl Reports 13(5): 1-21 (2023) - 2022
- [j31]Philipp Dominik Schubert, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian Schiebel, Ben Hermann, Shiyi Wei, Eric Bodden:
Static data-flow analysis for software product lines in C. Autom. Softw. Eng. 29(1): 35 (2022) - [j30]Linghui Luo, Felix Pauck, Goran Piskachev, Manuel Benz, Ivan Pashchenko, Martin Mory, Eric Bodden, Ben Hermann, Fabio Massacci:
TaintBench: Automatic real-world malware benchmarking of Android taint analyses. Empir. Softw. Eng. 27(1): 16 (2022) - [j29]Goran Piskachev, Johannes Späth, Ingo Budde, Eric Bodden:
Fluently specifying taint-flow queries with fluentTQL. Empir. Softw. Eng. 27(5): 104 (2022) - [j28]Adam Shostack, Fabio Massacci, Eric Bodden, Antonino Sabetta:
25 Years in Application Security: Looking Back, Looking Forward. IEEE Secur. Priv. 20(1): 109-112 (2022) - [j27]Fabio Massacci, Antonino Sabetta, Jelena Mirkovic, Toby Murray, Hamed Okhravi, Mohammad Mannan, Anderson Rocha, Eric Bodden, Daniel E. Geer:
"Free" as in Freedom to Protest? IEEE Secur. Priv. 20(5): 16-21 (2022) - [j26]Andreas Fischer, Benny Fuhry, Jörn Kußmaul, Jonas Janneck, Florian Kerschbaum, Eric Bodden:
Computation on Encrypted Data Using Dataflow Authentication. ACM Trans. Priv. Secur. 25(3): 21:1-21:36 (2022) - [j25]Lisa Nguyen Quang Do, Eric Bodden:
Explaining Static Analysis With Rule Graphs. IEEE Trans. Software Eng. 48(2): 678-690 (2022) - [j24]Andreas Dann, Henrik Plate, Ben Hermann, Serena Elisa Ponta, Eric Bodden:
Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite. IEEE Trans. Software Eng. 48(9): 3613-3625 (2022) - [c135]Marcus Nachtigall, Michael Schlichtig, Eric Bodden:
A large-scale study of usability criteria addressed by static analysis tools. ISSTA 2022: 532-543 - [c134]Thorsten Koch, Sascha Trippel, Stefan Dziwok, Eric Bodden:
Integrating Security Protocols in Scenario-based Requirements Specifications. MODELSWARD 2022: 15-25 - [c133]Ranjith Krishnamurthy, Goran Piskachev, Eric Bodden:
To what extent can we analyze Kotlin programs using existing Java taint analysis tools? SCAM 2022: 230-235 - [c132]Andreas Dann, Henrik Plate, Ben Hermann, Serena Elisa Ponta, Eric Bodden:
Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite (Short Summary). Software Engineering 2022: 21-23 - [c131]Linghui Luo, Eric Bodden:
IDE Support for Cloud-Based Static Analyses. Software Engineering 2022: 61-63 - [c130]Linghui Luo, Felix Pauck, Goran Piskachev, Manuel Benz, Ivan Pashchenko, Martin Mory, Eric Bodden, Ben Hermann, Fabio Massacci:
TaintBench: Automatic Real-World Malware Benchmarking of Android Taint Analyses. Software Engineering 2022: 65-67 - [c129]Goran Piskachev, Stefan Dziwok, Thorsten Koch, Sven Merschjohann, Eric Bodden:
How far are German companies in improving security through static program analysis tools? SecDev 2022: 7-15 - [c128]Michael Schlichtig, Steffen Sassalla, Krishna Narasimhan, Eric Bodden:
FUM - A Framework for API Usage constraint and Misuse Classification. SANER 2022: 673-684 - [p2]Eric Bodden, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Heiko Koziolek, Carola Lilienthal, Florian Matthes, Lutz Prechelt, Bernhard Rumpe, Ina Schaefer:
Ernst Denert Software Engineering Award 2022. Ernst Denert Award for Software Engineering 2022: 1-8 - [d3]Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden:
Debugging Static Analysis. IEEE DataPort, 2022 - [i16]Goran Piskachev, Johannes Späth, Ingo Budde, Eric Bodden:
Fluently specifying taint-flow queries with fluentTQL. CoRR abs/2204.03089 (2022) - [i15]Michael Schlichtig, Anna-Katharina Wickert, Stefan Krüger, Eric Bodden, Mira Mezini:
CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite. CoRR abs/2204.06447 (2022) - [i14]Ranjith Krishnamurthy, Goran Piskachev, Eric Bodden:
To what extent can we analyze Kotlin programs using existing Java taint analysis tools? (Extended Version). CoRR abs/2207.09379 (2022) - [i13]Goran Piskachev, Stefan Dziwok, Thorsten Koch, Sven Merschjohann, Eric Bodden:
How far are German companies in improving security through static program analysis tools? CoRR abs/2208.06136 (2022) - [i12]Imen Sayar, Alexandre Bartel, Eric Bodden, Yves Le Traon:
An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities. CoRR abs/2208.08173 (2022) - 2021
- [j23]Andreas Dann, Ben Hermann, Eric Bodden:
ModGuard : Identifying Integrity & Confidentiality Violations in Java Modules. IEEE Trans. Software Eng. 47(8): 1656-1667 (2021) - [j22]Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini:
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. IEEE Trans. Software Eng. 47(11): 2382-2400 (2021) - [c127]Philipp Holzinger, Eric Bodden:
A Systematic Hardening of Java's Information Hiding. ASSS@AsiaCCS 2021: 11-22 - [c126]Philipp Dominik Schubert, Ben Hermann, Eric Bodden:
Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis. ECOOP 2021: 2:1-2:31 - [c125]Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini:
Dealing with Variability in API Misuse Specification. ECOOP 2021: 19:1-19:27 - [c124]Johannes Geismann, Bastian Haverkamp, Eric Bodden:
Ensuring threat-model assumptions by using static code analyses. ECSA (Companion) 2021 - [c123]Ashwin Prasad Shivarpatna Venkatesh, Eric Bodden:
Automated cell header generator for Jupyter notebooks. AISTA@ISSTA 2021: 17-20 - [c122]Philipp Dominik Schubert, Florian Sattler, Fabian Schiebel, Ben Hermann, Eric Bodden:
Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++. SCAM 2021: 12-17 - [c121]Philipp Dominik Schubert, Richard Leer, Ben Hermann, Eric Bodden:
Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++. SCAM 2021: 18-23 - [c120]Goran Piskachev, Ranjith Krishnamurthy, Eric Bodden:
SecuCheck: Engineering configurable taint analysis for software developers. SCAM 2021: 24-29 - [c119]Kadiray Karakaya, Eric Bodden:
SootFX: A Static Code Feature Extraction Tool for Java and Android. SCAM 2021: 181-186 - [c118]Manuel Benz, Erik Krogh Kristensen, Linghui Luo, Nataniel P. Borges Jr., Eric Bodden, Andreas Zeller:
Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis. Software Engineering 2021: 23-26 - [c117]Andreas Dann, Ben Hermann, Eric Bodden:
ModGuard: Identifying Integrity & Confidentiality Violations in Java Modules. Software Engineering 2021: 29-31 - [c116]Linghui Luo, Martin Schäf, Daniel Sanchez, Eric Bodden:
IDE support for cloud-based static analyses. ESEC/SIGSOFT FSE 2021: 1178-1189 - [d2]Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini:
Dealing with Variability in API Misuse Specification (Artifact Package). Zenodo, 2021 - [i11]Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini:
Dealing with Variability in API Misuse Specification. CoRR abs/2105.04950 (2021) - 2020
- [j21]Johannes Geismann, Eric Bodden:
A systematic literature review of model-driven security engineering for cyber-physical systems. J. Syst. Softw. 169: 110697 (2020) - [j20]Andreas Fischer, Benny Fuhry, Florian Kerschbaum, Eric Bodden:
Computation on Encrypted Data using Dataflow Authentication. Proc. Priv. Enhancing Technol. 2020(1): 5-25 (2020) - [j19]Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden:
Debugging Static Analysis. IEEE Trans. Software Eng. 46(7): 697-709 (2020) - [c115]Stefan Krüger, Karim Ali, Eric Bodden:
CogniCryptGEN: generating code for the secure usage of crypto APIs. CGO 2020: 185-198 - [c114]Andreas Fischer, Jonas Janneck, Jörn Kussmaul, Nikolas Krätzschmar, Florian Kerschbaum, Eric Bodden:
PASAPTO: Policy-aware Security and Performance Trade-off Analysis-Computation on Encrypted Data with Restricted Leakage. CSF 2020: 230-245 - [c113]Manuel Benz, Erik Krogh Kristensen, Linghui Luo, Nataniel P. Borges, Eric Bodden, Andreas Zeller:
Heaps'n leaks: how heap snapshots improve Android taint analysis. ICSE 2020: 1061-1072 - [c112]Iris Gräßler, Eric Bodden, Jens Pottebaum, Johannes Geismann, Daniel Roesmann:
Security-Oriented Fault-Tolerance in Systems Engineering: A Conceptual Threat Modelling Approach for Cyber-Physical Production Systems. KKA 2020: 1458-1469 - [c111]Thorsten Koch, Stefan Dziwok, Jörg Holtmann, Eric Bodden:
Scenario-based specification of security protocols and transformation to security model checkers. MoDELS 2020: 343-353 - [c110]Felix Pauck, Eric Bodden, Heike Wehrheim:
Reproducing Taint-Analysis Results with ReproDroid. SE 2020: 123-124 - [p1]Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer:
Using Abstract Contracts for Verifying Evolving Features and Their Interactions. 20 Years of KeY 2020: 122-148 - [d1]Stefan Krüger, André Sonntag, Karim Ali, Eric Bodden:
CogniCrypt_GEN - Generating Code for the Secure Use of Crypto APIs (Artefact). Zenodo, 2020
2010 – 2019
- 2019
- [j18]Johannes Späth, Karim Ali, Eric Bodden:
Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems. Proc. ACM Program. Lang. 3(POPL): 48:1-48:29 (2019) - [c109]Sigmund Albert Gorski III, Benjamin Andow, Adwait Nadkarni, Sunil Manandhar, William Enck, Eric Bodden, Alexandre Bartel:
ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware. CODASPY 2019: 25-36 - [c108]Linghui Luo, Julian Dolby, Eric Bodden:
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper). ECOOP 2019: 21:1-21:25 - [c107]Mohammadreza Hazhirpasand, Mohammad Ghafari, Stefan Krüger, Eric Bodden, Oscar Nierstrasz:
The Impact of Developer Experience in Using Java Cryptography. ESEM 2019: 1-6 - [c106]Goran Piskachev, Tobias Petrasch, Johannes Späth, Eric Bodden:
AuthCheck: Program-State Analysis for Access-Control Vulnerabilities. FM Workshops (2) 2019: 557-572 - [c105]Lars Stockmann, Sven Laux, Eric Bodden:
Architectural Runtime Verification. ICSA Companion 2019: 77-84 - [c104]Goran Piskachev, Lisa Nguyen Quang Do, Eric Bodden:
Codebase-adaptive detection of security-relevant methods. ISSTA 2019: 181-191 - [c103]Marcus Nachtigall, Lisa Nguyen Quang Do, Eric Bodden:
Explaining Static Analysis - A Perspective. ASE Workshops 2019: 29-32 - [c102]Linghui Luo, Eric Bodden, Johannes Späth:
A Qualitative Analysis of Android Taint-Analysis Results. ASE 2019: 102-114 - [c101]Goran Piskachev, Lisa Nguyen Quang Do, Oshando Johnson, Eric Bodden:
SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods. ASE 2019: 1094-1097 - [c100]Philipp Dominik Schubert, Richard Leer, Ben Hermann, Eric Bodden:
Know your analysis: how instrumentation aids understanding static analysis. SOAP@PLDI 2019: 8-13 - [c99]Andreas Dann, Ben Hermann, Eric Bodden:
SootDiff: bytecode comparison across different Java compilers. SOAP@PLDI 2019: 14-19 - [c98]Philipp Dominik Schubert, Ben Hermann, Eric Bodden:
PhASAR: An Inter-procedural Static Analysis Framework for C/C++. TACAS (2) 2019: 393-410 - [i10]Sigmund Albert Gorski III, Benjamin Andow, Adwait Nadkarni, Sunil Manandhar, William Enck, Eric Bodden, Alexandre Bartel:
ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware. CoRR abs/1901.03603 (2019) - [i9]Mohammadreza Hazhirpasand, Mohammad Ghafari, Stefan Krüger, Eric Bodden, Oscar Nierstrasz:
The Impact of Developer Experience in Using Java Cryptography. CoRR abs/1908.01489 (2019) - 2018
- [j17]Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini:
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact). Dagstuhl Artifacts Ser. 4(3): 06:1-06:4 (2018) - [j16]Max Lillack, Christian Kästner, Eric Bodden:
Tracking Load-Time Configuration Options. IEEE Trans. Software Eng. 44(12): 1269-1291 (2018) - [c97]Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini:
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. ECOOP 2018: 10:1-10:27 - [c96]Christopher Gerking, David Schubert, Eric Bodden:
Model Checking the Information Flow Security of Real-Time Systems. ESSoS 2018: 27-43 - [c95]Eric Bodden:
Self-adaptive static analysis. ICSE (NIER) 2018: 45-48 - [c94]Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden:
VISUFLOW: a debugging environment for static analyses. ICSE (Companion Volume) 2018: 89-92 - [c93]Eric Bodden:
State of the systems security. ICSE (Companion Volume) 2018: 550-551 - [c92]Johannes Geismann, Christopher Gerking, Eric Bodden:
Towards ensuring security by design in cyber-physical systems engineering processes. ICSSP 2018: 123-127 - [c91]Eric Bodden:
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 2018: 85-93 - [c90]Eric Bodden, Lisa Nguyen Quang Do:
Explainable Static Analysis. Software Engineering 2018: 205-208 - [c89]Felix Pauck, Eric Bodden, Heike Wehrheim:
Do Android taint analysis tools keep their promises? ESEC/SIGSOFT FSE 2018: 331-341 - [c88]Lisa Nguyen Quang Do, Eric Bodden:
Gamifying static analysis. ESEC/SIGSOFT FSE 2018: 714-718 - [e10]Frank Tip, Eric Bodden:
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018. ACM 2018 [contents] - [e9]Matthias Tichy, Eric Bodden, Marco Kuhrmann, Stefan Wagner, Jan-Philipp Steghöfer:
Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany. LNI P-279, Gesellschaft für Informatik 2018, ISBN 978-3-88579-673-2 [contents] - [i8]Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden:
Debugging Static Analysis. CoRR abs/1801.04894 (2018) - [i7]Felix Pauck, Eric Bodden, Heike Wehrheim:
Do Android Taint Analysis Tools Keep their Promises? CoRR abs/1804.02903 (2018) - 2017
- [j15]Lotfi Ben Othmane, Golriz Chehrazi, Eric Bodden, Petar Tsalovski, Achim D. Brucker:
Time for Addressing Software Security Issues: Prediction Models and Impacting Factors. Data Sci. Eng. 2(2): 107-124 (2017) - [j14]Johannes Späth, Karim Ali, Eric Bodden:
IDEal: efficient and precise alias-aware dataflow analysis. Proc. ACM Program. Lang. 1(OOPSLA): 99:1-99:27 (2017) - [c87]Steven Arzt, Siegfried Rasthofer, Eric Bodden:
The Soot-Based Toolchain for Analyzing Android Apps. MOBILESoft@ICSE 2017: 13-24 - [c86]Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill:
Cheetah: just-in-time taint analysis for Android apps. ICSE (Companion Volume) 2017: 39-42 - [c85]Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill:
Just-in-time static analysis. ISSTA 2017: 307-317 - [c84]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:
CogniCrypt: supporting developers in using cryptography. ASE 2017: 931-936 - [c83]Sarah Nadi, Stefan Krüger, Mira Mezini, Eric Bodden:
"Jumping Through Hoops": Why do Java Developers Struggle With Cryptography APIs? Software Engineering 2017: 57 - [c82]Vitalii Avdiienko, Konstantin Kuznetsov, Alessandra Gorla, Andreas Zeller, Steven Arzt, Siegfried Rasthofer, Eric Bodden:
App Mining. Software Engineering 2017: 113-114 - [c81]Philipp Holzinger, Ben Hermann, Johannes Lerch, Eric Bodden, Mira Mezini:
Hardening Java's Access Control by Abolishing Implicit Privilege Elevation. IEEE Symposium on Security and Privacy 2017: 1027-1040 - [e8]Eric Bodden, Mathias Payer, Elias Athanasopoulos:
Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings. Lecture Notes in Computer Science 10379, Springer 2017, ISBN 978-3-319-62104-3 [contents] - [e7]Eric Bodden, Wilhelm Schäfer, Arie van Deursen, Andrea Zisman:
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017. ACM 2017, ISBN 978-1-4503-5105-8 [contents] - [i6]Andreas Fischer, Benny Fuhry, Florian Kerschbaum, Eric Bodden:
Computation on Encrypted Data using Data Flow Authentication. CoRR abs/1710.00390 (2017) - [i5]Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini:
CrySL: Validating Correct Usage of Cryptographic APIs. CoRR abs/1710.00564 (2017) - [i4]Eric Bodden:
Self-adaptive static analysis. CoRR abs/1710.07430 (2017) - 2016
- [j13]Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden:
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact). Dagstuhl Artifacts Ser. 2(1): 12:1-12:2 (2016) - [j12]Siegfried Rasthofer, Steven Arzt, Marc Miltenberger, Eric Bodden:
Harvester. Datenschutz und Datensicherheit 40(11): 718-722 (2016) - [j11]Andreas Follner, Eric Bodden:
ROPocop - Dynamic mitigation of code-reuse attacks. J. Inf. Secur. Appl. 29: 16-26 (2016) - [j10]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:
Connecting and Serving the Software Engineering Community. IEEE Trans. Software Eng. 42(3): 203-205 (2016) - [c80]Philipp Holzinger, Stefan Triller, Alexandre Bartel, Eric Bodden:
An In-Depth Study of More Than Ten Years of Java Exploitation. CCS 2016: 779-790 - [c79]Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden:
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. ECOOP 2016: 22:1-22:26 - [c78]Siegfried Rasthofer, Steven Arzt, Marc Miltenberger, Eric Bodden:
Reverse Engineering Android Apps With CodeInspect (invited paper). IMPS@ESSoS 2016: 1-8 - [c77]Andreas Follner, Alexandre Bartel, Eric Bodden:
Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality. ESSoS 2016: 155-172 - [c76]Nicole Eling, Siegfried Rasthofer, Max Kolhagen, Eric Bodden, Peter Buxmann:
Investigating Users' Reaction to Fine-Grained Data Requests: A Market Experiment. HICSS 2016: 3666-3675 - [c75]Steven Arzt, Eric Bodden:
StubDroid: automatic inference of precise data-flow summaries for the android framework. ICSE 2016: 725-735 - [c74]Sarah Nadi, Stefan Krüger, Mira Mezini, Eric Bodden:
Jumping through hoops: why do Java developers struggle with cryptography APIs? ICSE 2016: 935-946 - [c73]Eric Bodden, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert:
Information Flow Analysis for Go. ISoLA (1) 2016: 431-445 - [c72]Siegfried Rasthofer, Steven Arzt, Marc Miltenberger, Eric Bodden:
Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques. NDSS 2016 - [c71]Steven Arzt, Tobias Kussmaul, Eric Bodden:
Towards cross-platform cross-language analysis with soot. SOAP@PLDI 2016: 1-6 - [c70]Lisa Nguyen Quang Do, Michael Eichberg, Eric Bodden:
Toward an automated benchmark management system. SOAP@PLDI 2016: 13-17 - [c69]Kevin Falzon, Eric Bodden:
Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels. POST 2016: 116-138 - [c68]Andreas Follner, Alexandre Bartel, Hui Peng, Yu-Chen Chang, Kyriakos K. Ispoglou, Mathias Payer, Eric Bodden:
PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution. STM 2016: 212-228 - [e6]Juan Caballero, Eric Bodden, Elias Athanasopoulos:
Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings. Lecture Notes in Computer Science 9639, Springer 2016, ISBN 978-3-319-30805-0 [contents] - [i3]Andreas Follner, Alexandre Bartel, Eric Bodden:
Analyzing the Gadgets Towards a Metric to Measure Gadget Quality. CoRR abs/1605.08159 (2016) - 2015
- [j9]Lotfi Ben Othmane, Rohit Ranchal, Ruchith Fernando, Bharat K. Bhargava, Eric Bodden:
Incorporating attacker capabilities in risk estimation and mitigation. Comput. Secur. 51: 41-61 (2015) - [c67]Li Li, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, Patrick D. McDaniel:
IccTA: Detecting Inter-Component Privacy Leaks in Android Apps. ICSE (1) 2015: 280-291 - [c66]Vitalii Avdiienko, Konstantin Kuznetsov, Alessandra Gorla, Andreas Zeller, Steven Arzt, Siegfried Rasthofer, Eric Bodden:
Mining Apps for Abnormal Usage of Sensitive Data. ICSE (1) 2015: 426-436 - [c65]Kevin Falzon, Eric Bodden:
Dynamically Provisioning Isolation in Hierarchical Architectures. ISC 2015: 83-101 - [c64]Lotfi Ben Othmane, Golriz Chehrazi, Eric Bodden, Petar Tsalovski, Achim D. Brucker, Philip Miseldine:
Factors Impacting the Effort Required to Fix Security Vulnerabilities - An Industrial Case Study. ISC 2015: 102-119 - [c63]Johannes Lerch, Johannes Späth, Eric Bodden, Mira Mezini:
Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T). ASE 2015: 619-629 - [c62]Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, Mira Mezini:
Towards secure integration of cryptographic software. Onward! 2015: 1-13 - [c61]Steven Arzt, Siegfried Rasthofer, Robert Hahn, Eric Bodden:
Using targeted symbolic execution for reducing false-positives in dataflow analysis. SOAP@PLDI 2015: 1-6 - [c60]Giancarlo Pellegrino, Constantin Tschürtz, Eric Bodden, Christian Rossow:
jÄk: Using Dynamic Analysis to Crawl and Test Modern Web Applications. RAID 2015: 295-316 - [c59]Siegfried Rasthofer, Irfan Asrar, Stephan Huber, Eric Bodden:
How Current Android Malware Seeks to Evade Automated Code Analysis. WISTP 2015: 187-202 - [i2]Andreas Follner, Eric Bodden:
ROPocop - Dynamic Mitigation of Code-Reuse Attacks. CoRR abs/1504.02288 (2015) - 2014
- [j8]Lotfi Ben Othmane, Ruchith Fernando, Rohit Ranchal, Bharat K. Bhargava, Eric Bodden:
Likelihood of Threats to Connected Vehicles. Int. J. Next Gener. Comput. 5(3) (2014) - [j7]Eric Bodden, Éric Tanter, Milton Inostroza:
Join point interfaces for safe and flexible decoupling of aspects. ACM Trans. Softw. Eng. Methodol. 23(1): 7:1-7:41 (2014) - [c58]Siegfried Rasthofer, Steven Arzt, Enrico Lovat, Eric Bodden:
DroidForce: Enforcing Complex, Data-centric, System-wide Policies in Android. ARES 2014: 40-49 - [c57]Steven Arzt, Stephan Huber, Siegfried Rasthofer, Eric Bodden:
Denial-of-App Attack: Inhibiting the Installation of Android Apps on Stock Phones. SPSM@CCS 2014: 21-26 - [c56]Steven Arzt, Eric Bodden:
Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes. ICSE 2014: 288-298 - [c55]Max Lillack, Christian Kästner, Eric Bodden:
Tracking load-time configuration options. ASE 2014: 445-456 - [c54]Siegfried Rasthofer, Steven Arzt, Eric Bodden:
A Machine-learning Approach for Classifying and Categorizing Android Sources and Sinks. NDSS 2014 - [c53]Eric Walkingshaw, Christian Kästner, Martin Erwig, Sven Apel, Eric Bodden:
Variational Data Structures: Exploring Tradeoffs in Computing with Variability. Onward! 2014: 213-226 - [c52]Eric Bodden:
TS4J: a fluent interface for defining and computing typestate analyses. SOAP@PLDI 2014: 1:1-1:6 - [c51]Eric Bodden:
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 2014: 6:1 - [c50]Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, Patrick D. McDaniel:
FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps. PLDI 2014: 259-269 - [c49]Eric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini:
SPLLIFT - Statically Analyzing Software Product Lines in Minutes Instead of Years. Software Engineering 2014: 81-82 - [c48]Steffen Bartsch, Bernhard J. Berger, Eric Bodden, Achim D. Brucker, Jens Heider, Mehmet Kus, Sönke Maseberg, Karsten Sohr, Melanie Volkamer:
Zertifizierte Datensicherheit für Android-Anwendungen auf Basis statischer Programmanalysen. Sicherheit 2014: 283-291 - [c47]Johannes Lerch, Ben Hermann, Eric Bodden, Mira Mezini:
FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases. SIGSOFT FSE 2014: 98-108 - [e5]Gary T. Leavens, Hidehiko Masuhara, Hridesh Rajan, Eric Bodden:
Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2014, April 22, 2014, Lugano, Switzerland. ACM 2014, ISBN 978-1-4503-2798-5 [contents] - [e4]Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle:
Transactions on Aspect-Oriented Software Development XI. Lecture Notes in Computer Science 8400, Springer 2014, ISBN 978-3-642-55098-0 [contents] - [i1]Li Li, Alexandre Bartel, Jacques Klein, Yves Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, Patrick D. McDaniel:
I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis. CoRR abs/1404.7431 (2014) - 2013
- [j6]Eric Bodden, Siegfried Rasthofer, Philipp Richter, Alexander Roßnagel:
Schutzmaßnahmen gegen datenschutz- unfreundliche Smartphone-Apps. Datenschutz und Datensicherheit 37(11): 720-725 (2013) - [j5]Martin P. Robillard, Eric Bodden, David Kawrykow, Mira Mezini, Tristan Ratchford:
Automated API Property Inference Techniques. IEEE Trans. Software Eng. 39(5): 613-637 (2013) - [c46]Eric Bodden, Éric Tanter, Milton Inostroza:
A brief tour of join point interfaces. AOSD (Companion) 2013: 19-22 - [c45]Eric Bodden:
Easily instrumenting android applications for security purposes. CCS 2013: 1499-1502 - [c44]Eric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini:
SPLLIFT: statically analyzing software product lines in minutes instead of years. PLDI 2013: 355-364 - [c43]Kevin Falzon, Eric Bodden, Rahul Purandare:
Distributed Finite-State Runtime Monitoring with Aggregated Events. RV 2013: 94-111 - [c42]Steven Arzt, Siegfried Rasthofer, Eric Bodden:
Instrumenting Android and Java Applications as Easy as abc. RV 2013: 364-381 - [c41]Steven Arzt, Kevin Falzon, Andreas Follner, Siegfried Rasthofer, Eric Bodden, Volker Stolz:
How Useful Are Existing Monitoring Languages for Securing Android Apps? Software Engineering (Workshops) 2013: 107-122 - [c40]Damien Octeau, Patrick D. McDaniel, Somesh Jha, Alexandre Bartel, Eric Bodden, Jacques Klein, Yves Le Traon:
Effective Inter-Component Communication Mapping in Android: An Essential Step Towards Holistic Security Analysis. USENIX Security Symposium 2013: 543-558 - [e3]Walter Binder, Eric Bodden, Welf Löwe:
Software Composition - 12th International Conference, SC@STAF 2013, Budapest, Hungary, June 19, 2013. Proceedings. Lecture Notes in Computer Science 8088, Springer 2013, ISBN 978-3-642-39613-7 [contents] - 2012
- [j4]Eric Bodden, Laurie J. Hendren:
The Clara framework for hybrid typestate analysis. Int. J. Softw. Tools Technol. Transf. 14(3): 307-326 (2012) - [j3]Eric Bodden, Patrick Lam, Laurie J. Hendren:
Partially Evaluating Finite-State Runtime Monitors Ahead of Time. ACM Trans. Program. Lang. Syst. 34(2): 7:1-7:52 (2012) - [c39]Eric Bodden:
Towards typesafe weaving for modular reasoning in aspect-oriented programs. FOAL 2012: 1-2 - [c38]Eric Bodden, Andreas Follner, Siegfried Rasthofer:
Challenges in Defining a Programming Language for Provably Correct Dynamic Analyses. ISoLA (1) 2012: 4-18 - [c37]Eric Bodden, Kevin Falzon, Ka I Pun, Volker Stolz:
Delta-Oriented Monitor Specification. ISoLA (1) 2012: 162-177 - [c36]Andreas Thies, Eric Bodden:
RefaFlex: safer refactorings for reflective Java programs. ISSTA 2012: 1-11 - [c35]Sami Alsouri, Jan Sinschek, Andreas Sewe, Eric Bodden, Mira Mezini, Stefan Katzenbeisser:
Dynamic Anomaly Detection for More Trustworthy Outsourced Computation. ISC 2012: 168-187 - [c34]Eric Bodden:
Inter-procedural data-flow analysis with IFDS/IDE and Soot. SOAP@PLDI 2012: 3-8 - [c33]Eric Bodden:
Static flow-sensitive & context-sensitive information-flow analysis for software product lines: position paper. PLAS 2012: 6 - [c32]Eric Bodden:
InvokeDynamic support in Soot. SOAP@PLDI 2012: 51-55 - [c31]Danilo Ansaloni, Walter Binder, Christoph Bockisch, Eric Bodden, Kardelen Hatun, Lukás Marek, Zhengwei Qi, Aibek Sarimbekov, Andreas Sewe, Petr Tuma, Yudi Zheng:
Challenges for Refinement and Composition of Instrumentations: Position Paper. SC@TOOLS 2012: 86-96 - [e2]Eric Bodden, Madanlal Musuvathi:
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. ACM 2012, ISBN 978-1-4503-1455-8 [contents] - [e1]Eric Bodden, Laurie J. Hendren, Patrick Lam, Elena Sherman:
Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, SOAP 2012, Beijing, China, June 14, 2012. ACM 2012, ISBN 978-1-4503-1490-9 [contents] - 2011
- [c30]Eric Bodden:
Closure joinpoints: block joinpoints without surprises. AOSD 2011: 117-128 - [c29]Eric Bodden, Andreas Sewe, Jan Sinschek, Hela Oueslati, Mira Mezini:
Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders. ICSE 2011: 241-250 - [c28]Eric Bodden:
Continuation equivalence: a correctness criterion for static optimizations of dynamic analyses. WODA 2011: 24-28 - [c27]Eric Bodden:
MOPBox: A Library Approach to Runtime Verification - (Tool Demonstration). RV 2011: 365-369 - [c26]Eric Bodden:
Stateful breakpoints: a practical approach to defining parameterized runtime monitors. SIGSOFT FSE 2011: 492-495 - [c25]Milton Inostroza, Éric Tanter, Eric Bodden:
Join point interfaces for modular reasoning in aspect-oriented programs. SIGSOFT FSE 2011: 508-511 - 2010
- [j2]Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem:
Collaborative Runtime Verification with Tracematches. J. Log. Comput. 20(3): 707-723 (2010) - [j1]Eric Bodden, Klaus Havelund:
Aspect-Oriented Race Detection in Java. IEEE Trans. Software Eng. 36(4): 509-527 (2010) - [c24]Eric Bodden:
Efficient hybrid typestate analysis by determining continuation-equivalent states. ICSE (1) 2010: 5-14 - [c23]Awny Alnusair, Tian Zhao, Eric Bodden:
Effective API navigation and reuse. IRI 2010: 7-12 - [c22]Eric Bodden, Patrick Lam:
Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement. RV 2010: 74-88 - [c21]Eric Bodden, Patrick Lam, Laurie J. Hendren:
Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time. RV 2010: 183-197 - [c20]Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid:
Reducing Configurations to Monitor in a Software Product Line. RV 2010: 285-299 - [c19]Marcel Bruch, Eric Bodden, Martin Monperrus, Mira Mezini:
IDE 2.0: collective intelligence in software development. FoSER 2010: 53-58
2000 – 2009
- 2009
- [c18]Eric Bodden, Feng Chen, Grigore Rosu:
Dependent advice: a general approach to optimizing history-based aspects. AOSD 2009: 3-14 - 2008
- [c17]Eric Bodden, Reehan Shaikh, Laurie J. Hendren:
Relational aspects as tracematches. AOSD 2008: 84-95 - [c16]Eric Bodden, Patrick Lam, Laurie J. Hendren:
Object representatives: a uniform abstraction for pointer information. BCS Int. Acad. Conf. 2008: 391-405 - [c15]Eric Bodden, Klaus Havelund:
Racer: effective race detection using aspectj. ISSTA 2008: 155-166 - [c14]Eric Bodden, Patrick Lam, Laurie J. Hendren:
Finding programming errors earlier by evaluating runtime monitors ahead-of-time. SIGSOFT FSE 2008: 36-47 - 2007
- [c13]Eric Bodden, Hans Vangheluwe:
Transforming Timeline Specifications into Automata for Runtime Monitoring. AGTIVE 2007: 249-264 - [c12]Eric Bodden, Laurie J. Hendren, Ondrej Lhoták:
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring. ECOOP 2007: 525-549 - [c11]Hans Vangheluwe, Ximeng Sun, Eric Bodden:
Domain-Specific Modelling With Atom3. ICSOFT (PL/DPS/KE/MUSE) 2007: 298-304 - [c10]Eric Bodden:
The design and implementation of formal monitoring techniques. OOPSLA Companion 2007: 939-940 - [c9]Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem:
Collaborative Runtime Verification with Tracematches. RV 2007: 22-37 - 2006
- [c8]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:
Aspects for Trace Monitoring. FATES/RV 2006: 20-39 - [c7]Eric Bodden, Florian Forster, Friedrich Steimann:
Avoiding Infinite Recursion with Stratified Aspects. NODe/GSEM 2006: 49-64 - [c6]Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble:
Aspects and Data Refinement. MPC 2006: 5-9 - [c5]Pavel Avgustinov, Julian Tibble, Eric Bodden, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Ganesh Sittampalam:
Efficient trace monitoring. OOPSLA Companion 2006: 685-686 - [c4]Eric Bodden, Volker Stolz:
Tracechecks: Defining Semantic Interfaces with Temporal Logic. SC@ETAPS 2006: 147-162 - 2005
- [c3]Volker Stolz, Eric Bodden:
Temporal Assertions using AspectJ. RV@CAV 2005: 109-124 - 2004
- [c2]Eric Bodden:
A lightweight LTL runtime verification tool for java. OOPSLA Companion 2004: 306-307 - 2003
- [c1]Eric Bodden:
A high-level view of Java applications. OOPSLA Companion 2003: 384-385
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 21:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
