Travelled to:1 × Czech Republic
1 × France
1 × Spain
Collaborated with:F.Mallet C.C.Seceleanu P.Pettersson A.Goknil M.Peraldi-Frati E.Kang
Talks about:model (2) constraint (1) behavior (1) abstract (1) support (1) between (1) analysi (1) verifi (1) uppaal (1) system (1)
Person: Jagadish Suryadevara
DBLP: Suryadevara:Jagadish
Contributed to:
2013
2013
2010Wrote 3 papers:
- ECSA-2013-GoknilSPM #analysis #constraints #modelling
- Analysis Support for TADL2 Timing Constraints on EAST-ADL Models (AG, JS, MAPF, FM), pp. 89–105.
- SEFM-2013-SuryadevaraSMP #behaviour #using #verification
- Verifying MARTE/CCSL Mode Behaviors Using UPPAAL (JS, CCS, FM, PP), pp. 1–15.
- CBSE-2010-SuryadevaraKSP #embedded #modelling #semantic gap
- Bridging the Semantic Gap between Abstract Models of Embedded Systems (JS, EYK, CCS, PP), pp. 55–73.