Pascal Sotin

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