Faranak Heidarian
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2009–2012
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | CONCUR | A Theory of History Dependent Abstractions for Learning Interface Automata. | Fides Aarts, Faranak Heidarian, Frits W. Vaandrager |
| 2012 | FM | Automata Learning through Counterexample Guided Abstraction Refinement. | Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager |
| 2009 | FM | Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. | Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager |