Sarah-Jane Whittaker

According to our database, Sarah-Jane Whittaker authored at least 6 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

An Augmented Petri Net Model for Health-Care Protocols.

Sarah-Jane Whittaker, Karen Rudie, P. James McLellan

IEEE Trans. Autom. Control., 2015

2011

Augmenting Petri Nets to Model Health-Care Protocols.

Sarah-Jane Whittaker

PhD thesis, 2011

2010

Augmenting Petri nets to model health-care protocols.

Sarah-Jane Whittaker, Karen Rudie, P. James McLellan, Stefan Haar

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

2009

Choice-point nets: A discrete-event modelling technique for analyzing health care protocols.

Sarah-Jane Whittaker, Karen Rudie, P. James McLellan, Stefan Haar

Proceedings of the 47th Annual Allerton Conference on Communication, 2009

2008

Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems.

Sarah-Jane Whittaker, Karen Rudie

Discret. Event Dyn. Syst., 2008

Towards Incorporating Discrete-Event Systems in Secure Software Development.

Sarah-Jane Whittaker, Mohammad Zulkernine, Karen Rudie

Proceedings of the The Third International Conference on Availability, 2008