On Validity Assurance of Dynamic Reconfiguration for Component-based Programs. - Mahdi Niamanesh; Nafiseh Fekrazad Nobakht; Rasool Jalili; Faranak Heydarian Dehkordi (FSEN, 2005)

Modelling Clock Synchronization in the Chess gMAC WSN Protocol - Mathijs Schuts; Feng Zhu 002; Faranak Heidarian; Frits W. Vaandrager (QFM, 2009)

A Theory of History Dependent Abstractions for Learning Interface Automata. - Fides Aarts; Faranak Heidarian; Frits W. Vaandrager (CONCUR, 2012)

Automata Learning through Counterexample Guided Abstraction Refinement. - Fides Aarts; Faranak Heidarian; Harco Kuppens; Petur Olsen; Frits W. Vaandrager (FM, 2012)

Analysis of a clock synchronization protocol for wireless sensor networks. - Faranak Heidarian; Julien Schmaltz; Frits W. Vaandrager (Theor. Comput. Sci., 2012)