Prahladavaradan Sampath

According to our database, Prahladavaradan Sampath authored at least 18 papers between 2000 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Refinement-Based Verification of the FreeRTOS Scheduler in VCC.

Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock

Proceedings of the Formal Methods and Software Engineering, 2015

2014

An elementary theory of product-line variations.

Prahladavaradan Sampath

Formal Aspects Comput., 2014

Translation Validation for Stateflow to C.

Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2012

Resolving uncertainty in automotive feature interactions.

Silky Arora, Prahladavaradan Sampath, S. Ramesh

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

2011

Evolving specifications formally.

Prahladavaradan Sampath, Silky Arora, S. Ramesh

Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011

2010

CoGenTe: a tool for code generator testing.

A. C. Rajeev, Prahladavaradan Sampath, K. C. Shashidhar, S. Ramesh

Proceedings of the ASE 2010, 2010

2009

Supervisory control for real-time systems based on conflict-tolerant controllers.

Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath

Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

2008

Behaviour Directed Testing of Auto-code Generators.

Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Conflict-Tolerant Real-Time Features.

Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2007

How to Test Program Generators? A Case Study using flex.

Prahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar, S. Ramesh

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Testing Model-Processing Tools for Embedded Systems.

Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar

Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007

Performance Analysis of FlexRay-based ECU Networks.

Andrei Hagiescu, Unmesh D. Bordoloi, Samarjit Chakraborty, Prahladavaradan Sampath, P. Vignesh V. Ganesan, S. Ramesh

Proceedings of the 44th Design Automation Conference, 2007

2006

Duality of Fix-Points for Distributive Lattices

Prahladavaradan Sampath

CoRR, 2006

Composing Context Sensitive Analysis.

Prahladavaradan Sampath, Shrawan Kumar

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

2003

Multi-agent Reactive Systems.

Prahladavaradan Sampath

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

2002

Modelling Multi-agent Reactive Systems.

Prahladavaradan Sampath

Proceedings of the Logic Programming, 18th International Conference, 2002

Flow Analysis: Games and Nets.

Chris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2000

Program analysis using game semantics.

Prahladavaradan Sampath

PhD thesis, 2000