Meetings
In 2011 the Computer Systems Engineering Centre will hold meetings every week, on Wednesdays at 4:00pm.
These meetings are held at the Mawson Lakes campus of UniSA and provide a forum for research students to discuss ideas, present their work, gain presentation skills and obtain feedback from the group.
Below is a preliminary schedule of talks for the first half of 2011.
| Date | Speaker and Topic | Time |
|---|---|---|
| 2nd March | Sonya Arnold: HTTP CPN Model | 4:00-5:30pm |
| 9th March | Sonya Arnold: HTTP CPN Model - continued | 4:00-5:30pm |
| 16th March | Amar Kumar Gupta: A Symmetry Specification for the Contract-Net Protocol CPN model | 4:00-5:30pm |
| 23rd March | Guy Gallasch: CPN Modelling of Railway Signalling - Evolution of Models | 4:00-5:30pm |
| 30th March | Abhishek Singh | 4:00-5:30pm |
| 6th April | Break | |
| 13th April | Break | |
| 20th April | Jonathan Billington: Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network (ICFEM 2010 paper) | 4:00-5:30pm |
| 27th April | Sonya Arnold: HTTP CPN model - Analysis Results | 4:00-5:30pm |
| 4th May | Amar Kumar Gupta: Parametric Symmetric Reachability Graph of the Contract-Net Protocol CPN model | 4:00-5:30pm |
| 11th May | Guy Gallasch: Parametric Verification of the Stop-and-Wait Protocol with Data and Failure Notification | 4:00-5:30pm |
| 18th May | Abhishek Singh | 4:00-5:30pm |
| 25th May | Jonathan Billington: Stationary Probabilities of a Fork-Join GSPN - A General Form for the Solutions | 4:00-5:30pm |
| 1st June | Sonya Arnold: HTTP CPN modelling | 4:00-5:30pm |
| 8th June | Amar Kumar Gupta: Parametric Reachability Analysis of the Contract-Net Protocol | 4:00-5:30pm |
| 15th June | Lin Liu: Security Aspects of the Session Initiation Protocol (SIP)/Voice over IP (VOIP) | 4:00-5:30pm |