Pascal Sotin

According to our database, Pascal Sotin authored at least 15 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Warp-Level CFG Construction for GPU Kernel WCET Analysis.

Louison Jeanmougin, Pascal Sotin, Christine Rochange, Thomas Carle

Proceedings of the 21th International Workshop on Worst-Case Execution Time Analysis, 2023

2021

Data Cache Analysis by Counting Integer Points.

Pascal Sotin, Quentin Vermande, Hugues Cassé

Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021

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, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, Wei-Tsun Sun

Proceedings of the 17th International Workshop on Worst-Case Execution Time Analysis, 2017

Early WCET Prediction Using Machine Learning.

Armelle Bonenfant, Denis Claraz, Marianne De Michiel, Pascal Sotin

Proceedings of the 17th International Workshop on Worst-Case Execution Time Analysis, 2017

2016

Expressing and Exploiting Conflicts over Paths in WCET Analysis.

Vincent Mussot, Jordy Ruiz, Pascal Sotin, Marianne De Michiel, Hugues Cassé

Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis, 2016

2015

Improving WCET Analysis Precision through Automata Product.

Vincent Mussot, Pascal Sotin

Proceedings of the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2015

2014

Identifying Relevant Parameters to Improve WCET Analysis.

Jakob Zwirchmayr, Pascal Sotin, Armelle Bonenfant, Denis Claraz, Philippe Cuenot

Proceedings of the 14th International Workshop on Worst-Case Execution Time Analysis, 2014

2012

Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks.

Pascal Sotin, Xavier Rival

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Inferring Effective Types for Static Analysis of C Programs.

Bertrand Jeannet, Pascal Sotin

Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, 2011

Precise Interprocedural Analysis in the Presence of Pointers to the Stack.

Pascal Sotin, Bertrand Jeannet

Proceedings of the Programming Languages and Systems, 2011

Policy Iteration within Logico-Numerical Abstract Domains.

Pascal Sotin, Bertrand Jeannet, Franck Védrine, Eric Goubault

Proceedings of the Automated Technology for Verification and Analysis, 2011

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

Concrete Memory Models for Shape Analysis.

Pascal Sotin, Bertrand Jeannet, Xavier Rival

Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010

2008

Relational Analysis and Precision via Probabilistic Abstract Interpretation.

Alessandra Di Pierro, Pascal Sotin, Herbert Wiklicky

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

2006

Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card.

Pascal Sotin, David Cachera, Thomas P. Jensen

Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006