Items where Author is "Paulweber, Philipp"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Category | No Grouping
Jump to: Journal Paper | Paper in Conference Proceedings or in Workshop Proceedings | Thesis
Number of items: 11.

Journal Paper

  • Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment
    Paulweber, Philipp and Simhandl, Georg and Zdun, Uwe pp. 1-29 ISSN 1049-331X ACM (2021)

  • On the Understandability of Language Constructs to Structure the State and Behavior in Abstract State Machine Specifications: A Controlled Experiment
    Paulweber, Philipp and Simhandl, Georg and Zdun, Uwe ISSN 0164-1212 Elsevier Inc (2021)

    • Paper in Conference Proceedings or in Workshop Proceedings

  • Developer's Cognitive Effort Maintaining Monoliths vs. Microservices - An Eye-Tracking Study
    Simhandl, Georg and Paulweber, Philipp and Zdun, Uwe In: 30th Asia-Pacific Software Engineering Conference (APSEC 2023) , 4-7 Dec 2023 , Seoul, South Korea (2023)

  • About the Concolic Execution and Symbolic ASM Function Promotion in CASM
    Paulweber, Philipp and Moosbrugger, Jakob and Zdun, Uwe In: 8th International Conference on Rigorous State-Based Methods (ABZ'21) , 9-11 June 2021 , Ulm, Germany (2021)

  • Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages
    Paulweber, Philipp and Pescosta, Emmanuel and Zdun, Uwe In: 7th International Conference on Rigorous State-Based Methods (ABZ'20) , 27-29 May 2020 , Ulm, Germany (2020)

  • Design of an Executable Specification Language Using Eye Tracking
    Simhandl, Georg and Paulweber, Philipp and Zdun, Uwe In: 6th International Workshop on Eye Movements in Programming (EMIP) , 27 May 2019 , Montreal, Canada (2019)

  • Unified (A)Synchronous Circuit Development
    Paulweber, Philipp and Maier, Jürgen and Cortadella, Jordi In: 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) , 12-15 May 2019 , Hirosaki, Japan (2019)

  • CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation
    Paulweber, Philipp and Pescosta, Emmanuel and Zdun, Uwe In: 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ) , 5-8 June 2018 , Southampton, UK (2018)

  • A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications
    Paulweber, Philipp and Zdun, Uwe In: 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ) , 23-27 May 2016 , Linz, Austria (2016)

  • CASM - Optimized Compilation of Abstract State Machines
    Lezuo, Roland and Paulweber, Philipp and Krall, Andreas In: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) , 12-13 June 2014 , Edinburgh, UK (2014)

    • Thesis

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

    • This list was generated on Wed Nov 20 15:08:49 2024 CET.
    Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
    EPrints Logo
    CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.