M
Michael Huth
Researcher at Imperial College London
Publications - 153
Citations - 3619
Michael Huth is an academic researcher from Imperial College London. The author has contributed to research in topics: Model checking & Abstraction model checking. The author has an hindex of 24, co-authored 153 publications receiving 3401 citations. Previous affiliations of Michael Huth include Kansas State University & University of London.
Papers
More filters
Book
Logic in Computer Science: Modelling and Reasoning about Systems
Michael Huth,Mark Ryan +1 more
TL;DR: This book provides a simple and clear presentation, covering propositional and predicate logic and some specialized logics used for reasoning about the correctness of computer systems.
Book ChapterDOI
Modal Transition Systems: A Foundation for Three-Valued Program Analysis
TL;DR: Two major applications, model checking partial state spaces and three-valued program shape analysis, are presented as evidence of the suitability of Kripke MTSs as a foundation for three- valued analyses.
Book ChapterDOI
Abstraction-Based Model Checking Using Modal Transition Systems
TL;DR: A framework for automatic program abstraction that can be used for model checking any formula of the modal mu-calculus, which can both prove and disprove any formula including arbitrarily nested path quantifiers is presented.
Proceedings ArticleDOI
Quantitative analysis and model checking
Michael Huth,Marta Kwiatkowska +1 more
TL;DR: It is established that the computation of fixed points may be restated as a conventional, and on average efficient, optimization problem in linear programming; this holds for a fragment of the modal mu-calculus which subsumes CTL.
Journal ArticleDOI
Future developments in cyber risk assessment for the internet of things
Petar Radanliev,David De Roure,Razvan Nicolescu,Michael Huth,Rafael Mantilla Montalvo,Stacy Cannady,Peter Burnap +6 more
TL;DR: The resulting new IoT MicroMort model for calculating IoT risk is tested and validated with real data from the BullGuard's IoT Scanner and the Garner report on IoT connected devices and offers a better understanding of economic impact assessment for IoT cyber risk.