Sérgio André dos Santos Areias
AuthID: R-001-SPV
1
TÃTULO: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTORES: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
PUBLICAÇÃO: 2017, FONTE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS
AUTORES: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
PUBLICAÇÃO: 2017, FONTE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS
2
TÃTULO: GammaPolarSlicer Full Text
AUTORES: Sergio Areias; Daniela da Cruz ; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2011, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 8, NÚMERO: 2
AUTORES: Sergio Areias; Daniela da Cruz ; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2011, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 8, NÚMERO: 2
3
TÃTULO: Safe Integration of Annotated Components in Open Source Projects Full Text
AUTORES: Sergio Areias; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: ECEASST, VOLUME: 33
AUTORES: Sergio Areias; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: ECEASST, VOLUME: 33
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP