CASM: optimized compilation of abstract state machines. - Roland Lezuo; Philipp Paulweber; Andreas Krall (LCTES, 2014)

A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications. - Philipp Paulweber; Uwe Zdun (ABZ, 2016)

CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation. - Philipp Paulweber; Emmanuel Pescosta; Uwe Zdun (ABZ, 2018)

Design of an executable specification language using eye tracking. - Georg Simhandl; Philipp Paulweber; Uwe Zdun (EMIP@ICSE, 2019)

Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages. - Philipp Paulweber; Emmanuel Pescosta; Uwe Zdun (ABZ, 2020)

About the Concolic Execution and Symbolic ASM Function Promotion in CASM. - Philipp Paulweber; Jakob Moosbrugger; Uwe Zdun (ABZ, 2021)

On the Understandability of Language Constructs to Structure the State and Behavior in Abstract State Machine Specifications: A Controlled Experiment. - Philipp Paulweber; Georg Simhandl; Uwe Zdun (J. Syst. Softw., 2021)

Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment. - Philipp Paulweber; Georg Simhandl; Uwe Zdun (ACM Trans. Softw. Eng. Methodol., 2021)

Developer's Cognitive Effort Maintaining Monoliths vs. Microservices - An Eye-Tracking Study. - Georg Simhandl; Philipp Paulweber; Uwe Zdun (APSEC, 2023)

Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA+. - Paolo Dini; Manuel Bravo; Philipp Paulweber; Alexander Raschke; Gabriela Moreira (CoRR, 2023)

The Vienna Architecture Description Language. - Simon Himmelbauer; Christoph Hochrainer; Benedikt Huber; Niklas Mischkulnig; Philipp Paulweber; Tobias Schwarzinger; Andreas Krall (CoRR, 2024)