×

zbMATH — the first resource for mathematics

D’Souza, Deepak

Compute Distance To:
Author ID: dsouza.deepak Recent zbMATH articles by "D'Souza, Deepak"
Published as: D’Souza, Deepak; DSouza, Deepak
Documents Indexed: 32 Publications since 1999, including 4 Books

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 91 times in 62 Documents Cited by Year
An automata-theoretic approach to constraint LTL. Zbl 1113.03015
Demri, Stéphane; D’Souza, Deepak
17
2007
Timed control with partial observability. Zbl 1278.68160
Bouyer, Patricia; D’Souza, Deepak; Madhusudan, P.; Petit, Antoine
9
2003
Timed control synthesis for external specifications. Zbl 1054.93502
D’Souza, Deepak; Madhusudan, P.
9
2002
Fault diagnosis using timed automata. Zbl 1118.68374
Bouyer, Patricia; Chevalier, Fabrice; D’Souza, Deepak
7
2005
On the expressiveness of MTL with past operators. Zbl 1141.03311
Prabhakar, Pavithra; D’Souza, Deepak
6
2006
On timed automata with input-determined guards. Zbl 1109.68503
D’Souza, Deepak; Tabareau, Nicolas
6
2004
An automata-theoretic approach to constraint LTL. Zbl 1027.03027
Demri, Stéphane; D’Souza, Deepak
5
2002
A logical characterisation of event clock automata. Zbl 1101.68647
D’Souza, Deepak
4
2003
Temporal logics of repeating values. Zbl 1279.68203
Demri, Stéphane; D’Souza, Deepak; Gascon, Régis
3
2012
Eliminating past operators in metric temporal logic. Zbl 1177.03028
D’Souza, Deepak; Mohan M., Raj; Prabhakar, Pavithra
3
2009
Conflict-tolerant features. Zbl 1155.68432
D’Souza, Deepak; Gopinathan, Madhu
3
2008
Counter-free input-determined timed automata. Zbl 1142.68039
Chevalier, Fabrice; D’Souza, Deepak; Prabhakar, Pavithra
3
2007
Product interval automata: A subclass of timed automata. Zbl 0958.68087
D’Souza, Deepak; Thiagarajan, P. S.
3
1999
A decidable temporal logic of repeating values. Zbl 1132.03337
Demri, Stéphane; D’Souza, Deepak; Gascon, Régis
2
2007
On continuous timed automata with input-determined guards. Zbl 1177.68136
Chevalier, Fabrice; D’Souza, Deepak; Prabhakar, Pavithra
2
2006
An automata based approach for verifying information flow properties. Zbl 1272.68237
D’Souza, Deepak; Raghavendra, K. R.; Sprick, Barbara
2
2005
A logical characterisation of event recording automata. Zbl 0986.68046
D’Souza, Deepak
2
2000
Using formal reasoning on a model of tasks for FreeRTOS. Zbl 1328.68044
Cheng, Shu; Woodcock, Jim; D’Souza, Deepak
1
2015
Dataflow analysis for datarace-free programs. Zbl 1326.68074
De, Arnab; D’Souza, Deepak; Nasre, Rupesh
1
2011
Eventual timed automata. Zbl 1172.68499
D’Souza, Deepak; Mohan, M. Raj
1
2005
Checking consistency of SDL+MSC specifications. Zbl 1023.68526
D’Souza, Deepak; Mukund, Madhavan
1
2003
Product interval automata. Zbl 1019.68055
D’Souza, Deepak; Thiagarajan, P. S.
1
2002
Using formal reasoning on a model of tasks for FreeRTOS. Zbl 1328.68044
Cheng, Shu; Woodcock, Jim; D’Souza, Deepak
1
2015
Temporal logics of repeating values. Zbl 1279.68203
Demri, Stéphane; D’Souza, Deepak; Gascon, Régis
3
2012
Dataflow analysis for datarace-free programs. Zbl 1326.68074
De, Arnab; D’Souza, Deepak; Nasre, Rupesh
1
2011
Eliminating past operators in metric temporal logic. Zbl 1177.03028
D’Souza, Deepak; Mohan M., Raj; Prabhakar, Pavithra
3
2009
Conflict-tolerant features. Zbl 1155.68432
D’Souza, Deepak; Gopinathan, Madhu
3
2008
An automata-theoretic approach to constraint LTL. Zbl 1113.03015
Demri, Stéphane; D’Souza, Deepak
17
2007
Counter-free input-determined timed automata. Zbl 1142.68039
Chevalier, Fabrice; D’Souza, Deepak; Prabhakar, Pavithra
3
2007
A decidable temporal logic of repeating values. Zbl 1132.03337
Demri, Stéphane; D’Souza, Deepak; Gascon, Régis
2
2007
On the expressiveness of MTL with past operators. Zbl 1141.03311
Prabhakar, Pavithra; D’Souza, Deepak
6
2006
On continuous timed automata with input-determined guards. Zbl 1177.68136
Chevalier, Fabrice; D’Souza, Deepak; Prabhakar, Pavithra
2
2006
Fault diagnosis using timed automata. Zbl 1118.68374
Bouyer, Patricia; Chevalier, Fabrice; D’Souza, Deepak
7
2005
An automata based approach for verifying information flow properties. Zbl 1272.68237
D’Souza, Deepak; Raghavendra, K. R.; Sprick, Barbara
2
2005
Eventual timed automata. Zbl 1172.68499
D’Souza, Deepak; Mohan, M. Raj
1
2005
On timed automata with input-determined guards. Zbl 1109.68503
D’Souza, Deepak; Tabareau, Nicolas
6
2004
Timed control with partial observability. Zbl 1278.68160
Bouyer, Patricia; D’Souza, Deepak; Madhusudan, P.; Petit, Antoine
9
2003
A logical characterisation of event clock automata. Zbl 1101.68647
D’Souza, Deepak
4
2003
Checking consistency of SDL+MSC specifications. Zbl 1023.68526
D’Souza, Deepak; Mukund, Madhavan
1
2003
Timed control synthesis for external specifications. Zbl 1054.93502
D’Souza, Deepak; Madhusudan, P.
9
2002
An automata-theoretic approach to constraint LTL. Zbl 1027.03027
Demri, Stéphane; D’Souza, Deepak
5
2002
Product interval automata. Zbl 1019.68055
D’Souza, Deepak; Thiagarajan, P. S.
1
2002
A logical characterisation of event recording automata. Zbl 0986.68046
D’Souza, Deepak
2
2000
Product interval automata: A subclass of timed automata. Zbl 0958.68087
D’Souza, Deepak; Thiagarajan, P. S.
3
1999
all top 5

Cited by 123 Authors

6 Bersani, Marcello M.
6 Demri, Stéphane P.
6 Rossi, Matteo A. C.
4 D’Souza, Deepak
4 Kulkarni, Sandeep S.
4 Pietro, Pierluigi San
3 Bonakdarpour, Borzoo
3 Pinchinat, Sophie
3 Roux, Olivier H.
2 Abujarad, Fuad
2 Akshay, S.
2 Benattar, Gilles
2 Bliudze, Simon
2 Bouyer, Patricia
2 Bozzelli, Laura
2 Carapelle, Claudia
2 Cassez, Franck
2 Chatterjee, Krishnendu
2 Chevalier, Fabrice
2 Figueira, Diego
2 Gascon, Régis
2 Gastin, Paul
2 Geeraerts, Gilles
2 Kartzow, Alexander
2 Krichen, Moez
2 Krishna, Shankara Narayanan
2 Lime, Didier
2 Lohrey, Markus
2 Pandya, Paritosh K.
2 Quaas, Karin
2 Raskin, Jean-François
2 Sifakis, Joseph
2 Sznajder, Nathalie
2 Tripakis, Stavros
1 Abriola, Sergio
1 Andronick, June
1 Attie, Paul C.
1 Baranov, Eduard
1 Baresi, Luciano
1 Barnat, Jiří
1 Beneš, Nikola
1 Bensalem, Saddek
1 Bertrand, Nathalie
1 Bezděk, Peter
1 Bloem, Roderick
1 Bollig, Benedikt
1 Bozga, Marius
1 Bresolin, Davide
1 Brochenin, Rémi
1 Capiluppi, Marta
1 Černá, Ivana
1 Chédor, Sébastien
1 Chen, Jingshu
1 Chen, Song
1 Condotta, Jean-François
1 De, Arnab Kumar
1 Deters, Morgan
1 Dingel, Juergen
1 Feng, Shiguang
1 Figueira, Santiago
1 Frigeri, Achille
1 Gardey, Guillaume
1 Greimel, Karin
1 Henzinger, Thomas A.
1 Ho, Hsi-Ming
1 Hofferek, Georg
1 Jaber, Mohamad Y.
1 Jéron, Thierry
1 Jobstmann, Barbara
1 Ju, Shiguang
1 Khoumsi, Ahmed
1 Kini, Dileep Raghunath
1 Klin, Bartek
1 Komenda, Jan
1 Könighofer, Bettina
1 Könighofer, Robert
1 Kumar, K. Narayan
1 Łełyk, Mateusz
1 Leucker, Martin
1 Lewis, Corey
1 Lin, Yiyan
1 Liu, Zhifeng
1 Lozes, Etienne
1 Madnani, Khushraj
1 Majumdar, Anirban
1 Marchand, Hervé
1 Marconi, F.
1 Markey, Nicolas
1 Matichuk, Daniel
1 Mazure, Bertrand
1 Mohan, M. Raj
1 Morgan, Carroll C.
1 Morvan, Christophe
1 Morzenti, Angelo
1 Mukund, Madhavan
1 Mullins, John
1 Nasre, Rupesh
1 Norman, Gethin
1 Ogawa, Mizuhito
1 Ouaknine, Joel O.
...and 23 more Authors

Citations by Year