Search Results - "Roscoe, W A"

A refinement-based approach to safe smart contract deployment and evolution by Antonino, Pedro, Ferreira, Juliandson, Sampaio, Augusto, Roscoe, A. W., Arruda, Filipe

“…In our previous work, we proposed a verification framework that shifts from the “code is law” to a new “specification is law” paradigm related to the safe…”
Get full text

Approximate verification of concurrent systems using token structures and invariants by Antonino, Pedro, Gibson-Robinson, Thomas, Roscoe, A. W.

“…Distributed systems often rely on token structures to avoid undesired states and behave correctly. While conservative token structures ensure that a fixed…”
Get full text

Translating between models of concurrency by Mestel, David, Roscoe, A. W.

“…Hoare’s Communicating Sequential Processes (CSP) (Hoare in Communicating Sequential Processes, Prentice-Hall Inc, Upper Saddle River, 1985) admits a rich…”
Get full text

FDR3: a parallel refinement checker for CSP by Gibson-Robinson, Thomas, Armstrong, Philip, Boulgakov, Alexandre, Roscoe, A. W.

“…Failures divergence refinement 3 (FDR3) is a complete rewrite of the CSP refinement checker FDR2 that incorporates a significant number of enhancements. In…”
Get full text

Failure of Spermatogenesis in Mice Lacking Connexin43 by ROSCOE, Wendi A, BARR, Kevin J, MHAWI, Abdul Amir, POMERANTZ, David K, KIDDER, Gerald M

“…Connexin43 (Cx43), a gap junction protein encoded by the Gja1 gene, is expressed in several cell types of the testis. Cx43 gap junctions couple Sertoli cells…”
Get full text

On the expressive power of CSP refinement by ROSCOE, A. W

“…Abstract We show that wide-ranging classes of predicates on the failures-divergences model for CSP can be represented by refinement checks in a general form…”
Get full text

Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving by Antonino, Pedro, Gibson-Robinson, Thomas, Roscoe, A. W.

“…This work develops a type of local analysis that can prove concurrent systems deadlock free. As opposed to examining the overall behaviour of a system, local…”
Get full text

VEGF and angiogenesis in acute and chronic MOG(35–55) peptide induced EAE by Roscoe, W.A, Welsh, M.E, Carter, D.E, Karlik, S.J

“…Abstract An increased expression of vascular endothelial growth factor (VEGF) is associated with demyelinated lesions in both multiple sclerosis (MS) and its…”
Get full text

Responsiveness and stable revivals by REED, J. N, ROSCOE, A. W, SINCLAIR, J. E

“…Abstract Individual components in an inter-operating system require assurance from other components both of appropriate functionality and of suitable…”
Get full text

Computing maximal weak and other bisimulations by Boulgakov, Alexandre, Gibson-Robinson, Thomas, Roscoe, A. W.

“…We present and compare several algorithms for computing the maximal strong bisimulation, the maximal divergence-respecting delay bisimulation, and the maximal…”
Get full text

Checking noninterference in Timed CSP by Roscoe, A. W., Huang, Jian

“…A well-established specification of noninterference in CSP is that, when high-level events are appropriately abstracted, the remaining low-level view is…”
Get full text

Reverse Authentication in Financial Transactions and Identity Management by Chen, Bangdao, Nguyen, Long Hoang, Roscoe, A. W.

“…New families of protocol, based on communication over human-based side channels, permit secure pairing or group formation in ways such that no party has to…”
Get full text

Rigorous development of component-based systems using component metadata and patterns by Oliveira, M. V. M., Antonino, P., Ramos, R., Sampaio, A., Mota, A., Roscoe, A. W.

“…In previous work we presented a CSP-based systematic approach that fosters the rigorous design of component-based development. Our approach is strictly defined…”
Get full text

Responsiveness of interoperating components by REED, J. N, SINCLAIR, J. E, ROSCOE, A. W

“…This paper investigates the issue of responsiveness of interoperating components: one not causing the other to deadlock. This is obviously related to the…”
Get full text

Authenticating ad hoc networks by comparison of short digests by Nguyen, L.H., Roscoe, A.W.

“…We show how to design secure authentication protocols for a non-standard class of scenarios. In these authentication is not bootstrapped from a PKI, shared…”
Get full text

A Static Analysis Framework for Livelock Freedom in CSP by Ouaknine, Joel, Palikareva, Hristina, Roscoe, A. W., Worrell, James

“…In a process algebra with hiding and recursion it is possible to create processes which compute internally without ever communicating with their environment…”
Get full text

Connexin 43 gap junction proteins are up-regulated in remyelinating spinal cord by Roscoe, W.A., Messersmith, E., Meyer-Franke, A., Wipke, B., Karlik, S.J.

“…Alterations in the expression of gap junction proteins have previously been observed in several diseases affecting the central nervous system; however, the…”
Get full text

Committable: A Decentralised and Trustless Open-Source Protocol by Liu, Han, Zhang, Huafeng, Chen, Bangdao, Roscoe, A. W.

“…Collaborative development in open-source software (OSS) has long been limited by the lack of participation, i.e., A project is often maintained by an…”
Get full text

Experimental allergic encephalomyelitis in connexin 43-heterozygous mice by Roscoe, W A, Kidder, G M, Karlik, S J

“…Alterations in the expression of gap junction proteins (connexins) have previously been observed in experimental allergic encephalomyelitis (EAE)…”
Get more information

What is intransitive noninterference? by Roscoe, A.W., Goldsmith, M.H.

“…The term "intransitive noninterference" refers to the information flow properties required of systems like downgraders, in which it may be legitimate for…”
Get full text