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: 3.

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]

Kim, Chang Hwan Peter and Bodden, Eric and Batory, Don and Khurshid, Sarfraz (2010):
Reducing Configurations to Monitor in a Software Product Line.
Springer, In: 1st International Conference on Runtime Verification (RV), In: LNCS, 6418, [Online-Edition: http://www.bodden.de/pubs/kbbk10reducing.pdf],
[Conference or Workshop Item]

This list was generated on Tue Jul 16 00:35:13 2019 CEST.