TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 7.

Thüm, Thomas ; van Hoorn, André ; Apel, Sven ; Bürdek, Johannes ; Getir, Sinem ; Heinrich, Robert ; Jung, Reiner ; Kowal, Matthias ; Lochau, Malte ; Schaefer, Ina ; Walter, Jürgen (2019):
Performance Analysis Strategies for Software Variants and Versions.
In: Managed Software Evolution, pp. 175-206, Springer, DOI: 10.1007/978-3-030-13499-0_8,
[Book Section]

Lochau, Malte ; Bürdek, Johannes ; Bauregger, Stefan ; Holzer, Andreas ; Rhein, Alexander von ; Apel, Sven ; Beyer, Dirk (2016):
On facilitating reuse in multi-goal test-suite generation for software product lines.
pp. 81-82, Software Engineering, SE 2016, [Conference or Workshop Item]

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Lo, David ; Apel, Sven ; Khurshid, Sarfraz (eds.) (2016):
An empirical evaluation of two user interfaces of an interactive program verifier.
pp. 403-413, ACM, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016, DOI: 10.1145/2970276.2970303,
[Conference or Workshop Item]

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Lo, David ; Apel, Sven ; Khurshid, Sarfraz (eds.) (2016):
The interactive verification debugger: effective understanding of interactive proof attempts.
pp. 846-851, ACM, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016, DOI: 10.1145/2970276.2970292,
[Conference or Workshop Item]

Bürdek, Johannes ; Lochau, Malte ; Bauregger, Stefan ; Holzer, Andreas ; Rhein, Alexander von ; Apel, Sven ; Beyer, Dirk (2015):
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines.
pp. 84-99, Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, [Conference or Workshop Item]

Thüm, Thomas ; Schaefer, Ina ; Apel, Sven ; Hentschel, Martin (2012):
Family-Based Deductive Verification of Software Product Lines.
In: GPCE '12, In: Proceedings of the 11th International Conference on Generative Programming and Component Engineering, pp. 11-20,
ACM, Dresden, Germany, ISBN 978-1-4503-1129-8,
[Conference or Workshop Item]

Helvensteijn, Michiel ; Muschevici, Radu ; Wong, Peter Y. H.
Eisenecker, Ulrich W. ; Apel, Sven ; Gnesi, Stefania (eds.) (2012):
Delta modeling in practice: a Fredhopper case study.
pp. 139-148, ACM, Sixth International Workshop on Variability Modelling of Software-Intensive Systems, Leipzig, Germany, January 25-27, 2012. Proceedings, DOI: 10.1145/2110147.2110163,
[Conference or Workshop Item]

This list was generated on Sat Jul 31 00:42:12 2021 CEST.