Harald Fecher

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

28EEHarald Fecher, Michael Huth, Nir Piterman, Daniel Wagner: Hintikka Games for PCTL on Labeled Markov Chains. QEST 2008: 169-178
27EEHarald Fecher, Sharon Shoham: State Focusing: Lazy Abstraction for the Mu-Calculus. SPIN 2008: 95-113
26EEHarald Fecher, Michael Huth: Model Checking for Action Abstraction. VMCAI 2008: 112-126
25EEHarald Fecher, Heiko Schmidt: Comparing disjunctive modal transition systems with an one-selecting variant. J. Log. Algebr. Program. 77(1-2): 20-39 (2008)
24EEHarald Fecher, Immo Grabe: Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic. FSEN 2007: 1-16
23EEHarald Fecher, Sharon Shoham: Local Abstraction-Refinement for the mu-Calculus. SPIN 2007: 4-23
22EEHarald Fecher, Michael Huth: More Precise Partition Abstractions. VMCAI 2007: 167-181
21EEHarald Fecher, Heiko Schmidt: Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems. Electr. Notes Theor. Comput. Sci. 192(1): 45-60 (2007)
20EEHarald Fecher, Michael Huth: Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise. ATVA 2006: 322-336
19EEHarald Fecher, Jens Schönborn: UML 2.0 State Machines: Complete Formal Semantics Via core state machine. FMICS/PDMC 2006: 244-260
18EEHarald Fecher, Martin Leucker, Verena Wolf: Don't Know in Probabilistic Systems. SPIN 2006: 71-88
17EEHarald 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)
16EEHarald Fecher, Mila E. Majster-Cederbaum: Action Refinement Applied to Late Decisions. Formal Asp. Comput. 18(2): 211-230 (2006)
15EEHarald 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
14EEMarcel 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)
13EEHarald Fecher, Martin Steffen: Characteristic mu-Calculus Formulas for Underspecified Transition Systems. Electr. Notes Theor. Comput. Sci. 128(2): 103-116 (2005)
12EEHarald Fecher: Truly Concurrent Logic via In-Between Specification. Electr. Notes Theor. Comput. Sci. 128(6): 215-230 (2005)
11EEHarald Fecher, Mila E. Majster-Cederbaum: Event Structures for Arbitrary Disruption. Fundam. Inform. 68(1-2): 103-130 (2005)
10EEHarald Fecher: The Influence of Durational Actions on Time Equivalences. FORMATS/FTRTFT 2004: 231-245
9EEHarald Fecher: Event Structures for Interrupt Process Algebras. Electr. Notes Theor. Comput. Sci. 96: 113-127 (2004)
8EEHarald Fecher: A completed hierarchy of true concurrent equivalences. Inf. Process. Lett. 89(5): 261-265 (2004)
7EEJinzhao Wu, Harald Fecher: Symmetric Structure in Logic Programming. J. Comput. Sci. Technol. 19(6): 803-811 (2004)
6EEMila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher: Action Refinement from a Logical Point of View. VMCAI 2003: 253-267
5EEHarald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu: Action Refinement for Probabilistic Processes with True Concurrency Models. PAPM-PROBMIV 2002: 77-94
4EEHarald 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): (2002)
3EEHarald Fecher, Mila E. Majster-Cederbaum: Taking decisions late: end-based choice combined with action refinement. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
2EEHarald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu: Bundle event structures: A revised cpo approach. Inf. Process. Lett. 83(1): 7-12 (2002)
1EEHarald Fecher: A Real-Time Process Algebra with Open Intervals and Maximal Progress. Nord. J. Comput. 8(3): 346-365 (2001)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)