Imperial College London


Faculty of EngineeringDepartment of Computing

Professor of Computer Science



+44 (0)20 7594 8355m.huth Website




431Huxley BuildingSouth Kensington Campus




Selected Publications

Journal Articles

Bruns G, Huth M, 2011, Access Control via Belnap Logic: Intuitive, Expressive, and Analyzable Policy Composition, ACM Transactions on Information and System Security, Vol:14, ISSN:1094-9224

Antonik A, Huth M, Larsen KG, et al., 2010, Modal and mixed specifications: key decision problems and their complexities, Mathematical Structures in Computer Science, Vol:20, ISSN:0960-1295, Pages:75-103

Fecher H, Huth M, Piterman N, et al., 2010, PCTL model checking of Markov chains: Truth and falsity as winning strategies in games, Performance Evaluation, Vol:67, ISSN:0166-5316, Pages:858-872


Huth M, Ryan MD, 2004, Logic in computer science - modelling and reasoning about systems (2. ed.)., Cambridge University Press


Crampton J, Huth M, 2010, An Authorization Framework Resilient to Policy Evaluation Failures, 15th European Symposium on Research in Computer Security, SPRINGER-VERLAG BERLIN, Pages:472-+, ISSN:0302-9743

Charlton N, Huth M, 2007, Hector: Software model checking with cooperating analysis plugins (Tool paper), 19th International Conference on Computer Aided Verification, SPRINGER-VERLAG BERLIN, Pages:168-+, ISSN:0302-9743

Godefroid P, Huth M, 2005, Model checking vs. generalized model checking: Semantic minimizations for temporal logics, Pages:158-167, ISSN:1043-6871

Huth M, Jagadeesan R, Schmidt DA, 2001, Modal Transition Systems: A Foundation for Three-Valued Program Analysis., Springer, Pages:155-169

Pasareanu CS, Dwyer MB, Huth M, 1999, Assume-Guarantee Model Checking of Software: A Comparative Case Study., Springer, Pages:168-183

More Publications