Parametric real-time reasoning, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing, pp.592-601, 1993. ,
Prophesy: A probabilistic parameter synthesis tool ,
, International Conference on Computer Aided Verification, vol.9207, pp.214-231, 2015.
PARAM: A model checker for parametric Markov models, International Conference on Computer Aided Verification, vol.6174, pp.660-664, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00650737
Reachability in parametric interval Markov chains using constraints, International Conference on Quantitative Evaluation of Systems, vol.10503, pp.173-189, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01529681
Parameter synthesis for parametric interval Markov chains, International Conference on Verification, Model Checking, and Abstract Interpretation, vol.9583, pp.372-390, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01219823
Statistical model checking for markov decision processes, International Conference on Quantitative Evaluation of Systems, pp.84-93, 2012. ,
Principles of model checking, 2008. ,
A first course in probability, 2009. ,
Param: A model checker for parametric markov models, International Conference on Computer Aided Verification, pp.660-664, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00650737
Crowds: Anonymity for web transactions, ACM transactions on information and system security (TISSEC), vol.1, issue.1, pp.66-92, 1998. ,
Probabilistic model checking of an anonymity system, Journal of Computer Security, vol.12, issue.3/4, pp.355-377, 2004. ,