|
Presentation Slides
|
|
|
Research Papers
|
|
|
Code Analysis: Past and Present
|
|
Daniela da Cruz, Pedro Henriques and Jorge Sousa Pinto,
University of Minho, Portugal
|
| Presentation Slides (PDF)
|
|
|
Automatically Finding Bugs in Open Source Programs
|
|
Vladimir Nesov,
Russian Academy of Sciences, Russia
|
| Presentation Slides (PowerPoint)
|
|
|
Research and Tool Papers
|
|
|
Model-based Testing and Analysis of Coordinated Components
|
|
Gabriel Ciobanu and Dorel Lucanu,
Alexandru Ioan Cuza University, Romania
|
| Presentation Slides (PDF)
|
|
|
Automatic Analysis of Applications for Portability Across Linux Distributions
|
|
Vladimir Rubanov,
Russian Academy of Sciences, Russia
|
| Presentation Slides (PowerPoint)
|
|
|
Towards a Metric for Open Source Software Quality
|
|
Antonio Cerone,
United Nations University, Macau SAR China
|
|
Shaikh A. Shaikh,
Cranfield University, UK
|
| Presentation Slides (PDF)
|
|
|
Invited Paper
|
|
|
Understanding how OSS Development Models can influence assessment methods
|
|
Richard Taylor,
QinetiQ, UK
|
|
|
Position Papers
|
|
|
Open Source Certification and Educational Process
|
|
Alexey Khoroshilov
|
|
Russian Academy of Sciences, Russia
|
| Presentation Slides (PowerPoint)
|
|
|
Open-DO: Open Framework for Critical Systems
|
|
Jose Ruiz and Cyrille Comar
|
|
AdaCore, France
|
| Presentation Slides (PowerPoint)
|
|
|
Discussion
|
|
|
Formal Methods for OSS Certification: Problems, Challenges and Opportunities
|
| Presentation Slides (PDF)
|
|