Table of Contents

,

Publications

Conference Papers

P. Paulweber, E. Pescosta, and U. Zdun. CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation. In 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2018, 5-8 June 2018, Southampton, UK, 2018, Springer, Lecture Notes in Computer Science 10817, pages 39-54.

→ Read more...

P. Paulweber and U. Zdun. A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications. In 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, Linz, Austria, 23-27th May, 2016, Springer, Lecture Notes in Computer Science 9675, pages 250-255.

→ Read more...

R. Lezuo, P. Paulweber, and A. Krall. CASM - Optimized Compilation of Abstract State Machines. In ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, LCTES 2014, 12-13th June, 2014, Edinburgh, UK, ACM SIGPLAN Notices, Vol. 49(5), pages 13-22.

→ Read more...

Workshop Papers

G. Simhandl, P. Paulweber, and U. Zdun. Design of an Executable Specification Language Using Eye Tracking. In 6th International Workshop on Eye Movements in Programming, EMIP 2019, Montreal, Canada, 27th May, 2019.

→ Read more...

R. Lezuo, and A. Krall. Using the CASM Language for Simulator Synthesis and Model Verification. In Proceedings of the 2013 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, RAPIDO 2013, Berlin, Germany, 21st January, 2013.

→ Read more...

R. Lezuo, G. Barany, and A. Krall. CASM: Implementing an Abstract State Machine based Programming Language. In Software Engineering 2013 - Workshopband, 6. Arbeitstagung Programmiersprachen, ATPS 2013, 26th February - 1st March 2013, Aachen, Germany, GI Edition - Lecture Notes in Informatics, Vol. 215, pages 75-90.

→ Read more...

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.

→ Read more...

Conference, Workshop, or Event Presentations

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.

→ Read more...

P. Paulweber and U. Zdun. RobMoSys meets CASM. Pitch Talk at the RobMoSys 2nd Brokerage Day Event, Frankfurt, Germany, 26th August, 2017.

→ Read more...

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.

→ Read more...

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.

→ Read more...

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.

→ Read more...