Stephan Adelsberger

According to our database, Stephan Adelsberger authored at least 7 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Developing GUI Applications in a Verified Setting.

Stephan Adelsberger, Anton Setzer, Eric Walkingshaw

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

Declarative GUIs: Simple, Consistent, and Verified.

Stephan Adelsberger, Anton Setzer, Eric Walkingshaw

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

Formal Verification for Feature-Based Composition of Workflows.

Stephan Adelsberger, Bashar Igried, Markus Moser, Vadim Savenkov, Anton Setzer

Proceedings of the 14th European Dependable Computing Conference, 2018

2017

Interactive programming in Agda - Objects and graphical user interfaces.

Andreas Abel, Stephan Adelsberger, Anton Setzer

J. Funct. Program., 2017

2014

The Cayley-Hamilton Theorem.

Stephan Adelsberger, Stefan Hetzl, Florian Pollak

Arch. Formal Proofs, 2014

Towards assessing the complexity of object migration in dynamic, feature-oriented software product lines.

Stephan Adelsberger, Stefan Sobernig, Gustaf Neumann

Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

2012

Supporting multiple feature binding strategies in NX.

Stefan Sobernig, Gustaf Neumann, Stephan Adelsberger

Proceedings of the 4th International Workshop on Feature-Oriented Software Development, 2012