Maryam Kamali

18 papers B 1C 1Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2018 — conf
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time.
FTSCS
Maryam Kamali, Sven Linker, Michael Fisher
2018 J jnl
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time.
CoRR
Maryam Kamali, Sven Linker, Michael Fisher
2017 J jnl
Formal verification of autonomous vehicle platooning.
Sci. Comput. Program.
Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres
2017 — ed.
Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017.
FVAV@iFM
Lukas Bulwahn, Maryam Kamali, Sven Linker
2016 J jnl
A fair access mechanism based on TXOP in IEEE 802.11e wireless networks.
Int. J. Commun. Networks Inf. Secur.
Marjan Yazdani, Maryam Kamali, Neda Moghim, Mahdieh Ghazvini
2016 — conf
Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice.
TAROS
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
2016 J jnl
Formal Verification of Autonomous Vehicle Platooning.
CoRR
Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres
2015 B conf
Formal Analysis of Proactive, Distributed Routing.
SEFM
Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre
2014 J jnl
Formal development of wireless sensor-actor networks.
Sci. Comput. Program.
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
2014 — conf
On Proving Recoverability of Smart Electrical Grids.
NASA Formal Methods
Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik
2013 J jnl
A distributed design of a network recovery algorithm.
Int. J. Crit. Comput. Based Syst.
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
2013 — conf
Quantitative Analysis of AODV and Its Variants on Dynamic Topologies Using Statistical Model Checking.
FORMATS
Peter Höfner, Maryam Kamali
2013 — conf
Topology-Based Mobility Models for Wireless Networks.
QEST
Ansgar Fehnker, Peter Höfner, Maryam Kamali, Vinay Mehta
2011 — conf
CorreComm: A formal hierarchical framework for communication designs.
NESEA
Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
2011 C conf
Formal Modeling of Multicast Communication in 3D NoCs.
DSD
Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
2011 — conf
Refinement-Based Modeling of 3D NoCs.
FSEN
Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
2010 J jnl
Recharging Sensor Nodes Using Implicit Actor Coordination in Wireless Sensor Actor Networks.
Wirel. Sens. Netw.
Mohsen Sharifi, Saeed Sedighian, Maryam Kamali
2010 — conf
Self-Recovering Sensor-Actor Networks
FOCLASA
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere