Prahladavaradan Sampath

Publication Activity (10 Years)

Years Active: 2002-2015
Publications (10 Years): 1

Top Venues

Formal Aspects Comput.

DAC

ICFEM

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock
Refinement-Based Verification of the FreeRTOS Scheduler in VCC. ICFEM (2015)
Prahladavaradan Sampath
An elementary theory of product-line variations. Formal Aspects Comput. 26 (4) (2014)
Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh
Translation Validation for Stateflow to C. DAC (2014)
Silky Arora, Prahladavaradan Sampath, S. Ramesh
Resolving uncertainty in automotive feature interactions. RE (2012)
Prahladavaradan Sampath, Silky Arora, S. Ramesh
Evolving specifications formally. RE (2011)
A. C. Rajeev, Prahladavaradan Sampath, K. C. Shashidhar, S. Ramesh
CoGenTe: a tool for code generator testing. ASE (2010)
Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath
Supervisory control for real-time systems based on conflict-tolerant controllers. CASE (2009)
Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath
Conflict-Tolerant Real-Time Features. QEST (2008)
Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar
Behaviour Directed Testing of Auto-code Generators. SEFM (2008)
Andrei Hagiescu, Unmesh D. Bordoloi, Samarjit Chakraborty, Prahladavaradan Sampath, P. Vignesh V. Ganesan, S. Ramesh
Performance Analysis of FlexRay-based ECU Networks. DAC (2007)
Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar
Testing Model-Processing Tools for Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium (2007)
Prahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar, S. Ramesh
How to Test Program Generators? A Case Study using flex. SEFM (2007)
Prahladavaradan Sampath
Duality of Fix-Points for Distributive Lattices CoRR (2006)
Prahladavaradan Sampath, Shrawan Kumar
Composing Context Sensitive Analysis. SEFM (2006)
Prahladavaradan Sampath
Multi-agent Reactive Systems. PADL (2003)
Prahladavaradan Sampath
Modelling Multi-agent Reactive Systems. ICLP (2002)
Chris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath
Flow Analysis: Games and Nets. The Essence of Computation (2002)

Prahladavaradan Sampath.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Prahladavaradan Sampath