TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 18.

Artikel

Hentschel, Martin ; Bubel, Richard ; Hähnle, Reiner (2019)
The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more.
In: STTT, 21 (5)
doi: 10.1007/s10009-018-0490-9
Artikel, Bibliographie

Buchkapitel

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Debugging and Visualization.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_11
Buchkapitel, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Hentschel, Martin ; Schmitt, Peter H.
Hrsg.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Formal Verification with KeY: A Tutorial.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_16
Buchkapitel, Bibliographie

Konferenzveröffentlichung

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard (2016)
An Empirical Evaluation of Two User Interfaces of an Interactive Program Verifier.
Singapore, Singapore
doi: 10.1145/2970276.2970303
Konferenzveröffentlichung, Bibliographie

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard (2016)
The Interactive Verification Debugger: Effective Understanding of Interactive Proof Attempts.
Singapore, Singapore
doi: 10.1145/2970276.2970292
Konferenzveröffentlichung, Bibliographie

Thüm, Thomas ; Winkelmann, Tim ; Schröter, Reimar ; Hentschel, Martin ; Krüger, Stefan (2016)
Variability Hiding in Contracts for Dependent Software Product Lines.
Salvador, Brazil
doi: 10.1145/2866614.2866628
Konferenzveröffentlichung, Bibliographie

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Abraham, Erika ; Huisman, Marieke (2016)
Can Formal Methods Improve the Efficiency of Code Reviews?
Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings.
doi: 10.1007/978-3-319-33693-0_1
Konferenzveröffentlichung, Bibliographie

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Lo, David ; Apel, Sven ; Khurshid, Sarfraz (2016)
An empirical evaluation of two user interfaces of an interactive program verifier.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016.
doi: 10.1145/2970276.2970303
Konferenzveröffentlichung, Bibliographie

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Lo, David ; Apel, Sven ; Khurshid, Sarfraz (2016)
The interactive verification debugger: effective understanding of interactive proof attempts.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016.
doi: 10.1145/2970276.2970292
Konferenzveröffentlichung, Bibliographie

Thüm, Thomas ; Meinicke, Jens ; Benduhn, Fabian ; Hentschel, Martin ; Rhein, Alexander von ; Saake, Gunter (2014)
Potential Synergies of Theorem Proving and Model Checking for Software Product Lines.
Konferenzveröffentlichung, Bibliographie

Hentschel, Martin ; Bubel, Richard ; Hähnle, Reiner
Hrsg.: Bonakdarpour, Borzoo ; Smolka, Scott (2014)
Symbolic Execution Debugger (SED).
Konferenzveröffentlichung, Bibliographie

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Albert, Elvira ; Sekerinski, Emil ; Zavattaro, Gianluigi (2014)
An interactive verification tool meets an IDE.
Konferenzveröffentlichung, Bibliographie

Ahrendt, Wolfgang ; Beckert, Bernhard ; Bruns, Daniel ; Bubel, Richard ; Gladisch, Christoph ; Grebing, Sarah ; Hähnle, Reiner ; Hentschel, Martin ; Klebanov, Vladimir ; Mostowski, Wojciech ; Scheben, Christoph ; Schmitt, Peter ; Ulbrich, Mattias
Hrsg.: Giannakopoulou, Dimitra ; Kroening, Daniel (2014)
The KeY Platform for Verification and Analysis of Java Programs.
Konferenzveröffentlichung, Bibliographie

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Seidl, Martina ; Tillmann, Nikolai (2014)
Visualizing Unbounded Symbolic Execution.
Konferenzveröffentlichung, Bibliographie

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Albert, Elvira ; Sekerinski, Emil (2014)
An Interactive Verification Tool Meets an IDE.
Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings.
doi: 10.1007/978-3-319-10181-1_4
Konferenzveröffentlichung, Bibliographie

Thüm, Thomas ; Schaefer, Ina ; Apel, Sven ; Hentschel, Martin (2012)
Family-Based Deductive Verification of Software Product Lines.
Dresden, Germany
Konferenzveröffentlichung, Bibliographie

Report

Huisman, Marieke ; Ahrendt, Wolfgang ; Bruns, Daniel ; Hentschel, Martin (2014)
Formal Specification with JML.
Report, Bibliographie

Dissertation

Hentschel, Martin (2016)
Integrating Symbolic Execution, Debugging and Verification.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Diese Liste wurde am Tue Mar 26 03:06:47 2024 CET generiert.