Your search returned 12 results.

Results
	1.	No cover image available On the expressiveness of metric temporal logic by Pavitra Prabhakar by Prabhakar, Pavithra Advised by D'Souza, Deepak Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bangalore : Indian Institute of Science, 2006 Dissertation note: MSc(Engg);2006;Computer Science and Automation Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 P06.
	2.	No cover image available Verification of information flow properties by K. R. Raghavendra by Raghavendra, K R Advised by D'Souza, Deepak Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bangalore : Indian Institute of Science, 2007 Dissertation note: MSc;2007;Computer Science and Automation Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.8 P07.
	3.	No cover image available Analysing message sequence graph specifications by Joy Chakraborty by Joy, Chakraborty Advised by D'Souza, Deepak Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bangalore : Indian Institute of Science, 2009 Dissertation note: MSc(Engg);2009;Computer Science and Automation; Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.66 P09.
	4.	No cover image available Conflict-Tolerant Features by Madhu Gopinathan by Gopinathan, Madhu Advised by D'Souza, Deepak Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bangalore : Indian Institute of Science, 2009 Dissertation note: Phd;2009;Computer Science and Automation Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.16 P09 .
	5.	No cover image available Automata constructions and decision procedures for metric temporal logic by M Raj Mohan by Raj Mohan, M Advised by D'Souza Deepak Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bangalore : Indian institute of Science, 2012 Dissertation note: PhD(Engg);2012;Computer Science and Automation Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.31015113 P12 .
	6.	No cover image available Therotical study of the synergy and lazy annotation algorithms by Sampath Jayaram by Jayaram, Sampath Advised by D'Souza, Deepak Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bangalore : Indian Institute of Science, 2013 Dissertation note: MSc(Engg);2013;Computer Science and Automation Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 P13.
	7.	No cover image available Access path based dataflow analysis for sequential and concurrent programs by Arnab De by Arnab De Advised by D'souza, Deepak Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bangalore : Indian Institute of Science, 2012 Dissertation note: PhD;2012;Computer Science and Automation Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.3762 P12 .
	8.	No cover image available Model-checking infinite state systems for information flow security properties by K. R. Raghavendra by Raghavendra, K. R Advised by D'Souza, Deepak Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bangalore : Indian Institute of Science, 2013 Dissertation note: PhD;2013;Computer Science and Automation Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.8 P13.
	9.	No cover image available Refinement- based methodology for verifying abstract data type implementations by Sumesh Divakaran by Divakaran, Sumesh Advised by D'Souza, Deepak Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bangalore : Indian Institute of Science, 2015 Dissertation note: PhD;2015;Computer Science and Automation Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.71262 P15 .
	10.	No cover image available Efficient static analyses for concurrent programs by Suvam Mukherjee by Mukherjee, Suvam Advised by D'Souza, Deepak Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bangalore : Indian Institute of Science, 2017 Dissertation note: PhD;2017;Computer Science and Automation Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.275 P17 .
	11.	No cover image available Specification Synthesis with Constrained Horn Clauses by Sumanth Prabhu, S Advised by D'Souza, Deepak Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bangalore: Indian Institute of Science, 2023 Dissertation note: PhD;2023;Computer Science and Automation Online resources: Click here to access online Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.453 SUM.
	12.	No cover image available Reasoning about safety of camera-based neural network controlled systems / by Habeeb, P Advised by D'Souza, Deepak Material type: Text; Format: print ; Literary form: Not fiction Language: en Publication details: Bangalore : Indian Institute of Science, 2024 Dissertation note: PhD;2024;Computer Science and Automation Online resources: Click here to access online Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.382 HAB.

Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
Contact Phone: +91 80 2293 2832