Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. - Fatemeh Kazemeyni; Einar Broch Johnsen; Olaf Owe; Ilangko Balasingham (FMOODS/FORTE, 2010)

Models of Rate Restricted Communication for Concurrent Objects. - Rudolf Schlatte; Einar Broch Johnsen; Fatemeh Kazemeyni; Silvia Lizeth Tapia Tarifa (TTSS, 2010)

Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory. - Fatemeh Kazemeyni; Einar Broch Johnsen; Olaf Owe; Ilangko Balasingham (ICECCS, 2011)

MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. - Fatemeh Kazemeyni; Einar Broch Johnsen; Olaf Owe; Ilangko Balasingham (IFM, 2012)

Formal modeling and validation of a power-efficient grouping protocol for WSNs. - Fatemeh Kazemeyni; Einar Broch Johnsen; Olaf Owe; Ilangko Balasingham (J. Log. Algebraic Methods Program., 2012)

Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis. - Fatemeh Kazemeyni; Olaf Owe; Einar Broch Johnsen; Ilangko Balasingham (IRI, 2013)

Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks. - Fatemeh Kazemeyni; Olaf Owe; Einar Broch Johnsen; Ilangko Balasingham (IRI (best papers), 2013)