Michael Huth

Michael Huth

Imperial College London - London / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 1147508
person_outline Michael Huth's MOST POPULAR ARTICLES
1-) Modal transition systems: A foundation for three-valued program analysis Programming Languages and Systems: 10th European Symposium on Programming …, 2001
2-) Abstraction-based model checking using modal transition systems International conference on concurrency theory, 426-440, 2001
3-) Quantitative analysis and model checking Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997
4-) Assume-guarantee model checking of software: A comparative case study International SPIN Workshop on Model Checking of Software, 168-183, 1999
5-) A simple and expressive semantic framework for policy composition in access control Proceedings of the 2007 ACM workshop on Formal methods in security …, 2007