Search the dblp DataBase

Publications of Author

1. Arnab Ray, Rance Cleaveland
   A Software Architectural Approach to Security by Design. [Citation Graph (0, 0)][DBLP]
   COMPSAC (2), 2006, pp:83-86 [Conf]
   
2. Arnab Ray
   Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach. [Citation Graph (0, 0)][DBLP]
   COORDINATION, 2005, pp:125-139 [Conf]
   
3. Arnab Ray, Bikram Sengupta, Rance Cleaveland
   Secure Requirements Elicitation Through Triggered Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
   ICDCIT, 2004, pp:273-282 [Conf]
   
4. Arnab Ray, Rance Cleaveland
   Architectural Interaction Diagrams: AIDs for System Modeling. [Citation Graph (0, 0)][DBLP]
   ICSE, 2003, pp:396-407 [Conf]
   
5. Arnab Ray
   Security check: a formal yet practical framework for secure software architecture. [Citation Graph (0, 0)][DBLP]
   NSPW, 2003, pp:59-65 [Conf]
   
6. Prem Uppuluri, Uday Joshi, Arnab Ray
   Preventing race condition attacks on file-systems. [Citation Graph (0, 0)][DBLP]
   SAC, 2005, pp:346-353 [Conf]
   
7. Arnab Ray, Rance Cleaveland
   Formal Modeling Of Middleware-based Distributed Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:108, n:, pp:21-37 [Journal]
   
8. Arnab Ray, Rance Cleaveland, Arne Skou
   An Algebraic Theory Of Boundary Crossing Transitions. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:69-88 [Journal]
   
9. Arnab Ray, Rance Cleaveland
   Unit verification: the CARA experience. [Citation Graph (0, 0)][DBLP]
   STTT, 2004, v:5, n:4, pp:351-369 [Journal]
   
10. 
    Validating Automotive Control Software Using Instrumentation-Based Verification. [Citation Graph (, )][DBLP]
    
    
11. 
    Executable Specifications for Real-Time Distributed Systems. [Citation Graph (, )][DBLP]