Harald Fecher

Publication Activity (10 Years)

Years Active: 2001-2011
Publications (10 Years): 0

University of Mannheim (PHD)

Education History

University of Mannheim

PHD

Publications

Harald Fecher, Sharon Shoham
-calculus. Int. J. Softw. Tools Technol. Transf. 13 (4) (2011)
Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner
PCTL model checking of Markov chains: Truth and falsity as winning strategies in games. Perform. Evaluation 67 (9) (2010)
Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn
Refinement Sensitive Formal Semantics of State Machines With Persistent Choice. Electron. Notes Theor. Comput. Sci. 250 (1) (2009)
Harald Fecher, David de Frutos-Escrig, Gerald Lüttgen, Heiko Schmidt
On the Expressiveness of Refinement Settings. FSEN (2009)
Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner
Hintikka Games for PCTL on Labeled Markov Chains. QEST (2008)
Harald Fecher, Heiko Schmidt
Comparing disjunctive modal transition systems with an one-selecting variant. J. Log. Algebraic Methods Program. 77 (1-2) (2008)
Harald Fecher, Michael Huth
Model Checking for Action Abstraction. VMCAI (2008)
Harald Fecher, Sharon Shoham
State Focusing: Lazy Abstraction for the Mu-Calculus. SPIN (2008)
Harald Fecher, Heiko Schmidt
Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems. Electron. Notes Theor. Comput. Sci. 192 (1) (2007)
Harald Fecher, Immo Grabe
Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic. FSEN (2007)
Harald Fecher, Michael Huth
More Precise Partition Abstractions. VMCAI (2007)
Harald Fecher, Sharon Shoham
Local Abstraction-Refinement for the mu-Calculus. SPIN (2007)
Harald Fecher, Michael Huth
Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise. ATVA (2006)
Harald Fecher, Jens Schönborn
UML 2.0 State Machines: Complete Formal Semantics Via core state machine. FMICS/PDMC (2006)
Harald Fecher, Mila E. Majster-Cederbaum
Action Refinement Applied to Late Decisions. Formal Aspects Comput. 18 (2) (2006)
Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer
Compositional Operational Semantics of a UML-Kernel-Model Language. Electron. Notes Theor. Comput. Sci. 156 (1) (2006)
Harald Fecher, Martin Leucker, Verena Wolf
in Probabilistic Systems. SPIN (2006)
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)
Harald Fecher
Truly Concurrent Logic via In-Between Specification. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
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. Electron. Notes Theor. Comput. Sci. 115 (2005)
Harald Fecher, Mila E. Majster-Cederbaum
Event Structures for Arbitrary Disruption. Fundam. Informaticae 68 (1-2) (2005)
Harald Fecher
A completed hierarchy of true concurrent equivalences. Inf. Process. Lett. 89 (5) (2004)
Jinzhao Wu, Harald Fecher
Symmetric Structure in Logic Programming. J. Comput. Sci. Technol. 19 (6) (2004)
Harald Fecher
The Influence of Durational Actions on Time Equivalences. FORMATS/FTRTFT (2004)
Harald Fecher, Martin Steffen
Characteristic mu-Calculus Formulas for Underspecified Transition Systems. EXPRESS (2004)
Harald Fecher
Event Structures for Interrupt Process Algebras. EXPRESS (2003)
Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher
Action Refinement from a Logical Point of View. VMCAI (2003)
Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu
Refinement of actions in a real-time process algebra with a true concurrency model. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu
Action Refinement for Probabilistic Processes with True Concurrency Models. PAPM-PROBMIV (2002)
Harald Fecher, Mila E. Majster-Cederbaum
Taking decisions late: end-based choice combined with action refinement. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu
Bundle event structures: A revised cpo approach. Inf. Process. Lett. 83 (1) (2002)
Harald Fecher
A Real-Time Process Algebra with Open Intervals and Maximal Progress. Nord. J. Comput. 8 (3) (2001)

Harald Fecher.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Harald Fecher