Harald Fecher

32 papers B 4C 1Journal 9Unranked 17
YearRankTypeTitle / Venue / Authors
2011 J jnl
Local abstraction-refinement for the
Int. J. Softw. Tools Technol. Transf.
Harald Fecher, Sharon Shoham
2010 J jnl
PCTL model checking of Markov chains: Truth and falsity as winning strategies in games.
Perform. Evaluation
Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner
2009 — conf
On the Expressiveness of Refinement Settings.
FSEN
Harald Fecher, David de Frutos-Escrig, Gerald Lüttgen, Heiko Schmidt
2008 J jnl
Comparing disjunctive modal transition systems with an one-selecting variant.
J. Log. Algebraic Methods Program.
Harald Fecher, Heiko Schmidt
2008 — conf
Hintikka Games for PCTL on Labeled Markov Chains.
QEST
Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner
2008 B conf
Model Checking for Action Abstraction.
VMCAI
Harald Fecher, Michael Huth
2008 — conf
State Focusing: Lazy Abstraction for the Mu-Calculus.
SPIN
Harald Fecher, Sharon Shoham
2007 — conf
Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic.
FSEN
Harald Fecher, Immo Grabe
2007 — conf
Local Abstraction-Refinement for the mu-Calculus.
SPIN
Harald Fecher, Sharon Shoham
2007 B conf
More Precise Partition Abstractions.
VMCAI
Harald Fecher, Michael Huth
2007 — conf
Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems.
SOS@LICS/ICALP
Harald Fecher, Heiko Schmidt
2007 — conf
Refinement Sensitive Formal Semantics of State Machines With Persistent Choice.
AVoCS
Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn
2006 J jnl
Action Refinement Applied to Late Decisions.
Formal Aspects Comput.
Harald Fecher, Mila E. Majster-Cederbaum
2006 B conf
Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise.
ATVA
Harald Fecher, Michael Huth
2006 — conf
UML 2.0 State Machines: Complete Formal Semantics Via core state machine.
FMICS/PDMC
Harald Fecher, Jens Schönborn
2005 C conf
29 New Unclarities in the Semantics of UML 2.0 State Machines.
ICFEM
Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever
2005 — conf
Compositional Operational Semantics of a UML-Kernel-Model Language.
SOS@ICALP
Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer
2005 J jnl
Event Structures for Arbitrary Disruption.
Fundam. Informaticae
Harald Fecher, Mila E. Majster-Cederbaum
2004 J jnl
A completed hierarchy of true concurrent equivalences.
Inf. Process. Lett.
Harald Fecher
2004 — conf
Characteristic mu-Calculus Formulas for Underspecified Transition Systems.
EXPRESS
Harald Fecher, Martin Steffen
2004 — conf
Formalizing UML Models and OCL Constraints in PVS.
SFEDL@ETAPS
Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler
2004 J jnl
Symmetric Structure in Logic Programming.
J. Comput. Sci. Technol.
Jinzhao Wu, Harald Fecher
2004 — conf
The Influence of Durational Actions on Time Equivalences.
FORMATS/FTRTFT
Harald Fecher
2004 — conf
Truly Concurrent Logic via In-Between Specification.
AVoCS
Harald Fecher
2003 B conf
Action Refinement from a Logical Point of View.
VMCAI
Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher
2003 — —
Action refinement in end-based choice settings.
Harald Fecher
2003 — conf
Event Structures for Interrupt Process Algebras.
EXPRESS
Harald Fecher
2002 — conf
Action Refinement for Probabilistic Processes with True Concurrency Models.
PAPM-PROBMIV
Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu
2002 J jnl
Bundle event structures: A revised cpo approach.
Inf. Process. Lett.
Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu
2002 — conf
Refinement of actions in a real-time process algebra with a true concurrency model.
Refine
Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu
2002 — conf
Taking decisions late: end-based choice combined with action refinement.
Refine
Harald Fecher, Mila E. Majster-Cederbaum
2001 J jnl
A Real-Time Process Algebra with Open Intervals and Maximal Progress.
Nord. J. Comput.
Harald Fecher