Imperial College London


Faculty of EngineeringDepartment of Computing

Head of the Department of Computing



m.huth Website




Huxley 566Huxley 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

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, Pages:75-103

Wagner D, Piterman N, Huth M, et al., 2009, 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, M., 2004, Logic in computer science: modelling and reasoning about systems, Cambridge University Press, ISBN:9780521543101


Crampton J, Huth M, 2010, An Authorization Framework Resilient to Policy Evaluation Failures, 15th European Symposium on Research in Computer Security (ESORICS 2010), Springer Verlag, Pages:472-487

Charlton N, Huth M, 2007, Hector: software model checking with cooperating analysis plugins, Computer Aided Verification (CAV 2007), Springer

Godefroid, P., Huth, M., 2005, Model checking vs. generalized model checking: semantic minimization for temporal logics, Twentieth Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, Chicago, Pages:158-167, ISSN:1043-6871

Huth, M., Jagadeesan, R., Schmidt, D., 2001, Modal transition systems: a foundation for three-valued program analysis, Programming languages and systems, proceedings, Springer-Verlag, Berlin, Pages:155-169

Pasareanu C, Dwyer M, Huth M, 1999, Assume-Guarantee Model Checking of Software: A Comparative Case Study, 6th International SPIN Workshop on Practical Aspects of Model Checking, Springer Verlag, Pages:168-183

More Publications