Publications

Philipp Paulweber (2022). The Evolving of CASM: Modern Compiler Engineering and Empirical Guided Language Design for a Rigorous State-Based Method. PhD Thesis.

Digital Source Abstract View Cite

Philipp Paulweber, Georg Simhandl, Uwe Zdun (2021). Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment. TOSEM.

Digital Printed Source Abstract View Cite

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

Digital Printed Source Abstract View Cite

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

Digital Printed Source Abstract View Cite

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

Digital Printed Source Abstract View Cite

Georg Simhandl, Philipp Paulweber, Uwe Zdun (2019). Design of an Executable Specification Language Using Eye Tracking. EMIP’19.

Digital Printed Source Abstract View Cite

Philipp Paulweber, Jürgen Maier, Jordi Cortadella (2019). Unified (A)Synchronous Circuit Development. ASYNC’19.

Digital Printed Source Abstract View Cite

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

Digital Printed Source Abstract View Cite

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

Digital Printed Source Abstract View Cite

Roland Lezuo, Philipp Paulweber, Andreas Krall (2014). CASM - Optimized Compilation of Abstract State Machines. LCTES’14.

Digital Printed Source Abstract View Cite

Philipp Paulweber (2014). An optimizing Compiler for the Abstract State Machine Language CASM. Diploma Thesis.

Digital Printed Source Abstract View Cite