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)
- View abstract.
- View BibTeX entry.
- Read report (PDF).
A Process-Algebraic Language for Probabilistic I/O Automata
(June 8, 2003, Proc. CONCUR'03)
- View abstract.
- View BibTeX entry.
- Read report (PDF).
Compositional Calculation of Steady-State Probabilities
(January 19, 2003, unpublished)
- View abstract.
- View BibTeX entry.
- Read report (Postscript version).
The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems
(January 17, 2003, Proc. TACAS'03)
- View abstract.
- View BibTeX entry.
- Read report (Postscript version).
On Behavior Equivalence for Probabilistic I/O Automata and its Relationship to Probabilistic Bisimulation
(April 13, 2003, Journal of Automata, Languages and Combinatorics)
- View abstract.
- View BibTeX entry.
- Read report (Postscript version).
Compositional Performance Analysis using Probabilistic I/O Automata (August, 2000, slides for invited talk given at CONCUR'00)
- View talk abstract (Postscript version).
- View talk slides (Postscript version).
- View BibTeX entry.
Implementation of a Compositional Performance Analysis Algorithm for Probabilistic I/O Automata
(June 8, 1999, Proc. PAPM99, September, 1999)
- View abstract.
- Read report (Postscript version).
- Get BibTeX entry.
Compositional Analysis of Expected Delays for Probabilistic I/O Automata
(December 5, 1997, Proc. LICS'98, June 1998)
- View abstract.
- Read report (Postscript version).
- Get BibTeX entry.
Composition and Behaviors of Probabilistic I/O Automata
(CONCUR'94, TCS 176 1997)
- View abstract.
- Read CONCUR'94 conference version (Postscript).
- Read 1997 TCS journal version (Postscript).
- Get BibTeX entry.