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
- 2024
[j41]Dominic Steinhöfel, Reiner Hähnle:
Schematic Program Proofs with Abstract Execution. J. Autom. Reason. 68(2): 7 (2024)- [j40]Reiner Hähnle, Ludovic Henrio:
Provably Fair Cooperative Scheduling. Art Sci. Eng. Program. 8(2) (2024) - [j39]Adelinde M. Uhrmacher
, Peter I. Frazier, Reiner Hähnle, Franziska Klügl, Fabian Lorig, Bertram Ludäscher, Laura Nenzi, Cristina Ruiz Martin, Bernhard Rumpe, Claudia Szabo, Gabriel A. Wainer, Pia Wilsdorf:
Context, Composition, Automation, and Communication: The C2AC Roadmap for Modeling and Simulation. ACM Trans. Model. Comput. Simul. 34(4): 23:1-23:51 (2024) - [j38]Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa:
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. ACM Trans. Program. Lang. Syst. 46(1): 3:1-3:58 (2024) - [c131]Adele Veschetti, Richard Bubel, Reiner Hähnle:
SmartML: Enhancing Security and Reliability in Smart Contract Development. DLT 2024 - [c130]Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hähnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, Alexander Weigl:
The Java Verification Tool KeY:A Tutorial. FM (2) 2024: 597-623 - [c129]Serge Demeyer, Reiner Hähnle, Heiko Mantel:
Automating Software Re-Engineering Introduction to the ISoLA 2024 Track. ISoLA (4) 2024: 23-29 - [c128]Marco Scaletta, Reiner Hähnle:
Context-Aware Contracts as a Lingua Franca for Behavioral Specification. ISoLA (3) 2024: 201-219 - [c127]Adele Veschetti, Richard Bubel, Reiner Hähnle:
A Formal Modeling Language for Smart Contracts. SEFM 2024: 89-106 - [p12]Reiner Hähnle, Eduard Kamburjan, Marco Scaletta:
Context-Aware Trace Contracts. Active Object Languages: Current Research Trends 2024: 289-322 - [e14]Frank S. de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan:
Active Object Languages: Current Research Trends. Lecture Notes in Computer Science 14360, Springer 2024, ISBN 978-3-031-51059-5 [contents] - [i15]Adele Veschetti, Richard Bubel, Reiner Hähnle:
SmartML: Towards a Modeling Language for Smart Contracts. CoRR abs/2403.06622 (2024) - [i14]Dilian Gurov, Reiner Hähnle:
An Expressive Trace Logic for Recursive Programs. CoRR abs/2411.13125 (2024) - 2023
- [j37]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini:
Variability modules. J. Syst. Softw. 195: 111510 (2023) - [c126]Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta:
Trace-based Deductive Verification. LPAR 2023: 73-95 - [c125]Reiner Hähnle, Marco Scaletta, Eduard Kamburjan:
Herding CATs. SEFM 2023: 3-8 - [i13]Reiner Hähnle, Eduard Kamburjan, Marco Scaletta:
Context-aware Trace Contracts. CoRR abs/2310.04384 (2023) - [i12]Adelinde M. Uhrmacher, Peter I. Frazier, Reiner Hähnle, Franziska Klügl, Fabian Lorig, Bertram Ludäscher, Laura Nenzi, Cristina Ruiz Martin, Bernhard Rumpe, Claudia Szabo, Gabriel A. Wainer, Pia Wilsdorf:
Context, Composition, Automation, and Communication - The C2AC Roadmap for Modeling and Simulation. CoRR abs/2310.05649 (2023) - [i11]Reiner Hähnle, Ludovic Henrio:
Provably Fair Cooperative Scheduling. CoRR abs/2312.16977 (2023) - 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 - [d9]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini:
Variability Modules for Java-like Languages (Artifact). Version 4. Zenodo, 2022 [all versions]
- [d8]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini:
Variability Modules for Java-like Languages (Artifact). Version 5. Zenodo, 2022 [all versions] - [d7]Lukas Grätz, Reiner Hähnle, Richard Bubel:
Examples For FASE NIER Paper "Finding Semantic Bugs Fast". Version 1. Zenodo, 2022 [all versions] - [d6]Lukas Grätz, Reiner Hähnle, Richard Bubel:
Examples For FASE NIER Paper "Finding Semantic Bugs Fast". Version 2. Zenodo, 2022 [all versions] - [d5]Eduard Kamburjan, Stefan Mitsch, Reiner Hähnle:
HABS Simulator Virtual Machine. Zenodo, 2022 - [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 - [d4]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini:
Variability Modules for Java-like Languages (Artifact). Version 1. Zenodo, 2021 [all versions] - [d3]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini:
Variability Modules for Java-like Languages (Artifact). Version 2. Zenodo, 2021 [all versions] - [d2]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini:
Variability Modules for Java-like Languages (Artifact). Version 3. Zenodo, 2021 [all versions] - 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] - [d1]Maya Retno Ayu Setyautami, Reiner Hähnle:
Source Code: Variability Modules for Java (VMJ). Zenodo, 2020
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]Bernhard Beckert, Reiner Hähnle:
Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings. Lecture Notes in Computer Science 4966, Springer 2008, ISBN 978-3-540-79123-2 [contents] - 2007
- [c49]Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt:
The KeY system 1.0 (Deduction Component). CADE 2007: 379-384 - [c48]Daniel Larsson, Reiner Hähnle:
Symbolic Fault Injection. VERIFY 2007 - [c47]Oleg Mürk, Daniel Larsson, Reiner Hähnle:
KeY-C: A Tool for Verification of C Programs. CADE 2007: 385-390 - [c46]Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt:
KeY: A Formal Method for Object-Oriented Systems. FMOODS 2007: 32-43 - [c45]Christian Engel, Reiner Hähnle:
Generating Unit Tests from Formal Proofs. TAP 2007: 169-188 - [p3]Reiner Hähnle:
A New Look at Formal Methods for Software Construction. The KeY Approach 2007: 1-18 - [p2]Richard Bubel, Reiner Hähnle:
Pattern-Driven Formal Specification. The KeY Approach 2007: 295-315 - [e3]Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt:
Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino. Lecture Notes in Computer Science 4334, Springer 2007, ISBN 978-3-540-68977-5 [contents] - 2006
- [j18]Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani:
Intelligent Systems and Formal Methods in Software Engineering. IEEE Intell. Syst. 21(6): 71-81 (2006) - [j17]Gérard Govaert, Reiner Hähnle, Mohamed Nadif:
Preface. Soft Comput. 10(5): 405-405 (2006) - [c44]Tobias Gedell, Reiner Hähnle:
Verification by Parallelization of Parametric Code. Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 138-159 - [c43]Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt:
Verifying Object-Oriented Programs with KeY: A Tutorial. FMCO 2006: 70-101 - [c42]Tobias Gedell, Reiner Hähnle:
Automating Verification of Loops by Parallelization. LPAR 2006: 332-346 - [c41]Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt:
Integrating Object-Oriented Design and Deductive Verification of Software. SEFM 2006: 260 - [c40]Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter:
Integration of a Security Type System into a Program Logic. TGC 2006: 116-131 - 2005
- [j16]Reiner Hähnle:
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages. Log. J. IGPL 13(4): 415-433 (2005) - [j15]Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt:
The KeY tool. Softw. Syst. Model. 4(1): 32-54 (2005) - [j14]Richard Bubel, Reiner Hähnle:
Integration of informal and formal development of object-oriented safety-critical software. Int. J. Softw. Tools Technol. Transf. 7(3): 197-211 (2005) - [c39]Reiner Hähnle, Neil V. Murray, Erik Rosenthal:
Normal Forms for Knowledge Compilation. ISMIS 2005: 304-313 - [c38]Ádám Darvas, Reiner Hähnle, David Sands:
A Theorem Proving Approach to Analysis of Secure Information Flow. SPC 2005: 193-209 - 2004
- [j13]Reiner Hähnle, Neil V. Murray, Erik Rosenthal:
Linearity and regularity with negation normal form. Theor. Comput. Sci. 328(3): 325-354 (2004) - [c37]Reiner Hähnle, Wojciech Mostowski:
Verification of Safety Properties in the Presence of Transactions. CASSIS 2004: 151-171 - [c36]Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer:
OCL and Model Driven Engineering. UML Satellite Activities 2004: 67-75 - 2003
- [c35]Reiner Hähnle, Angela Wallenburg:
Using a Software Testing Technique to Improve Theorem Proving. FATES 2003: 30-41 - [c34]Reiner Hähnle, Niklas Sörensson:
Fair Constraint Merging Tableaux in Lazy Functional Programming Style. TABLEAUX 2003: 252-256 - [c33]Richard Bubel, Reiner Hähnle:
Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System. FMICS 2003: 1-23 - 2002
- [c32]Reiner Hähnle, Kristofer Johannisson, Aarne Ranta:
An Authoring Tool for Informal and Formal Requirements Specifications. FASE 2002: 233-248 - [c31]Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt:
The KeY System: Integrating Object-Oriented Design and Formal Methods. FASE 2002: 327-330 - 2001
- [c30]Reiner Hähnle, Neil V. Murray, Erik Rosenthal:
Ordered Resolution vs. Connection Graph Resolution. IJCAR 2001: 182-194 - [c29]Reiner Hähnle:
Complexity of Many-Valued Logics. ISMVL 2001: 137-148 - [c28]Ramón Béjar, Reiner Hähnle, Felip Manyà:
A Modular Reduction of Regular Logic to Classical Logic. ISMVL 2001: 221-226 - [p1]Reiner Hähnle:
Tableaux and Related Methods. Handbook of Automated Reasoning 2001: 100-178 - 2000
- [j12]Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt:
Entwurfgesteuerte Erzeugung von OCL-Constraints. Softwaretechnik-Trends 20(3) (2000) - [c27]Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai:
Moder Generation Theorem Proving with Finite Interval Constraints. Computational Logic 2000: 285-299 - [c26]Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt:
Entwurfsmustergesteuerte Erzeugung von OCL-Constraints. GI Jahrestagung 2000: 389-404 - [c25]Bernhard Beckert, Reiner Hähnle, Felip Manyà:
The 2-SAT Problem of Regular Signed CNF Formulas. ISMVL 2000: 331-336 - [c24]Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt:
The KeY Approach: Integrating Object Oriented Design and Formal Verification. JELIA 2000: 21-36
1990 – 1999
- 1999
- [j11]Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif:
J.UCS Special Issue on Integration of Deduction Systems. J. Univers. Comput. Sci. 5(3) (1999) - [c23]Bernhard Beckert, Reiner Hähnle, Felip Manyà:
Transformations between Signed and Classical Clause Logic. ISMVL 1999: 248-255 - [c22]Reiner Hähnle, Bernhard Beckert:
Proof Confluent Tableau Calculi. TABLEAUX 1999: 34-35 - 1998
- [j10]Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt:
Integrierter Deduktiver Software-Entwurf. Künstliche Intell. 12(4): 40-41 (1998) - [j9]Bernhard Beckert, Reiner Hähnle, Gonzalo Escalada-Imaz:
Simplification of Many-Valued Logic Formulas Using Anti-Links. J. Log. Comput. 8(4): 569-587 (1998) - [j8]Reiner Hähnle:
Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. Stud Logica 61(1): 101-121 (1998) - [c21]Reiner Hähnle, Neil V. Murray, Erik Rosenthal:
Some Remarks on Completeness, Connection Graph Resolution and Link Deletion. TABLEAUX 1998: 173-186 - 1997
- [j7]Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray:
Fast Subsumption Checks Using Anti-Links. J. Autom. Reason. 18(1): 47-83 (1997) - [j6]Reiner Hähnle:
Proof theory of many-valued logic--linear optimization--logic design: connections and interactions. Soft Comput. 1(3): 107-119 (1997) - [c20]Reiner Hähnle, Neil V. Murray, Erik Rosenthal:
Completeness for Linear Regular Negation Normal Form Inference Systems. ISMIS 1997: 590-599 - [c19]Christian Pape, Reiner Hähnle:
Restart Tableaux with Selection Function. Kurt Gödel Colloquium 1997: 219-232 - [c18]Reiner Hähnle, Christian Pape:
Ordered Tableaux: Extensions and Applications. TABLEAUX 1997: 173-187 - 1996
- [j5]Reiner Hähnle:
Exploiting Data Dependencies in Many-Valued Logics. J. Appl. Non Class. Logics 6(1): 49-69 (1996) - [j4]Reiner Hähnle, Stefan Klingenbeck:
A-Ordered Tableaux. J. Log. Comput. 6(6): 819-833 (1996) - [c17]Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann:
The Tableau-based Theorem Prover 3TAP Version 4.0. CADE 1996: 303-307 - [c16]Reiner Hähnle:
Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. ISMVL 1996: 118-123 - 1995
- [c15]Bernhard Beckert, Reiner Hähnle:
Deduction by Combining Semantic Tableaux and Integer Programming. CSL 1995: 52-63 - [e2]Peter Baumgartner, Reiner Hähnle, Joachim Posegga:
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings. Lecture Notes in Computer Science 918, Springer 1995, ISBN 3-540-59338-1 [contents] - 1994
- [b2]Reiner Hähnle:
Automated deduction in multiple-valued logics. International series of monographs on computer science 10, Oxford University Press 1994, ISBN 978-0-19-853989-6, pp. I-IX, 1-172 - [j3]Reiner Hähnle:
Many-Valued Logic and Mixed Integer Programming. Ann. Math. Artif. Intell. 12(3-4): 231-263 (1994) - [j2]Reiner Hähnle, Peter H. Schmitt:
The Liberalized delta-Rule in Free Variable Semantic Tableaux. J. Autom. Reason. 13(2): 211-221 (1994) - [j1]Reiner Hähnle:
Short Conjunctive Normal Forms in Finitely Valued Logics. J. Log. Comput. 4(6): 905-927 (1994) - [c14]Stefan Klingenbeck, Reiner Hähnle:
Semantic Tableaux with Ordering Restrictions. CADE 1994: 708-722 - [c13]Reiner Hähnle, Ortrun Ibens:
Improving Temporal Logic Tableaux Using Integer Constraints. ICTL 1994: 535-539 - [c12]Reiner Hähnle:
Efficient Deduction in Many-Valued Logics. ISMVL 1994: 240-249 - [c11]Bernhard Beckert, Reiner Hähnle, Anavai Ramesh, Neil V. Murray:
On Anti-Links. LPAR 1994: 275-289 - 1993
- [b1]Reiner Hähnle:
Automated deduction in multiple-valued logics. Karlsruhe University, Germany, 1993 - [c10]Reiner Hähnle:
Short CNF in Finitely-Valued Logics. ISMIS 1993: 49-58 - [c9]Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt:
The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux. Kurt Gödel Colloquium 1993: 108-119 - [c8]Reiner Hähnle, Werner Kernig:
Verification of Switch-Level Designs with Many-Valued Logic. LPAR 1993: 158-169 - 1992
- [c7]Reiner Hähnle:
A New Translation from Deduction into Integer Programming. AISMC 1992: 262-275 - [c6]Bernhard Beckert, Reiner Hähnle:
An Improved Method for Adding Equality to Free Variable Semantic Tableaux. CADE 1992: 507-521 - [c5]Bernhard Beckert, Stefan Gerberding, Reiner Hähnle, Werner Kernig:
The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics. CADE 1992: 758-760 - [c4]Reiner Hähnle:
Analytic Tableau and Integer Programming (Extended Abstract). TABLEAUX 1992: 33-35 - [e1]Bertram Fronhöfer, Reiner Hähnle, Thomas Käufl:
Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992. 1992 [contents] - [i2]Reiner Hähnle, Bernhard Beckert, Stefan Gerberding, Werner Kernig:
The Many-Valued Theorem Prover 3TAP. IWBS Report 227 (1992) - 1991
- [c3]Reiner Hähnle:
Uniform Notation of Tableau Rules for Multiple-Valued Logics. ISMVL 1991: 238-245 - 1990
- [c2]Reiner Hähnle:
Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics. CSL 1990: 248-260 - [i1]Reiner Hähnle:
Spezifikation eines Theorembeweisers für dreiwertige First-Order Logik. IWBS Report 136 (1990)
1980 – 1989
- 1986
- [c1]Reiner Hähnle, Maritta Heisel, Wolfgang Reif, Werner Stephan:
An Interactive Verification System Based on Dynamic Logic. CADE 1986: 306-315
Coauthor Index
[c131] [c130] [c127] [i15] [c126] [c124] [c123] [c121] [d7] [d6] [i9] [c119] [e13] [j33] [j32] [c110] [j30] [c98] [j28] [j27] [c94] [c92] [c91] [c88] [c87] [p7] [p6] [p4] [e10] [j25] [c85] [c84] [c82] [c81] [c79] [c77] [c76] [c75] [c74] [c73] [c72] [c70] [c68] [c63] [c62] [c60] [c58] [c55] [c53] [c52] [c51] [c50] [p2] [j15] [j14] [c33]
Dominic Steinhöfel
aka: Dominic Scheurer
aka: Dominic Scheurer
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
