 | 2008 |
|---|
| 14 |       | Jürgen Becker,
Michael Hübner,
Robert Esser,
Andreas Herkersdorf,
Walter Stechele,
Vera Lauer:
Design Flows, Communication Based Design and Architectures in Automotive Electronic Systems.
DATE 2008 |
| 13 | | Juanjo Noguera,
Robert Esser,
Katarina Paulsson,
Michael Hübner,
Jürgen Becker:
Towards Novel Approaches in Design Automation for FPGA Power Optimization.
PATMOS 2008: 419-428 |
| 2005 |
|---|
| 12 | | Joseph Kuehn,
Charles Lakos,
Robert Esser:
A Proposal For Relative Time Petri Nets.
SEFM 2005: 240-249 |
| 2004 |
|---|
| 11 | | 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 | | 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 | | Yan Jin,
Robert Esser,
Charles Lakos:
Lightweight Consistency Analysis of Dataflow Process Networks.
ACSC 2003: 291-300 |
| 7 | | 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 | | Yan Jin,
Charles Lakos,
Robert Esser:
Component-Based Design and Analysis: A Case Study.
SEFM 2003: 126- |
| 2002 |
|---|
| 4 | | 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 | | Ping Gao,
Robert Esser:
Polymorphic CSP Type Checking.
ACSC 2001: 156-162 |
| 2 | | Robert Esser,
Jörn W. Janneck:
Moses - a tool suite for visual modeling of discrete-event systems.
HCC 2001: 272- |
| 1 | | Jörn W. Janneck,
Robert Esser:
A predicate-based approach to defining visual language syntax.
HCC 2001: 40-47 |
