Faranak Heidarian

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Sensor Networks

Mobile Learning

Learning Scheme

Top Venues

Theor. Comput. Sci.

Publications

Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager
Automata Learning through Counterexample Guided Abstraction Refinement. FM (2012)
Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager
Analysis of a clock synchronization protocol for wireless sensor networks. Theor. Comput. Sci. 413 (1) (2012)
Fides Aarts, Faranak Heidarian, Frits W. Vaandrager
A Theory of History Dependent Abstractions for Learning Interface Automata. CONCUR (2012)
Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. FM (2009)
Mathijs Schuts, Feng Zhu, Faranak Heidarian, Frits W. Vaandrager
Modelling Clock Synchronization in the Chess gMAC WSN Protocol QFM (2009)