Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Esser, Robert - School of Computer Science, University of Adelaide
An Object Oriented Petri Net Language for Embedded System Design Robert Esser
Softw Syst Model (2004) A method for describing the syntax and semantics of UML statecharts
Component-based Design and Analysis: A Case Study Yan Jin Charles Lakos Robert Esser
Describing the Syntax and Semantics of UML Statecharts in a
Accepted for publication in Proceedings of the 1999 International Hardware Description Languages Conference and Exhibit (HDLCON '99).
HIGHER-ORDER MODELING AND AUTOMATED DESIGN-SPACE EXPLORATION
Exploratory Performance Evaluation using dynamic and parametric Petri nets
Polymorphic CSP Type Checking Ping Gao and Robert Esser
A Framework for Defining Domain-Specific Visual Languages Robert Esser
Modular Analysis of Dataflow Process Networks Yan Jin 1 , Robert Esser 1 , Charles Lakos 1 , and Jorn W. Janneck 2
Diss. ETH No. 11869 An Object Oriented
CodeSign: An Embedded System Design Environment Robert Esser Jurgen Teich
Using an ObjectOriented Petri Net Tool for Heterogeneous Systems Design: A Case Study
Applying an ObjectOriented Petri Net Language to Heterogeneous Systems Design
Verification of the Futurebus+ Cache Coherence protocol: A case study in model checking
Higher-order Petri net modelling { techniques and applications
