Harald Fecher

According to our database, Harald Fecher authored at least 33 papers between 2001 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

Local abstraction-refinement for the <i>μ</i>-calculus.

Harald Fecher, Sharon Shoham

Int. J. Softw. Tools Technol. Transf., 2011

2010

PCTL model checking of Markov chains: Truth and falsity as winning strategies in games.

Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner

Perform. Evaluation, 2010

2009

On the Expressiveness of Refinement Settings.

Harald Fecher, David de Frutos-Escrig, Gerald Lüttgen, Heiko Schmidt

Proceedings of the Fundamentals of Software Engineering, 2009

2008

Comparing disjunctive modal transition systems with an one-selecting variant.

Harald Fecher, Heiko Schmidt

J. Log. Algebraic Methods Program., 2008

Model Checking for Action Abstraction.

Harald Fecher, Michael Huth

Proceedings of the Verification, 2008

State Focusing: Lazy Abstraction for the Mu-Calculus.

Harald Fecher, Sharon Shoham

Proceedings of the Model Checking Software, 2008

Hintikka Games for PCTL on Labeled Markov Chains.

Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2007

Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems.

Harald Fecher, Heiko Schmidt

Proceedings of the Fourth Workshop on Structural Operational Semantics, 2007

Refinement Sensitive Formal Semantics of State Machines With Persistent Choice.

Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn

Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007

More Precise Partition Abstractions.

Harald Fecher, Michael Huth

Proceedings of the Verification, 2007

Local Abstraction-Refinement for the mu-Calculus.

Harald Fecher, Sharon Shoham

Proceedings of the Model Checking Software, 2007

Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic.

Harald Fecher, Immo Grabe

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

2006

Action Refinement Applied to Late Decisions.

Harald Fecher, Mila E. Majster-Cederbaum

Formal Aspects Comput., 2006

<i>Don't Know</i> in Probabilistic Systems.

Harald Fecher, Martin Leucker, Verena Wolf

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

UML 2.0 State Machines: Complete Formal Semantics Via core state machine.

Harald Fecher, Jens Schönborn

Proceedings of the Formal Methods: Applications and Technology, 2006

Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise.

Harald Fecher, Michael Huth

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Event Structures for Arbitrary Disruption.

Harald Fecher, Mila E. Majster-Cederbaum

Fundam. Informaticae, 2005

Compositional Operational Semantics of a UML-Kernel-Model Language.

Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer

Proceedings of the Second Workshop on Structural Operational Semantics, 2005

29 New Unclarities in the Semantics of UML 2.0 State Machines.

Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever

Proceedings of the Formal Methods and Software Engineering, 2005

2004

Symmetric Structure in Logic Programming.

Jinzhao Wu, Harald Fecher

J. Comput. Sci. Technol., 2004

A completed hierarchy of true concurrent equivalences.

Harald Fecher

Inf. Process. Lett., 2004

Formalizing UML Models and OCL Constraints in PVS.

Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler

Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004

Characteristic mu-Calculus Formulas for Underspecified Transition Systems.

Harald Fecher, Martin Steffen

Proceedings of the 11th International Workshop on Expressiveness in Concurrency, 2004

Truly Concurrent Logic via In-Between Specification.

Harald Fecher

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

The Influence of Durational Actions on Time Equivalences.

Harald Fecher

Proceedings of the Formal Techniques, 2004

2003

Action refinement in end-based choice settings.

Harald Fecher

PhD thesis, 2003

Event Structures for Interrupt Process Algebras.

Harald Fecher

Proceedings of the 10th International Workshop on Expressiveness in Concurrency, 2003

Action Refinement from a Logical Point of View.

Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher

Proceedings of the Verification, 2003

2002

Bundle event structures: A revised cpo approach.

Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu

Inf. Process. Lett., 2002

Refinement of actions in a real-time process algebra with a true concurrency model.

Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

Taking decisions late: end-based choice combined with action refinement.

Harald Fecher, Mila E. Majster-Cederbaum

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

Action Refinement for Probabilistic Processes with True Concurrency Models.

Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu

Proceedings of the Process Algebra and Probabilistic Methods, 2002

2001

A Real-Time Process Algebra with Open Intervals and Maximal Progress.

Harald Fecher

Nord. J. Comput., 2001