Research Interests 

General: Software Engineering for Distributed Embedded Systems (Automotive, Medical), Security By Design 

Specific: Software Architecture, Formal Methods, Model-based testing, Information Flow 

Publications

  • Architectural Interaction Diagrams- AIDs for System Modeling. Arnab Ray and Rance Cleaveland. International Conference on Software Engineering (ICSE) 2003 [pages 396-407] Portland, Oregon [Download]
  • Security Check: A Formal Yet Practical Framework for Secure Computer Architecture. Arnab Ray. New Security Paradigms Workshop (NSPW) 2003 [pages 59-65] Ascona, Switzerland [Download]
  • Unit Verification: The CARA Experience. Arnab Ray and Rance Cleaveland. International Journal on Software Tools for Technology Transfer (STTT) 2004. Issue: Volume 5, Number 4 [pages 351-369]. Springer-Verlag [Download]
  • An Algebraic Theory of Boundary Crossing Transitions.   Arnab Ray and Rance Cleaveland and Arne Skou. Semantic Foundations of Engineering Design Languages (SFEDL) 2004
    European Joint Conferences on Theory and Practice of Software (ETAPS) Barcelona, Spain [Download]
  • Formal Modelling of Middleware-based Distributed Systems. Arnab Ray and Rance Cleaveland. Formal Foundations of Embedded Software and Component-based Architecture (FESCA) 2004 , European Joint Conferences on Theory and Practice of Software (ETAPS) Barcelona, Spain [Download]
  • Secure Requirements Elicitation Through Triggered Message Sequence Charts. Arnab Ray and Bikram Sengupta and Rance Cleaveland. International Conference on Distributed Computing and Internet Technology (ICDCIT) 2004, Bhubaneshwar, India [Download]
  • Preventing Race Condition Attacks on File Systems. Prem Uppuluri, Uday Joshi and Arnab Ray. ACM Symposium on Applied Computing, ACM SAC 2005, Santa Fe, New Mexico [Download]
  • Enforcing Distributed Information Flow Policies Architecturally: the SAID Approach. Arnab Ray. Seventh International Conference on Coordination Models and Languages, COORDINATION 2005, Namur, Belgium  [Download]
  • A Software Architectural Approach to Security By Design. Arnab Ray and Rance Cleaveland. 30th Annual International Software and Computer Applications Conference (COMPSAC) 2006, Chicago, USA. [Download]
  • Model-Based Verification and Validation of Distributed Controller Architectures. Arnab Ray, Rance Cleaveland, Shengbing Jiang, Thomas Fuhrman. Society of Automotive Engineers (SAE) Convergence 2006, Detroit, USA 
  • Executable Specifications for Real-time Distributed Systems. Arnab Ray and Rance Cleaveland. Model-driven High-level Programming of Embedded Systems.European Joint Conferences on Theory and Practice of Software (ETAPS) 2007, Braga, Portugal [Download]
  • Model-Based Design Verification: A Monitor Based Approach. Chris Ackermann, Arnab Ray, Rance Cleaveland, Juergen Heit, Charles Shelton, Chris Martin. Society of Automotive Engineers (SAE) World Congress 2008, Detroit, USA 
  • Using Sequence Diagrams To Detect Communication Problems Between Systems. Mikael Lindvall, Chris Ackermann,William Straton, Deane Sibol, Arnab Ray, Lyly Yonkwa, Jan Kresser, Sally Godfrey, Jens Knodel. IEEE Aerospace Conference 2008, Big Sky, Montana, USA
  • Authorization, Access Control and Information Flow.  Arnab Ray. Invited book chapter in Wiley Encyclopedia of Computer Science and Engineering. Volume 1 [pages 213-223]