Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Philipp Paulweber
Latest
About the Concolic Execution and Symbolic ASM Function Promotion in CASM
Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages
CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation
A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications
Cite
×