P. Paulweber, E. Pescosta, and U. Zdun. CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation. Conference Talk at the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2018, 5-8 June 2018, Southampton, UK, 2018.
P. Paulweber and U. Zdun. A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications. Conference Talk at the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, Linz, Austria, 27th May, 2016.
P. Paulweber. An optimizing Compiler for the Abstract State Machine Language CASM. Event Talk at the Distinguished Young Alumnus Award Competition, EPILOG 2015, Vienna University of Technology, Vienna, Austria, 18th June, 2015.
R. Lezuo, G. Barany, and A. Krall. CASM: Implementing an Abstract State Machine based programming language. Workshop Talk at the Software Engineering 2013 Workshop, 6. Arbeitstagung Programmiersprachen, ATPS 2013, Aachen, Germany, 26th February, 2013.