2017
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.006DOI: 10.1016/j.scico.2017.05.006
Bulwahn, L., Kamali, M., & Linker, S. (2017). Proceedings First Workshop on Formal Verification of Autonomous Vehicles. EPTCS 257, 2017. Retrieved from http://dx.doi.org/10.4204/EPTCS.257
2016
Agent-based Autonomous Systems and Abstraction Engines: Theory meets Practice (Conference Paper)
Dennis, L. A., Aitken, J., 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 conference (TAROS 2016). Sheffield, UK.
2015
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 (pp. 357-392). Elsevier. doi:10.1016/b978-0-12-800887-4.00012-2DOI: 10.1016/b978-0-12-800887-4.00012-2
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_13DOI: 10.1007/978-3-319-22969-0_13
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.002DOI: 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 https://www.webofscience.com/
2013
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/457837DOI: 10.1155/2013/457837
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.053742DOI: 10.1504/ijccbs.2013.053742
2010
Self-Recovering Sensor-Actor Networks (Journal article)
Kamali, M., Laibinis, L., Petre, L., & Sere, K. (n.d.). Self-Recovering Sensor-Actor Networks. Electronic Proceedings in Theoretical Computer Science, 30, 47-61. doi:10.4204/eptcs.30.4DOI: 10.4204/eptcs.30.4
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.22017DOI: 10.4236/wsn.2010.22017
2008
A Distributed Recovery Mechanism for Actor-Actor Connectivity in Wireless Sensor Actor Networks (Conference Paper)
Kamali, M., Sedighian, S., & Sharifi, M. (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.4761984DOI: 10.1109/ISSNIP.2008.4761984