Publications
143 results found
Huth M, Ryan M, 2005, Logic in computer science: modelling and reasoning about systems, Beijing (Chinese Language Edition), Publisher: Cambridge University Press, ISBN: 9787111160533
Godefroid P, Huth M, 2005, Model checking vs. generalized model checking: semantic minimization for temporal logics, Chicago, Twentieth Annual IEEE Symposium on Logic in Computer Science, Publisher: IEEE Computer Society Press, Pages: 158-167, ISSN: 1043-6871
Huth M, 2005, Preface (AVoCS'05), Electronic Notes in Theoretical Computer Science, Publisher: Elsevier, Pages: 1-2
Huth M, 2005, Abstraction and probabilities for hybrid logics, Electronic Notes in Theoretical Computer Science, Vol: 112, Pages: 61-76, ISSN: 1571-0661
Huth M, Ryan M, 2005, Logic in Computer Science: modelling and reasoning about systems (Chinese edition), Publisher: Cambridge University Press, ISBN: 9-787-11121397-0
Huth MRA, Jagadeesan R, Schmidt DA, 2004, A domain equation for refinement of partial systems, MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Vol: 14, Pages: 469-505, ISSN: 0960-1295
- Author Web Link
- Open Access Link
- Cite
- Citations: 15
Hussain A, Huth M, 2004, On model checking multiple hybrid views, Departmental Technical Report: 04/6, Publisher: Department of Computing, Imperial College London, 04/6
We study consistency, satis¯ability, and validity problems forcollectively model checking a set of views endowed with labelled transi-tions, hybrid constraints on states, and atomic propositions. A PTIMEalgorithm for deciding whether a set of views has a common re¯nement(consistency) is given. We prove that deciding whether a common re¯ne-ment satis¯es a formula of the hybrid mu-calculus (satis¯ability), and itsdual (validity), are EXPTIME-complete. We determine two genericallygenerated \summary" views that constitute informative and consistentcommon re¯nements and abstractions of a set of views (respectively).
Huth M, Pradhan S, 2004, Consistent partial model checking, Electronic Notes in Theoretical Computer Science, Vol: 73, Pages: 45-85, ISSN: 1571-0661
Huth M, 2004, Beyond image-finiteness: labelled transition systems as a Stone space, Los Alamitos, 19th annual IEEE symposium on logic in computer science, Turku, Finland, 2004, Publisher: IEEE Computer Soc, Pages: 222-231
Huth M, 2004, An abstraction framework for mixed non-deterministic and probabilistic systems, Publisher: Springer-Verlag, Pages: 419-444, ISBN: 9783540222651
Hussain A, Huth M, 2004, On model checking multiple hybrid views, On model checking multiple hybrid views, Publisher: University of Cyprus
Huth M, Ryan M, 2004, Logic in computer science: modelling and reasoning about systems, Publisher: Cambridge University Press, ISBN: 9780521543101
Huth M, 2004, Mathematics for the exploration of requirements, SIGCSE Bulletin, Vol: 36, Pages: 34-39, ISSN: 0097-8418
Huth M, 2004, An abstraction framework for mixed non-deterministic and probabilistic systems, Berlin, GI Dagstuhl research seminar on validation of stochastic systems, Dagstuhl Castle, Germany, 2002, Publisher: Springer-Verlag, Pages: 419-444
Huth M, Pradhan S, 2002, Lifting assertion and consistency checkers from single to multiple viewpoints, Departmental Technical Report: 02/11, Publisher: Department of Computing, Imperial College London, 02/11
Using a priority preorder on requirements or specifications,we lift established property-verification techniques of threevaluedmodel checking from single to multiple viewpoints.This lift guarantees a maximal degree of autonomy andaccountability to single views, automatically synthesizessingle-analysis results for multiple-view consistency and assertionchecking, allows the re-use of single-view technology(e.g. standard model checkers), and transforms manymeta-results (e.g. soundness of abstraction) from the singleviewto the multiple-view setting. We formulate assertionconsistencylattices as a proper denotational universe forthis lift, show that their symmetric versions are DeMorganlattices, and classify both structures through (idempotent)order-isomorphisms on (self-dual) priority preordersin the finite case. In particular, this lift generalizes Fitting’smultiple-valued semantics of modal logic in that our treatmentof negation generalizes Heyting negation beyond fullyspecified and consistent models. We compare our approachto existing work on multiple-valued model checking.
Huth M, Pradhan S, 2002, Lifting assertion and consistency checkers from single to multiple models, Lifting assertion and consistency checkers from single to multiple models
Huth M, 2002, Model checking modal transition systems using Kripke structures, Verification, model checking, and abstract interpretation: 3rd international workshop, VMCAI 2002, Venice, Italy, 21 - 22 January 2002, Publisher: Springer Verlag, Pages: 302-316
Huth M, 2002, Possibilistic and probabilistic abstraction-based model checking, London, Process algebra and probabilistic methods. performance modeling and verification: second joint international workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, 25 - 26 July 2002, Publisher: Springer, Pages: 115-134
Huth M, 2002, Model checking modal transition systems using Kripke structures (Revised papers), London, Verification, model checking, and abstract interpretation: 3rd international workshop, VMCAI 2002, Venice, Italy, 21 - 22 January 2002, Publisher: Springer, Pages: 302-316
Huth M, Pradhan S, 2001, Abstraction and refinement for model checking inconsistent systems, Publisher: University of Toronto
Huth M, 2001, Secure communicating systems: design, analysis, and implementation, Cambridge University Press, ISBN: 9780521807319
Alfeld G, Kreinovich V, Mayer G, et al., 2001, A comment on the shape of the solution set for systems of interval linear equations with dependent coefficients, Reliable Computing, Vol: 7, Pages: 275-277, ISSN: 1385-3139
Huth M, Jagadeesan R, Schmidt D, 2001, Modal transition systems: a foundation for three-valued program analysis, Berlin, Programming languages and systems, proceedings, Publisher: Springer-Verlag, Pages: 155-169
Huth M, Pradhan S, 2001, Model-checking view-based partial specifications, Electronic Notes in Theoretical Computer Science, Vol: 45, Pages: 1-23, ISSN: 1571-0661
Godefroid P, Huth M, Jagadeesan R, 2001, Abstraction-based model checking using modal transition systems, London, CONCUR 2001 - concurrency theory: 12th international conference, Aalborg, Denmark, 20 - 25 August 2001, Publisher: Springer, Pages: 426-440
Huth M, 2001, Domains of view: a foundation for specification and analysis, Boston, International symposium on domain theory; domains and processes, Publisher: Kluwer Academic 2001, Pages: 183-218
Huth M, 2001, Domains of view: a foundation for specification and analysis, Publisher: Kluwer Academic 2001, Pages: 183-218, ISBN: 9780792371434
Huth M, 2000, Logic in Computer Science: tool-based modeling and reasoning about systems, International Conference on Frontiers in Education 2000 in Kansas City, Missouri, Publisher: IEEE Education Society
Huth M, Jung A, Keimel K, 2000, Linear Types and Approximation, Mathematical Structures in Computer Science, Vol: 10, Pages: 719-745
Huth M, Ryan M, 2000, Logic in Computer Science: Modelling and reasoning about computer systems (first edition), Publisher: Cambridge University Press, ISBN: 9780521656023
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.