| 2005 |
|---|
| 12 | EE | Joseph Kuehn,
Charles Lakos,
Robert Esser:
A Proposal For Relative Time Petri Nets.
SEFM 2005: 240-249 |
| 2004 |
|---|
| 11 | EE | Kylie Williams,
Robert Esser:
Verification of the Futurebus+ Cache Coherence protocol: A case study in model checking.
ACSC 2004: 65-71 |
| 10 | | Yan Jin,
Charles Lakos,
Robert Esser:
Modular Consistency Analysis of Component-Based Design.
Journal of Research and Practice in Information Technology 36(3): 187-208 (2004) |
| 9 | EE | Yan Jin,
Robert Esser,
Jörn W. Janneck:
A method for describing the syntax and semantics of UML statecharts.
Software and System Modeling 3(2): 150-163 (2004) |
| 2003 |
|---|
| 8 | EE | Yan Jin,
Robert Esser,
Charles Lakos:
Lightweight Consistency Analysis of Dataflow Process Networks.
ACSC 2003: 291-300 |
| 7 | EE | Yan Jin,
Robert Esser,
Charles Lakos,
Jörn W. Janneck:
Modular Analysis of Dataflow Process Networks.
FASE 2003: 184-199 |
| 6 | | Yan Jin,
Robert Esser,
Jörn W. Janneck:
Analysis-oriented semantics definition of visual languages.
HCC 2003: 189-191 |
| 5 | EE | Yan Jin,
Charles Lakos,
Robert Esser:
Component-Based Design and Analysis: A Case Study.
SEFM 2003: 126- |
| 2002 |
|---|
| 4 | EE | Yan Jin,
Robert Esser,
Jörn W. Janneck:
Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment.
Diagrams 2002: 320-334 |
| 2001 |
|---|
| 3 | EE | Ping Gao,
Robert Esser:
Polymorphic CSP Type Checking.
ACSC 2001: 156-162 |
| 2 | EE | Robert Esser,
Jörn W. Janneck:
Moses - a tool suite for visual modeling of discrete-event systems.
HCC 2001: 272- |
| 1 | EE | Jörn W. Janneck,
Robert Esser:
A predicate-based approach to defining visual language syntax.
HCC 2001: 40-47 |
