BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Suryadevara:Jagadish

Contributed to:

ECSA 20132013
SEFM 20132013
CBSE 20102010

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.