Travelled to:1 × Estonia
1 × Spain
Collaborated with:B.Bollig P.Gastin K.N.Kumar L.Hélouët A.Kara T.Schwentick
Talks about:communic (1) automata (1) languag (1) branch (1) model (1) level (1) dynam (1) check (1) word (1) mscs (1)
Person: Aiswarya Cyriac
DBLP: Cyriac:Aiswarya
Contributed to:
2013
2012Wrote 2 papers:
- LATA-2013-BolligCHKS #automaton #branch #communication
- Dynamic Communicating Automata and Branching High-Level MSCs (BB, AC, LH, AK, TS), pp. 177–189.
- FoSSaCS-2012-BolligCGK #model checking #word
- Model Checking Languages of Data Words (BB, AC, PG, KNK), pp. 391–405.