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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Harald Fecher