Maryam Kamali

Formal verification of autonomous vehicle platooning

Maryam Kamali, Louise A. Dennis, Owen McAree et al. · Research Explorer (The University of Manchester) · 2017 · 126 citations · Full text

Computing, Autonomous Systems, Computer Science +13

Adaptive Input-Output Selection Based On-Chip Router Architecture

Masoud Daneshtalab, Maryam Kamali, Masoumeh Ebrahimi et al. · Journal of Low Power Electronics · 2012 · 24 citations

Engineering, Computer Engineering, Computer Science +14

Recharging Sensor Nodes Using Implicit Actor Coordination in Wireless Sensor Actor Networks

Mohsen Sharifi, Saeed Sedighian Kashi, Maryam Kamali · Wireless Sensor Network · 2010 · 18 citations · Full text

Computing, Computer Systems, Distributed Systems +16

Formal development of wireless sensor–actor networks

Maryam Kamali, Linas Laibinis, Luigia Petre et al. · Science of Computer Programming · 2012 · 18 citations

Computing, Computer Science, Computer Systems +11

Formal Modeling of Multicast Communication in 3D NoCs

Maryam Kamali, Luigia Petre, Kaisa Sere et al. · 2011 · 13 citations

Computing, Computer Engineering, Computer Science +17