O p e n C e r t - 2 0 1 3
7th International Workshop on Foundations and Techniques for
Open Source Software Certification
Madrid, Spain, 23 September 2013
Co-located with SEFM 2013
Background and Objectives | Keynote Speaker | Important Dates | Submission | Publication | Call for Papers | Committees | Contact
OpenCert 2013 Home
OpenCert Home | Other OpenCert Workshops: 2007, 2008, 2009, 2010, 2011, 2012, 2014

Programme, Pre-proceedings and Presentation Slides

The pre-proceedings can be downloaded as single papers from the links below.
The post-proceedings are published in Volume 8368 of Lecture Notes in Computer Science

Monday, 23 September 2013

09:45-10:00 Opening
      Pre-proceedings Preface

10:00-11:00 Keynote Talk

      Using software analytics to characterize FLOSS projects and communities
      by Jesus M. Gonzalez-Barahona
      Pre-proceedings Abstract and Biography | Slides (PDF)

11:00-11:30 Coffee Break

11:30-13:00 Session 1

      Certifying Machine Code Safe from Hardware Aliasing: RISC is not necessarily risky
      Peter Breuer and Jonathan Bowen
      Pre-proceedings Paper | Slides (PDF)

      Soundness and completeness of the NRB program verification logic
      Peter Breuer and Simon Pickin
      Pre-proceedings Paper | Slides (PDF)

13:00-14:30 Lunch

15:00-16:00 Session 2

      Analysis of FLOSS communities as learning contexts
      Sara Fernandes, Luis Barbosa and Antonio Cerone
      Pre-proceedings Paper | Slides (PPT)

      Small world characteristics of FLOSS distributions
      Jaap Boender and Sara Fernandes,
      Pre-proceedings Paper | Slides not available

16:00-16:30 Coffee Break

16:30-17:45 Discussion

17:45-18:00 Closing

Created: Fri Sep 13 09:07:35 CST 2013 Maintained by
Updated: Fri Oct 11 11:00:57 CST 2013 Antonio Cerone