Emmanuel Pescosta

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 3

Top Topics

Intermediate Representation

Bounded Model Checking

Top Venues

Publications

Emmanuel Pescosta, Georg Weissenbacher, Florian Zuleger
Bounded Model Checking of Speculative Non-Interference. ICCAD (2021)
Philipp Paulweber, Emmanuel Pescosta, Uwe Zdun
Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages. ABZ (2020)
Philipp Paulweber, Emmanuel Pescosta, Uwe Zdun
CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation. ABZ (2018)