Search the dblp DataBase

Publications of Author

1. Chris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath
   Flow Analysis: Games and Nets. [Citation Graph (0, 0)][DBLP]
   The Essence of Computation, 2002, pp:135-156 [Conf]
   
2. Prahladavaradan Sampath
   Modelling Multi-agent Reactive Systems. [Citation Graph (0, 0)][DBLP]
   ICLP, 2002, pp:476- [Conf]
   
3. Prahladavaradan Sampath
   Multi-agent Reactive Systems. [Citation Graph (0, 0)][DBLP]
   PADL, 2003, pp:177-193 [Conf]
   
4. Prahladavaradan Sampath, Shrawan Kumar
   Composing Context Sensitive Analysis. [Citation Graph (0, 0)][DBLP]
   SEFM, 2006, pp:186-195 [Conf]
   
5. Andrei Hagiescu, Unmesh D. Bordoloi, Samarjit Chakraborty, Prahladavaradan Sampath, P. Vignesh V. Ganesan, S. Ramesh
   Performance Analysis of FlexRay-based ECU Networks. [Citation Graph (0, 0)][DBLP]
   DAC, 2007, pp:284-289 [Conf]
   
6. Prahladavaradan Sampath
   Duality of Fix-Points for Distributive Lattices [Citation Graph (0, 0)][DBLP]
   CoRR, 2006, v:0, n:, pp:- [Journal]
   
7. 
   CoGenTe: a tool for code generator testing. [Citation Graph (, )][DBLP]
   
   
8. 
   Conflict-Tolerant Real-Time Features. [Citation Graph (, )][DBLP]
   
   
9. 
   Testing Model-Processing Tools for Embedded Systems. [Citation Graph (, )][DBLP]
   
   
10. 
    Behaviour Directed Testing of Auto-code Generators. [Citation Graph (, )][DBLP]
    
    
11. 
    How to Test Program Generators? A Case Study using flex. [Citation Graph (, )][DBLP]