Philipp Paulweber

According to our database, Philipp Paulweber authored at least 11 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Vienna Architecture Description Language.

Simon Himmelbauer, Christoph Hochrainer, Benedikt Huber, Niklas Mischkulnig, Philipp Paulweber, Tobias Schwarzinger, Andreas Krall

CoRR, 2024

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

Developer's Cognitive Effort Maintaining Monoliths vs. Microservices - An Eye-Tracking Study.

Georg Simhandl, Philipp Paulweber, Uwe Zdun

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

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

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

About the Concolic Execution and Symbolic ASM Function Promotion in CASM.

Philipp Paulweber, Jakob Moosbrugger, Uwe Zdun

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

2020

Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages.

Philipp Paulweber, Emmanuel Pescosta, Uwe Zdun

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Design of an executable specification language using eye tracking.

Georg Simhandl, Philipp Paulweber, Uwe Zdun

Proceedings of the 6th International Workshop on Eye Movements in Programming, 2019

2018

CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation.

Philipp Paulweber, Emmanuel Pescosta, Uwe Zdun

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2016

A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications.

Philipp Paulweber, Uwe Zdun

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2014

CASM: optimized compilation of abstract state machines.

Roland Lezuo, Philipp Paulweber, Andreas Krall

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014