CASM - Optimized Compilation of Abstract State Machines R Lezuo, P Paulweber, A Krall Proceedings of the 2014 SIGPLAN/SIGBED Conference on Languages, Compilers …, 2014 | 11 | 2014 |
CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation P Paulweber, E Pescosta, U Zdun 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM …, 2018 | 9 | 2018 |
A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications P Paulweber, U Zdun 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM …, 2016 | 7 | 2016 |
On the Understandability of Language Constructs to Structure the State and Behavior in Abstract State Machine Specifications: A Controlled Experiment P Paulweber, G Simhandl, U Zdun Journal of Systems and Software 178 (6), 110987, 2021 | 5 | 2021 |
Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages P Paulweber, E Pescosta, U Zdun Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm …, 2020 | 5 | 2020 |
Design of an Executable Specification Language Using Eye Tracking G Simhandl, P Paulweber, U Zdun 6th International Workshop on Eye Movements in Programming, EMIP 2019, 2019 | 3 | 2019 |
The Evolving of CASM: Modern Compiler Engineering and Empirical Guided Language Design for a Rigorous State-Based Method P Paulweber University of Vienna (Universität Wien), Faculty of Computer Science …, 2022 | 2 | 2022 |
Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment P Paulweber, G Simhandl, U Zdun ACM Transactions on Software Engineering and Methodology (TOSEM) 30 (4), 1-29, 2021 | 2 | 2021 |
About the Concolic Execution and Symbolic ASM Function Promotion in CASM P Paulweber, J Moosbrugger, U Zdun Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm …, 2021 | 1 | 2021 |
The Vienna Architecture Description Language S Himmelbauer, C Hochrainer, B Huber, N Mischkulnig, P Paulweber, ... arXiv preprint arXiv:2402.09087, 2024 | | 2024 |
Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA+ P Dini, M Bravo, P Paulweber, A Raschke, G Moreira arXiv preprint arXiv:2301.10875, 2023 | | 2023 |
Developer's Cognitive Effort Maintaining Monoliths vs. Microservices-An Eye-Tracking Study G Simhandl, P Paulweber, U Zdun | | 2023 |
Unified (A) Synchronous Circuit Development P Paulweber, J Maier, J Cortadella 25th IEEE International Symposium on Asynchronous Circuits and Systems …, 2019 | | 2019 |
An optimizing Compiler for the Abstract State Machine Language CASM P Paulweber Vienna University of Technology, Research Unit Compilers and Languages …, 2014 | | 2014 |