SPIN 2008

15th International SPIN Workshop on Model Checking of Software

August 10-12, 2008, Los Angeles, USA

Call for Papers

 

Aim and Scope

The SPIN workshop is a forum for practitioners and researchers interested in state space-based techniques for the validation and analysis of software systems. Theoretical techniques and empirical evaluations based on explicit representations of state spaces,  as implemented in the SPIN model checker or other tools, or techniques based on combination of explicit representations with other representations, are the focus of this workshop.

                                                

We particularly welcome papers describing the development and application of state space exploration techniques in testing and verifying security-critical software, enterprise and web applications,  embedded software, and other interesting software platforms. The workshop aims to encourage interactions and exchanges of ideas with all related areas in software engineering.

Topics of Interest

Algorithms and storage methods for explicit state model checking

Directed model checking using heuristics

Parallel or distributed model checking using multi-core computers or multiple computers

Techniques for dealing with infinite state spaces

Model checking of timed and probabilistic systems

Abstraction and the use of static analysis to reduce state spaces

Combinations of enumerative and symbolic techniques

Analysis for modeling languages, including SE languages such as UML/state charts

New property specification languages, including new forms of temporal logic

Model checking of programming languages and code analysis

Automated testing using model checking techniques

Derivation of invariants, test cases, or other useful material from state spaces

Combination of model-checking techniques with other analysis techniques

Modularity and compositionality

Comparative studies, including to other model checking techniques

Case studies of interesting systems or with interesting results

Theoretical and algorithmic foundations of model-checking based analysis

Engineering and implementation of model-checking tools and platforms

Insightful surveys or historical accounts on topics of relevance to SPIN workshops

Solicited Contributions

With the exception of survey and history papers, the papers should contain original work which has not been submitted or accepted for publication elsewhere. Submissions should adhere to the LNCS format. We solicit two kind of papers:

 

·         Technical Papers.  No longer than 18 pages in LNCS format. All accepted technical papers will be included in the proceedings.

 

·         Tool Presentations. This kind of submissions should consist of two parts. The first part is at most 5 page description of the tool. If accepted, this part will be published in the workshop proceedings. The second part should describe an informal plan for an oral presentation of the tool. This part will not be included in the proceedings.

Both regular and tool papers will be presented at the conference, and so at least one author of each accepted paper is expected to be present at the conference. Submissions are held confidential until the publication.

 

Submission and Publication

The link for submissions is

http://www.easychair.org/conferences/?conf=spin2008

 

The proceedings of this edition of the workshop will appear in Lecture Notes in Computer Science. In the last several years a selection of the best papers has been published as a special section of Springer's International Journal on Software Tools for Technology Transfer STTT. We are confident to continue this tradition for the 2008 edition.

Important Dates and Deadlines

Deadline for submission of full papers: April 2, 2008 April 9, 2008

Notification of acceptance/rejection: May 14, 2008.

Deadline for final version of accepted papers: May 28, 2008.

Workshop: August 10-12, 2008.

Organization

General Chair

Jens Palsberg (UC Los Angeles, USA)

 

Programme Chairs

Klaus Havelund (NASA JPL, USA)

Rupak Majumdar (UC Los Angeles, USA)

 

Programme Committee:

Christel Baier  (Bonn, Germany)

Dragan Bosnacki (Eindhoven, Netherlands)

Lubos Brim (Brno, Czech)

Stefan Edelkamp (Dortmund, Germany)

Dawson Engler (Stanford, USA)

Kousha Etessami (Edinburgh, UK)

Susanne Graf (Verimag, France)

John Hatcliff (Kansas State Univ., USA)

Gerard Holzmann (NASA JPL, USA)

Franjo Ivancic (NEC, USA)

Sarfraz Khurshid (UT Austin, USA)

Kim Larsen (Aalborg, Denmark)

Madan Musuvathi (Microsoft, USA)

Joel Ouaknine (Oxford, UK)

Corina Pasareanu (NASA Ames, USA)

Doron Peled (Warwick, UK)

Paul Pettersson (Mlardalen, Sweden)

Koushik Sen (Berkeley, USA)

Natasha Sharygina (Lugano, Switzerland)

Eran Yahav (IBM, USA)

 

Steering Committee:

Dragan Bosnacki (Eindhoven, Netherlands)

Stefan Edelkamp (Dortmund, Germany)

Susanne Graf (Verimag, France)

Stefan Leue (Konstanz, Germany, chair)

Antti Valmari (Tempere, Finland)

Pierre Wolper (Liege, Belgium)

 

 

Advisory Committee:

Gerard Holzmann (NASA/Jet Propulsion Laboratory, USA)

Amir Pnueli (Weizmann Inst., Israel)

Moshe Vardi (Rice, USA)

 

 

Back to SPIN 2008 web page