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 × Belgium
1 × Denmark
1 × Italy
1 × South Africa
1 × United Kingdom
2 × India
4 × USA
Collaborated with:
S.Ramesh A.C.Rajeev K.C.Shashidhar S.Arora S.Kumar D.D'Souza M.Gopinathan A.Hagiescu U.D.Bordoloi S.Chakraborty P.V.V.Ganesan S.Ramesh
Talks about:
generat (3) system (3) test (3) reactiv (2) control (2) analysi (2) multi (2) agent (2) flex (2) code (2)

Person: Prahladavaradan Sampath

DBLP DBLP: Sampath:Prahladavaradan

Contributed to:

DAC 20142014
RE 20122012
RE 20112011
ASE 20102010
CASE 20092009
SEFM 20082008
DAC 20072007
SEFM 20072007
SEFM 20062006
PADL 20032003
ICLP 20022002

Wrote 11 papers:

DAC-2014-SampathRR #c #validation
Translation Validation for Stateflow to C (PS, ACR, SR), p. 6.
RE-2012-AroraSR #feature model #interactive #nondeterminism
Resolving uncertainty in automotive feature interactions (SA, PS, SR), pp. 21–30.
RE-2011-SampathAR #evolution #specification
Evolving specifications formally (PS, SA, SR), pp. 5–14.
ASE-2010-RajeevSSR #code generation #named #testing
CoGenTe: a tool for code generator testing (ACR, PS, KCS, SR), pp. 349–350.
CASE-2009-DSouzaGRS #realtime
Supervisory control for real-time systems based on conflict-tolerant controllers (DD, MG, SR, PS), pp. 555–560.
SEFM-2008-SampathRRS #behaviour #code generation #testing
Behaviour Directed Testing of Auto-code Generators (PS, ACR, SR, KCS), pp. 191–200.
DAC-2007-HagiescuBCSGR #analysis #network #performance
Performance Analysis of FlexRay-based ECU Networks (AH, UDB, SC, PS, PVVG, SR), pp. 284–289.
SEFM-2007-SampathRSR #case study #generative #how #using
How to Test Program Generators? A Case Study using flex (PS, ACR, KCS, SR), pp. 80–92.
SEFM-2006-SampathK #analysis
Composing Context Sensitive Analysis (PS, SK), pp. 186–195.
PADL-2003-Sampath #multi
Multi-agent Reactive Systems (PS), pp. 177–193.
ICLP-2002-Sampath #modelling #multi
Modelling Multi-agent Reactive Systems (PS), p. 476.

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.