Harald Fecher
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2003–2008
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | VMCAI | Model Checking for Action Abstraction. | Harald Fecher, Michael Huth |
| 2007 | VMCAI | More Precise Partition Abstractions. | Harald Fecher, Michael Huth |
| 2006 | ATVA | Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise. | Harald Fecher, Michael Huth |
| 2006 | FMICS | UML 2.0 State Machines: Complete Formal Semantics Via core state machine. | Harald Fecher, Jens Schnborn |
| 2005 | ICFEM | 29 New Unclarities in the Semantics of UML 2.0 State Machines. | Harald Fecher, Jens Schnborn, Marcel Kyas, Willem P. de Roever |
| 2003 | VMCAI | Action Refinement from a Logical Point of View. | Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher |