Referentgranskade publikationer

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Formal Development of Wireless Sensor–Actor Networks (2014)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
Science of Computer Programming
Visa på utgivarens sida
A4 Konferenspublikationer
On Proving Recoverability of Smart Electrical Grids (2014)
Horsmanheimo Seppo, Kamali Maryam, Kolehmainen Mikko, Neovius Mats, Petre Luigia, Rönkkö Mauno, Sandvik Petter
Lecture Notes in Computer Science
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
A Distributed Design of a Network Recovery Algorithm (2013)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
International Journal of Critical Computer-Based Systems
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Formal Development of System of Systems (2013)
Maryam Kamali, Mats Neovius, Luigia Petre, Petter Sandvik
ISRN Software Engineering
Visa på utgivarens sida
A4 Konferenspublikationer
CorreComm: A Formal Hierarchical Framework for Communication Designs (2011)
Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
IEEE Computer Society
Visa på utgivarens sida
A4 Konferenspublikationer
A Formalization of 3D NoCs (2010)
Maryam Kamali, Masoud Daneshtalab, Luigia Petre, Kaisa Sere
TUCS general publications
A4 Konferenspublikationer
Self-Recovering Sensor-Actor Networks (2010)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
Visa på utgivarens sida

Senast uppdaterad 2017-20-06 vid 09:52