Prahladavaradan Sampath

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