Pascal Sotin

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 5

Top Topics

Quantitative Analysis

Top Venues

Publications

Louison Jeanmougin, Pascal Sotin, Christine Rochange, Thomas Carle
Warp-Level CFG Construction for GPU Kernel WCET Analysis. WCET (2023)
Pascal Sotin, Quentin Vermande, Hugues Cassé
Data Cache Analysis by Counting Integer Points. RTNS (2021)
Armelle Bonenfant, Denis Claraz, Marianne De Michiel, Pascal Sotin
Early WCET Prediction Using Machine Learning. WCET (2017)
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, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, Wei-Tsun Sun
The W-SEPT Project: Towards Semantic-Aware WCET Estimation. WCET (2017)
Vincent Mussot, Jordy Ruiz, Pascal Sotin, Marianne De Michiel, Hugues Cassé
Expressing and Exploiting Conflicts over Paths in WCET Analysis. WCET (2016)
Vincent Mussot, Pascal Sotin
Improving WCET Analysis Precision through Automata Product. RTCSA (2015)
Jakob Zwirchmayr, Pascal Sotin, Armelle Bonenfant, Denis Claraz, Philippe Cuenot
Identifying Relevant Parameters to Improve WCET Analysis. WCET (2014)
Pascal Sotin, Xavier Rival
Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks. APLAS (2012)
Bertrand Jeannet, Pascal Sotin
Inferring Effective Types for Static Analysis of C Programs. Electron. Notes Theor. Comput. Sci. 288 (2012)
Pascal Sotin, Bertrand Jeannet, Franck Védrine, Eric Goubault
Policy Iteration within Logico-Numerical Abstract Domains. ATVA (2011)
Pascal Sotin, Bertrand Jeannet
Precise Interprocedural Analysis in the Presence of Pointers to the Stack. ESOP (2011)
David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin
Long-run cost analysis by approximation of linear operators over dioids. Math. Struct. Comput. Sci. 20 (4) (2010)
Pascal Sotin, Bertrand Jeannet, Xavier Rival
Concrete Memory Models for Shape Analysis. Electron. Notes Theor. Comput. Sci. 267 (1) (2010)
Alessandra Di Pierro, Pascal Sotin, Herbert Wiklicky
Relational Analysis and Precision via Probabilistic Abstract Interpretation. Electron. Notes Theor. Comput. Sci. 220 (3) (2008)
David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin
Long-Run Cost Analysis by Approximation of Linear Operators over Dioids. AMAST (2008)
Pascal Sotin, David Cachera, Thomas P. Jensen
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card. Electron. Notes Theor. Comput. Sci. 164 (3) (2006)