Program committee memberships:
-
MASCOTS'09
(Annual Meeting of the IEEE International Symposium on Modeling, Analysis,
and Simulation of Computer and Telecommunication Systems)
-
QEST'08
(International Conference on the Quantitative Evaluation of Systems)
-
CMSB'08
(International Conference on Computational Methods in Systems Biology)
-
FMICS'07
(International Workshop on Formal Methods for Industrial Critical Systems)
-
PASM'09,
PASM'08,
PASM'05,
PASM'04
(International Workshop on Practical Applications of Stochastic Modelling)
- International Workshop on Timing and Stochasticity in Petri Nets
and other models of Concurrency 2009
-
ASHEs'09,
ASHEs'08
(International Workshop on Adaptive Systems in Heterogeneous Environments)
