Eugene W. Stark

Publication Activity (10 Years)

Years Active: 1982-2024
Publications (10 Years): 6

Top Topics

Category Specific

Transition Systems

Top Venues

Arch. Formal Proofs

Publications

Eugene W. Stark
Residuated Transition Systems II: Categorical Properties. Arch. Formal Proofs 2024 (2024)
Eugene W. Stark
Enriched Category Basics. Arch. Formal Proofs 2024 (2024)
Eugene W. Stark
Residuated Transition Systems. Arch. Formal Proofs 2022 (2022)
Eugene W. Stark
Bicategories. Arch. Formal Proofs 2020 (2020)
Eugene W. Stark
Monoidal Categories. Arch. Formal Proofs 2017 (2017)
Eugene W. Stark
Category Theory with Adjunctions and Limits. Arch. Formal Proofs 2016 (2016)
Eugene W. Stark, Rance Cleaveland, Scott A. Smolka
Probabilistic I/O Automata: Theories of Two Equivalences. CONCUR (2006)
Eugene W. Stark
Formally specifying CARA in Java. Int. J. Softw. Tools Technol. Transf. 5 (4) (2004)
Dezhuang Zhang, Rance Cleaveland, Eugene W. Stark
The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems. TACAS (2003)
Eugene W. Stark
On Behaviour Equivalence for Probabilistic I/O Automata and its Relationship to Probabilistic Bisimulation. J. Autom. Lang. Comb. 8 (2) (2003)
Eugene W. Stark, Rance Cleaveland, Scott A. Smolka
A Process-Algebraic Language for Probabilistic I/O Automata. CONCUR (2003)
Eugene W. Stark, Scott A. Smolka
A complete axiom system for finite-state probabilistic processes. Proof, Language, and Interaction (2000)
Eugene W. Stark
Compositional Performance Analysis Using Probabilistic I/O Automata. CONCUR (2000)
Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. TACAS (1999)
Yifei Dong, Scott A. Smolka, Eugene W. Stark, Stephanie M. White
Practical Considerations in Protocol Verification: The E-2C Case Study. ICECCS (1999)
Eugene W. Stark
Fibrational Semantics of Dataflow Networks. CONCUR (1998)
Eugene W. Stark, Scott A. Smolka
Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata. LICS (1998)
Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark
Composition and Behaviors of Probabilistic I/O Automata. Theor. Comput. Sci. 176 (1-2) (1997)
Karen L. Bernstein, Eugene W. Stark
Operational semantics of a focusing debugger. MFPS (1995)
Eugene W. Stark
An Algebra of Dataflow Networks. Fundam. Informaticae 22 (1/2) (1995)
Karen L. Bernstein, Eugene W. Stark
Formally Defining Debuggers: A Comparison of Three Approaches. AADEBUG (1995)
Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark
Composition and Behaviors of Probabilistic I/O Automata. CONCUR (1994)
Eugene W. Stark
A Calculus of Dataflow Networks (Extended Abstract) LICS (1992)
Eugene W. Stark
Dataflow Networks are Fibrations. Category Theory and Computer Science (1991)
Eugene W. Stark
On the Relations Computable by a Class of Concurrent Automata. POPL (1990)
Prakash Panangaden, Vasant Shanbhogue, Eugene W. Stark
Stability and Sequentiality in Dataflow Networks. ICALP (1990)
Eugene W. Stark
Compostional Relational Semantics for Indeterminate Dataflow Networks. Category Theory and Computer Science (1989)
Nancy A. Lynch, Eugene W. Stark
A Proof of the Kahn Principle for Input/Output Automata Inf. Comput. 82 (1) (1989)
Eugene W. Stark
Connections between a Concrete and an Abstract Model of Concurrent Systems. Mathematical Foundations of Programming Semantics (1989)
Eugene W. Stark
Concurrent Transition Systems. Theor. Comput. Sci. 64 (3) (1989)
Prakash Panangaden, Eugene W. Stark
Computations, Residuals, and the POwer of Indeterminancy. ICALP (1988)
Eugene W. Stark
Proving Entailment Between Conceptual State Specifications. Theor. Comput. Sci. 56 (1988)
Prabhakaran Raman, Eugene W. Stark
Fully Distributed, AND/OR-Parallel Execution of Logic Problems. ICLP/SLP (1988)
Eugene W. Stark
Concurrent Transition System Semantics of Process Networks. POPL (1987)
Eugene W. Stark
Proving Entailment Between Conceptual State Specifications. ESOP (1986)
Danny Dolev, Nancy A. Lynch, Shlomit S. Pinter, Eugene W. Stark, William E. Weihl
Reaching approximate agreement in the presence of faults. J. ACM 33 (3) (1986)
Eugene W. Stark
A Proof Technique for Rely/Guarantee Properties. FSTTCS (1985)
Danny Dolev, Nancy A. Lynch, Shlomit S. Pinter, Eugene W. Stark, William E. Weihl
Reaching Approximate Agreement in the Presence of Faults. Symposium on Reliability in Distributed Software and Database Systems (1983)
Eugene W. Stark
Semaphore primitives and starvation-free mutual exclusion. J. ACM 29 (4) (1982)