Travelled to:1 × France
1 × The Netherlands
Collaborated with:F.W.Vaandrager J.Schmaltz F.Aarts H.Kuppens P.Olsen
Talks about:counterexampl (1) wireless (1) synchron (1) protocol (1) automata (1) abstract (1) network (1) analysi (1) sensor (1) refin (1)
Person: Faranak Heidarian
DBLP: Heidarian:Faranak
Contributed to:
20122009Wrote 2 papers:
- FM-2012-AartsHKOV #abstraction #automaton #learning #refinement
- Automata Learning through Counterexample Guided Abstraction Refinement (FA, FH, HK, PO, FWV), pp. 10–27.
- FM-2009-HeidarianSV #analysis #network #protocol
- Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks (FH, JS, FWV), pp. 516–531.