Probabilistic Input/Output Automata: Publications
(NOTE: Access to full versions of papers currently submitted for
publication may be limited to people at SUNY Stony Brook.)
-
Linear Decision Diagrams
(April 1, 2004, unpublished)
-
A Process-Algebraic Language for Probabilistic I/O Automata
(June 8, 2003, Proc. CONCUR'03)
-
Compositional Calculation of Steady-State Probabilities
(January 19, 2003, unpublished)
-
The Integrated CWB-NC/PIOATool for Functional Verification
and Performance Analysis of Concurrent Systems
(January 17, 2003, Proc. TACAS'03)
-
On Behavior Equivalence for Probabilistic I/O Automata
and its Relationship to Probabilistic Bisimulation
(April 13, 2003, Journal of Automata, Languages and Combinatorics)
- Compositional Performance Analysis
using Probabilistic I/O Automata
(August, 2000, slides for invited talk given at CONCUR'00)
-
Implementation of a Compositional Performance Analysis Algorithm
for Probabilistic I/O Automata
(June 8, 1999, Proc. PAPM99, September, 1999)
-
Compositional Analysis of Expected Delays for Probabilistic
I/O Automata
(December 5, 1997, Proc. LICS'98, June 1998)
-
Composition and Behaviors of Probabilistic I/O Automata
(CONCUR'94, TCS 176 1997)
[
Home
|
Publications
|
Software
|
Related Work
|
Staff
|
Private
]