|
|
|
|
|
|
|
|
Airbus |
|
|
Gert |
Döhmen |
Mr. |
|
|
|
|
|
|
|
|
|
|
Boeing Company |
|
|
David |
Corman |
Technical Fellow |
|
|
|
|
|
Don |
Winter |
Director - Ntework Centric Operations |
|
|
|
|
|
|
|
|
|
|
UC Berkeley - CHESS |
|
|
Jonthan |
Sprinkle |
Dr |
|
|
|
|
|
Mary Margaret |
Sprinkle |
Project Manager for TRUST (Team for Research in Ubiquitous Secure Technology) |
|
|
|
|
|
|
|
|
|
|
Carnegie Mellon University |
|
|
Bruce |
Krogh |
Professor |
|
|
|
|
|
|
|
|
|
|
Polytechnic of Catalonia |
|
|
Nacho |
Navarro |
Professor |
|
|
|
|
|
|
|
|
|
|
CEA-DRT |
|
|
Jean-Luc |
Dormoy |
Software & Cognitive Systems Manager |
|
|
CEA-List |
|
|
Francois |
Terrier |
Professor |
|
|
|
|
|
|
|
|
|
|
CNRS |
|
|
Françoise |
Lamnabhi-Lagarrigue |
Dr |
|
|
|
|
|
|
|
|
|
|
EADS Space Transportation |
|
|
David |
Lesens |
Dr |
|
|
|
|
|
|
|
|
|
|
Ericsson AB, Corporate Research |
|
|
András |
Tóth |
RUNES Coordinator |
|
|
|
|
|
|
|
|
|
|
Embedded Systems Institute
(Netherlands) |
|
|
Ed |
Brinksma |
Prof.Dr. |
|
|
|
|
|
|
|
|
|
|
European Commission |
|
|
Kostas |
Glinos |
Head of Embedded Systems Unit |
|
|
|
|
|
Alkis |
Konstantellos |
Dr |
|
|
|
|
|
|
|
|
|
|
European Space Agency |
|
|
Eric |
Conquet |
ASSERT Project Manager |
|
|
|
|
|
|
|
|
|
|
Ford Research
(Aachen, Germany) |
|
|
Rainer |
Schloer |
Dr |
|
|
|
|
|
|
|
|
|
|
Honeywell Labs |
|
|
Tariq |
Samad |
Corporate Fellow |
|
|
|
|
|
Steve |
Vestal |
Fellow |
|
|
|
|
|
|
|
|
|
|
INRIA |
|
|
Albert |
Benveniste |
Dr |
|
|
|
|
|
Jean-Marc |
Jézéquel |
Prof |
|
|
|
|
|
Paul |
Le Guernic |
Research Director |
|
|
|
|
|
Olivier |
Temam |
Directeur de Recherche |
|
|
|
|
|
|
|
|
|
|
ISIS, Vanderbilt University |
|
|
Janos |
Sztipanovits |
Professor |
|
|
|
|
|
Gabor |
Karsai |
Assoc. Prof. of EECS |
|
|
|
|
|
Sandeep |
Neema |
Dr. |
|
|
|
|
|
|
|
|
|
|
I-Source Gestion |
|
|
Pierre |
Fiorini |
Partenaire et CTO |
|
|
|
|
|
|
|
|
|
|
Israel Aircraft Industries |
|
|
Michael |
Winokur |
Director - Corporate R&D |
|
|
|
|
|
|
|
|
|
|
Naval Research Laboratory - Center
for High Assurance |
|
|
Cathy |
Meadows |
Head, Formal Methods Section |
|
|
|
|
|
|
|
|
|
|
NSF |
|
|
Helen |
Gill |
Program Director |
|
|
|
|
|
|
|
|
|
|
OFFIS |
|
|
Ralf |
Reussner |
Jun.-Prof. Dr. |
|
|
|
|
|
|
|
|
|
|
Philips Research |
|
|
Sjir |
van Loo |
Principal Systems Architect |
|
|
|
|
|
|
|
|
|
|
Porto Advanced Engineering Institute
(ISEP) |
|
|
Alfredo |
Martins |
Dr |
|
|
|
|
|
|
|
|
|
|
Princeton University |
|
|
Margaret |
Martonosi |
Professor |
|
|
|
|
|
|
|
|
|
|
Rolls Royce UTC |
|
|
Haydn |
Thompson |
Professor |
|
|
|
|
|
|
|
|
|
|
Raytheon Co. |
|
|
Don |
Wilson |
Senior Fellow |
|
|
|
|
|
|
|
|
|
|
Rutgers University |
|
|
Liviu |
Iftode |
Professor |
|
|
|
|
|
|
|
|
|
|
Saarland University |
|
|
Reinhard |
Wilhelm |
Prof. |
|
|
|
|
|
|
|
|
|
|
Stanford University |
|
|
Claire |
Tomlin |
Associate Professor |
|
|
|
|
|
|
|
|
|
|
Thalès |
|
|
Philippe |
Kajfasz |
Head of Advanced Architecture Lab. |
|
|
|
|
|
Véronique |
Normand |
Architecture & Engineering Department |
|
|
|
|
|
Dominique |
Potier |
Scientific Director for Software Technologies |
|
|
|
|
|
|
|
|
|
|
University of California, Berkeley
|
|
|
Shankar |
Sastry |
Professor, Director of CITRIS |
|
|
|
|
|
|
|
|
|
|
University of Pennsylvania |
|
|
George |
Pappas |
Associate Professor |
|
|
|
|
|
|
|
|
|
|
Uppsala University |
|
|
Bengt |
Jonsson |
Professor |
|
|
|
|
|
|
|
|
|
|
VERIMAG |
|
|
Bruno |
Bouyssounouse |
Artist2 Technical Coordinator |
|
|
|
|
|
Joseph |
Sifakis |
Director |
|
|
|
|
|
|
|
|
|
|
Vienna University of Technology |
|
|
Roman |
Obermaisser |
Dr |
|
|
|
|
|
|
|
|
|
|
Volvo Technology Corp. |
|
|
Henrik |
Lönn |
Dr |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|