Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Lehmann, Helko"'
Autor:
Lehmann, Helko, Leuschel, Michael
In this paper we discuss the similarities between program specialisation and inductive theorem proving, and then show how program specialisation can be used to perform inductive theorem proving. We then study this relationship in more detail for a pa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1a89df38a721189b201b579cb793f4bf
https://eprints.soton.ac.uk/259490/
https://eprints.soton.ac.uk/259490/
Autor:
Lehmann, Helko, Leuschel, Michael
Ecce is a partial deduction system which can be used to automatically generate abstractions for the model checking of many infinite state systems. We show that to verify the abstractions generated by Ecce we may employ the proof assistant Isabelle. T
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______348::ce5b733ce88632c4ced218c18ae37196
https://eprints.soton.ac.uk/257670/
https://eprints.soton.ac.uk/257670/
Autor:
Lehmann, Helko
We investigate the possibilities for automatic reasoning about action and change in the Fluent Calculus. To this end, by relating reasoning about action and change in the Fluent Calculus to model checking of dynamic systems, we pursue a systematic ap
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______348::0ecf5cf27c74f1d6d7da54fbe4d60cde
https://eprints.soton.ac.uk/464720/
https://eprints.soton.ac.uk/464720/
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kutra, Dominik, Saalbach, Axel, Lehmann, Helko, Groth, Alexandra, Dries, Sebastian P. M., Krueger, Martin W., Dössel, Olaf, Weese, Jürgen
Publikováno v:
Medical Image Computing & Computer-Assisted Intervention - MICCAI 2012 (9783642334177); 2012, p1-8, 8p
Autor:
Weese, Jürgen, Peters, Jochen, Meyer, Carsten, Wächter, Irina, Kneser, Reinhard, Lehmann, Helko, Ecabert, Olivier, Barschdorf, Hans, Hanna, Raghed, Weber, Frank M., Dössel, Olaf, Lorenz, Cristian
Publikováno v:
Statistical Atlases & Computational Models of the Heart; 2010, p25-35, 11p
Publikováno v:
Proceedings of SPIE; Nov2009 Part 2, Issue 1, p72601D-72601D-9, 9p
Autor:
Lehmann, Helko, Kneser, Reinhard, Neizel, Mirja, Peters, Jochen, Ecabert, Olivier, Kühl, Harald, Kelm, Malte, Weese, Jürgen
Publikováno v:
Functional Imaging & Modeling of the Heart (9783642019319); 2009, p312-320, 9p
Publikováno v:
Proceedings of SPIE; Nov2007, Issue 1, p65091Z-65091Z-11, 11p
Publikováno v:
Proceedings of SPIE; Nov2006, Issue 1, p614109-614109-12, 12p