Travelled to:1 × Croatia
1 × France
1 × Japan
1 × Poland
2 × USA
Collaborated with:R.Alur S.N.Krishna M.Jurdzinski S.Schewe T.Varghese L.Manasa A.Durand-Gasselin E.Filiot G.K.Narwane S.Ramesh
Talks about:time (4) transform (2) reachabl (2) automata (2) string (2) transduc (1) strategi (1) composit (1) undecid (1) symmetr (1)
Person: Ashutosh Trivedi
DBLP: Trivedi:Ashutosh
Contributed to:
2015
2015
2015
201320122007Wrote 6 papers:
- DAC-2015-KrishnaNRT #analysis #composition #modelling #product line
- Compositional modeling and analysis of automotive feature product lines (SNK, GKN, SR, AT), p. 6.
- ICALP-v2-2015-ScheweTV #symmetry
- Symmetric Strategy Improvement (SS, AT, TV), pp. 388–400.
- LATA-2015-KrishnaMT #automaton #bound #decidability #problem #reachability #recursion
- Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable (SNK, LM, AT), pp. 237–248.
- LICS-2013-AlurDT #higher-order #monad #string #transducer
- From Monadic Second-Order Definable String Transformations to Transducers (RA, ADG, AT), pp. 458–467.
- LICS-2012-AlurFT #infinity #string
- Regular Transformations of Infinite Strings (RA, EF, AT), pp. 65–74.
- ICALP-2007-JurdzinskiT #automaton #game studies
- Reachability-Time Games on Timed Automata (MJ, AT), pp. 838–849.