Emmanuel Pescosta

According to our database, Emmanuel Pescosta authored at least 3 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Bounded Model Checking of Speculative Non-Interference.

Emmanuel Pescosta, Georg Weissenbacher, Florian Zuleger

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

2020

Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages.

Philipp Paulweber, Emmanuel Pescosta, Uwe Zdun

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2018

CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation.

Philipp Paulweber, Emmanuel Pescosta, Uwe Zdun

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018