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: Sampath:Prahladavaradan
Contributed to:
2014
20122011
2010
2009
2008200720072006
2003
2002Wrote 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.