Prahladavaradan Sampath

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2012
c13		Silky Arora, Prahladavaradan Sampath, S. Ramesh: Resolving uncertainty in automotive feature interactions. RE 2012: 21-30
	2011
c12		Prahladavaradan Sampath, Silky Arora, S. Ramesh: Evolving specifications formally. RE 2011: 5-14
	2010
c11		A. C. Rajeev, Prahladavaradan Sampath, K. C. Shashidhar, S. Ramesh: CoGenTe: a tool for code generator testing. ASE 2010: 349-350
	2009
c10		Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath: Supervisory control for real-time systems based on conflict-tolerant controllers. CASE 2009: 555-560
	2008
c9		Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath: Conflict-Tolerant Real-Time Features. QEST 2008: 274-283
c8		Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar: Behaviour Directed Testing of Auto-code Generators. SEFM 2008: 191-200
	2007
c7		Andrei Hagiescu, Unmesh D. Bordoloi, Samarjit Chakraborty, Prahladavaradan Sampath, P. Vignesh V. Ganesan, Sethu Ramesh: Performance Analysis of FlexRay-based ECU Networks. DAC 2007: 284-289
c6		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: 203-214
c5		Prahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar, S. Ramesh: How to Test Program Generators? A Case Study using flex. SEFM 2007: 80-92
	2006
c4		Prahladavaradan Sampath, Shrawan Kumar: Composing Context Sensitive Analysis. SEFM 2006: 186-195
i1		Prahladavaradan Sampath: Duality of Fix-Points for Distributive Lattices. CoRR abs/cs/0609118 (2006)
	2003
c3		Prahladavaradan Sampath: Multi-agent Reactive Systems. PADL 2003: 177-193
	2002
c2		Chris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath: Flow Analysis: Games and Nets. The Essence of Computation 2002: 135-156
c1		Prahladavaradan Sampath: Modelling Multi-agent Reactive Systems. ICLP 2002: 476

Coauthor Index

1	Silky Arora	[c13] [c12]
2	Unmesh D. Bordoloi	[c7]
3	Samarjit Chakraborty	[c7]
4	Deepak D'Souza	[c10] [c9]
5	P. Vignesh V. Ganesan	[c7]
6	Madhu Gopinathan	[c10] [c9]
7	Andrei Hagiescu	[c7]
8	Chris Hankin	[c2]
9	Shrawan Kumar	[c4]
10	Rajagopal Nagarajan	[c2]
11	A. C. Rajeev	[c11] [c8] [c6] [c5]
12	S. Ramesh (Sethu Ramesh)	[c13] [c12] [c11] [c10] [c9] [c8] [c7] [c6] [c5]
13	K. C. Shashidhar	[c11] [c8] [c6] [c5]

Colors in the list of coauthors

Last update Wed May 22 14:29:43 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page