Harald Fecher

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2011
j18		Harald Fecher, Sharon Shoham: Local abstraction-refinement for the μ-calculus. STTT 13(4): 289-306 (2011)
	2010
j17		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
j16		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)
c14		Harald Fecher, David de Frutos-Escrig, Gerald Lüttgen, Heiko Schmidt: On the Expressiveness of Refinement Settings. FSEN 2009: 276-291
	2008
j15		Harald Fecher, Heiko Schmidt: Comparing disjunctive modal transition systems with an one-selecting variant. J. Log. Algebr. Program. 77(1-2): 20-39 (2008)
c13		Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner: Hintikka Games for PCTL on Labeled Markov Chains. QEST 2008: 169-178
c12		Harald Fecher, Sharon Shoham: State Focusing: Lazy Abstraction for the Mu-Calculus. SPIN 2008: 95-113
c11		Harald Fecher, Michael Huth: Model Checking for Action Abstraction. VMCAI 2008: 112-126
	2007
j14		Harald Fecher, Heiko Schmidt: Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems. Electr. Notes Theor. Comput. Sci. 192(1): 45-60 (2007)
c10		Harald Fecher, Immo Grabe: Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic. FSEN 2007: 1-16
c9		Harald Fecher, Sharon Shoham: Local Abstraction-Refinement for the mu-Calculus. SPIN 2007: 4-23
c8		Harald Fecher, Michael Huth: More Precise Partition Abstractions. VMCAI 2007: 167-181
	2006
j13		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)
j12		Harald Fecher, Mila E. Majster-Cederbaum: Action Refinement Applied to Late Decisions. Formal Asp. Comput. 18(2): 211-230 (2006)
c7		Harald Fecher, Michael Huth: Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise. ATVA 2006: 322-336
c6		Harald Fecher, Jens Schönborn: UML 2.0 State Machines: Complete Formal Semantics Via core state machine. FMICS/PDMC 2006: 244-260
c5		Harald Fecher, Martin Leucker, Verena Wolf: Don't Know in Probabilistic Systems. SPIN 2006: 71-88
	2005
j11		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)
j10		Harald Fecher, Martin Steffen: Characteristic mu-Calculus Formulas for Underspecified Transition Systems. Electr. Notes Theor. Comput. Sci. 128(2): 103-116 (2005)
j9		Harald Fecher: Truly Concurrent Logic via In-Between Specification. Electr. Notes Theor. Comput. Sci. 128(6): 215-230 (2005)
j8		Harald Fecher, Mila E. Majster-Cederbaum: Event Structures for Arbitrary Disruption. Fundam. Inform. 68(1-2): 103-130 (2005)
c4		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
	2004
j7		Harald Fecher: Event Structures for Interrupt Process Algebras. Electr. Notes Theor. Comput. Sci. 96: 113-127 (2004)
j6		Harald Fecher: A completed hierarchy of true concurrent equivalences. Inf. Process. Lett. 89(5): 261-265 (2004)
j5		Jinzhao Wu, Harald Fecher: Symmetric Structure in Logic Programming. J. Comput. Sci. Technol. 19(6): 803-811 (2004)
c3		Harald Fecher: The Influence of Durational Actions on Time Equivalences. FORMATS/FTRTFT 2004: 231-245
	2003
b1		Harald Fecher: Action refinement in end-based choice settings. University of Mannheim 2003, pp. 1-186
c2		Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher: Action Refinement from a Logical Point of View. VMCAI 2003: 253-267
	2002
j4		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)
j3		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)
j2		Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu: Bundle event structures: A revised cpo approach. Inf. Process. Lett. 83(1): 7-12 (2002)
c1		Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu: Action Refinement for Probabilistic Processes with True Concurrency Models. PAPM-PROBMIV 2002: 77-94
	2001
j1		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	[j11]
2	Frank S. de Boer	[j13] [j11]
3	David de Frutos-Escrig	[c14]
4	Immo Grabe	[c10]
5	Jozef Hooman	[j11]
6	Michael Huth	[j17] [j16] [c13] [c11] [c8] [c7]
7	Joost Jacob	[j11]
8	Hillel Kugler	[j11]
9	Marcel Kyas	[j13] [j11] [c4]
10	Martin Leucker	[c5]
11	Gerald Lüttgen	[c14]
12	Mila E. Majster-Cederbaum	[j12] [j8] [c2] [j4] [j3] [j2] [c1]
13	Nir Piterman	[j17] [c13]
14	Willem P. de Roever (Willem-Paul de Roever)	[j13] [c4]
15	Heiko Schmidt	[j16] [c14] [j15] [j14]
16	Jens Schönborn	[j16] [c6] [c4]
17	Sharon Shoham	[j18] [c12] [c9]
18	Martin Steffen	[j10]
19	Daniel Wagner	[j17] [c13]
20	Verena Wolf	[c5]
21	Jinzhao Wu	[j5] [j3] [j2] [c1]
22	Naijun Zhan	[c2]
23	Mark van der Zwaag	[j11]

Last update Mon May 20 13:30:07 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page