Maryam Kamali

According to our database, Maryam Kamali authored at least 15 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time.

Maryam Kamali, Sven Linker, Michael Fisher

Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

2017

Formal verification of autonomous vehicle platooning.

Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres

Sci. Comput. Program., 2017

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

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, Sandor M. Veres, Michael Fisher

Proceedings of the Towards Autonomous Robotic Systems - 17th Annual Conference, 2016

2015

Formal Analysis of Proactive, Distributed Routing.

Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

2014

Formal development of wireless sensor-actor networks.

Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere

Sci. Comput. Program., 2014

On Proving Recoverability of Smart Electrical Grids.

Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

2013

A distributed design of a network recovery algorithm.

Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere

Int. J. Crit. Comput. Based Syst., 2013

Topology-Based Mobility Models for Wireless Networks.

Ansgar Fehnker, Peter Höfner, Maryam Kamali, Vinay Mehta

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Quantitative Analysis of AODV and Its Variants on Dynamic Topologies Using Statistical Model Checking.

Peter Höfner, Maryam Kamali

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

2011

CorreComm: A formal hierarchical framework for communication designs.

Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab

Proceedings of the 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications, 2011

Refinement-Based Modeling of 3D NoCs.

Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Formal Modeling of Multicast Communication in 3D NoCs.

Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

2010

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

Mohsen Sharifi, Saeed Sedighian, Maryam Kamali

Wirel. Sens. Netw., 2010

Self-Recovering Sensor-Actor Networks

Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere

Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010