1
TITLE: Inferring Types for Parallel Programs PDF  Full Text
AUTHORS: Francisco Martins ; Vasco Thudichum Vasconcelos ; Hans Hüttel;
PUBLISHED: 2017, SOURCE: 10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2017 in Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2017, Uppsala, Sweden, 29th April 2017., VOLUME: 246
INDEXED IN: Scopus DBLP arXiv CrossRef: 1
IN MY: ORCID | DBLP
2
TITLE: A safe-by-design programming language for wireless sensor networks  Full Text
AUTHORS: Luis Lopes ; Francisco Martins ;
PUBLISHED: 2016, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 63
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID | DBLP
3
TITLE: Decentralising Internet of Things Aware BPMN Business Processes
AUTHORS: Domingos, D ; Martins, F ; Caiola, L;
PUBLISHED: 2015, SOURCE: 5th International Conference on Sensor Systems and Software (S-CUBE) in SENSOR SYSTEMS AND SOFTWARE, VOLUME: 143
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
4
TITLE: Deductive Verification of Parallel Programs Using Why3  Full Text
AUTHORS: Cesar Santos; Francisco Martins ; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2015, SOURCE: 8th Interaction and Concurrency Experience, ICE 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 189, ISSUE: 189
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
5
TITLE: Dynamic Deadlock Verification for General Barrier Synchronisation  Full Text
AUTHORS: Tiago Cogumbreiro; Raymond Hu; Francisco Martins ; Nobuko Yoshida;
PUBLISHED: 2015, SOURCE: 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 in ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
6
TITLE: NVL: a coordination language for unmanned vehicle networks. a coordination language for unmanned vehicle networks
AUTHORS: Eduardo R B Marques ; Manuel Ribeiro; Jose Pinto ; Joao B Sousa ; Francisco Martins ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP
7
TITLE: Protocol-Based Verification of Message-Passing Parallel Programs  Full Text
AUTHORS: Hugo A Lopez; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Cesar Santos; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2015, SOURCE: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) in ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 10
INDEXED IN: WOS DBLP CrossRef: 24
IN MY: DBLP
8
TITLE: Cooperari: a tool for cooperative testing of multithreaded Java programs. a tool for cooperative testing of multithreaded Java programs
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Miguel Simões;
PUBLISHED: 2014, SOURCE: 7th International Workshop on Network on Chip Architectures, NoCArc 2014 in 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools, PPPJ '14, Cracow, Poland, September 23-26, 2014, VOLUME: 13-December-2014
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
9
TITLE: Internet of Things Aware WS-BPEL Business Processes - Context Variables and Expected Exceptions
AUTHORS: Dulce Domingos ; Francisco Martins ; Carlos Candido; Ricardo Martinho ;
PUBLISHED: 2014, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 20, ISSUE: 8
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
10
TITLE: The stream-based service-centred calculus: a foundation for service-oriented programming  Full Text
AUTHORS: Cruz Filipe, L; Lanese, I; Martins, F ; Ravara, A; Vasconcelos, VT ;
PUBLISHED: 2014, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 26, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
Page 1 of 4. Total results: 32.