Exact performance equivalence: an equivalence relation for stochastic automata

Efficient Computation and Representation of Large Reachability Sets for Composed Automata

Discrete Event Dynamic Systems

On behaviour equivalence for probabilistic I/O automata and its relationship to probabilistic bisimulation

Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)

Iterative disaggregation for a class of lumpable discrete-time stochastic automata networks

Performance Evaluation

Categorical foundations for randomly timed automata

Theoretical Computer Science

Model-Based Evaluation: From Dependability to Security

IEEE Transactions on Dependable and Secure Computing

Backward Bisimulation in Markov Chain Model Checking

IEEE Transactions on Software Engineering

Discrete time stochastic automata networks: using structural properties and stochastic bounds to simplify the SAN

Proceedings of the 2nd international conference on Performance evaluation methodologies and tools

Bisimulation relations for weighted automata

Theoretical Computer Science

Weighted Bisimulation in Linear Algebraic Form

CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory

Approximate aggregation of Markovian models using alternating least squares

Performance Evaluation