Monte Carlo Model Checking.
TACAS'05, the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Edinburgh, UK, April, 2005.
Quantitative Model Checking.
ISoLa'04, the 1st International Symposium on Leveraging Applications of Formal Methods, Paphos, Cyprus, November, 2004.
Visual Formalisms Revisited.
ACSD'98, the 1st International Conference on Application of Concurrency to System Design, Aizu-Wakamatsu, Japan, March, 1998.
Updated 2/1/07 by Radu Grosu