No Description Date Resp
4.3

AMETIST Website

1.5.2002
UT, all
0.1.1 Project Report - Progress & Evaluation
1.10.2002
KUN, all
3.1.1 CS1: Preliminary Description
1.10.2002
LIF, CYR
3.2.1 CS2: Preliminary Description
1.10.2002
AAU, Terma
3.3.1 CS3: Preliminary Description
1.10.2002
Uni Do, Bosch
3.4.1 CS4: Preliminary Description
1.10.2002
Uni Do, Axxom
4 Dissemination and Use plan
1.10.2002
VERIMAG, all
4.1.1 AMETIST Workshop
1.10.2002
VERIMAG
0.1.2 Project Report - Progress & Evaluation
1.4.2003
KUN, all
0.2.1 Framework Report (v1)
1.4.2003
VERIMAG, all
0.3.1 Financial Review
1.4.2003
KUN, all
1.5 Modelling: Control Synthesis
1.4.2003
VERIMAG
2.3.a A & T: State Space Representations
1.4.2003
LIF
3.1.2 Case Study 1: Model
1.4.2003
LIF, CYR
3.2.2 Case Study 2: Model
1.4.2003
AAU, Terma
3.3.2 Case Study 3: Model
1.4.2003
Uni Do, Bosch
3.4.2 Case Study 4: Model
1.4.2003
Uni Do, Axxom
3.5.1 Miscellaneous Case Studies: First Year Report
1.4.2003
UT, all
0.1.3 Project Report - Progress & Evaluation
1.10.2003
KUN, all
0.1.4 Mid Term Assessment Report
25.5. 2004
KUN, all
0.2.2 Framework Report (v2)
2.5. 2004
VERIMAG
0.3.2 Financial Review
1.6. 2004
KUN, all
1.2 Modelling: Model Composition
8.2007
KUN
1.3 Modelling: Quantitative Modelling
3.5. 2004
UT
1.4 Modelling: Scheduling and Planning
3.5. 2004
Uni Do
2.1.1 A & T: Abstraction and Compositionality
1.5. 2004
KUN
2.2.1 A & T: Control Synthesis Algorithms
3.5. 2004
VERIMAG
2.3.b A & T: State Space Representations (v2)
3.5. 2004
LIF
2.4.a A & T: Stochastic Analysis (v1)
3.5. 2004
UT
2.5.a A & T: Tool Interaction (v1)
1.5. 2004
AAU
3.1.3 Case Study 1: Optimisation
19.5. 2004
LIF, CYR
3.2.3 Case Study 2: Optimisation
1.5. 2004
AAU, Terma
3.3.3 Case Study 3: Optimisation
1.5. 2004
Uni Do, Bosch
3.4.3 Case Study 4: Optimisation
20.5. 2004
Uni Do, Axxom
3.5.2 Miscellaneous Case Studies: Second Year Report
28.4. 2004
UT, all
0.1.5
rev .31.5.2005
KUN, all
0.1.6 Final Project Report - Progress & Evaluation
10.2006
KUN, all
0.2.3 Framework Report (final)
05.2006
VERIMAG
0.3.3 Financial Review
1.9.2005
KUN, all
1.1 Modelling: Model Classification
05.2006
VERIMAG
2.1.2 A & T: Structure Exploitation
1.6.2005
KUN
2.2.2 A & T: Scheduling and Planning Algorithms
05.2006
VERIMAG
2.3.c Data Structures - Third Year Report
05.2006
LIF
2.4.b A & T: Stochastic Analysis (v2)
31.5.2005
UT
2.5.b A&T: Tools and Tool Interaction
10.2006
AAU
3.1.4 Case Study 1: Final Report
05.2006
LIF
3.2.4 Case Study 2: Final Report , Appendix
1.5.2005
AAU, Terma
3.3.4 Case Study 3: Final Report
3.6.2005
Kun, Bosch
3.4.4 Case Study 4: Final Report
3.6.2005
Uni Do, Axxom
3.5.3 Miscellaneous Case Studies: Final Report
05.2006
UT
4.1.2 Ametist Conference
1.6.2005
VERIMAG
Final Project Report
06.2007
KUN
Below the list of deliverables that we produced/revised following the final project review: