Melanie Bouroche

Monteil J., OHara N., Cahill V, Bouroche M.  2015.  Real-Time Estimation of Drivers' Behaviour. 2015 IEEE 18th International Conference on Intelligent Transportation Systems.

OHara N., Slot M., Monteil J., Cahill V, Bouroche M.  2015.  Towards Evaluating the Benefits of Inter-vehicle Coordination. 2015 IEEE 18th International Conference on Intelligent Transportation Systems.

Asplund M, Manzoor A, Bouroche M, Clarke S, Cahill V.  2012.  A Formal Approach to Autonomous Vehicle Coordination. 18th International Symposium on Formal Methods (FM)18th International Symposium on Formal Methods (FM).

O’Hara N, Slot M, Marinescu D, Curn J, Yang D, Asplund M, Bouroche M, Clarke S, Cahill V.  2012.  Mddsvsim: An integrated traffic simulation platform for autonomous vehicle research. First International Workshop on Vehicular Tra c Management for Smart Cities (VTM 2012).

Manzoor A, Asplund M, Bouroche M, Clarke S, Cahill V.  2012.  Trust evaluation for participatory sensing. 9th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services9th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services.

Sin MLeng, Bouroche M, Cahill V.  2011.  Scheduling of Dynamic Participants in Real-Time Distributed Systems. 30th IEEE Symposium on Reliable Distributed Systems30th IEEE Symposium on Reliable Distributed Systems.

Bhandal C, Bouroche M, Hughes A.  2011.  An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker. Embedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference onEmbedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference on.

Tennina S, Bouroche M, Braga P, Gomes R, Alves M, Mirza F, Ciriello V, Carrozza G, Oliveira P, Cahill V.  2011.  EMMON: A WSN System Architecture for Large Scale and Dense Real-Time Embedded Monitoring. 2011 IFIP Ninth International Conference on Embedded and Ubiquitous Computing2011 IFIP Ninth International Conference on Embedded and Ubiquitous Computing.

Bhandal C, Bouroche M, Hughes A.  2011.  A process algebraic description of a temporal wireless network protocol. Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems (FMIS 2011).