Faranak Heidarian

According to our database, Faranak Heidarian authored at least 5 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

Analysis of a clock synchronization protocol for wireless sensor networks.

Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager

Theor. Comput. Sci., 2012

Automata Learning through Counterexample Guided Abstraction Refinement.

Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager

Proceedings of the FM 2012: Formal Methods, 2012

A Theory of History Dependent Abstractions for Learning Interface Automata.

Fides Aarts, Faranak Heidarian, Frits W. Vaandrager

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2009

Modelling Clock Synchronization in the Chess gMAC WSN Protocol

Mathijs Schuts, Feng Zhu, Faranak Heidarian, Frits W. Vaandrager

Proceedings of the Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, 2009

2005

On Validity Assurance of Dynamic Reconfiguration for Component-based Programs.

Mahdi Niamanesh, Nafiseh Fekrazad Nobakht, Rasool Jalili, Faranak Heydarian Dehkordi

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005