Maryam Kamali
Title
Cited by
Cited by
Year
Formal verification of autonomous vehicle platooning
M Kamali, LA Dennis, O McAree, M Fisher, SM Veres
Science of computer programming 148, 88-106, 2017
722017
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
262012
Self-recovering sensor-actor networks
M Kamali, L Laibinis, L Petre, K Sere
arXiv preprint arXiv:1007.5091, 2010
182010
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
182010
Topology-based mobility models for wireless networks
A Fehnker, P Höfner, M Kamali, V Mehta
International Conference on Quantitative Evaluation of Systems, 389-404, 2013
162013
Formal analysis of proactive, distributed routing
M Kamali, P Höfner, M Kamali, L Petre
SEFM 2015 Collocated Workshops, 175-189, 2015
152015
Quantitative analysis of AODV and its variants on dynamic topologies using statistical model checking
P Höfner, M Kamali
International Conference on Formal Modeling and Analysis of Timed Systems …, 2013
152013
Formal development of wireless sensor–actor networks
M Kamali, L Laibinis, L Petre, K Sere
Science of Computer Programming 80, 25-49, 2014
142014
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
142011
Refinement-based modeling of 3D NoCs
M Kamali, L Petre, K Sere, M Daneshtalab
International Conference on Fundamentals of Software Engineering, 236-252, 2011
102011
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
92008
Modular verification of vehicle platooning with respect to decisions, space and time
M Kamali, S Linker, M Fisher
International Workshop on Formal Techniques for Safety-Critical Systems, 18-36, 2018
72018
Agent-based autonomous systems and abstraction engines: theory meets practice
LA Dennis, JM Aitken, J Collenette, E Cucco, M Kamali, O McAree, ...
Annual Conference Towards Autonomous Robotic Systems, 75-86, 2016
42016
On proving recoverability of smart electrical grids
S Horsmanheimo, M Kamali, M Kolehmainen, M Neovius, L Petre, ...
NASA Formal Methods Symposium, 77-91, 2014
32014
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
22013
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
12011
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
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
2015
Reusable formal architectures for networked systems
M Kamali
Turku Centre for Computer Science, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–20