Programme of OpenCert at ETAPS 2007
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
18:45 SOCIAL EVENT
- 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:
- Programme Overview, Social Programme
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
Bytecode,
COCV,
FESCA,
FinCo,
GT-VMT,
HAV,
HFL,
LDTA,
MBT,
MOMPES,
QAPL,
SC,
SLA++P,
TERMGRAPH,
WITS,
- Tutorials:
Stratego/XT,
SoftwGen,
Mobius
ETAPS 2007 |
Top |
HTML 4.01 |
Last Update: 2007-03-13