Skip to topic
|
Skip to bottom
IST-15905
Mobius
Home
Objectives
Partners
Workpackages
End User Panel
Scientific Advisory Board
Publications
Deliverables
Links to Related projects
Intranet
Tools
Search
Changes
Start of topic |
Skip to actions
---+ Deliverables of the MOBIUS project: *Year 1 : Versions approved by the EU.* | *Nº* | *Description* | *Date* | *Nature* | *Diss* | *Resp* | *Workpackage* | *Download (pdf)* | | D1.1 | Report on resource and information flow security requirements | March 06 | R | Pu | UEDIN | [[http://mobius.inria.fr/twiki/bin/view/WorkPackage/WorkPackage1][WP 1]] | [[%ATTACHURL%/Deliv1-1.pdf][%PDF%]] | | D6.1 | Dissemination and Training Plan | March 06 | R | Pu | INRIA | [[http://mobius.inria.fr/twiki/bin/view/WorkPackage/WorkPackage6][WP 6]] | [[%ATTACHURL%/Deliv6-1.pdf][%PDF%]] | | D1.2 | Report on framework-specific and application-specific security | Sept 06 | R | Pu | RUN | [[http://mobius.inria.fr/twiki/bin/view/WorkPackage/WorkPackage1][WP 1]] | [[%ATTACHURL%/Deliv1-2corrected.pdf][%PDF%]] | | D2.1 | Intermediate report on type systems | Sept 06 | R | Pu | LMU | [[http://mobius.inria.fr/twiki/bin/view/WorkPackage/WorkPackage2][WP 2]] | [[%ATTACHURL%/Deliv2-1.pdf][%PDF%]] | | D3.1 | Report on byte code level specification language and program logic | Sept 06 | R | Pu | WU | [[http://mobius.inria.fr/twiki/bin/view/WorkPackage/WorkPackage3][WP 3]] | [[%ATTACHURL%/mobius-deliverable-3-1.pdf][%PDF%]] | | D4.1 | Scenarios and requirements for PCC | Sept 06 | R | Pu | UPM | [[http://mobius.inria.fr/twiki/bin/view/WorkPackage/WorkPackage4][WP 4]] |[[%ATTACHURL%/deliv4_1.pdf][%PDF%]] | | D6.2 | Dissemination and Training Activity Report, Year 1 | Sept 06 | R | Pu | UEDIN | [[http://mobius.inria.fr/twiki/bin/view/WorkPackage/WorkPackage6][WP 6]] | [[%ATTACHURL%/Deliv6-2.pdf][%PDF%]] | | D6.3 | Demonstration Plan | Sept 06 | R | Pu | TLS | [[http://mobius.inria.fr/twiki/bin/view/WorkPackage/WorkPackage6][WP 6]] | [[%ATTACHURL%/mobius-deliverable-6-3.pdf][%PDF%]] | *Year 2: Versions approved by the EU.* |*Nº*| *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|[[%ATTACHURL%/Deliv-2.2.pdf][%PDF%]] | |D3.2|Intermediate report on embedding type-based analyses into program logics|T0+18|x| |R|Pu |CTH|3.5|[[%ATTACHURL%/deliv3.2.pdf][%PDF%]] | |D3.3|Preliminary report on thread-modular verification|T0+18|x| |R |Pu|INRIA|3.3|[[%ATTACHURL%/D3-3.pdf][%PDF%]] | |D5.1|Report on selection of case studies and requirements|T0+18 |x| |R |Pu|FT|5.1|[[%ATTACHURL%/Deliv5-1.pdf][%PDF%]] | |D2.3|Report on type sytems |T0+24 (Sept 07)| |D2.1|R |Pu| RWTH |2.1, 2.3| [[%ATTACHURL%/Deliv2.3.pdf][%PDF%]]| |D3.4|Report on logic for resources and information flow|T0+24| x | |R|Pu| UEDIN |3.2| [[%ATTACHURL%/D3-4.pdf][%PDF%]]| |D4.2 |Report on certificate format and certificate generation|T0+24| x | |R |Pu|LMU |4.2, 4.3| [[%ATTACHURL%/deliv4_2.pdf][%PDF%]]| |D4.3 |Preliminary report on proof transforming compiler|T0+24| x | |R|Pu |ETH |4.4| [[%ATTACHURL%/deliv4_3.pdf][%PDF%]]| |D6.4 |Yearly dissemination and training activities report|T0+24| |D6.2|R |Pu |UEDIN|6.1-5| [[%ATTACHURL%/D6-4.pdf][%PDF%]]| *Year 3: versions approved by the EU.* |*Nº*| *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| [[%ATTACHURL%/Deliv-2.4.pdf][%PDF%]]| |D3.5|Preliminary report on program verification environment and annotation generation|T0+30|x| |R |Pu|UCD|3.6, 3.7| [[%ATTACHURL%/Deliv-3.5.pdf][%PDF%]]| |D6.5|Demonstration report|T0+30| |D6.3|R|Pu|TLS|6.6| [[%ATTACHURL%/Deliv-6.5.pdf][%PDF%]] | |D2.5|Report on safe information release|T0+36 |x | |R|Pu|CTH|2.2| [[%ATTACHURL%/Deliv-2.5.pdf][%PDF%]] | |D2.6|Preliminary report on advanced resource policies|T0+36 | x | |R|Pu|UEDIN|2.4| [[%ATTACHURL%/Deliv-2.6-full.pdf][%PDF%]] | |D3.6|Preliminary report on modular verification|T0+36 | x | |R|Pu|ETH|3.4| [[%ATTACHURL%/Deliv-3.6.pdf][%PDF%]] | |D4.4|Report on certificate format and certificate generation|T0+36| |D4.2|R|Pu|INRIA|4.2, 4.3|[[%ATTACHURL%/Deliv-4.4.pdf][%PDF%]] | |D4.5|Report on proof-transformation for optimizing compilers|T0+36| x | |R|Pu| IOC|4.4|[[%ATTACHURL%/Deliv-4.5.pdf][%PDF%]] | |D6.6 |Yearly dissemination and training activities report|T0+36| |D6.4|R |Pu |UEDIN|6.1-5| [[%ATTACHURL%/Deliverable-6-6.pdf][%PDF%]] | *Month 37 to Month 48:* |*Nº*| *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| [[%ATTACHURL%/Deliv-3.7.pdf][%PDF%]]| |D3.8|Report on embedding type-based analyses into program logics|T0+42 | | D3.2 |R|Pu|CTH|3.5|[[%ATTACHURL%/Deliv-3.8.pdf][%PDF%]] | |D2.7|Report on advanced resource policies|T0+48 | | D2.6 |R|Pu|UEDIN|2.4|[[%ATTACHURL%/Deliv-2.7.pdf][%PDF%]] | |D3.9|Report on modular verification|T0+48| |D3.6 |R|Pu|ETH|3.4|[[%ATTACHURL%/Deliv-3.9.pdf][%PDF%]]| |D3.10|Report on program verification environment and annotation generation|T0+48| | D3.5 |R|Pu|RUN|3.6, 3.7|[[%ATTACHURL%/Deliv-3.10.pdf][%PDF%]] | |D4.6|Report on proof transforming compiler|T0+48| x| |R|Pu|IOC|4.4|[[%ATTACHURL%/Deliv-4.6.pdf][%PDF%]] | |D4.7|Report on on-device checking|T0+48| x| |R|Pu|INRIA| 4.5-5.4|[[%ATTACHURL%/Deliv-4.7.pdf][%PDF%]] | |D5.2|Evaluation on case studies|T0+48| x| |R|Pu|FT|5.2-5.3|[[%ATTACHURL%/Deliv-5.2.pdf][%PDF%]] | |D6.7|Demonstration final report|T0+48| |D6.5|R|Pu|TLS|6.6|[[%ATTACHURL%/Deliv-6.7.pdf][%PDF%]] | |D6.8|Final report on dissemination and training activities|T0+48| |D6.6|R |Pu |UEDIN|6.1-5| [[%ATTACHURL%/Deliv-6.8.pdf][%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:* ForReview
End of topic
Skip to action links
|
Back to top
r1.58 :
Edit
|
Attach image or document
|
Printable version
|
Raw text
|
Page history
|
More actions
You are here:
Deliverables List
>
WebHome
to top
Ideas, requests, problems regarding the Mobius site