Harald Fecher

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Refinement sensitive formal semantics of state machines with persistent choice Electronic Notes in Theoretical Computer Science	2016-06-06	Paper
Process algebra having inherent choice: revised semantics for concurrent systems Electronic Notes in Theoretical Computer Science	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 Fundamentals of Software Engineering	2010-01-28	Paper
A completed hierarchy of true concurrent equivalences Information Processing Letters	2009-07-09	Paper
Comparing disjunctive modal transition systems with an one-selecting variant The Journal of Logic and Algebraic Programming	2008-11-06	Paper
Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise Automated Technology for Verification and Analysis	2008-09-04	Paper
Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic Lecture Notes in Computer Science	2008-07-01	Paper
More Precise Partition Abstractions Lecture Notes in Computer Science	2008-04-04	Paper
Model Checking for Action Abstraction Lecture Notes in Computer Science	2008-04-04	Paper
Model Checking Software Lecture Notes in Computer Science	2007-05-02	Paper
Action refinement applied to late decisions Formal Aspects of Computing	2006-10-25	Paper
Event structures for arbitrary disruption	2006-06-19	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Lecture Notes in Computer Science	2005-08-19	Paper
scientific article; zbMATH DE number 2090704 (Why is no real title available?)	2004-08-13	Paper
scientific article; zbMATH DE number 1953035 (Why is no real title available?)	2003-07-25	Paper
Bundle event structures: a revised cpo approach. Information Processing Letters	2003-01-21	Paper
A real-time process algebra with open intervals and maximal progress Nordic Journal of Computing	2002-01-24	Paper

Research outcomes over time

This page was built for person: Harald Fecher