Browse by Research Project Code

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0

Sevegnani, M. and Calder, M. (2016) BigraphER: rewriting and analysis engine for bigraphs. In: CAV 2016: 28th International Conference on Computer Aided Verification, Toronto, Canada, 17-23 Jul 2016, pp. 494-501. ISBN 9783319415390 (doi:10.1007/978-3-319-41540-6_27)

Sevegnani, M. and Calder, M. (2015) Bigraphs with sharing. Theoretical Computer Science, 577, pp. 43-73. (doi:10.1016/j.tcs.2015.02.011)

Calder, M. and Sevegnani, M. (2014) Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. Formal Aspects of Computing, 26(3), pp. 537-561. (doi:10.1007/s00165-012-0270-3)

Calder, M. , Koliousis, A., Sevegnani, M. and Sventek, J. (2014) Real-time verification of wireless home networks using bigraphs with sharing. Science of Computer Programming, 80(B), pp. 288-310. (doi:10.1016/j.scico.2013.08.004)

Koliousis, A. and Sventek, J. (2012) DEBS Grand Challenge: Glasgow Automata Illustrated. In: 6th ACM International Conference on Distributed Event-Based Systems, Freie Universitaet Berlin, Berlin, Germany, 16-20 Jul 2012, ISBN 9781450313155 (doi:10.1145/2335484.2335522)

Mortier, R., Rodden, T., Lodge, T., McAuley, D., Rotsos, C., Moore, A.W., Koliousis, A. and Sventek, J. (2012) Control and Understanding: Owning Your Home Network. In: Comsnets 2012 - 4th International Conference on Communication Systems and Networks, Chancery Pavillion Hotel, Bangalore, India, 3-7 Jan 2012, ISBN 9781467302982 (doi:10.1109/COMSNETS.2012.6151322)

Calder, M. and Sevegnani, M. (2012) Process algebra for event-driven runtime verification: a case study of wireless network management. Lecture Notes in Computer Science, 7321(2012), pp. 21-23. (doi:10.1007/978-3-642-30729-4)

Sventek, J. and Koliousis, A. (2012) Unification of publish/subscribe systems and stream databases: the impact on complex event processing. Lecture Notes in Computer Science, 7662, pp. 292-311. (doi:10.1007/978-3-642-35170-9_15)

Mortier, R., Rodden, T., Tolmie, P., Lodge, T., Spencer, R., Crabtree, A., Koliousis, A. and Sventek, J. (2012) Homework: Putting Interaction into the Infrastructure. In: Symposium on User Interface Software and Technology, Cambridge, MA, USA, 7-10 Oct 2012, ISBN 9781450315807 (doi:10.1145/2380116.2380143)

Mortier, R., Bedwell, B., Glover, K., Lodge, T., Rodden, T., Rotsos, C., Moore, A., Koliousis, A. and Sventek, J. (2011) Supporting novel home network management interfaces with Openflow and NOX. In: SIGCOMM 2011, Toronto, Ontario, Canada, 15-19 Aug 2011,

Sventek, J. et al. (2011) An information plane architecture supporting home network management. In: 12th IFIP/IEEE International Symposium on Integrated Network Management, Dublin, Ireland, 23-27 May 2011,

This list was generated on Sat Dec 7 19:44:16 2019 GMT.