Francisco Martins
Francisco Martins
Associate Professor, Faculty of Sciences and Technology, University of the Azores and LASIGE
Email confirmado em
Citado por
Citado por
SCC: a service centered calculus
M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ...
Web services and formal methods, 38-57, 2006
Behavioral types in programming languages
D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ...
Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016
Disciplining orchestration and conversation in service-oriented computing
I Lanese, VT Vasconcelos, F Martins, A Ravara
Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE …, 2007
Protocol-based verification of message-passing parallel programs
HA López, ERB Marques, F Martins, N Ng, C Santos, VT Vasconcelos, ...
Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015
Type inference for deadlock detection in a multithreaded polymorphic typed assembly language
VT Vasconcelos, F Martins, T Cogumbreiro
arXiv preprint arXiv:1002.0942, 2010
Modelling IoT behaviour within BPMN business processes
F Martins, D Domingos
Procedia computer science 121, 1014-1022, 2017
Dynamic deadlock verification for general barrier synchronisation
T Cogumbreiro, R Hu, F Martins, N Yoshida
ACM SIGPLAN Notices 50 (8), 150-160, 2015
A middleware framework for the Internet of Things
B Valente, F Martins
Proceedings of the 3rd International Conference on Advances in Future …, 2011
Towards the safe programming of wireless sensor networks
F Martins, L Lopes, J Barros
arXiv preprint arXiv:1002.0937, 2010
Verification of MPI programs using session types
K Honda, E Marques, F Martins, N Ng, V Vasconcelos, N Yoshida
Recent Advances in the Message Passing Interface, 291-293, 2012
Internet of Things Aware WS-BPEL Business Processes Context Variables and Expected Exceptions.
D Domingos, F Martins, C Candido, R Martinho
J. Univers. Comput. Sci. 20 (8), 1109-1129, 2014
Using BPMN to model Internet of Things behavior within business process
D Domingos, F Martins
International Journal of Information Systems and Project Management 5 (4), 39-51, 2017
Towards deductive verification of MPI programs against session types
ERB Marques, F Martins, VT Vasconcelos, N Ng, N Martins
arXiv preprint arXiv:1312.2705, 2013
A multithreaded typed assembly language
VT Vasconcelos, F Martins
Proceedings of TV 6, 133-141, 2006
Programming Wireless Sensor Networks
L Lopes, F Martins, J Barros
Middleware for Network Eccentric and Mobile Applications, 25-41, 2009
A process calculus approach to sensor network programming
L Lopes, F Martins, MS Silva, J Barros
Sensor Technologies and Applications, 2007. SensorComm 2007. International …, 2007
Deductive verification of parallel programs using Why3
C Santos, F Martins, VT Vasconcelos
arXiv preprint arXiv:1508.04856, 2015
The stream-based service-centred calculus: a foundation for service-oriented programming
L Cruz-Filipe, I Lanese, F Martins, A Ravara, V Thudichum Vasconcelos
Formal Aspects of Computing 26 (5), 865-918, 2014
A safe-by-design programming language for wireless sensor networks
L Lopes, F Martins
Journal of Systems Architecture 63, 16-32, 2016
History-based access control for distributed processes
F Martins, V Vasconcelos
Trustworthy Global Computing, 98-115, 2005
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20