BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × Poland
1 × The Netherlands
2 × Germany
4 × USA
Collaborated with:
P.Panangaden S.A.Smolka P.Raman D.Zhang R.Cleaveland V.Shanbhogue Y.Dong X.Du Y.S.Ramakrishna C.R.Ramakrishnan I.V.Ramakrishnan O.Sokolsky D.S.Warren
Talks about:
network (4) concurr (3) dataflow (2) automata (2) analysi (2) system (2) comput (2) verif (2) tool (2) indeterminaci (1)

Person: Eugene W. Stark

DBLP DBLP: Stark:Eugene_W=

Contributed to:

TACAS 20032003
TACAS 19991999
LICS 19981998
LICS 19921992
ICALP 19901990
POPL 19901990
ICALP 19881988
ICLP/SPL 19881988
POPL 19871987
ESOP 19861986

Wrote 10 papers:

TACAS-2003-ZhangCS #analysis #concurrent #functional #performance #verification
The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems (DZ, RC, EWS), pp. 431–436.
TACAS-1999-DongDRRRSSSW #case study #comparative #concurrent #tool support #verification
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools (YD, XD, YSR, CRR, IVR, SAS, OS, EWS, DSW), pp. 74–88.
LICS-1998-StarkS #analysis #automaton #composition #network #probability
Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata (EWS, SAS), pp. 466–477.
LICS-1992-Stark #calculus #data flow #network
A Calculus of Dataflow Networks (EWS), pp. 125–136.
ICALP-1990-PanangadenSS #data flow #network
Stability and Sequentiality in Dataflow Networks (PP, VS, EWS), pp. 308–321.
POPL-1990-Stark #automaton #concurrent #on the
On the Relations Computable by a Class of Concurrent Automata (EWS), pp. 329–340.
ICALP-1988-PanangadenS #nondeterminism #power of
Computations, Residuals, and the Power of Indeterminacy (PP, EWS), pp. 439–454.
JICSCP-1988-RamanS88 #distributed #execution #logic #problem
Fully Distributed, AND/OR-Parallel Execution of Logic Problems (PR, EWS), pp. 1188–1203.
POPL-1987-Stark #concurrent #network #process #semantics
Concurrent Transition System Semantics of Process Networks (EWS), pp. 199–210.
ESOP-1986-Stark #concept #proving #specification
Proving Entailment Between Conceptual State Specifications (EWS), pp. 197–209.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.