Philipp Paulweber

11 papers B 1C 5Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
The Vienna Architecture Description Language.
CoRR
Simon Himmelbauer, Christoph Hochrainer, Benedikt Huber, Niklas Mischkulnig, Philipp Paulweber, Tobias Schwarzinger, Andreas Krall
2023 C conf
Developer's Cognitive Effort Maintaining Monoliths vs. Microservices - An Eye-Tracking Study.
APSEC
Georg Simhandl, Philipp Paulweber, Uwe Zdun
2023 J jnl
Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA
CoRR
Paolo Dini, Manuel Bravo, Philipp Paulweber, Alexander Raschke, Gabriela Moreira
2021 C conf
About the Concolic Execution and Symbolic ASM Function Promotion in CASM.
ABZ
Philipp Paulweber, Jakob Moosbrugger, Uwe Zdun
2021 J jnl
On the Understandability of Language Constructs to Structure the State and Behavior in Abstract State Machine Specifications: A Controlled Experiment.
J. Syst. Softw.
Philipp Paulweber, Georg Simhandl, Uwe Zdun
2021 J jnl
Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment.
ACM Trans. Softw. Eng. Methodol.
Philipp Paulweber, Georg Simhandl, Uwe Zdun
2020 C conf
Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages.
ABZ
Philipp Paulweber, Emmanuel Pescosta, Uwe Zdun
2019 — conf
Design of an executable specification language using eye tracking.
EMIP@ICSE
Georg Simhandl, Philipp Paulweber, Uwe Zdun
2018 C conf
CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation.
ABZ
Philipp Paulweber, Emmanuel Pescosta, Uwe Zdun
2016 C conf
A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications.
ABZ
Philipp Paulweber, Uwe Zdun
2014 B conf
CASM: optimized compilation of abstract state machines.
LCTES
Roland Lezuo, Philipp Paulweber, Andreas Krall