Melanie Bouroche

Monteil J, Bouroche M, Leith D.J.  2019.  L2 and L? Stability Analysis of Heterogeneous Traffic With Application to Parameter Optimization for the Control of Automated Vehicles IEEE Transactions on Control Systems Technology. 27:934-949.

Horcas J-M, Monteil J, Bouroche M, Pinto M, Fuentes L, Clarke S.  2017.  Context‐dependent reconfiguration of autonomous vehicles in mixed traffic. Journal of Software: Evolution and Process. 30

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.

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).