Michael Huth

	2012
75		Glenn Bruns, Philip W. L. Fong, Ida Siahaan, Michael Huth: Relationship-based access control: its expression and enforcement through hybrid logic. CODASPY 2012: 117-124
	2011
74		Jason Crampton, Michael Huth: On the Modeling and Verification of Security-Aware and Process-Aware Information Systems. Business Process Management Workshops (2) 2011: 423-434
73		Glenn Bruns, Michael Huth, Kumar Avijit: Program synthesis in administration of higher-order permissions. SACMAT 2011: 41-50
72		Michael Huth: Formal Methods and Access Control. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 494-495
71		Glenn Bruns, Michael Huth: Access control via belnap logic: Intuitive, expressive, and analyzable policy composition. ACM Trans. Inf. Syst. Secur. 14(1): 9 (2011)
70		David Nicol, Michael Huth: Message from the program chairs. Perform. Eval. 68(2): 89 (2011)
	2010
69		Jason Crampton, Michael Huth: An Authorization Framework Resilient to Policy Evaluation Failures. ESORICS 2010: 472-487
68		Jason Crampton, Michael Huth: A Framework for the Modular Specification and Orchestration of Authorization Policies. NordSec 2010: 155-170
67		Michael Huth, Nir Piterman, Daniel Wagner: p-Automata: New Foundations for Discrete-Time Probabilistic Verification. QEST 2010: 161-170
66		Jason Crampton, Michael Huth: Towards an Access-Control Framework for Countering Insider Threats. Insider Threats in Cyber Security 2010: 173-195
65		Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski: Modal and mixed specifications: key decision problems and their complexities. Mathematical Structures in Computer Science 20(1): 75-103 (2010)
64		Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner: PCTL model checking of Markov chains: Truth and falsity as winning strategies in games. Perform. Eval. 67(9): 858-872 (2010)
	2009
63		Michael Huth, Nir Piterman, Daniel Wagner: Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL. FCT 2009: 205-216
62		Mark Kattenbelt, Michael Huth: Verification and Refutation of Probabilistic Specifications via Games. FSTTCS 2009: 251-262
61		Michael Huth, Nir Piterman, Huaxin Wang: A workbench for preprocessor design and evaluation: toward benchmarks for parity games. ECEASST 23: (2009)
60		Adam Antonik, Nathaniel Charlton, Michael Huth: Polynomial-Time Under-Approximation of Winning Regions in Parity Games. Electr. Notes Theor. Comput. Sci. 225: 115-139 (2009)
59		Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: EXPTIME-complete Decision Problems for Modal and Mixed Specifications. Electr. Notes Theor. Comput. Sci. 242(1): 19-33 (2009)
58		Adam Antonik, Michael Huth: On the Complexity of Semantic Self-minimization. Electr. Notes Theor. Comput. Sci. 250(1): 3-19 (2009)
57		Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn: Refinement Sensitive Formal Semantics of State Machines With Persistent Choice. Electr. Notes Theor. Comput. Sci. 250(1): 71-86 (2009)
56		Michael Huth, Orna Grumberg: Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification. STTT 11(2): 85-94 (2009)
	2008
55		Glenn Bruns, Michael Huth: Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis. CSF 2008: 163-176
54		Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Complexity of Decision Problems for Mixed and Modal Specifications. FoSSaCS 2008: 112-126
53		Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner: Hintikka Games for PCTL on Labeled Markov Chains. QEST 2008: 169-178
52		Harald Fecher, Michael Huth: Model Checking for Action Abstraction. VMCAI 2008: 112-126
51		Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski: 20 Years of Modal and Mixed Specifications. Bulletin of the EATCS 95: 94-129 (2008)
50		Nathaniel Charlton, Michael Huth: Falsifying Safety Properties Through Games on Over-approximating Models. Electr. Notes Theor. Comput. Sci. 223: 71-86 (2008)
49		Altaf Hussain, Michael Huth: On model checking multiple hybrid views. Theor. Comput. Sci. 404(3): 186-201 (2008)
	2007
48		Orna Grumberg, Michael Huth: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings Springer 2007
47		Nathaniel Charlton, Michael Huth: Hector: Software Model Checking with Cooperating Analysis Plugins. CAV 2007: 168-172
46		Glenn Bruns, Daniel S. Dantas, Michael Huth: A simple and expressive semantic framework for policy composition in access control. FMSE 2007: 12-21
45		Harald Fecher, Michael Huth: More Precise Partition Abstractions. VMCAI 2007: 167-181
44		Michael Huth: Some current topics in model checking. STTT 9(1): 25-36 (2007)
	2006
43		Harald Fecher, Michael Huth: Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise. ATVA 2006: 322-336
42		Altaf Hussain, Michael Huth: Automata Games for Multiple-model Checking. Electr. Notes Theor. Comput. Sci. 155: 401-421 (2006)
41		Adam Antonik, Michael Huth: Efficient Patterns for Model Checking Partial State Spaces in CTL intersection LTL. Electr. Notes Theor. Comput. Sci. 158: 41-57 (2006)
40		Michael Huth: Topological Analysis of Refinement. Electr. Notes Theor. Comput. Sci. 161: 3-23 (2006)
	2005
39		Patrice Godefroid, Michael Huth: Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics. LICS 2005: 158-167
38		Michael Huth: Abstraction and Probabilities for Hybrid Logics. Electr. Notes Theor. Comput. Sci. 112: 61-76 (2005)
37		Michael Huth: Preface. Electr. Notes Theor. Comput. Sci. 128(6): 1-2 (2005)
36		Michael Huth: Refinement is complete for implementations. Formal Asp. Comput. 17(2): 113-137 (2005)
35		Michael Huth: Labelled transition systems as a Stone space. Logical Methods in Computer Science 1(1): (2005)
34		Michael Huth: On finite-state approximants for probabilistic computation tree logic. Theor. Comput. Sci. 346(1): 113-134 (2005)
	2004
33		Michael Huth, Mark Dermot Ryan: Logic in computer science - modelling and reasoning about systems (2. ed.). Cambridge University Press 2004: I-XIV, 1-427
32		Michael Huth, Altaf Hussain: On model checking multiple hybrid views. ISoLA (Preliminary proceedings) 2004: 235-242
31		Michael Huth: Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space. LICS 2004: 222-231
30		Michael Huth: An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems. Validation of Stochastic Systems 2004: 419-444
29		Michael Huth: Labelled transition systems as a Stone space CoRR abs/cs/0412063: (2004)
28		Michael Huth, Shekhar Pradhan: Consistent Partial Model Checking. Electr. Notes Theor. Comput. Sci. 73: 45-85 (2004)
27		Michael Huth, Radha Jagadeesan, David A. Schmidt: A domain equation for refinement of partial systems. Mathematical Structures in Computer Science 14(4): 469-505 (2004)
26		Michael Huth: Mathematics for the exploration of requirements. SIGCSE Bulletin 36(2): 34-39 (2004)
	2002
25		Michael Huth: Possibilistic and Probabilistic Abstraction-Based Model Checking. PAPM-PROBMIV 2002: 115-134
24		Michael Huth: Model Checking Modal Transition Systems Using Kripke Structures. VMCAI 2002: 302-316
	2001
23		Michael Huth: Secure communicating systems - design, analysis, and implementation. Cambridge University Press 2001: I-X, 1-283
22		Patrice Godefroid, Michael Huth, Radha Jagadeesan: Abstraction-Based Model Checking Using Modal Transition Systems. CONCUR 2001: 426-440
21		Michael Huth, Radha Jagadeesan, David A. Schmidt: Modal Transition Systems: A Foundation for Three-Valued Program Analysis. ESOP 2001: 155-169
20		Michael Huth, Shekhar Pradhan: Model-Checking View-Based Partial Specifications. Electr. Notes Theor. Comput. Sci. 45: 174-196 (2001)
19		Götz Alefeld, Vladik Kreinovich, Günter Mayer, Michael Huth: A Comment on the Shape of the Solution Set for Systems of Interval Linear Equations with Dependent Coefficients. Reliable Computing 7(3): 275-277 (2001)
	2000
18		Michael Huth, Mark Dermot Ryan: Logic in computer science - modelling and reasoning about systems. Cambridge University Press 2000: I-XVII, 1-387
17		Michael Huth, Achim Jung, Klaus Keimel: Linear types and approximation. Mathematical Structures in Computer Science 10(6): 719-745 (2000)
	1999
16		Michael Huth: A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems and Interval Transition Systems. FSTTCS 1999: 369-380
15		Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth: Assume-Guarantee Model Checking of Software: A Comparative Case Study. SPIN 1999: 168-183
14		Michael Huth: On the Approximation of Denotational Mu-Semantics. Applied Categorical Structures 7(1-2): 85-111 (1999)
13		Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan: Preface. Electr. Notes Theor. Comput. Sci. 22: 1-2 (1999)
	1998
12		Michael Huth, Marta Z. Kwiatkowska: Comparing CTL and PCTL on labeled Markov chains. PROCOMET 1998: 244-262
11		Michael Huth: The Interval Domain: A Matchmaker for aCTL and aPCTL. Electr. Notes Theor. Comput. Sci. 14: 134-148 (1998)
	1997
10		Reinhold Heckmann, Michael Huth: A Duality Theory for Quantitative Semantics. CSL 1997: 255-274
9		Michael Huth, Marta Z. Kwiatkowska: Quantitative Analysis and Model Checking. LICS 1997: 111-122
8		Michael Huth: A powerdomain of possibility measures. Electr. Notes Theor. Comput. Sci. 6: 191-202 (1997)
	1995
7		Michael Huth: A Maximal Monoidal Closed Category of Distributive Algebraic Domains Inf. Comput. 116(1): 10-25 (1995)
	1994
6		Michael Huth, Achim Jung, Klaus Keimel: Linear Types, Approximation, and Topology LICS 1994: 110-114
5		Michael Huth: Interaction Orders as Games. Theory and Formal Methods 1994: 21-40
4		Adrian Fiech, Michael Huth: Algebraic Domains of Natural Transformations. Theor. Comput. Sci. 136(1): 57-78 (1994)
	1993
3		Michael Huth: Linear Domains and Linear Maps. MFPS 1993: 438-453
2		Michael Huth: On the Equivalence of State-Transition Systems. Theory and Formal Methods 1993: 171-182
	1991
1		Michael Huth: Cartesian Closed Categories of Domains and the Space Proj(D). MFPS 1991: 259-271

Coauthor Index

1	Götz Alefeld	[19]
2	Adam Antonik	[41] [51] [54] [58] [59] [60] [65]
3	Kumar Avijit	[73]
4	Christel Baier	[13]
5	Glenn Bruns	[46] [55] [71] [73] [75]
6	Nathaniel Charlton	[47] [50] [60]
7	Jason Crampton	[66] [68] [69] [74]
8	Daniel S. Dantas	[46]
9	Matthew B. Dwyer	[15]
10	Harald Fecher	[43] [45] [52] [53] [57] [64]
11	Adrian Fiech	[4]
12	Philip W. L. Fong	[75]
13	Patrice Godefroid	[22] [39]
14	Orna Grumberg	[48] [56]
15	Reinhold Heckmann	[10]
16	Altaf Hussain	[32] [42] [49]
17	Radha Jagadeesan	[21] [22] [27]
18	Achim Jung	[6] [17]
19	Mark Kattenbelt	[62]
20	Klaus Keimel	[6] [17]
21	Vladik Kreinovich	[19]
22	Marta Z. Kwiatkowska	[9] [12] [13]
23	Kim Guldstrand Larsen (Kim G. Larsen)	[51] [54] [59] [65]
24	Günter Mayer	[19]
25	David Nicol	[70]
26	Ulrik Nyman (Ulrik Larsen)	[51] [54] [59] [65]
27	Corina S. Pasareanu	[15]
28	Nir Piterman	[53] [61] [63] [64] [67]
29	Shekhar Pradhan	[20] [28]
30	Mark Ryan (Mark Dermot Ryan)	[13] [18] [33]
31	David A. Schmidt	[21] [27]
32	Heiko Schmidt	[57]
33	Jens Schönborn	[57]
34	Ida Siahaan	[75]
35	Daniel Wagner	[53] [63] [64] [67]
36	Huaxin Wang	[61]
37	Andrzej Wasowski	[51] [54] [59] [65]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page