Online proceedings for all previous workshops can be found in:
The number of submissions to the Spin Workshops varies from year to year, but overall has been fairly consistent. In 1999 two separate Spin workshops were held (one in Trento, co-located with FLOC99 and one in Toulouse, co-located with FM99. Three of the workshops have been standalonve events: the first in 1995, the second in 2000 held at Stanford University, and the third in 2008 at UCLA in Los Angeles.
The first 5 workshops were 1-day; there were three 2-day workshops (nrs 6, 8, and 10),
and the remaining workshops were all 3-days long.
Typically, at the 3-day events roughly 21 to 24 papers, tutorials, and invited talks are presented.
We're still collecting some more statistics on number of participants in each workshop, etc.
(Attendance has also been mostly steady, varying between 50 to 70 participants each year.)
Once available, it will be added here as well.
| Rank | Conference | |
| 1. | OSDI: 3.31 (top 0.08%) | |
| 3. | PLDI: 2.89 (top 0.24%) | |
| 13. | POPL: 2.26 (top 1.06%) | |
| 26. | ICSE: 2.05 (top 2.12%) | |
| 42. | FSE: 1.88 (top 3.43%) | |
| 43. | CAV: 1.88 (top 3.52%) | |
| 55. | LICS: 1.79 (top 4.50%) | |
| 73. | STOC: 1.69 (top 5.97%) | |
| 76. | ISSTA: 1.65 (top 6.22%) | |
| 108. | FOCS: 1.51 (top 8.84%) | |
| 124. | CONCUR: 1.44 (top 10.15%) | |
| 141. | PODC: 1.37 (top 11.54%) | |
| 166. | SPIN: 1.25 (top 13.59%) | |
| 168. | FMCAD: 1.25 (top 13.75%) | |
| 175. | TACAS: 1.24 (top 14.33%) | |
| 227. | FME: 1.12 (top 18.59%) | |
| 235. | PASTE: 1.10 (top 19.24%) | |
| 365. | World Congress on Formal Methods: 0.85 (top 29.89%) | |
| 366. | CHARME: 0.84 (top 29.97%) | |
| 383. | VDM Europe (1): 0.81 (top 31.36%) | |
| 435. | PSTV: 0.74 (top 35.62%) | |
| 497. | FORTE: 0.66 (top 40.70%) | |
| 583. | Formal Methods in Programming and Their Applications: 0.54 (top 47.74%) | |
| 633. | Requirements Engineering: 0.49 (top 51.84%) |
A closer look at the SPIN workshops with the largest number of citations in the period covered leads to these top 5 Spin Workshops with the most citations:
| Citations | Spin Workshop Year&Place | Colocated with | |
| 189 | 2001, Toronto | ICSE | |
| 183 | 2000, Stanford | standalone | |
| 121 | 1996, Rutgers | CAV | |
| 107 | 1999b, Toulouse | World Congress Formal Methods | |
| 99 | 1998, Paris | FORTE/PSTV |
Finally, the 10 papers with the largest number of citations between 1995 and 2004 from SPIN Workshops, according to Citeseer Google:
| Citations | Paper/Topic | Spin Workshop Year/Place | |
| 108 | Tom Ball et al., Automatically validating temporal safety properties of interfaces | 2001/Toronto | |
| 72 | Tom Ball et al., Bebop: a symbolic model checker for boolean programs | 2000/Stanford | |
| 53 | Klaus Havelund et al., Formal analysis of a space craft controller using Spin | 1998/Paris | |
| 52 | Scott Stoller, Model-checking multi-threaded distributed Java programs | 2000/Stanford | |
| 52 | Doron Drusinsky, Temporal Rover (tool presentation) | 2000/Stanford | |
| 39 | Claudio Demartini et al., dSPIN: A Dynamic Extension of Spin | 1999b/Toulouse | |
| 38 | Holzmann et al., On nested depth-first search | 1996/Rutgers | |
| 27 | Flavio Lerda et al., Distributed model checking with Spin | 1999a/Trento | |
| 27 | Wiebe van der Hoek, Model checking knowledge and time | 2002/Grenoble | |
| 23 | Klaus Havelund, Using runtime analysis to guide model checking of Java programs | 2000/Stanford |
| Spin Homepage | (Page Updated: 10 April 2008) |