Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card. - Pascal Sotin; David Cachera; Thomas P. Jensen (QAPL, 2006)

Relational Analysis and Precision via Probabilistic Abstract Interpretation. - Alessandra Di Pierro; Pascal Sotin; Herbert Wiklicky (QAPL, 2008)

Concrete Memory Models for Shape Analysis. - Pascal Sotin; Bertrand Jeannet; Xavier Rival (NSAD@SAS, 2010)

Long-run cost analysis by approximation of linear operators over dioids. - David Cachera; Thomas P. Jensen; Arnaud Jobin; Pascal Sotin (Math. Struct. Comput. Sci., 2010)

Policy Iteration within Logico-Numerical Abstract Domains. - Pascal Sotin; Bertrand Jeannet; Franck Védrine; Eric Goubault (ATVA, 2011)

Precise Interprocedural Analysis in the Presence of Pointers to the Stack. - Pascal Sotin; Bertrand Jeannet (ESOP, 2011)

Inferring Effective Types for Static Analysis of C Programs. - Bertrand Jeannet; Pascal Sotin (NSAD@SAS, 2011)

Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks. - Pascal Sotin; Xavier Rival (APLAS, 2012)

Identifying Relevant Parameters to Improve WCET Analysis. - Jakob Zwirchmayr; Pascal Sotin; Armelle Bonenfant; Denis Claraz; Philippe Cuenot (WCET, 2014)

Improving WCET Analysis Precision through Automata Product. - Vincent Mussot; Pascal Sotin (RTCSA, 2015)

Expressing and Exploiting Conflicts over Paths in WCET Analysis. - Vincent Mussot; Jordy Ruiz; Pascal Sotin; Marianne De Michiel; Hugues Cassé (WCET, 2016)

Early WCET Prediction Using Machine Learning. - Armelle Bonenfant; Denis Claraz; Marianne De Michiel; Pascal Sotin (WCET, 2017)

The W-SEPT Project: Towards Semantic-Aware WCET Estimation. - Claire Maiza; Pascal Raymond; Catherine Parent-Vigouroux; Armelle Bonenfant; Fabienne Carrier; Hugues Cassé; Philippe Cuenot; Denis Claraz; Nicolas Halbwachs; Erwan Jahier; Hanbing Li; Marianne De Michiel; et al. (WCET, 2017)

Data Cache Analysis by Counting Integer Points. - Pascal Sotin; Quentin Vermande; Hugues Cassé (RTNS, 2021)

Warp-Level CFG Construction for GPU Kernel WCET Analysis. - Louison Jeanmougin; Pascal Sotin; Christine Rochange; Thomas Carle (WCET, 2023)