Search CORE

6 research outputs found

Automated derivation of time bounds in uniprocessor concurrent systems

Author: G.S. Avrunin
J.C. Corbett
J.C. Wileden
L.K. Dillon
Publication venue: 'Institute of Electrical and Electronics Engineers (IEEE)'
Publication date
Field of study

Specification-level interoperability

Author: Alexander L. Wolf
Clarke L.A.
Dearie A.
Jack C. Wileden
King T
Peri L. Tarr
Wileden J.C.
Wileden J.C.
William R. Rosenblatt
Zdonik S.B.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Automated analysis of concurrent systems with the constrained expression toolset

Author: G.S. Avrunin
J.C. Corbett
J.C. Wileden
L.K. Dillon
U.A. Buy
Publication venue: 'Institute of Electrical and Electronics Engineers (IEEE)'
Publication date
Field of study

Facilitating process prototyping by controlling the impact of change

Author: Alexander L. Wolf
Ctnrke L.A.
J. C. Wileden
L. A. Clarke
Sykes S.D.
Taylor R.N.
Wileden J.C.
Wolf A.L.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Constrained expressions: toward broad applicability of analysis methods for distributed software systems

Author: AVRUNIN G. S.
AVRUNIN G. S.
BATES P.
CAMPBELL R.
CHEN B. S.
DILLON L.K.
George S. Avrunin
GINSBURG S.
HACK M.
HOARE C. A.
HOLZMANN G.J.
Jack C. Wileden
Laura K. Dillon
MISRA J.
PETERSON J.
SHAW A.C.
WILEDEN J.C.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

A model for distributed systems based on graph rewriting

Author: ASTES ANO
ASTESIANO E.
BRAMS G.W.
CASTELLAN
CASTELLANI I.
CHANDRA A. K.
CLINGER W.D.
CORRADINI A.
CORRADINI A.
DE BAKKER J. W.
DEGANO
DEGANO P.
DEGANO P.
DEGANO P.
DEGANO P.
DEGANO P.
DUGUNDJI J.
EHRIG H.
GEL M. A.
LAUER P. E.
LSFN M.
MILNER R
MILNVR R.
MONTANA
NIVAT M.
PETRI C. A.
Pierpaolo Degano
PLO KIN
SCOTT D.S
Ugo Montanari
VAT M.
WILEDEN J.C.
WINKOWSKI J
WINSKEL G.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

core

core