Programme of OpenCert at ETAPS 2007

(Foundations and Techniques for Open Source Software Certification)

Saturday, March 31, room: CP2-110

09:00 - 10:30 SESSION 1

Aspects of OSS Certification
B. Aichernig, TU Graz, Austria
Towards a Quality Model for OSS
S.A. Shaikh & A. Cerone, UNU-IIST, Macao

10:30 - 11:00 Coffee Break

11:00 - 12:30 SESSION 2

A System to Understand Programs Written in C Language by Code Annotation
M. Beron, B. Henriques, Univ. of Minho; M. Varanda, Polytechnic Inst. Braganca, Portugal; R. Uzal, Univ. of San Luis, Argentina
Slicing Techniques and Program Calculi in OSS Certification
N. Rodrigues, L. Barbosa, J.N. Oliveira Univ. Minho, Portugal

12:30 - 14:00 Lunch

14:00 - 15:30 SESSION 3

Linux Certification
A.K. Petrenko, ISPRAS, Russia
OSS Operating Systems for Critical Avionics Infrastructure: A survey on quality and security certification
D. von Oheimb, Siemens, Germany

15:30 - 16:00 Coffee Break

16:00 - 18:30 SESSION 4

Position Talk on the OSS Certification Process
P.T. Breuer & S. Pickin, Univ. Carlos III Madrid, Spain
A Perspective on OSS Certification
J. Visser, SIG, The Netherlands
Short Position Statements and Discussion


Joint Workshops Post-Conference Dinner (tickets needed)
Dinner at Pousada Santa Maria de Bouro
Shuttle departure from University Campus, Gualtar

Further ETAPS 2007 Programme Information:

ETAPS 2007 | Top | HTML 4.01 | Last Update: 2007-03-13