Programme of OpenCert 2009 (Saturday, 28th March 2009)

-----------------------------------------------------------------------------------------------------
09:00-09:30 Opening

09:30-10:30 Research Papers

                   Code Analysis: Past and Present
                   by Daniela da Cruz, Pedro Henriques and Jorge Sousa Pinto

                   Automatically finding bugs in open source programs
                   by Vladimir Nesov
                   
10:30-11:00 Coffee Break

11:00-12:30 Research and Tool Papers

                   Model-based Testing and Analysis of Coordinated Components
		   by Gabriel Ciobanu and Dorel Lucanu

                   Automatic Analysis of Applications for Portability Across Linux Distributions
		   by Vladimir Rubanov

		   Towards a Metric for Open Source Software Quality
		   by Siraj A. Shaikh and Antonio Cerone	

12:30-14:00 Lunch Break

14:00-15:00 Invited Paper

                   Understanding how OSS Development Models can influence assessment methods 
		   by Richard Taylor

15:00-15:30 Discussion

                   Short position statements 
                   
15:30-16:00 Coffee break

16:00-17:00 Position Papers

                   Open Source Certification and Educational Process
		   by Alexey Khoroshilov
			
		   Open-DO: Open Framework for Critical Systems
		   by Jose Ruiz and Cyrille Comar


17:00-18:00 Discussion

                   Formal Methods for OSS Certification: Problems, Challenges and Opportunities

18:00-18:30 Closing

-----------------------------------------------------------------------------------------------------