default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

• 
  Thomas Neele, Anton Wijs:
  Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings. Lecture Notes in Computer Science 14624, Springer 2025, ISBN 978-3-031-66148-8 [contents]

• 
  Georgiana Caltais, Christian Schilling:
  Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings. Lecture Notes in Computer Science 13872, Springer 2023, ISBN 978-3-031-32156-6 [contents]

• 
  Owolabi Legunsen, Grigore Rosu:
  Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings. Lecture Notes in Computer Science 13255, Springer 2022, ISBN 978-3-031-15076-0 [contents]

• 
  Alfons Laarman, Ana Sokolova:
  Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings. Lecture Notes in Computer Science 12864, Springer 2021, ISBN 978-3-030-84628-2 [contents]

• 
  Fabrizio Biondi, Thomas Given-Wilson, Axel Legay:
  Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings. Lecture Notes in Computer Science 11636, Springer 2019, ISBN 978-3-030-30922-0 [contents]

• 
  María-del-Mar Gallardo, Pedro Merino:
  Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. Lecture Notes in Computer Science 10869, Springer 2018, ISBN 978-3-319-94110-3 [contents]

• 
  Hakan Erdogmus, Klaus Havelund:
  Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. ACM 2017, ISBN 978-1-4503-5077-8 [contents]

• 
  Dragan Bosnacki, Anton Wijs:
  Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Lecture Notes in Computer Science 9641, Springer 2016, ISBN 978-3-319-32581-1 [contents]

• 
  Bernd Fischer, Jaco Geldenhuys:
  Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. Lecture Notes in Computer Science 9232, Springer 2015, ISBN 978-3-319-23403-8 [contents]

• 
  Neha Rungta, Oksana Tkachuk:
  2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014. ACM 2014, ISBN 978-1-4503-2452-6 [contents]

• 
  Ezio Bartocci, C. R. Ramakrishnan:
  Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings. Lecture Notes in Computer Science 7976, Springer 2013, ISBN 978-3-642-39175-0 [contents]

• 
  Alastair F. Donaldson, David Parker:
  Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Lecture Notes in Computer Science 7385, Springer 2012, ISBN 978-3-642-31758-3 [contents]

• 
  Alex Groce, Madanlal Musuvathi:
  Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings. Lecture Notes in Computer Science 6823, Springer 2011, ISBN 978-3-642-22305-1 [contents]

• 
  Jaco van de Pol, Michael Weber:
  Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings. Lecture Notes in Computer Science 6349, Springer 2010, ISBN 978-3-642-16163-6 [contents]

• 
  Corina S. Pasareanu:
  Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings. Lecture Notes in Computer Science 5578, Springer 2009, ISBN 978-3-642-02651-5 [contents]

• 
  Klaus Havelund, Rupak Majumdar, Jens Palsberg:
  Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings. Lecture Notes in Computer Science 5156, Springer 2008, ISBN 978-3-540-85113-4 [contents]

• 
  Dragan Bosnacki, Stefan Edelkamp:
  Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings. Lecture Notes in Computer Science 4595, Springer 2007, ISBN 978-3-540-73369-0 [contents]

• 
  Antti Valmari:
  Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings. Lecture Notes in Computer Science 3925, Springer 2006, ISBN 3-540-33102-6 [contents]

• 
  Patrice Godefroid:
  Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings. Lecture Notes in Computer Science 3639, Springer 2005, ISBN 3-540-28195-9 [contents]

SPIN 2004 Home Page

• 
  Susanne Graf, Laurent Mounier:
  Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings. Lecture Notes in Computer Science 2989, Springer 2004, ISBN 3-540-21314-7 [contents]

• 
  Thomas Ball, Sriram K. Rajamani:
  Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings. Lecture Notes in Computer Science 2648, Springer 2003, ISBN 3-540-40117-2 [contents]

• 
  Dragan Bosnacki, Stefan Leue:
  Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings. Lecture Notes in Computer Science 2318, Springer 2002, ISBN 3-540-43477-1 [contents]

• 
  Matthew B. Dwyer:
  Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings. Lecture Notes in Computer Science 2057, Springer 2001, ISBN 3-540-42124-6 [contents]

• 
  Klaus Havelund, John Penix, Willem Visser:
  SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings. Lecture Notes in Computer Science 1885, Springer 2000, ISBN 3-540-41030-9 [contents]

• 
  Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink:
  Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings. Lecture Notes in Computer Science 1680, Springer 1999, ISBN 3-540-66499-8 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

[+][–] Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

[+][–] Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

[+][–] Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

[+][–] Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

[+][–] OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

last updated on 2025-06-06 19:49 CEST by the dblp team

 all metadata released as open data under CC0 1.0 license

see also: Terms of Use | Privacy Policy | Imprint

dblp was originally created in 1993 at:

 

since 2018, dblp has been operated and maintained by:

 

the dblp computer science bibliography is funded and supported by: