Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDReiner Hähnle
Person information
- affiliation: Technical University of Darmstadt, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j37]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan
, Michael Lienhardt, Luca Paolini:
Variability modules. J. Syst. Softw. 195: 111510 (2023)- [c125]Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta:
Trace-based Deductive Verification. LPAR 2023: 73-95 - 2022
- [j36]Eduard Kamburjan, Stefan Mitsch, Reiner Hähnle:
A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems. Leibniz Trans. Embed. Syst. 8(2): 04:1-04:34 (2022) - [c124]Lukas Grätz, Reiner Hähnle, Richard Bubel:
Finding Semantic Bugs Fast. FASE 2022: 145-154 - [c123]Asmae Heydari Tabar, Richard Bubel, Reiner Hähnle:
Automatic Loop Invariant Generation for Data Dependence Analysis. FormaliSE@ICSE 2022: 34-45 - [c122]Serge Demeyer, Reiner Hähnle, Heiko Mantel:
Automating Software Re-engineering: Introduction to the ISoLA 2022 Track. ISoLA (2) 2022: 195-200 - [c121]Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich:
Towards a Usable and Sustainable Deductive Verification Tool. ISoLA (2) 2022: 281-300 - [p11]Reiner Hähnle:
Dijkstra's Legacy on Program Verification. Edsger Wybe Dijkstra 2022: 105-140 - [i10]Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa:
LAGC Semantics of Concurrent Programming Languages. CoRR abs/2202.12195 (2022) - [i9]Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta:
Towards Trace-based Deductive Verification (Tech Report). CoRR abs/2211.09487 (2022) - [i8]Dilian Gurov, Reiner Hähnle, Marieke Huisman, Giles Reger, Christian Lidström:
Principles of Contract Languages (Dagstuhl Seminar 22451). Dagstuhl Reports 12(11): 1-27 (2022) - 2021
- [j35]Nathan Wasser, Asmae Heydari Tabar, Reiner Hähnle:
Automated model extraction: From non-deterministic C code to active objects. Sci. Comput. Program. 204: 102597 (2021) - [j34]Reiner Hähnle, Wil M. P. van der Aalst:
Automated model analysis tools and techniques presented at FASE 2019. Int. J. Softw. Tools Technol. Transf. 23(3): 285-287 (2021) - [c120]Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel:
Certified Abstract Cost Analysis. FASE 2021: 24-45 - [c119]Marco Scaletta, Reiner Hähnle, Dominic Steinhöfel, Richard Bubel:
Delta-based verification of software product families. GPCE 2021: 69-82 - [c118]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini:
Variability modules for Java-like languages. SPLC (A) 2021: 1-12 - [c117]Maya Retno Ayu Setyautami, Reiner Hähnle:
An Architectural Pattern to Realize Multi Software Product Lines in Java. VaMoS 2021: 9:1-9:9 - 2020
- [c116]Reiner Hähnle, Anton W. Haubner, Eduard Kamburjan:
Locally Static, Globally Dynamic Session Types for Active Objects. Gabbrielli's Festschrift 2020: 1:1-1:24 - [c115]Serge Demeyer, Reiner Hähnle, Heiko Mantel:
Automating Software Re-engineering - Introduction to the ISoLA 2020 Track. ISoLA (2) 2020: 3-8 - [c114]Dilian Gurov, Reiner Hähnle, Eduard Kamburjan:
Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification. ISoLA (1) 2020: 3-21 - [c113]Reiner Hähnle, Asmae Heydari Tabar, Arya Mazaheri, Mohammad Norouzi, Dominic Steinhöfel, Felix Wolf:
Safer Parallelization. ISoLA (2) 2020: 117-137 - [p10]Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen:
Behavioral Contracts for Cooperative Scheduling. 20 Years of KeY 2020: 85-121 - [e13]Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich:
Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Lecture Notes in Computer Science 12345, Springer 2020, ISBN 978-3-030-64353-9 [contents]
2010 – 2019
- 2019
- [j33]Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel:
Verifying OpenJDK's Sort Method for Generic Collections. J. Autom. Reason. 62(1): 93-126 (2019) - [j32]Martin Hentschel, Richard Bubel, Reiner Hähnle:
The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more. Int. J. Softw. Tools Technol. Transf. 21(5): 485-513 (2019) - [c112]Dominic Steinhöfel, Reiner Hähnle:
Abstract Execution. FM 2019: 319-336 - [c111]Nathan Wasser, Asmae Heydari Tabar, Reiner Hähnle:
Modeling Non-deterministic C Code with Active Objects. FSEN 2019: 213-227 - [c110]Richard Bubel, Reiner Hähnle, Asmae Heydari Tabar:
A Program Logic for Dependence Analysis. IFM 2019: 83-100 - [c109]Stefan Dillmann, Reiner Hähnle:
Automated Planning of ETCS Tracks. RSSRail 2019: 79-90 - [c108]Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen:
Asynchronous Cooperative Contracts for Cooperative Scheduling. SEFM 2019: 48-66 - [c107]Dominic Steinhöfel, Reiner Hähnle:
The Trace Modality. DaLí 2019: 124-140 - [p9]Reiner Hähnle, Marieke Huisman:
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools. Computing and Software Science 2019: 345-373 - [e12]Reiner Hähnle, Wil M. P. van der Aalst:
Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. Lecture Notes in Computer Science 11424, Springer 2019, ISBN 978-3-030-16721-9 [contents] - [i7]Eduard Kamburjan, Stefan Mitsch, Martina Kettenbach, Reiner Hähnle:
Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects. CoRR abs/1906.05704 (2019) - 2018
- [j31]Eduard Kamburjan, Reiner Hähnle, Sebastian Schön:
Formal modeling and analysis of railway operations with active objects. Sci. Comput. Program. 166: 167-193 (2018) - [c106]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt:
Same Same But Different: Interoperability of Software Product Line Variants. Principled Software Development 2018: 99-117 - [c105]Reiner Hähnle, Bernhard Steffen:
Constraint-Based Behavioral Consistency of Evolving Software Systems. Machine Learning for Dynamic Software Analysis 2018: 205-218 - [c104]Dominic Steinhöfel, Reiner Hähnle:
Modular, Correct Compilation with Automatic Soundness Proofs. ISoLA (1) 2018: 424-447 - [c103]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt:
Interoperability of software product line variants. SPLC 2018: 264-268 - [c102]Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro:
Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. VORTEX@ECOOP/ISSTA 2018: 1-15 - [c101]Eduard Kamburjan, Reiner Hähnle:
Prototyping Formal System Models with Active Objects. ICE 2018: 52-67 - [e11]Amel Bennaceur, Reiner Hähnle, Karl Meinke:
Machine Learning for Dynamic Software Analysis: Potentials and Limits - International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers. Lecture Notes in Computer Science 11026, Springer 2018, ISBN 978-3-319-96561-1 [contents] - 2017
- [j30]Quoc Huy Do, Richard Bubel, Reiner Hähnle:
Automatic detection and demonstrator generation for information flow leaks in object-oriented programs. Comput. Secur. 67: 335-349 (2017) - [j29]Frank S. de Boer, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes, Albert Mingkun Yang:
A Survey of Active Object Languages. ACM Comput. Surv. 50(5): 76:1-76:39 (2017) - [c100]Reiner Hähnle, Marieke Huisman:
24 Challenges in Deductive Software Verification. ARCADE@CADE 2017: 37-41 - [c99]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt:
A Unified and Formal Programming Model for Deltas and Traits. FASE 2017: 424-441 - [c98]Quoc Huy Do, Richard Bubel, Reiner Hähnle:
Inferring Secrets by Guided Experiments. ICTAC 2017: 269-287 - [c97]Eduard Kamburjan, Reiner Hähnle:
Deductive Verification of Railway Operations. RSSRail 2017: 131-147 - [c96]Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. TABLEAUX 2017: 22-43 - [c95]Ferruccio Damiani, Reiner Hähnle, Michael Lienhardt:
Abstraction Refinement for the Analysis of Software Product Lines. TAP@STAF 2017: 3-20 - 2016
- [j28]Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu:
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. LNCS Trans. Found. Mastering Chang. 1: 130-156 (2016) - [j27]Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez:
A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY. Softw. Syst. Model. 15(4): 987-1012 (2016) - [c94]Reiner Hähnle, Nathan Wasser, Richard Bubel:
Array Abstraction with Symbolic Pivots. Theory and Practice of Formal Methods 2016: 104-121 - [c93]Eduard Kamburjan, Reiner Hähnle:
Uniform Modeling of Railway Operations. FTSCS 2016: 55-71 - [c92]Dominic Scheurer, Reiner Hähnle, Richard Bubel:
A General Lattice Model for Merging Symbolic Execution Branches. ICFEM 2016: 57-73 - [c91]Martin Hentschel, Reiner Hähnle, Richard Bubel:
Can Formal Methods Improve the Efficiency of Code Reviews? IFM 2016: 3-19 - [c90]Reiner Hähnle, Radu Muschevici:
Towards Incremental Validation of Railway Systems. ISoLA (2) 2016: 433-446 - [c89]Maurice H. ter Beek, Reiner Hähnle, Ina Schaefer:
Correctness-by-Construction and Post-hoc Verification: Friends or Foes? ISoLA (1) 2016: 723-729 - [c88]Martin Hentschel, Reiner Hähnle, Richard Bubel:
An empirical evaluation of two user interfaces of an interactive program verifier. ASE 2016: 403-413 - [c87]Martin Hentschel, Reiner Hähnle, Richard Bubel:
The interactive verification debugger: effective understanding of interactive proof attempts. ASE 2016: 846-851 - [c86]Maya R. A. Setyautami, Reiner Hähnle, Radu Muschevici, Ade Azurat:
A UML profile for delta-oriented programming to support software product line engineering. SPLC 2016: 45-49 - [p8]Reiner Hähnle:
Quo Vadis Formal Verification? Deductive Software Verification 2016: 1-19 - [p7]Nathan Wasser, Reiner Hähnle, Richard Bubel:
Abstract Interpretation. Deductive Software Verification 2016: 167-189 - [p6]Martin Hentschel, Reiner Hähnle, Richard Bubel:
Debugging and Visualization. Deductive Software Verification 2016: 383-413 - [p5]Bernhard Beckert, Reiner Hähnle, Martin Hentschel, Peter H. Schmitt:
Formal Verification with KeY: A Tutorial. Deductive Software Verification 2016: 541-570 - [p4]Richard Bubel, Reiner Hähnle:
KeY-Hoare. Deductive Software Verification 2016: 571-589 - [e10]Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich:
Deductive Software Verification - The KeY Book - From Theory to Practice. Lecture Notes in Computer Science 10001, Springer 2016, ISBN 978-3-319-49811-9 [contents] - [i6]Amel Bennaceur, Dimitra Giannakopoulou, Reiner Hähnle, Karl Meinke:
Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172). Dagstuhl Reports 6(4): 161-173 (2016) - 2015
- [j26]Reiner Hähnle, Einar Broch Johnsen:
Designing Resource-Aware Cloud Applications. Computer 48(6): 72-75 (2015) - [j25]Peter Y. H. Wong, Richard Bubel, Frank S. de Boer, Miguel Gómez-Zamalloa, Stijn de Gouw, Reiner Hähnle, Karl Meinke, Muddassar Azam Sindhu:
Testing abstract behavioral specifications. Int. J. Softw. Tools Technol. Transf. 17(1): 107-119 (2015) - [c85]Crystal Chang Din, Richard Bubel, Reiner Hähnle:
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS. CADE 2015: 517-526 - [c84]Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hähnle:
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case. CAV (1) 2015: 273-289 - [c83]Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen:
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. ICFEM 2015: 217-233 - [c82]Quoc Huy Do, Richard Bubel, Reiner Hähnle:
Exploit Generation for Information Flow Leaks in Object-Oriented Programs. SEC 2015: 401-415 - [c81]Richard Bubel, Crystal Chang Din, Reiner Hähnle, Keiko Nakata:
A Dynamic Logic with Traces and Coinduction. TABLEAUX 2015: 307-322 - 2014
- [j24]Bernhard Beckert, Reiner Hähnle:
Reasoning and Verification: State of the Art and Current Trends. IEEE Intell. Syst. 29(1): 20-29 (2014) - [j23]Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong:
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Serv. Oriented Comput. Appl. 8(4): 323-339 (2014) - [c80]Antonio Flores-Montoya, Reiner Hähnle:
Resource Analysis of Complex Programs with Cost Equations. APLAS 2014: 275-295 - [c79]Martin Hentschel, Stefan Käsdorf, Reiner Hähnle, Richard Bubel:
An Interactive Verification Tool Meets an IDE. IFM 2014: 55-70 - [c78]Reiner Hähnle, Einar Broch Johnsen:
Introduction to Track on Engineering Virtualized Services. ISoLA (2) 2014: 1-4 - [c77]Richard Bubel, Reiner Hähnle, Maria Pelevina:
Fully Abstract Operation Contracts. ISoLA (2) 2014: 120-134 - [c76]Martin Hentschel, Richard Bubel, Reiner Hähnle:
Symbolic Execution Debugger (SED). RV 2014: 255-262 - [c75]Richard Bubel, Antonio Flores-Montoya, Reiner Hähnle:
Analysis of Executable Software Models. SFM 2014: 1-25 - [c74]Martin Hentschel, Reiner Hähnle, Richard Bubel:
Visualizing Unbounded Symbolic Execution. TAP@STAF 2014: 82-98 - [c73]Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich:
The KeY Platform for Verification and Analysis of Java Programs. VSTTE 2014: 55-71 - [e9]Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer:
Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. Lecture Notes in Computer Science 8483, Springer 2014, ISBN 978-3-319-07316-3 [contents] - 2013
- [c72]Reiner Hähnle, Ina Schaefer, Richard Bubel:
Reuse in Software Verification by Abstract Method Calls. CADE 2013: 300-314 - [c71]Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve:
Engineering virtualized services. NordiCloud 2013: 59-63 - [c70]Ran Ji, Reiner Hähnle, Richard Bubel:
Program Transformation Based on Symbolic Execution and Deduction. SEFM 2013: 289-304 - [e8]Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue:
Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures. Lecture Notes in Computer Science 7866, Springer 2013, ISBN 978-3-642-40614-0 [contents] - [i5]Nikolaj S. Bjørner, Reiner Hähnle, Tobias Nipkow, Christoph Weidenbach:
Deduction and Arithmetic (Dagstuhl Seminar 13411). Dagstuhl Reports 3(10): 1-24 (2013) - 2012
- [c69]Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Peter Y. H. Wong:
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. ESOCC 2012: 91-106 - [c68]Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez:
Verified Resource Guarantees for Heap Manipulating Programs. FASE 2012: 130-145 - [c67]Reiner Hähnle:
The Abstract Behavioral Specification Language: A Tutorial Introduction. FMCO 2012: 1-37 - [c66]Reiner Hähnle, Ina Schaefer:
Adaptable and Evolving Software for Eternal Systems - (Track Summary). ISoLA (1) 2012: 1-3 - [c65]Reiner Hähnle, Ina Schaefer:
A Liskov Principle for Delta-Oriented Programming. ISoLA (1) 2012: 32-46 - [e7]Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers. Communications in Computer and Information Science 336, Springer 2012, ISBN 978-3-642-34780-1 [contents] - 2011
- [j22]Ina Schaefer, Reiner Hähnle:
Formal Methods in Software Product Line Engineering. Computer 44(2): 82-85 (2011) - [j21]Jürgen Giesl, Reiner Hähnle:
Preface: Special Issue of Selected Extended Papers of IJCAR 2010. J. Autom. Reason. 47(4): 337-339 (2011) - [c64]Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong:
HATS Abstract Behavioral Specification: The Architectural View. FMCO 2011: 109-132 - [c63]Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez:
Verified resource guarantees using COSTA and KeY. PEPM 2011: 73-76 - [c62]Richard Bubel, Reiner Hähnle, Ulrich Geilmann:
A Formalisation of Java Strings for Program Specification and Verification. SEFM 2011: 90-105 - [c61]Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong:
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. SFM 2011: 417-457 - 2010
- [j20]Bernhard Beckert, Reiner Hähnle:
Tests and Proofs - Preface of the Special Issue. J. Autom. Reason. 45(4): 327-329 (2010) - [c60]Richard Bubel, Reiner Hähnle, Ran Ji:
Program Specialization via a Software Verification Tool. FMCO 2010: 80-101 - [c59]Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen:
ABS: A Core Language for Abstract Behavioral Specification. FMCO 2010: 142-164 - [c58]Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel:
Specifying Imperative ML-Like Programs Using Dynamic Logic. FoVeOOS 2010: 122-137 - [c57]Reiner Hähnle:
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods. ISoLA (2) 2010: 3-8 - [c56]Reiner Hähnle:
Task Forces in the EternalS Coordination Action. ISoLA (2) 2010: 20-22 - [c55]Reiner Hähnle, Marcus Baum, Richard Bubel, Marcel Rothe:
A visual interactive debugger based on symbolic execution. ASE 2010: 143-146 - [c54]Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong:
HATS - A Formal Software Product Line Engineering Methodology. SPLC Workshops 2010: 121-128 - [e6]Jürgen Giesl, Reiner Hähnle:
Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Lecture Notes in Computer Science 6173, Springer 2010, ISBN 978-3-642-14202-4 [contents]
2000 – 2009
- 2009
- [c53]Richard Bubel, Reiner Hähnle, Ran Ji:
Interleaving Symbolic Execution and Partial Evaluation. FMCO 2009: 125-146 - [c52]Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle:
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. TFM 2009: 125-143 - [e5]Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow:
Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009. Dagstuhl Seminar Proceedings 09411, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [i4]Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow:
09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction. Interaction versus Automation: The two Faces of Deduction 2009 - [i3]Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow:
09411 Executive Summary - Interaction versus Automation: The two Faces of Deductions. Interaction versus Automation: The two Faces of Deduction 2009 - 2008
- [j19]Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter:
Integration of a security type system into a program logic. Theor. Comput. Sci. 402(2-3): 172-189 (2008) - [c51]Richard Bubel, Reiner Hähnle, Peter H. Schmitt:
Specification Predicates with Explicit Dependency Information. VERIFY 2008 - [c50]Richard Bubel, Reiner Hähnle, Benjamin Weiß:
Abstract Interpretation of Symbolic Execution with Explicit State Updates. FMCO 2008: 247-277 - [e4]