Stephan van Staden
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2010–2015
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | MPC | On Rely-Guarantee Reasoning. | Stephan van Staden |
| 2012 | MPC | The Laws of Programming Unify Process Calculi. | Tony Hoare, Stephan van Staden |
| 2012 | POPL | Freefinement. | Stephan van Staden, Cristiano Calcagno, Bertrand Meyer |
| 2010 | ECOOP | Verifying Executable Object-Oriented Specifications with Separation Logic. | Stephan van Staden, Cristiano Calcagno, Bertrand Meyer |
| 2010 | OOPSLA | Reasoning about multiple related abstractions with MultiStar. | Stephan van Staden, Cristiano Calcagno |