|
Presentation Slides
|
|
|
Case Studies and Tool Papers
|
|
|
Certification Infrastructure for the Linux Standard Base
(LSB)
|
|
Vladimir Rubanov and Denis Silakov,
Russian Academy of Sciences, Russia
|
| Presentation Slides (PDF)
|
|
|
Formal Methods for Open Source Components Certification
|
|
Alexey Khoroshilov and Vadim Mutilin,
Russian Academy of Sciences, Russia
|
| Presentation Slides (ODP)
|
|
|
Position Papers
|
|
|
Open Source Certification
|
|
Peter Breuer,
University of Birmingham, UK
|
|
Simon Pickin,
University Carlos III Madrid, Spain
|
| Presentation Slides (ODP)
|
|
|
Incorporating Formal Methods in the
Open Source Software Development Process
|
|
Antonio Cerone,
United Nations University, Macau SAR China
|
|
Shaikh A. Shaikh,
Cranfield University, UK
|
| Presentation Slides (PDF)
|
|
|
Four Compass Pointa in the Verification
of the Linux Kernel
|
|
Peter Breuer,
University of Birmingham, UK
|
|
Simon Pickin,
University Carlos III Madrid, Spain
|
| Presentation slides (ODP)
|
|
|
Research Papers
|
|
|
Extracting and Verifying Coordination Models
from Source Code
|
|
Nuño F. Rodriguez and Luis S. Barbosa
|
|
University of Minho, Portugal
|
| Presentation Slides (PDF)
|
|