Maryam Kamali
Cited by
Cited by
Formal verification of autonomous vehicle platooning
M Kamali, LA Dennis, O McAree, M Fisher, SM Veres
Science of computer programming 148, 88-106, 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
Formal development of wireless sensor–actor networks
M Kamali, L Laibinis, L Petre, K Sere
Science of Computer Programming 80, 25-49, 2014
Self-recovering sensor-actor networks
M Kamali, L Laibinis, L Petre, K Sere
arXiv preprint arXiv:1007.5091, 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
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
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
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
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
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
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
Refinement-based modeling of 3D NoCs
M Kamali, L Petre, K Sere, M Daneshtalab
International Conference on Fundamentals of Software Engineering, 236-252, 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
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
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
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
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
Proceedings First Workshop on Formal Verification of Autonomous Vehicles
L Bulwahn, M Kamali, S Linker
arXiv preprint arXiv:1709.02126, 2017
Verifiable Autonomy using Rational Agents
LA Dennis, M Kamali, M Fisher
Automated Reasoning Workshop 2016 Bridging the Gap between Theory and …, 2016
Reusable formal architectures for networked systems
M Kamali
Turku Centre for Computer Science (TUCS), 2013
The system can't perform the operation now. Try again later.
Articles 1–20