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

Programme, Pre-proceedings and Presentation Slides

The pre-proceedings can be downloaded as single papers from the links below.
The post-proceedings will be published in a volume of Lecture Notes in Computer Science together with the other workshops co-located with SEFM 2014


Monday, 1 September 2014

12:00-12:30 Registration

12:30-14:00 Lunch

14:30-15:30 Session 1

      Keynote Talk
      TBA
      by Matthieu Moy

      OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities
      Patrick Mukala, Antonio Cerone and Franco Turini
      Pre-proceedings Paper

15:30-16:00 Coffee Break

16:00-17:30 Session 2

      Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives
      Patrick Mukala, Antonio Cerone and Franco Turini
      Pre-proceedings Paper

      Modelling and verifying smell-free architectures with the Archery language
      Alejandro Sanchez, Luis Barbosa and Alexandre Madeira
      Pre-proceedings Paper

      Discussion and Closing

BACK TO TOP
Created: Thu 21 Aug 2014 15:23:36 CEST Maintained by
Updated: Thu 21 Aug 2014 15:23:36 CEST Antonio Cerone