Filipe David Oliveira Militão
AuthID: R-001-NSA
1
TITLE: Composing Interfering Abstract Protocols
AUTHORS: Filipe Militão; Jonathan Aldrich; Luís Caires ;
PUBLISHED: 2016, SOURCE: 30th European Conference on Object-Oriented Programming, ECOOP 2016 in 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy, VOLUME: 56
AUTHORS: Filipe Militão; Jonathan Aldrich; Luís Caires ;
PUBLISHED: 2016, SOURCE: 30th European Conference on Object-Oriented Programming, ECOOP 2016 in 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy, VOLUME: 56
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP2
TITLE: Substructural typestates
AUTHORS: Militao, F; Aldrich, J; Caires, L ;
PUBLISHED: 2014, SOURCE: 2014 8th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, PLPV 2014 - Co-located with POPL 2014 in PLPV 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, Co-located with POPL 2014
AUTHORS: Militao, F; Aldrich, J; Caires, L ;
PUBLISHED: 2014, SOURCE: 2014 8th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, PLPV 2014 - Co-located with POPL 2014 in PLPV 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, Co-located with POPL 2014
3
TITLE: Rely-Guarantee Protocols
AUTHORS: Filipe Militao; Jonathan Aldrich; Luis Caires ;
PUBLISHED: 2014, SOURCE: 28th European Conference on Object-Oriented Programming (ECOOP) in ECOOP 2014 - OBJECT-ORIENTED PROGRAMMING, VOLUME: 8586
AUTHORS: Filipe Militao; Jonathan Aldrich; Luis Caires ;
PUBLISHED: 2014, SOURCE: 28th European Conference on Object-Oriented Programming (ECOOP) in ECOOP 2014 - OBJECT-ORIENTED PROGRAMMING, VOLUME: 8586
4
TITLE: Aliasing control with view-based typestate
AUTHORS: Militao, F; Aldrich, J; Caires, L ;
PUBLISHED: 2010, SOURCE: 24th European Conference on Object-Oriented Programming, ECOOP 2010 - 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP'10 in 24th European Conference on Object-Oriented Programming, ECOOP 2010 Workshop Proceedings - Workshop 5:12th Workshop on Formal Techniques for Java-Like Programs, FTFJP'10
AUTHORS: Militao, F; Aldrich, J; Caires, L ;
PUBLISHED: 2010, SOURCE: 24th European Conference on Object-Oriented Programming, ECOOP 2010 - 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP'10 in 24th European Conference on Object-Oriented Programming, ECOOP 2010 Workshop Proceedings - Workshop 5:12th Workshop on Formal Techniques for Java-Like Programs, FTFJP'10
