Self-Recovering Sensor-Actor Networks - Maryam Kamali; Linas Laibinis; Luigia Petre; Kaisa Sere (FOCLASA, 2010)

Recharging Sensor Nodes Using Implicit Actor Coordination in Wireless Sensor Actor Networks. - Mohsen Sharifi; Saeed Sedighian; Maryam Kamali (Wirel. Sens. Netw., 2010)

Formal Modeling of Multicast Communication in 3D NoCs. - Maryam Kamali; Luigia Petre; Kaisa Sere; Masoud Daneshtalab (DSD, 2011)

Refinement-Based Modeling of 3D NoCs. - Maryam Kamali; Luigia Petre; Kaisa Sere; Masoud Daneshtalab (FSEN, 2011)

CorreComm: A formal hierarchical framework for communication designs. - Maryam Kamali; Luigia Petre; Kaisa Sere; Masoud Daneshtalab (NESEA, 2011)

Quantitative Analysis of AODV and Its Variants on Dynamic Topologies Using Statistical Model Checking. - Peter Höfner; Maryam Kamali (FORMATS, 2013)

Topology-Based Mobility Models for Wireless Networks. - Ansgar Fehnker; Peter Höfner; Maryam Kamali; Vinay Mehta (QEST, 2013)

A distributed design of a network recovery algorithm. - Maryam Kamali; Linas Laibinis; Luigia Petre; Kaisa Sere (Int. J. Crit. Comput. Based Syst., 2013)

On Proving Recoverability of Smart Electrical Grids. - Seppo Horsmanheimo; Maryam Kamali; Mikko Kolehmainen; Mats Neovius; Luigia Petre; Mauno Rönkkö; Petter Sandvik (NASA Formal Methods, 2014)

Formal development of wireless sensor-actor networks. - Maryam Kamali; Linas Laibinis; Luigia Petre; Kaisa Sere (Sci. Comput. Program., 2014)

Formal Analysis of Proactive, Distributed Routing. - Mojgan Kamali; Peter Höfner; Maryam Kamali; Luigia Petre (SEFM, 2015)

Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice. - Louise A. Dennis; Jonathan M. Aitken; Joe Collenette; Elisa Cucco; Maryam Kamali; Owen McAree; Affan Shaukat; Katie Atkinson; Yang Gao 002; Sandor M. Veres; Michael Fisher 001 (TAROS, 2016)

A fair access mechanism based on TXOP in IEEE 802.11e wireless networks. - Marjan Yazdani; Maryam Kamali; Neda Moghim; Mahdieh Ghazvini (Int. J. Commun. Networks Inf. Secur., 2016)

Formal verification of autonomous vehicle platooning. - Maryam Kamali; Louise A. Dennis; Owen McAree; Michael Fisher 001; Sandor M. Veres (Sci. Comput. Program., 2017)

Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. - Maryam Kamali; Sven Linker; Michael Fisher 001 (FTSCS, 2018)