Harald Fecher

	2011
33		Harald Fecher, Sharon Shoham: Local abstraction-refinement for the μ-calculus. STTT 13(4): 289-306 (2011)
	2010
32		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
31		Harald Fecher, David de Frutos-Escrig, Gerald Lüttgen, Heiko Schmidt: On the Expressiveness of Refinement Settings. FSEN 2009: 276-291
30		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)
	2008
29		Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner: Hintikka Games for PCTL on Labeled Markov Chains. QEST 2008: 169-178
28		Harald Fecher, Sharon Shoham: State Focusing: Lazy Abstraction for the Mu-Calculus. SPIN 2008: 95-113
27		Harald Fecher, Michael Huth: Model Checking for Action Abstraction. VMCAI 2008: 112-126
26		Harald Fecher, Heiko Schmidt: Comparing disjunctive modal transition systems with an one-selecting variant. J. Log. Algebr. Program. 77(1-2): 20-39 (2008)
	2007
25		Harald Fecher, Immo Grabe: Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic. FSEN 2007: 1-16
24		Harald Fecher, Sharon Shoham: Local Abstraction-Refinement for the mu-Calculus. SPIN 2007: 4-23
23		Harald Fecher, Michael Huth: More Precise Partition Abstractions. VMCAI 2007: 167-181
22		Harald Fecher, Heiko Schmidt: Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems. Electr. Notes Theor. Comput. Sci. 192(1): 45-60 (2007)
	2006
21		Harald Fecher, Michael Huth: Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise. ATVA 2006: 322-336
20		Harald Fecher, Jens Schönborn: UML 2.0 State Machines: Complete Formal Semantics Via core state machine. FMICS/PDMC 2006: 244-260
19		Harald Fecher, Martin Leucker, Verena Wolf: Don't Know in Probabilistic Systems. SPIN 2006: 71-88
18		Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer: Compositional Operational Semantics of a UML-Kernel-Model Language. Electr. Notes Theor. Comput. Sci. 156(1): 79-96 (2006)
17		Harald Fecher, Mila E. Majster-Cederbaum: Action Refinement Applied to Late Decisions. Formal Asp. Comput. 18(2): 211-230 (2006)
	2005
16		Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever: 29 New Unclarities in the Semantics of UML 2.0 State Machines. ICFEM 2005: 52-65
15		Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler: Formalizing UML Models and OCL Constraints in PVS. Electr. Notes Theor. Comput. Sci. 115: 39-47 (2005)
14		Harald Fecher, Martin Steffen: Characteristic mu-Calculus Formulas for Underspecified Transition Systems. Electr. Notes Theor. Comput. Sci. 128(2): 103-116 (2005)
13		Harald Fecher: Truly Concurrent Logic via In-Between Specification. Electr. Notes Theor. Comput. Sci. 128(6): 215-230 (2005)
12		Harald Fecher, Mila E. Majster-Cederbaum: Event Structures for Arbitrary Disruption. Fundam. Inform. 68(1-2): 103-130 (2005)
	2004
11		Harald Fecher: The Influence of Durational Actions on Time Equivalences. FORMATS/FTRTFT 2004: 231-245
10		Harald Fecher: Event Structures for Interrupt Process Algebras. Electr. Notes Theor. Comput. Sci. 96: 113-127 (2004)
9		Harald Fecher: A completed hierarchy of true concurrent equivalences. Inf. Process. Lett. 89(5): 261-265 (2004)
8		Jinzhao Wu, Harald Fecher: Symmetric Structure in Logic Programming. J. Comput. Sci. Technol. 19(6): 803-811 (2004)
	2003
7		Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher: Action Refinement from a Logical Point of View. VMCAI 2003: 253-267
6		Harald Fecher: Action refinement in end-based choice settings. University of Mannheim 2003: 1-186
	2002
5		Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu: Action Refinement for Probabilistic Processes with True Concurrency Models. PAPM-PROBMIV 2002: 77-94
4		Harald Fecher, Mila E. Majster-Cederbaum: Taking decisions late: end-based choice combined with action refinement. Electr. Notes Theor. Comput. Sci. 70(3): 244-259 (2002)
3		Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu: Refinement of actions in a real-time process algebra with a true concurrency model. Electr. Notes Theor. Comput. Sci. 70(3): 260-280 (2002)
2		Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu: Bundle event structures: A revised cpo approach. Inf. Process. Lett. 83(1): 7-12 (2002)
	2001
1		Harald Fecher: A Real-Time Process Algebra with Open Intervals and Maximal Progress. Nord. J. Comput. 8(3): 346-365 (2001)

Coauthor Index

1	Tamarah Arons	[15]
2	Frank S. de Boer	[15] [18]
3	David de Frutos-Escrig	[31]
4	Immo Grabe	[25]
5	Jozef Hooman	[15]
6	Michael Huth	[21] [23] [27] [29] [30] [32]
7	Joost Jacob	[15]
8	Hillel Kugler	[15]
9	Marcel Kyas	[15] [16] [18]
10	Martin Leucker	[19]
11	Gerald Lüttgen	[31]
12	Mila E. Majster-Cederbaum	[2] [3] [4] [5] [7] [12] [17]
13	Nir Piterman	[29] [32]
14	Willem P. de Roever (Willem-Paul de Roever)	[16] [18]
15	Heiko Schmidt	[22] [26] [30] [31]
16	Jens Schönborn	[16] [20] [30]
17	Sharon Shoham	[24] [28] [33]
18	Martin Steffen	[14]
19	Daniel Wagner	[29] [32]
20	Verena Wolf	[19]
21	Jinzhao Wu	[2] [3] [5] [8]
22	Naijun Zhan	[7]
23	Mark van der Zwaag	[15]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page