11:00-13:00 Room Ariane 2 Wednesday 1 February 2012
> Session 1D - Verification & Validation
Session Chair: Paul Arberet - CNES, France
1D.1 First steps toward a Verification and validation ontology
Mounira Kezadri - IRIT, Université de Toulouse, France, Metropolitan
Marc Pantel - IRIT, Université de Toulouse, France, Metropolitan
1D.2 Component-based Design and Verification in X-MAN
Nannan He - Oxford University, United Kingdom
Daniel Kroening - Oxford University, United Kingdom
Thomas Wahl - Oxford University, United Kingdom
Lau Kung-Kiu - Manchester University, United Kingdom
Faris Taweel - Manchester University, United Kingdom
Tran Cuong M - Manchester University, United Kingdom
Ruemmer Philipp - Uppsala University, Sweden
Sharma Sanjiv S. - Airbus Operations Limited, United Kingdom
1D.3 Context Aware Model Exploration with OBP tool to Improve Model-Checking
Philippe Dhaussy - ENSTA Bretagne, France
Jean-Charles Roger - ENSTA Bretagne, France
Luka Leroux - ENSTA Bretagne, France
Fredéric Boniol - ONERA, France
1D.4 Verification and Validation According to ISO 26262- A Workflow to Facilitate the Development of High-Integrity Software
Mirko Conrad - The mathWorks, Inc., United States
15:10-16:10 Room Ariane 2 Wednesday 1 February 2012
> Session 2D - Verification & Validation II
Session Chair: Philippe Baufreton - Sagem, France
2D.1 Validate implementation correctness using simulation : the TASTE approach
Julien Delange - ESA, Netherlands
Jerome Hugues - ISAE, France
Pierre Dissaux - Ellidiss, France
2D.2 DO-178C Compliance of Verisoft Formal Methods
Holger Blasum - SYSGO AG, Germany
Frank Dordowsky - ESG Elektroniksystem- und Logistik GmbH, Germany
Bruno Langenstein - German Research Centre for Artificial Intelligence (DFKI), Germany
Andreas Nonnengart - German Research Centre for Artificial Intelligence (DFKI), Germany
14:40-16:10 Room Ariane 1 Friday 3 February 2012
> Session 8C - Diagnosis & Prognosis
Session Chair: Michael Haneberg - BMW Group, Germany
8C.1 Online model adaptation for aircraft operational reliability assessment
Kossi Tiassou - LAAS-CNRS, France
Karama Kanoun - LAAS-CNRS, France
Mohamed Kaaniche - LAAS-CNRS, France
Christel Seguin - ONERA, France
Chris Papadopoulos - AIRBUS Operations Ltd, United Kingdom
8C.2 Hybrid Causal Model Based Diagnosis. Application to Automotive Embedded Functions.
Renaud Pons - LAAS-CNRS, France
Audine Subias - LAAS-CNRS, France
Louise Travé-Massuyès - LAAS-CNRS, France
Warning: the paper 4A.4 will be presented from 16:10 to 16:25 after session 8C (15:40 - 16:10 - Friday 3 February)