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
https://portal.mardi4nfdi.de/entity/Q2852096	2013-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q2848138	2013-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2847408	2013-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q2844828	2013-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q2844829	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
https://portal.mardi4nfdi.de/entity/Q5472886	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
https://portal.mardi4nfdi.de/entity/Q2765925	2002-01-24	Paper

Research outcomes over time

This page was built for person: Harald Fecher