Deliverables of the MOBIUS project:

Year 1 : Versions approved by the EU.

up Description Date Nature Diss Resp Workpackage Download (pdf)
D6.3 Demonstration Plan Sept 06 R Pu TLS WP 6 PDF
D6.2 Dissemination and Training Activity Report, Year 1 Sept 06 R Pu UEDIN WP 6 PDF
D6.1 Dissemination and Training Plan March 06 R Pu INRIA WP 6 PDF
D4.1 Scenarios and requirements for PCC Sept 06 R Pu UPM WP 4 PDF
D3.1 Report on byte code level specification language and program logic Sept 06 R Pu WU WP 3 PDF
D2.1 Intermediate report on type systems Sept 06 R Pu LMU WP 2 PDF
D1.2 Report on framework-specific and application-specific security Sept 06 R Pu RUN WP 1 PDF
D1.1 Report on resource and information flow security requirements March 06 R Pu UEDIN WP 1 PDF

Year 2: Versions approved by the EU.

Description Date Creation Rev. of Nat Diss Resp Task related Download (pdf)
D2.2 Intermediate report on implementation of type systems T0+18 (March 07) x   R Pu TL 2.6 PDF
D3.2 Intermediate report on embedding type-based analyses into program logics T0+18 x   R Pu CTH 3.5 PDF
D3.3 Preliminary report on thread-modular verification T0+18 x   R Pu INRIA 3.3 PDF
D5.1 Report on selection of case studies and requirements T0+18 x   R Pu FT 5.1 PDF
D2.3 Report on type sytems T0+24 (Sept 07)   D2.1 R Pu RWTH 2.1, 2.3 PDF
D3.4 Report on logic for resources and information flow T0+24 x   R Pu UEDIN 3.2 PDF
D4.2 Report on certificate format and certificate generation T0+24 x   R Pu LMU 4.2, 4.3 PDF
D4.3 Preliminary report on proof transforming compiler T0+24 x   R Pu ETH 4.4 PDF
D6.4 Yearly dissemination and training activities report T0+24   D6.2 R Pu UEDIN 6.1-5 PDF

Year 3: versions approved by the EU.

Description Date Creation Rev. of Nat Diss Resp Task related Download (pdf)
D2.4 Report on type system prototypes T0+30 (March 08)   D2.2 R Pu TL 2.6 PDF
D3.5 Preliminary report on program verification environment and annotation generation T0+30 x   R Pu UCD 3.6, 3.7 PDF
D6.5 Demonstration report T0+30   D6.3 R Pu TLS 6.6 PDF
D2.5 Report on safe information release T0+36 x   R Pu CTH 2.2 PDF
D2.6 Preliminary report on advanced resource policies T0+36 x   R Pu UEDIN 2.4 PDF
D3.6 Preliminary report on modular verification T0+36 x   R Pu ETH 3.4 PDF
D4.4 Report on certificate format and certificate generation T0+36   D4.2 R Pu INRIA 4.2, 4.3 PDF
D4.5 Report on proof-transformation for optimizing compilers T0+36 x   R Pu IOC 4.4 PDF
D6.6 Yearly dissemination and training activities report T0+36   D6.4 R Pu UEDIN 6.1-5 PDF

Month 37 to Month 48:

Description Date Creation Rev. of Nat Diss Resp Task related Download (pdf)
D3.7 Report on multi-threading T0+42   D3.3 R Pu INRIA 3.3 PDF
D3.8 Report on embedding type-based analyses into program logics T0+42   D3.2 R Pu CTH 3.5 PDF
D2.7 Report on advanced resource policies T0+48   D2.6 R Pu UEDIN 2.4 PDF
D3.9 Report on modular verification T0+48   D3.6 R Pu ETH 3.4 PDF
D3.10 Report on program verification environment and annotation generation T0+48   D3.5 R Pu RUN 3.6, 3.7 PDF
D4.6 Report on proof transforming compiler T0+48 x   R Pu IOC 4.4 PDF
D4.7 Report on on-device checking T0+48 x   R Pu INRIA 4.5-5.4 PDF
D5.2 Evaluation on case studies T0+48 x   R Pu FT 5.2-5.3 PDF
D6.7 Demonstration final report T0+48   D6.5 R Pu TLS 6.6 PDF
D6.8 Final report on dissemination and training activities T0+48   D6.6 R Pu UEDIN 6.1-5 PDF

Management and activity reports are not public deliverables.

Note: R = Report, Pu = Public

If you are a Reviewer of the Project, please follow the link: For Review

Revision: r1.58 - 27 Oct 2009 - 17:04 - GillesBarthe
Ideas, requests, problems regarding the Mobius site QUESTION?