Cohesive Project (Projecto Integrado)
Interesting and useful slides for preparing your milestone presentations:
Start-up Workshop (5-Dec-2013)
- Project theme proposals: contact the MFES team
2nd Workshop (30-Jan-2014)
Group presentations (30 mins each)
3rd Workshop (10-Apr-2014)
Group presentations (30 mins each)
4th Workshop (22-May-2014)
Group presentations (30 mins each)
Final Workshop (03-Jul-2014)
Final evaluation by industrial partners.
Our Skype-ID:
uminho-di-a1
Schedule:
Time | Group | Partnership | Project | Report | Slides | Ref | External supervisor(s) | Tutors |
10h00 | C | Altreonic | Event B Support for Formal or specification focused front-end for RTOS applications | PDF | PDF | Al1 | Eric Verhulst | J.N. Oliveira |
(break) | | | | | | | | |
11h30 | G | Efacec | Optimization of C code for Critical Systems | PDF | PDF | Ef1 | J. Martins | J.S. Pinto |
12h10 | E | Efacec | Centralized Interlocking | PDF | PDF | Ef2 | J. Martins | L.S. Barbosa |
(lunch) | | | | | | | |
14h00 | H | Educed | Extending PROVA for architecture definition and traceability | PDF | PDF | Ed2 | J.M. Faria | L.S. Barbosa |
14h40 | D | Educed | Extending PROVA for ontologies definition and exchange | PDF | PDF | Ed1 | J.M. Faria | M.A. Cunha |
16h00 (8h00 in Portland) | B | Galois | Using Cryptol to explore ECC-based random-number generators | PDF | PDF | G1 | Joe Hendrix | J.N. Oliveira |
17h00 (9h00 in Portland) | A | Galois | Design and implement a Haskell library for easy interaction with SMT solvers | PDF | PDF | G4 | Iavor Diatchki | M.J. Frade |
18h00 (10h00 in Portland) | F | Galois | Exploring post-quantum cryptographic algorithms in Cryptol | PDF | PDF | G3 | Joe Kiniry (Dylan McNamee) | M.B. Barbosa |
Projects / Groups
Group | Ref | Project | Partnership | External supervisor(s) | Tutors | Nr | Student | Photo |
A | G4 | Design and implement a Haskell library for easy interaction with SMT solvers | Galois | Iavor Diatchki | M.J. Frade | pg25313 | Nuno Miguel da Costa Laranjo | |
A | G4 | Design and implement a Haskell library for easy interaction with SMT solvers | Galois | Iavor Diatchki | M.J. Frade | pg25318 | Rogério António da Costa Pontes | |
F | G3 | Exploring post-quantum cryptographic algorithms in Cryptol | Galois | Dylan McNamee | M.B. Barbosa | pg25311 | Luís Miguel Pereira Constantino Romano | |
F | G3 | Exploring post-quantum cryptographic algorithms in Cryptol | Galois | Dylan McNamee | M.B. Barbosa | pg25301 | Vitor Manuel Parreira Pereira | |
B | G1 | Using Cryptol to explore ECC-based random-number generators | Galois | Joe Hendrix | J.N. Oliveira | pg19643 | Ana Catarina Pereira Correia | |
B | G1 | Using Cryptol to explore ECC-based random-number generators | Galois | Joe Hendrix | J.N. Oliveira | pg25335 | Ana Paula Martins Carvalho | |
E | Ef2 | Centralized Interlocking | Efacec | João Martins e Hélder Azevedo | L.S. Barbosa | pg25285 | Jorge Lobo Teixeira Lopes | |
E | Ef2 | Centralized Interlocking | Efacec | João Martins e Hélder Azevedo | L.S. Barbosa | pg25332 | Paulo Alexandre Ribeiro Silva | |
G | Ef1 | Optimization of C code for Critical Systems | Efacec | João Martins e Hélder Azevedo | J.S. Pinto | pg25299 | Helder Cristiano Dias Afonso | |
G | Ef1 | Optimization of C code for Critical Systems | Efacec | João Martins e Hélder Azevedo | J.S. Pinto | pg26133 | João Carlos Alves Cruz | |
H | Ed2 | EXTENDING PROVA FOR ARCHITECTURE DEFINITION AND TRACEABILITY | Educed | José Miguel Faria | L.S. Barbosa | pg26119 | Fábio André Martins Fernandes | |
H | Ed2 | EXTENDING PROVA FOR ARCHITECTURE DEFINITION AND TRACEABILITY | Educed | José Miguel Faria | L.S. Barbosa | pg25263 | Telma Ferreira Correia | |
D | Ed1 | EXTENDING PROVA FOR ONTOLOGIES DEFINITION AND EXCHANGE | Educed | José Miguel Faria | M.A. Cunha | pg25300 | Damien da Silva Vaz | |
D | Ed1 | EXTENDING PROVA FOR ONTOLOGIES DEFINITION AND EXCHANGE | Educed | José Miguel Faria | M.A. Cunha | pg25340 | Yoan David Ribeiro | |
C | Al1 | Event B Support for Formal or specification focused front-end for RTOS applications | Altreonic | Eric Verhulst | J.N. Oliveira | pg22766 | Fábio Esteves Sousa | |
C | Al1 | Event B Support for Formal or specification focused front-end for RTOS applications | Altreonic | Eric Verhulst | J.N. Oliveira | pg25328 | Miguel Ângelo Gomes da Costa | |
--
JoseNunoOliveira - 11 Sep 2013