Photo of Dr Maryam Kamali

Dr Maryam Kamali PhD

Computer Science

Publications

2017

Formal verification of autonomous vehicle platooning (Journal article)

Kamali, M., Dennis, L. A., McAree, O., Fisher, M., & Veres, S. M. (2017). Formal verification of autonomous vehicle platooning. SCIENCE OF COMPUTER PROGRAMMING, 148, 88-106. doi:10.1016/j.scico.2017.05.006

DOI: 10.1016/j.scico.2017.05.006

Proceedings First Workshop on Formal Verification of Autonomous Vehicles (Journal article)

Bulwahn, L., Kamali, M., & Linker, S. (n.d.). Proceedings First Workshop on Formal Verification of Autonomous Vehicles. EPTCS 257, 2017. doi:10.4204/EPTCS.257

DOI: 10.4204/EPTCS.257

2016

Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice (Conference Paper)

Dennis, L. A., Aitken, J. M., Collenette, J., Cucco, E., Kamali, M., McAree, O., . . . Fisher, M. (2016). Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice. In TOWARDS AUTONOMOUS ROBOTIC SYSTEMS, TAROS 2016 Vol. 9716 (pp. 75-86). doi:10.1007/978-3-319-40379-3_8

DOI: 10.1007/978-3-319-40379-3_8

2015

Formal Analysis of Proactive, Distributed Routing (Conference Paper)

Kamali, M., Hoefner, P., Kamali, M., & Petre, L. (2015). Formal Analysis of Proactive, Distributed Routing. In SOFTWARE ENGINEERING AND FORMAL METHODS Vol. 9276 (pp. 175-189). doi:10.1007/978-3-319-22969-0_13

DOI: 10.1007/978-3-319-22969-0_13

Lego Dinosaurs at Cheltenham Science Festival (Exhibition)

Lego Dinosaurs at Cheltenham Science Festival (2015, June 2). [Exhibition]. Imperial Gardens, Cheltenham.

Towards correct and reusable Network-on-Chip architectures (Chapter)

Kamali, M., Petre, L., Sere, K., & Daneshtalab, M. (2015). Towards correct and reusable Network-on-Chip architectures. In Modeling and Simulation of Computer Networks and Systems: Methodologies and Applications (pp. 357-392). doi:10.1016/B978-0-12-800887-4.00012-2

DOI: 10.1016/B978-0-12-800887-4.00012-2

2014

Formal development of wireless sensor-actor networks (Journal article)

Karnali, M., Laibinis, L., Petre, L., & Sere, K. (2014). Formal development of wireless sensor-actor networks. SCIENCE OF COMPUTER PROGRAMMING, 80, 25-49. doi:10.1016/j.scico.2012.03.002

DOI: 10.1016/j.scico.2012.03.002

On Proving Recoverability of Smart Electrical Grids (Conference Paper)

Horsmanheimo, S., Kamali, M., Kolehmainen, M., Neovius, M., Petre, L., Ronkko, M., & Sandvik, P. (2014). On Proving Recoverability of Smart Electrical Grids. In NASA FORMAL METHODS, NFM 2014 Vol. 8430 (pp. 77-91). Retrieved from http://gateway.webofknowledge.com/

2013

A distributed design of a network recovery algorithm (Journal article)

Kamali, M., Laibinis, L., Petre, L., & Sere, K. (2013). A distributed design of a network recovery algorithm. International Journal of Critical Computer-Based Systems, 4(1), 45. doi:10.1504/IJCCBS.2013.053742

DOI: 10.1504/IJCCBS.2013.053742

Formal Development of System of Systems (Journal article)

Kamali, M., Neovius, M., Petre, L., & Sandvik, P. (2013). Formal Development of System of Systems. ISRN Software Engineering, 2013, 1-10. doi:10.1155/2013/457837

DOI: 10.1155/2013/457837

2010

Recharging Sensor Nodes Using Implicit Actor Coordination in Wireless Sensor Actor Networks (Journal article)

Sharifi, M., Sedighian, S., & Kamali, M. (2010). Recharging Sensor Nodes Using Implicit Actor Coordination in Wireless Sensor Actor Networks. Wireless Sensor Network, 02(02), 123-128. doi:10.4236/wsn.2010.22017

DOI: 10.4236/wsn.2010.22017

Self-Recovering Sensor-Actor Networks (Journal article)

Kamali, M., Laibinis, L., Petre, L., & Sere, K. (2010). Self-Recovering Sensor-Actor Networks. Electronic Proceedings in Theoretical Computer Science, 30, 47-61. doi:10.4204/EPTCS.30.4

DOI: 10.4204/EPTCS.30.4

2008

A Distributed Recovery Mechanism for Actor-Actor Connectivity in Wireless Sensor Actor Networks (Conference Paper)

Kamali, M., Sedighian, S., Sharifi, M., & IEEE. (2008). A Distributed Recovery Mechanism for Actor-Actor Connectivity in Wireless Sensor Actor Networks. In ISSNIP 2008: PROCEEDINGS OF THE 2008 INTERNATIONAL CONFERENCE ON INTELLIGENT SENSORS, SENSOR NETWORKS, AND INFORMATION PROCESSING (pp. 183-187). doi:10.1109/ISSNIP.2008.4761984

DOI: 10.1109/ISSNIP.2008.4761984

Untitled Document