Pascal Sotin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2011–2021
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | RTNS | Data Cache Analysis by Counting Integer Points. | Pascal Sotin, Quentin Vermande, Hugues Cass |
| 2015 | RTCSA | Improving WCET Analysis Precision through Automata Product. | Vincent Mussot, Pascal Sotin |
| 2012 | APLAS | Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks. | Pascal Sotin, Xavier Rival |
| 2011 | ATVA | Policy Iteration within Logico-Numerical Abstract Domains. | Pascal Sotin, Bertrand Jeannet, Franck Vdrine, Eric Goubault |
| 2011 | ESOP | Precise Interprocedural Analysis in the Presence of Pointers to the Stack. | Pascal Sotin, Bertrand Jeannet |