Imperial College London

ProfessorMichaelHuth

Faculty of EngineeringDepartment of Computing

Professor of Computer Science
 
 
 
//

Contact

 

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

 
 
//

Location

 

431Huxley BuildingSouth Kensington Campus

//

Summary

 

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

Books

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

Conference

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