Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Eric Bodden

PhASAR: An Inter-Procedural Static Analysis Framework for C/C++

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Dynamically Provisioning Isolation in Hierarchical Architectures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

The Clara Framework for Hybrid Typestate Analysis

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2010English

Tracking Load-Time Configuration Options

2014English

Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States

2010English

Tracechecks: Defining Semantic Interfaces With Temporal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Finding Programming Errors Earlier by Evaluating Runtime Monitors Ahead-Of-Time

2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy