2008 |
14 | EE | 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 | EE | 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 | 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 |