The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Arnab Ray: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.187secs, Finished in 0.187secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002