Faranak Heidarian

发表

Automata Learning through Counterexample Guided Abstraction Refinement

Frits W. Vaandrager, Fides Aarts, Faranak Heidarian, 2012, FM.

Analysis of a clock synchronization protocol for wireless sensor networks

Frits W. Vaandrager, Julien Schmaltz, Faranak Heidarian, 2009, Theor. Comput. Sci..

A Theory of History Dependent Abstractions for Learning Interface Automata

Frits W. Vaandrager, Fides Aarts, Faranak Heidarian, 2012, CONCUR.

Studies on verification of wireless sensor networks and abstraction learning for system inference

Seyyed Hamed Hashemi, F. Heidarian Dehkordi, F. Dehkordi, 2008 .