Sovanna Tan

Research

Verifying the determinant in parallel, M. Santha and S. Tan, Computational Complexity 7, 128–151, 1998.

Quantitative Analysis of Attack Defense Trees, N. Pekergin and S. Tan, in in Proceedings of EAI VALUETOOLS 2021, 207-220, 2021.
Stochastic Bounds for some Stochastic Optimisation Problems, N. Pekergin, S. Tan and JM. Fourneau, in Proceedings of EAI VALUETOOLS 2020, 112-119, 2020.
Quantitative Attack Tree Analysis: Stochastic Bounds and Numerical Analysis, N. Pekergin, S. Tan and JM. Fourneau, in Proceedings of GraMSec 2016, LNCS, volume 9987, 119-133, 2016.
Dynamic Solution for Detecting Denial of Service Attacks in Wireless Sensor Networks, M. Guechari, L. Mokdad and S. Tan, in Proceedings of IEEE ICC 2012, 104–108, 2012.
Implémentation et prédiction des performances de squelettes data-parallèles en utilisant un langage BSP de haut niveau, F. Gava and S. Tan, in S. Conchon and A. Mahboudi, editors, Journées Francophones des langages Applicatifs, Studia Informatica Universalis, 39–65, Hermann 2011.
Modular Implementation of Dense Matrix Operations in a High-level BSP Language, F. Gava and S. Tan, in Proc. 2010 International Conference on High Performance Computing & Simulation, 643–649, 2010.
Verifying the Determinant in Parallel, M. Santha and S. Tan, ISAAC 1994, 65-73, 1994.

Développer en Java avec la distribution CNRS-ENSTA de Linux, S. Tan, Le Micro Bulletin 74, 63–68, CNRS, 1998.
Le Système de Gestion de Bases de Données PostgreSQL de la distribution CNRS-ENSTA, S. Tan, Le Micro Bulletin 74, 25–37, CNRS, 1998.

2012-2014 PHC Tassili : Modélisation, vérification et évaluation des performances des réseaux mobiles
2013-2017 ANR Marmote : Markovian Modeling Tools and Environments