Robert Esser
According to our database1,
Robert Esser
authored at least 17 papers
between 2001 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2009
Proceedings of the Global Communications Conference, 2009. GLOBECOM 2009, Honolulu, Hawaii, USA, 30 November, 2009
Proceedings of the FCCM 2009, 2009
2008
Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2008
Design Flows, Communication Based Design and Architectures in Automotive Electronic Systems.
Proceedings of the Design, Automation and Test in Europe, 2008
2005
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
2004
Softw. Syst. Model., 2004
Modular Consistency Analysis of Component-Based Design.
J. Res. Pract. Inf. Technol., 2004
Verification of the Futurebus+ Cache Coherence protocol: A case study in model checking.
Proceedings of the Computer Science 2004, 2004
2003
Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003
Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003
Proceedings of the Fundamental Approaches to Software Engineering, 2003
Proceedings of the Computer Science 2003, 2003
2002
Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment.
Proceedings of the Diagrammatic Representation and Inference, 2002
2001
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001
Proceedings of the 24th Australasian Computer Science Conference (ACSC 2001), 29 January, 2001