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

Hentschel, Martin and Bubel, Richard and Hähnle, Reiner (2019):
The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more.
21, In: STTT, (5), pp. 485-513, DOI: 10.1007/s10009-018-0490-9,
[Online-Edition: https://doi.org/10.1007/s10009-018-0490-9],
[Article]

Hentschel, Martin and Hähnle, Reiner and Bubel, Richard (2016):
An Empirical Evaluation of Two User Interfaces of an Interactive Program Verifier.
In: ASE 2016, In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ACM, Singapore, Singapore, pp. 403-413, ISBN 978-1-4503-3845-5,
DOI: 10.1145/2970276.2970303,
[Conference or Workshop Item]

Hentschel, Martin and Hähnle, Reiner and Bubel, Richard (2016):
The Interactive Verification Debugger: Effective Understanding of Interactive Proof Attempts.
In: ASE 2016, In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ACM, Singapore, Singapore, pp. 846--851, ISBN 978-1-4503-3845-5,
DOI: 10.1145/2970276.2970292,
[Conference or Workshop Item]

Hentschel, Martin (2016):
Integrating Symbolic Execution, Debugging and Verification.
Technische Universität Darmstadt, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/5399],
[Ph.D. Thesis]

Thüm, Thomas and Winkelmann, Tim and Schröter, Reimar and Hentschel, Martin and Krüger, Stefan (2016):
Variability Hiding in Contracts for Dependent Software Product Lines.
In: VaMoS '16, In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, ACM, Salvador, Brazil, pp. 97--104, ISBN 978-1-4503-4019-9,
DOI: 10.1145/2866614.2866628,
[Conference or Workshop Item]

Hentschel, Martin and Hähnle, Reiner and Bubel, Richard Abraham, Erika and Huisman, Marieke (eds.) (2016):
Can Formal Methods Improve the Efficiency of Code Reviews?
In: Lecture Notes in Computer Science, 9681, Springer, In: Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, pp. 3-19, DOI: 10.1007/978-3-319-33693-0₁,
[Online-Edition: https://doi.org/10.1007/978-3-319-33693-0_1],
[Conference or Workshop Item]

Hentschel, Martin and Hähnle, Reiner and Bubel, Richard Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Debugging and Visualization.
In: Lecture Notes in Computer Science, In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 383-413, DOI: 10.1007/978-3-319-49812-6₁₁,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_11],
[Book Section]

Beckert, Bernhard and Hähnle, Reiner and Hentschel, Martin and Schmitt, Peter H. Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Formal Verification with KeY: A Tutorial.
In: Lecture Notes in Computer Science, In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 541-570, DOI: 10.1007/978-3-319-49812-6₁₆,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_16],
[Book Section]

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, pp. 403-413, 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, pp. 846-851, DOI: 10.1145/2970276.2970292,
[Online-Edition: http://doi.acm.org/10.1145/2970276.2970292],
[Conference or Workshop Item]

Thüm, Thomas and Meinicke, Jens and Benduhn, Fabian and Hentschel, Martin and von Rhein, Alexander and Saake, Gunter (2014):
Potential Synergies of Theorem Proving and Model Checking for Software Product Lines.
In: SPLC, In: Proceedings of the International Software Product Line Conference (SPLC), ACM, [Conference or Workshop Item]

Hentschel, Martin and Bubel, Richard and Hähnle, Reiner Bonakdarpour, Borzoo and Smolka, Scott (eds.) (2014):
Symbolic Execution Debugger (SED).
In: LNCS, In: Proceedings of Runtime Verification 2014, Springer, pp. 255--262, [Conference or Workshop Item]

Hentschel, Martin and Käsdorf, Stefan and Hähnle, Reiner and Bubel, Richard Albert, Elvira and Sekerinski, Emil and Zavattaro, Gianluigi (eds.) (2014):
An interactive verification tool meets an IDE.
In: LNCS, In: Proceedings of the 11th International Conference on Integrated Formal Methods, Springer, pp. 55--70, [Conference or Workshop Item]

Huisman, Marieke and Ahrendt, Wolfgang and Bruns, Daniel and Hentschel, Martin (2014):
Formal Specification with JML.
(2014,1), [Report]

Ahrendt, Wolfgang and Beckert, Bernhard and Bruns, Daniel and Bubel, Richard and Gladisch, Christoph and Grebing, Sarah and Hähnle, Reiner and Hentschel, Martin and Klebanov, Vladimir and Mostowski, Wojciech and Scheben, Christoph and Schmitt, Peter and Ulbrich, Mattias Giannakopoulou, Dimitra and Kroening, Daniel (eds.) (2014):
The KeY Platform for Verification and Analysis of Java Programs.
In: LNCS, In: Post-Conference Proceedings VSTTE 2014, Springer, pp. 55--71, [Conference or Workshop Item]

Hentschel, Martin and Hähnle, Reiner and Bubel, Richard Seidl, Martina and Tillmann, Nikolai (eds.) (2014):
Visualizing Unbounded Symbolic Execution.
In: LNCS, In: Proceedings of Testing and Proofs (TAP) 2014, Springer, pp. 82--98, [Conference or Workshop Item]

Hentschel, Martin and Käsdorf, Stefan and Hähnle, Reiner and Bubel, Richard Albert, Elvira and Sekerinski, Emil (eds.) (2014):
An Interactive Verification Tool Meets an IDE.
In: Lecture Notes in Computer Science, 8739, Springer, In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 55-70, DOI: 10.1007/978-3-319-10181-1₄,
[Online-Edition: https://doi.org/10.1007/978-3-319-10181-1_4],
[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: GPCE '12, In: Proceedings of the 11th International Conference on Generative Programming and Component Engineering, ACM, Dresden, Germany, pp. 11-20, ISBN 978-1-4503-1129-8,
[Conference or Workshop Item]

This list was generated on Tue Feb 18 00:40:07 2020 CET.