Maryam Kamali

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 6

Top Topics

Autonomous Systems

Formal Verification

Wireless Networks

Top Venues

Sci. Comput. Program.

Int. J. Crit. Comput. Based Syst.

Int. J. Commun. Networks Inf. Secur.

Publications

Maryam Kamali, Sven Linker, Michael Fisher
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. FTSCS (2018)
Maryam Kamali, Sven Linker, Michael Fisher
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. CoRR (2018)
Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres
Formal verification of autonomous vehicle platooning. Sci. Comput. Program. 148 (2017)
Louise A. Dennis, Jonathan M. Aitken, Joe Collenette, Elisa Cucco, Maryam Kamali, Owen McAree, Affan Shaukat, Katie Atkinson, Yang Gao, Sandor M. Veres, Michael Fisher
Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice. TAROS (2016)
Marjan Yazdani, Maryam Kamali, Neda Moghim, Mahdieh Ghazvini
A fair access mechanism based on TXOP in IEEE 802.11e wireless networks. Int. J. Commun. Networks Inf. Secur. 8 (1) (2016)
Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres
Formal Verification of Autonomous Vehicle Platooning. CoRR (2016)
Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre
Formal Analysis of Proactive, Distributed Routing. SEFM (2015)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
Formal development of wireless sensor-actor networks. Sci. Comput. Program. 80 (2014)
Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik
On Proving Recoverability of Smart Electrical Grids. NASA Formal Methods (2014)
Peter Höfner, Maryam Kamali
Quantitative Analysis of AODV and Its Variants on Dynamic Topologies Using Statistical Model Checking. FORMATS (2013)
Ansgar Fehnker, Peter Höfner, Maryam Kamali, Vinay Mehta
Topology-Based Mobility Models for Wireless Networks. QEST (2013)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
A distributed design of a network recovery algorithm. Int. J. Crit. Comput. Based Syst. 4 (1) (2013)
Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
Formal Modeling of Multicast Communication in 3D NoCs. DSD (2011)
Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
CorreComm: A formal hierarchical framework for communication designs. NESEA (2011)
Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
Refinement-Based Modeling of 3D NoCs. FSEN (2011)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
Self-Recovering Sensor-Actor Networks FOCLASA (2010)
Mohsen Sharifi, Saeed Sedighian, Maryam Kamali
Recharging Sensor Nodes Using Implicit Actor Coordination in Wireless Sensor Actor Networks. Wirel. Sens. Netw. 2 (2) (2010)