fallback portrait photo

Stephan Adelsberger

Dipl.-Ing. Stephan Adelsberger Ph.D.
Telephone:
+43 1 31336 4796
Email:
Contact information and photo taken from and editable at WU Directory.

CV

No curriculum entries found.

Researcher Identifier

    No researcher identifier found.

Awards and Honors

No awards found.

Classifications

    No classifications found.

Expertise

    No expertises found.

Activities

No activities found.

Publications

Journal article

2017 Adelsberger, Stephan. 2017. Interactive programming in Agda - Objects and graphical user interfaces. Journal of Functional Programming 27, 1-2. (Details)
2014 Adelsberger, Stephan, Hetzl, Stefan, Pollak, Florian. 2014. The Caylay-Hamilton Theorem. Archive of Formal Proofs 2014 1-36. (Details)

Contribution to conference proceedings

2018 Adelsberger, Stephan, Igried, Bashar, Moser, Markus, Savenkov, Vadim, Setzer, Anton. 2018. Formal Verification for Feature-Based Composition of Workflows. In 14th European Dependable Computing Conference, EDCC 2018, Iasi, Romania, September 10-14, 2018, Hrsg. Emanuel Onica, Pascal Felber, Paolo Lollini, 173-181. Iasi: IEEE. (Details)
2014 Adelsberger, Stephan, Sobernig, Stefan, Neumann, Gustaf. 2014. 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 '14, Hrsg. ACM, 17:1-17:8. Sophia Antipolis, France: ACM. (Details)
2012 Sobernig, Stefan, Neumann, Gustaf, Adelsberger, Stephan. 2012. Supporting multiple feature binding strategies in NX. In Proceedings of the 4th International Workshop on Feature-Oriented Software Development, Hrsg. Schaefer, Ina and Thüm, Thomas, 45-53. New York, NY, USA: ACM. (Details)

Projects

  • No projects found.