Dr. Robert Esser

Address:

School of Computer Science
The University of Adelaide
Adelaide 5005
South Australia
Australia

Email: esser -at- ieee dot org

Since March 2006 I have taken up a position with Xilinx Research Labs.

I am a Senior Lecturer in the School of Computer Science at The University of Adelaide and a member of the Formal Modelling and Verification Group. My research interests include the specification, modelling and verification of discrete-event systems. For this purpose I developed the language and framework CodeSign that allows systems to be modelled and simulated based on object oriented time Petri nets. More recently I have been involved in the Moses project. Moses focuses on the modelling, simulation, implementation, and evaluation/verification of heterogeneous systems using multiple graphical formalisms.

The Moses Project

The Moses project focuses on the modelling, simulation, implementation, and evaluation/verification of heterogeneous systems. Moses can be obtained here.

Teaching

What I have taught and what I am currently teaching.

Honours Projects for 2006 can be found here.

Software

Well I guess this is why I'm here. All the systems are written in Java.

Publications

That I have either authored or co-authored.

I have created an applet and mobile version of my Petri Net Browser. It includes standard examples and the ability to create and simulate your own net.

Last updated

Computer Science Robert Esser