Maryam Kamali

Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö and Petter Sandvik, On Proving Recoverability of Smart Electrical Grids , In the proceedings of the 6th International Symposium NASA Formal Methods (NFM 2014), Volume 8430, pp. 77-92, April 2014.

Maryam Kamali, Linas Laibinis, Luigia Petre and Kaisa Sere, Formal Development of Wireless Sensor-Actor Networks, Science of Computer Programmin (SCP) journal ,Volume 80, Part A, pp. 25–49, 2014.

Maryam Kamali, Reusable Formal Architectures for Networked Systems, Abo Akademi University, TUCS Dissertations 162, 2013.

Ansgar Fehnker, Peter Höfner, Maryam Kamali and Vinay Mehta, Topology-Based Mobility Models for Wireless Networks, In the proceedings of the 10th International Conference on Quantitative Evaluation of Sysmtes (QEST 2013), Volume 8054, pp. 389-404, August 2013.

Peter Höfner and Maryam Kamali, Quantitative Analysis of AODV and Its Variants on Dynamic Topologies Using Statistical Model Checking, In the proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), Volurme 8053, pp. 121- 136, August 2013.

Maryam Kamali, Linas Laibinis, Luigia Petre and Kaisa Sere, A Distributed Implementation of a Network Recovery Algorithm, International Journal of Critical Computer-Based Systems (IJCCBS), Vol. 4, Num. 1, pp. 45-68, 2013.

Masoud Daneshtalab, Maryam Kamali, Masoumeh Ebrahimi, Saeed Mohammadi, Ali Afzali-Kusha, Juha Plosila, Adaptive Input-Output Selection Based On-Chip Router Architecture, In Journal of Low Power Electronics, Volume 8, Number 1, pp. 11-29, February 2012.

Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab, CorreComm: A Formal Hierarchical Framework for Communication Designs, In the proceedings of the 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA2011), pp. 1-7, December 2011, IEEE Computer Society,.

Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab, Formal Modeling of Multicast Communication in 3D NoCs, In the Proceedings of the 14th Euromicro Conference on Digital System Design (DSD 2011), Oulu, Finland, August-September 2011, IEEE Xplore Digital Library.

Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab, Refinement-Based Modeling of 3D NoCs, In proceedings of the 4th IPM International Conference on Fundamentals of Software Engineering (FSEN 11), vol. 7141, pp. 236-252, Springer-Verlag, 2012.

Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab, A Formalization of 3D NoCs, In proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT2010, November 2010.

Maryam Kamali, Linas Laibinis, Luigia Petre and Kaisa Sere, Self-Recovering Sensor-Actor Networks, In proceedings of 9th International Conference on the Foundations of Coordination Languages and Software Architectures, FOCLASA2010, September 2010.

Maryam Kamali, Linas Laibinis, Luigia Petre and Kaisa Sere, Reconstructing Coordination Links in Sensor-Actor Networks, In proceedings of the 4th Nordic Workshop on Dependability and Security, NODES2010, June 2010.

Mohsen Sharifi, Saeed Sedighian and Maryam Kamali, Recharging Sensor Nodes Using Implicit Actor Coordination in Wireless Sensor Actor Networks, In Scientific Research Journal of Wireless Sensor Network, Volume 2, Number 2, pp. 123 – 131, February 2010.

Mohsen Sharifi, Maryam Kamali, Saeed Sedighian, Study on Deployment of Wireless Sensor Network in Hard Environment to Monitor Climatic Disaster, In Proceedings of National Conference on Climatic Disaster Reduction, Ardebil, Iran, April 19-20, 2009.

Maryam Kamali, Mohsen Sharifi and Saeed Sedighian , A Distributed Recovery Mechanism for Actor-Actor Connectivity in Wireless Sensor Actor Networks, In Proceeding of the 4nd IEEE International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP), Sydney, Australia, pp. 183-188, 15-18 December 2008.

Mohsen Sharifi, Maryam Kamali, Saeed Sedighian, The Role of Wireless Sensor Network in Flood Forcasting, In Scientific Journal of Applied Meteorology, 2008.