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
Books
Huth, M., Ryan, M., 2004, Logic in computer science: modelling and reasoning about systems, Cambridge University Press, ISBN:9780521543101
Conference
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