Hahnle, Reiner.
Overview
| Works: | 4 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Machine learning for dynamic software analysispotentials and limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016 : revised papers /
by:
Bennaceur, Amel.; Hahnle, Reiner.; Meinke, Karl.; SpringerLink (Online service)
(Electronic resources)
Tests and proofssecond international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings /
by:
(1998 :); Beckert, Bernhard.; Hahnle, Reiner.; SpringerLink (Online service)
(Electronic resources)
Fundamental approaches to software engineering22nd 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 /
by:
(1998 :); Aalst, Wil van der.; Hahnle, Reiner.; SpringerLink (Online service)
(Electronic resources)
Leveraging applications of formal methods, verification, and validationinternational workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers /
by:
Hahnle, Reiner.; SpringerLink (Online service)
(Electronic resources)
Automated reasoning5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings /
by:
(1998 :); Giesl, Jurgen.; Hahnle, Reiner.; SpringerLink (Online service)
(Electronic resources)
Verification of Object-Oriented Software. The KeY Approach :Foreword by K. Rustan M. Leino /
by:
Beckert, Bernhard.; Hahnle, Reiner.; Schmitt, Peter H..
(Electronic resources)
Subjects
Software engineering
Artificial intelligence
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Mathematics of Computing.
Pattern Recognition.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics)
Computer software
Automatic theorem proving
Computation by Abstract Devices.
Computer Science
Computer logic
Logic Design.
Information Storage and Retrieval.
Programming Languages, Compilers, Interpreters.
Programming Languages, Compilers, Interpreters
Data Mining and Knowledge Discovery.
Logic design
Computer science
Mathematical Logic and Formal Languages
Machine learning
The Computing Profession.
Computer Science.
Computer Communication Networks.
Computers and Society.
System Performance and Evaluation.
Discrete Mathematics in Computer Science.
Simulation and Modeling.
Logics and Meanings of Programs
Software Engineering
Intelligent agents (Computer software)