Deepak D'Souza

	2011
33		Arnab De, Deepak D'Souza, Rupesh Nasre: Dataflow Analysis for Datarace-Free Programs. ESOP 2011: 196-215
32		Deepak D'Souza, Raveendra Holla, K. R. Raghavendra, Barbara Sprick: Model-checking trace-based information flow properties. Journal of Computer Security 19(1): 101-138 (2011)
	2010
31		Sumesh Divakaran, Deepak D'Souza, Raj Mohan Matteplackel: Conflict-tolerant specifications in temporal logic. ICSE 2010: 103-110
30		Hari S. Gupta, Deepak D'Souza, Raghavan Komondoor, Girish M. Rama: A case study in matching service descriptions to implementations in an existing system. ICSM 2010: 1-10
29		Arnab De, Abhik Roychoudhury, Deepak D'Souza: WOMM: A Weak Operational Memory Model. ISoLA (1) 2010: 519-534
28		Joy Chakraborty, Deepak D'Souza, K. Narayan Kumar: Analysing Message Sequence Graph Specifications. ISoLA (1) 2010: 549-563
27		Sumesh Divakaran, Deepak D'Souza, M. Raj Mohan: Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic. TIME 2010: 35-42
26		Hari S. Gupta, Deepak D'Souza, Raghavan Komondoor, Girish M. Rama: A Case Study in Matching Service Descriptions to Implementations in an Existing System CoRR abs/1008.2458: (2010)
	2009
25		Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath: Supervisory control for real-time systems based on conflict-tolerant controllers. CASE 2009: 555-560
24		Fabrice Chevalier, Deepak D'Souza, M. Raj Mohan, Pavithra Prabhakar: Automata and logics over finitely varying functions. Ann. Pure Appl. Logic 161(3): 324-336 (2009)
	2008
23		Deepak D'Souza, Madhu Gopinathan: Conflict-Tolerant Features. CAV 2008: 227-239
22		Deepak D'Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick: On the Decidability of Model-Checking Information Flow Properties. ICISS 2008: 26-40
21		Arnab De, Abhik Roychoudhury, Deepak D'Souza: Java memory model aware software validation. PASTE 2008: 8-14
20		Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath: Conflict-Tolerant Real-Time Features. QEST 2008: 274-283
	2007
19		Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar: Counter-Free Input-Determined Timed Automata. FORMATS 2007: 82-97
18		Stéphane Demri, Deepak D'Souza, Régis Gascon: A Decidable Temporal Logic of Repeating Values. LFCS 2007: 180-194
17		Stéphane Demri, Deepak D'Souza: An automata-theoretic approach to constraint LTL. Inf. Comput. 205(3): 380-415 (2007)
16		Deepak D'Souza, Pavithra Prabhakar: On the expressiveness of MTL in the pointwise and continuous semantics. STTT 9(1): 1-4 (2007)
	2006
15		Pavithra Prabhakar, Deepak D'Souza: On the Expressiveness of MTL with Past Operators. FORMATS 2006: 322-336
14		Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar: On Continuous Timed Automata with Input-Determined Guards. FSTTCS 2006: 369-380
13		Deepak D'Souza, Madhu Gopinathan: Computing Complete Test Graphs for Hierarchical Systems. SEFM 2006: 70-79
12		Deepak D'Souza, Nicolas Tabareau: On timed automata with input-determined guards CoRR abs/cs/0601096: (2006)
	2005
11		Deepak D'Souza, M. Raj Mohan: Eventual Timed Automata. FSTTCS 2005: 322-334
10		Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza: Fault Diagnosis Using Timed Automata. FoSSaCS 2005: 219-233
9		Deepak D'Souza, K. R. Raghavendra, Barbara Sprick: An Automata Based Approach for Verifying Information Flow Properties. Electr. Notes Theor. Comput. Sci. 135(1): 39-58 (2005)
	2004
8		Deepak D'Souza, Nicolas Tabareau: On Timed Automata with Input-Determined Guards. FORMATS/FTRTFT 2004: 68-83
	2003
7		Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit: Timed Control with Partial Observability. CAV 2003: 180-192
6		Deepak D'Souza, Madhavan Mukund: Checking Consistency of SDL+MSC Specifications. SPIN 2003: 151-165
5		Deepak D'Souza: A Logical Characterisation of Event Clock Automata. Int. J. Found. Comput. Sci. 14(4): 625-640 (2003)
	2002
4		Stéphane Demri, Deepak D'Souza: An Automata-Theoretic Approach to Constraint LTL. FSTTCS 2002: 121-132
3		Deepak D'Souza, P. Madhusudan: Timed Control Synthesis for External Specifications. STACS 2002: 571-582
	2000
2		Deepak D'Souza: A Logical Characterisation of Event Recording Automata. FTRTFT 2000: 240-251
	1999
1		Deepak D'Souza, P. S. Thiagarajan: Product Interval Automata: A Subclass of Timed Automata. FSTTCS 1999: 60-71

Coauthor Index

1	Patricia Bouyer (Patricia Bouyer-Decitre)	[7] [10]
2	Joy Chakraborty	[28]
3	Fabrice Chevalier	[10] [14] [19] [24]
4	Arnab De	[21] [29] [33]
5	Stéphane Demri	[4] [17] [18]
6	Sumesh Divakaran	[27] [31]
7	Régis Gascon	[18]
8	Madhu Gopinathan	[13] [20] [23] [25]
9	Hari S. Gupta	[26] [30]
10	Raveendra Holla	[22] [32]
11	Raghavan Komondoor	[26] [30]
12	Janardhan Kulkarni	[22]
13	K. Narayan Kumar	[28]
14	P. Madhusudan (Parthasarathy Madhusudan)	[3] [7]
15	M. Raj Mohan (Raj Mohan Matteplackel)	[11] [24] [27] [31]
16	Madhavan Mukund	[6]
17	Rupesh Nasre	[33]
18	Antoine Petit	[7]
19	Pavithra Prabhakar	[14] [15] [16] [19] [24]
20	K. R. Raghavendra	[9] [32]
21	Girish Maskeri Rama (Girish M. Rama)	[26] [30]
22	Raghavendra K. Ramesh	[22]
23	S. Ramesh (Sethu Ramesh)	[20] [25]
24	Abhik Roychoudhury	[21] [29]
25	Prahladavaradan Sampath	[20] [25]
26	Barbara Sprick	[9] [22] [32]
27	Nicolas Tabareau	[8] [12]
28	P. S. Thiagarajan	[1]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page