Folgen
Philipp Paulweber
Philipp Paulweber
fiskaly GmbH, TU Wien CompLang, and UniVie SWA
Bestätigte E-Mail-Adresse bei fiskaly.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
CASM - Optimized Compilation of Abstract State Machines
R Lezuo, P Paulweber, A Krall
Proceedings of the 2014 SIGPLAN/SIGBED Conference on Languages, Compilers …, 2014
132014
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
92018
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
82016
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
52021
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
52020
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
32019
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
22022
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
22021
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
12021
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–14