Stephan Adelsberger

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 4

Top Topics

Formal Verification

Transactional Properties

Software Product Line

Graphical User Interfaces

Top Venues

J. Funct. Program.

Publications

Stephan Adelsberger, Anton Setzer, Eric Walkingshaw
Declarative GUIs: Simple, Consistent, and Verified. PPDP (2018)
Stephan Adelsberger, Bashar Igried, Markus Moser, Vadim Savenkov, Anton Setzer
Formal Verification for Feature-Based Composition of Workflows. EDCC (2018)
Stephan Adelsberger, Anton Setzer, Eric Walkingshaw
Developing GUI Applications in a Verified Setting. SETTA (2018)
Andreas Abel, Stephan Adelsberger, Anton Setzer
Interactive programming in Agda - Objects and graphical user interfaces. J. Funct. Program. 27 (2017)
Stephan Adelsberger, Stefan Sobernig, Gustaf Neumann
Towards assessing the complexity of object migration in dynamic, feature-oriented software product lines. VaMoS (2014)
Stephan Adelsberger, Stefan Hetzl, Florian Pollak
The Cayley-Hamilton Theorem. Arch. Formal Proofs 2014 (2014)
Stefan Sobernig, Gustaf Neumann, Stephan Adelsberger
Supporting multiple feature binding strategies in NX. FOSD (2012)