Sander de Putter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2016–2020
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | IFM | Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion. | Sander de Putter, Anton Wijs |
| 2018 | FM | To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation. | Sander de Putter, Anton Wijs |
| 2016 | FASE | Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique. | Sander de Putter, Anton Wijs |