Sjaak Smetsers
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
1996–2013
Best venue rank
C
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | TASE | GSOS Formalized in Coq. | Ken Madlener, Sjaak Smetsers |
| 2012 | IFM | A Proof Framework for Concurrent Programs. | Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
| 2010 | ICFEM | A Formal Verification Study on the Rotterdam Storm Surge Barrier. | Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen |
| 2009 | FMICS | Preemption Abstraction. | Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers |
| 2008 | FMICS | Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving. | Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
| 2007 | FMICS | Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. | Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
| 2005 | HASKELL | There and back again: arrows for invertible programming. | Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer |
| 2005 | PADL | Improved Fusion for Optimizing Generics. | Artem Alimarine, Sjaak Smetsers |
| 2004 | MPC | Optimizing Generic Functions. | Artem Alimarine, Sjaak Smetsers |
| 1996 | CSL | Graph Rewriting Semantics for Functional Programming Languages. | Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer |