Prahladavaradan Sampath
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
2002–2015
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ICFEM | Refinement-Based Verification of the FreeRTOS Scheduler in VCC. | Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock |
| 2014 | DAC | Translation Validation for Stateflow to C. | Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh |
| 2012 | RE | Resolving uncertainty in automotive feature interactions. | Silky Arora, Prahladavaradan Sampath, S. Ramesh |
| 2011 | RE | Evolving specifications formally. | Prahladavaradan Sampath, Silky Arora, S. Ramesh |
| 2008 | SEFM | Behaviour Directed Testing of Auto-code Generators. | Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar |
| 2007 | DAC | Performance Analysis of FlexRay-based ECU Networks. | Andrei Hagiescu, Unmesh D. Bordoloi, Samarjit Chakraborty, Prahladavaradan Sampath, P. Vignesh V. Ganesan, S. Ramesh |
| 2007 | RTAS | Testing Model-Processing Tools for Embedded Systems. | Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar |
| 2007 | SEFM | How to Test Program Generators? A Case Study using flex. | Prahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar, S. Ramesh |
| 2006 | SEFM | Composing Context Sensitive Analysis. | Prahladavaradan Sampath, Shrawan Kumar |
| 2003 | PADL | Multi-agent Reactive Systems. | Prahladavaradan Sampath |
| 2002 | ICLP | Modelling Multi-agent Reactive Systems. | Prahladavaradan Sampath |