Search the dblp DataBase

Publications of Author

1. Pavithra Prabhakar, Deepak D'Souza
   On the Expressiveness of MTL with Past Operators. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2006, pp:322-336 [Conf]
   
2. Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar
   On Continuous Timed Automata with Input-Determined Guards. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 2006, pp:369-380 [Conf]
   
3. Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar
   Counter-Free Input-Determined Timed Automata. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2007, pp:82-97 [Conf]
   
4. Deepak D'Souza, Pavithra Prabhakar
   On the expressiveness of MTL in the pointwise and continuous semantics. [Citation Graph (0, 0)][DBLP]
   STTT, 2007, v:9, n:1, pp:1-4 [Journal]
   
5. 
   On Convergence of Concurrent Systems under Regular Interactions. [Citation Graph (, )][DBLP]
   
   
6. 
   A Decidable Class of Planar Linear Hybrid Systems. [Citation Graph (, )][DBLP]
   
   
7. 
   STORMED Hybrid Games. [Citation Graph (, )][DBLP]
   
   
8. 
   STORMED Hybrid Systems. [Citation Graph (, )][DBLP]
   
   
9. 
   Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude. [Citation Graph (, )][DBLP]
   
   
10. 
    Verifying Tolerant Systems Using Polynomial Approximations. [Citation Graph (, )][DBLP]
    
    
11. 
    Complexity Bounds for the Verification of Real-Time Software. [Citation Graph (, )][DBLP]
    
    
12. 
    Automata and logics over finitely varying functions. [Citation Graph (, )][DBLP]