Concepedia

Deepak D’Souza

DD

Statistics

Publications

10

Citations

204

H-Index

10

Active since

2003

Affiliations

Indian Institute of Science Bangalore(Current)

Deepak D’Souza is an author at Indian Institute of Science Bangalore specializing in computer science, formal methods, and computing.

Publications per year

2003–2023

10

Publications

10

On the expressiveness of MTL in the pointwise and continuous semantics

Deepak D’Souza, Pavithra Prabhakar · International Journal on Software Tools for Technology Transfer · 2006 · 59 citations

Language Studies, Computer Science, Mathematics +10

A Logical Characterisation of Event Clock Automata

Deepak D’Souza · International Journal of Foundations of Computer Science · 2003 · 31 citations

Computing, Computer Science, Mathematics +15

Specification synthesis with constrained Horn clauses

Sumanth Prabhu, Grigory Fedyukovich, Kumar Madhukar et al. · 2021 · 23 citations

Computing, Computer Science, Algorithms +14

Using formal reasoning on a model of tasks for FreeRTOS

Shu Cheng, Jim Woodcock, Deepak D’Souza · Formal Aspects of Computing · 2014 · 18 citations · Full text

Computing, Computer Science, Formal Methods +11

Java memory model aware software validation

Arnab De, Abhik Roychoudhury, Deepak D’Souza · 2008 · 14 citations

Computing, Computer Science, Formal Methods +11

1–5 of 10