Arnab Ray

According to our database1, Arnab Ray authored at least 19 papers between 2003 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2015
Security Assurance Cases for Medical Cyber-Physical Systems.
IEEE Design & Test, 2015

2014
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

An analysis method for medical device security.
Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

2013
Constructing safety assurance cases for medical devices.
Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, 2013

2011
Functional and Nonfunctional Design Verification for Embedded Software Systems.
Advances in Computers, 2011

2010
Automatic Requirement Extraction from Test Cases.
Proceedings of the Runtime Verification - First International Conference, 2010

2009
Engineering high confidence medical device software.
SIGBED Review, 2009

Validating Automotive Control Software Using Instrumentation-Based Verification.
Proceedings of the ASE 2009, 2009

2008
Authentication, Access Control, and Information Flow.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Executable Specifications for Real-Time Distributed Systems.
Electr. Notes Theor. Comput. Sci., 2008

2006
A Software Architectural Approach to Security by Design.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005
An Algebraic Theory Of Boundary Crossing Transitions.
Electr. Notes Theor. Comput. Sci., 2005

Preventing race condition attacks on file-systems.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach.
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

2004
Unit verification: the CARA experience.
STTT, 2004

Formal Modeling Of Middleware-based Distributed Systems.
Electr. Notes Theor. Comput. Sci., 2004

Secure Requirements Elicitation Through Triggered Message Sequence Charts.
Proceedings of the Distributed Computing and Internet Technology, 2004

2003
Security check: a formal yet practical framework for secure software architecture.
Proceedings of the New Security Paradigms Workshop 2003, 2003

Architectural Interaction Diagrams: AIDs for System Modeling.
Proceedings of the 25th International Conference on Software Engineering, 2003


  Loading...