Harald Fecher

Available identifiers

zbMath Open fecher.haraldMaRDI QIDQ1029092

List of research outcomes

Publication	Date of Publication	Type
Refinement sensitive formal semantics of state machines with persistent choice	2016-06-06	Paper
Process algebra having inherent choice: revised semantics for concurrent systems	2014-01-10	Paper
Compositional operational semantics of a UML-kernel-model language	2013-10-07	Paper
Characteristic \(\mu\)-calculus formulas for underspecified transition systems	2013-09-25	Paper
Event structures for interrupt process algebras	2013-09-09	Paper
Refinement of actions in a real-time process algebra with a true concurrency model	2013-08-19	Paper
Taking decisions late: end-based choice combined with action refinement	2013-08-19	Paper
On the expressiveness of refinement settings	2010-01-28	Paper
A completed hierarchy of true concurrent equivalences	2009-07-09	Paper
Comparing disjunctive modal transition systems with an one-selecting variant	2008-11-06	Paper
Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise	2008-09-04	Paper
Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic	2008-07-01	Paper
More Precise Partition Abstractions	2008-04-04	Paper
Model Checking for Action Abstraction	2008-04-04	Paper
Model Checking Software	2007-05-02	Paper
Action refinement applied to late decisions	2006-10-25	Paper
Event structures for arbitrary disruption	2006-06-19	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4813199	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4414393	2003-07-25	Paper
Bundle event structures: a revised cpo approach.	2003-01-21	Paper
A real-time process algebra with open intervals and maximal progress	2002-01-24	Paper

Research outcomes over time

This page was built for person: Harald Fecher