|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Arnab Ray, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin |
Functional and Nonfunctional Design Verification for Embedded Software Systems.  |
Advances in Computers  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico |
Automatic Requirement Extraction from Test Cases. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Ray, Iris Morschhaeuser, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin |
Validating Automotive Control Software Using Instrumentation-Based Verification. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Ray, Rance Cleaveland |
Executable Specifications for Real-Time Distributed Systems. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Ray |
Authentication, Access Control, and Information Flow. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Ray, Rance Cleaveland |
A Software Architectural Approach to Security by Design. |
COMPSAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Ray, Rance Cleaveland, Arne Skou |
An Algebraic Theory Of Boundary Crossing Transitions. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Ray |
Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Prem Uppuluri, Uday Joshi, Arnab Ray |
Preventing race condition attacks on file-systems. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
security, race conditions, system calls |
| 1 | Arnab Ray, Rance Cleaveland |
Formal Modeling Of Middleware-based Distributed Systems. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Ray, Rance Cleaveland |
Unit verification: the CARA experience. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Formal methods, Abstraction, Process algebra, State minimization |
| 1 | Arnab Ray, Bikram Sengupta, Rance Cleaveland |
Secure Requirements Elicitation Through Triggered Message Sequence Charts. |
ICDCIT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Ray |
Security check: a formal yet practical framework for secure software architecture. |
NSPW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Ray, Rance Cleaveland |
Architectural Interaction Diagrams: AIDs for System Modeling. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")