Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

info
AND
AND
AND
AND




Articles in journals (4):

Articles in proceedings (10):

  • Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre, Formal Analysis of Proactive, Distributed Routing. In: Radu Calinescu, Bernhard Rumpe (Eds.), 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings, Lecture Notes in Computer Science 9276, 175–189, Springer, 2015.
  • Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik, On Proving Recoverability of Smart Electrical Grids. In: Julia M. Badger, Kristin Yvonne Rozier (Eds.), 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. , Lecture Notes in Computer Science 8430, 77–92, Springer-Verlag, 2014.
  • Ansger Fehnker, Peter Höfner, Maryam Kamali, Vinay Mehta, Topology-based Mobility Model for Wireless Networks. In: Kaustubh R Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio (Eds.), 10th International conference on Quantitative Evaluation of Systems, Lecture Notes in Computer Science 8054, 389–404, Springer-Verlag, 2013.
  • Peter Höfner, Maryam Kamali, Quantitative Analysis of AODV and its Variants on Dynamic Topologies using Statistical Model Checking. In: Víctor Braberman, Laurent Fribourg (Eds.), 11th International Conference on Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science 8053, 121–136, Springer-Verlag, 2013.
  • Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab, Refinement-Based Modeling of 3D NoCs. In: Farhad Arbab, Marjan Sirjani (Eds.), 4th IPM International Conference on Fundamentals of Software Engineering, Lecture Notes in Computer Science 7141, 236–252, Springer, 2012.
  • Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab, CorreComm: A Formal Hierarchical Framework for Communication Designs. In: Danny Hughes, Kevin Lee, Ka Lok Man (Eds.), 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA 2011), 1–7, IEEE Computer Society, 2011.
  • Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab, Formal Modeling of Multicast Communication in 3D NoCs. In: Paris Kitsos, Smail Niar (Eds.), 14th Euromicro Conference on Digital System Design (DSD 2011), 634 – 642 , IEEE/Euromicro, 2011.
  • Maryam Kamali, Masoud Daneshtalab, Luigia Petre, Kaisa Sere, A Formalization of 3D NoCs. In: Marina Waldén, Luigia Petre (Eds.), In proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10, 79-81, TUCS General Publications, 2010.
  • Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere, Reconstructing Coordination Links in Sensor-Actor Networks. In: In Proceedings of the 4th Nordic Workshop on Dependability and Security, NODES 10, 2010.
  • Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere, Self-Recovering Sensor-Actor Networks. In: Mohammadreza Mousavi, Gwen Salaün (Eds.), Proceedings of the Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010), Electronic Proceedings in Theoretical Computer Science 30, 47–61, EPTCS , 2010.

Chapters in edited books (1):

  • Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab, Towards Correct and Reusable Network-on-Chip Architectures. In: Mohammad S. Obaidat, Petros Nicopolitidis, Faouzi Zarai (Eds.), Modelling and Simulation of Computer Networks and Systems: Methodologies and Applications, 357–392, Elsevier, 2015.

Ph.D. thesis (1):

Technical reports (3):