04
Aug
|
|
|
28
July
|
|
|
21
July
|
Sue
Tyerman |
Control
Data Flow Graphs - MP3 Decoder |
14
July
|
|
General
discussion |
07
July
|
Dr
Rob Esser
|
A
Visual
Syntax for the Cal Actor Language
|
30
June
|
|
General
discussion |
23
June
|
Joseph
Kuehn |
|
16
June
|
|
General
discussion |
09
June
|
Sue
Tyerman |
Control
Data
Flow Graphs - Enabling Vertices |
02
June
|
Nikolay
Stoimenov |
Investigating
a Finite-State Machine Notation for Discrete-Event Systems |
26
May
|
Dr
David Hemer |
A
Formal
Approach to Component Adaptation and Composition |
19
May
|
Joseph
Kuehn |
Possible
Improvements for Modular Relative Time Petri Nets (or: rooting for the
underdog) |
12
May
|
Dr
Charles Lakos
|
A
Petri Net
View of Mobility |
05
May
|
Kylie
Williams |
Temporal
Logic in Rosetta |
28
Apr
|
Sue
Tyerman |
Control
Data
Flow Graphs: More work on the definitions |
21
Apr
|
New
Honours and Masters Students
|
Benny
Thomas
- "Application specific techniques for adaptation and retrieval
of trusted components"
Philip Benjamin - "Hazard Management for Safety Critical Systems"
|
14
Apr
|
David
Knight
|
Component
Based Software |
31
Mar
|
|
General
discussion
|
24
Mar
|
Joseph
Kuehn
|
Modular
Relative Time Petri Nets: how to avoid being ticked by tocks |
17
Mar
|
|
Postponed
due
to flooding of School
|
10
Mar
|
Sue
Tyerman
|
An
experiment
using Design/CPN |
03
Mar
|
Dr
David Hemer
|
ACSW
2005 |
24
Feb
|
Nikolay
Stoimenov
|
Summary
of
Formal Methods Summer School |
15
Feb
|
Sarah
Hickmott
|
An
Introduction to Markov Decision Processes |
08
Feb
|
Kylie
Williams
|
Temporal
Logic & Rosetta |
