| Formal verification of autonomous vehicle platooning M Kamali, LA Dennis, O McAree, M Fisher, SM Veres Science of computer programming 148, 88-106, 2017 | 185 | 2017 |
| Adaptive input-output selection based on-chip router architecture M Daneshtalab, M Kamali, M Ebrahimi, S Mohammadi, A Afzali-Kusha, ... Journal of Low Power Electronics 8 (1), 11-29, 2012 | 29 | 2012 |
| Formal development of wireless sensor–actor networks M Kamali, L Laibinis, L Petre, K Sere Science of Computer Programming 80, 25-49, 2014 | 25 | 2014 |
| Self-recovering sensor-actor networks M Kamali, L Laibinis, L Petre, K Sere arXiv preprint arXiv:1007.5091, 2010 | 24 | 2010 |
| Modular verification of vehicle platooning with respect to decisions, space and time M Kamali, S Linker, M Fisher Formal Techniques for Safety-Critical Systems: 6th International Workshop …, 2019 | 22 | 2019 |
| Recharging sensor nodes using implicit actor coordination in wireless sensor actor networks M Sharifi, S Sedighian, M Kamali Wireless Sensor Network 2 (2), 123, 2010 | 22 | 2010 |
| Formal analysis of proactive, distributed routing M Kamali, P Höfner, M Kamali, L Petre Software Engineering and Formal Methods: 13th International Conference, SEFM …, 2015 | 19 | 2015 |
| Formal modeling of multicast communication in 3D NoCs M Kamali, L Petre, K Sere, M Daneshtalab 2011 14th Euromicro Conference on Digital System Design, 634-642, 2011 | 18 | 2011 |
| Topology-based mobility models for wireless networks A Fehnker, P Höfner, M Kamali, V Mehta Quantitative Evaluation of Systems: 10th International Conference, QEST 2013 …, 2013 | 17 | 2013 |
| Quantitative analysis of AODV and its variants on dynamic topologies using statistical model checking P Hoefner, M Kamali International Conference on Formal Modeling and Analysis of Timed Systems …, 2013 | 16 | 2013 |
| Agent-based autonomous systems and abstraction engines: Theory meets practice LA Dennis, JM Aitken, J Collenette, E Cucco, M Kamali, O McAree, ... Towards Autonomous Robotic Systems: 17th Annual Conference, TAROS 2016 …, 2016 | 14 | 2016 |
| Refinement-based modeling of 3D NoCs M Kamali, L Petre, K Sere, M Daneshtalab International Conference on Fundamentals of Software Engineering, 236-252, 2011 | 13 | 2011 |
| A distributed recovery mechanism for actor-actor connectivity in wireless sensor actor networks M Kamali, S Sedighian, M Sharifi 2008 International Conference on Intelligent Sensors, Sensor Networks and …, 2008 | 11 | 2008 |
| On proving recoverability of smart electrical grids S Horsmanheimo, M Kamali, M Kolehmainen, M Neovius, L Petre, ... NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014 | 5 | 2014 |
| CorreComm: A formal hierarchical framework for communication designs M Kamali, L Petre, K Sere, M Daneshtalab 2011 IEEE 2nd International Conference on Networked Embedded Systems for …, 2011 | 3 | 2011 |
| A distributed design of a network recovery algorithm M Kamali, L Laibinis, L Petre, K Sere International Journal of Critical Computer-Based Systems 4 (1), 45-68, 2013 | 2 | 2013 |
| Towards correct and reusable Network-on-Chip architectures M Kamali, L Petre, K Sere, M Daneshtalab Modeling and Simulation of Computer Networks and Systems, 357-392, 2015 | 1 | 2015 |
| Proceedings First Workshop on Formal Verification of Autonomous Vehicles L Bulwahn, M Kamali, S Linker arXiv preprint arXiv:1709.02126, 2017 | | 2017 |
| Verifiable Autonomy using Rational Agents LA Dennis, M Kamali, M Fisher Automated Reasoning Workshop 2016 Bridging the Gap between Theory and …, 2016 | | 2016 |
| Reusable formal architectures for networked systems M Kamali Turku Centre for Computer Science (TUCS), 2013 | | 2013 |
Luigia PetreAssociate Professor in Computer Science, Åbo Akademi University, FinlandVerified email at abo.fi