Index
Thumbnail

DI
Stephan Adelsberger
PhD

Assistant Professor

Telephone:+43-1-31336-4796

Email:

Office: D2.2.048

Consultation hours: by appointment

Journal Articles


Publications

  • Stephan Adelsberger, Bashar Igried, Markus Moser, Vadim Savenkov and Anton Setzer: Formal Verification for Feature-based Composition of Workflows, SERENE'18, 2018. [BibTexpdf
  • Stephan Adelsberger, Anton Setzer and Eric Walkingshaw: Developing GUI Applications in a Verified Setting, SETTA'18, 2018. [BibTexpdf
  • Stephan Adelsberger, Anton Setzer and Eric Walkingshaw: Declarative GUIs: Simple, Consistent, and Verified, PPDP'18, 2018. [BibTexpdf]
  • Stephan Adelsberger, Stefan Hetzl, Florian Pollak: The Caylay-Hamilton Theorem, Archive of Formal Proofs, 2014. [BibTexpdf]
  • Stephan Adelsberger, Stefan Sobernig, Gustaf Neumann: Towards Assessing the Complexity of Object Migration in Dynamic, Feature-oriented Software Product Lines, in: Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS, 17:1--17:8, Sophia Antipolis, France, January, 2014 . [BibTexpostscriptpdf]
  • Stefan Sobernig, Gustaf Neumann, Stephan Adelsberger: Supporting Multiple Feature Binding Strategies in NX, in: 4th International Workshop on Feature-Oriented Software Development, Dresden, Germany, September, 2012 . [BibTexpostscriptpdf]