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

Lochau, Malte and Bürdek, Johannes and Bauregger, Stefan and Holzer, Andreas and von Rhein, Alexander and Apel, Sven and Beyer, Dirk (2016):
On facilitating reuse in multi-goal test-suite generation for software product lines.
In: Software Engineering, SE 2016, [Online-Edition: http://subs.emis.de/LNI/Proceedings/Proceedings252/article31...],
[Conference or Workshop Item]

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

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

Bürdek, Johannes and Lochau, Malte and Bauregger, Stefan and Holzer, Andreas and von Rhein, Alexander and Apel, Sven and Beyer, Dirk (2015):
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines.
In: 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, [Online-Edition: http://dx.doi.org/10.1007/978-3-662-46675-9_6],
[Conference or Workshop Item]

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

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

This list was generated on Tue Oct 22 01:11:42 2019 CEST.