Francisco Martins
Francisco Martins
Associate Professor, Faculty of Sciences and Technology, University of the Azores and LASIGE
Dirección de correo verificada de
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
Modelling IoT behaviour within BPMN business processes
F Martins, D Domingos
Procedia computer science 121, 1014-1022, 2017
Type inference for deadlock detection in a multithreaded polymorphic typed assembly language
VT Vasconcelos, F Martins, T Cogumbreiro
arXiv preprint arXiv:1002.0942, 2010
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
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
A middleware framework for the internet of things
B Valente, F Martins
Proceedings of the 3rd International Conference on Advances in Future …, 2011
Dynamic deadlock verification for general barrier synchronisation
T Cogumbreiro, R Hu, F Martins, N Yoshida
ACM SIGPLAN Notices 50 (8), 150-160, 2015
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
Towards the safe programming of wireless sensor networks
F Martins, L Lopes, J Barros
arXiv preprint arXiv:1002.0937, 2010
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
An evaluation of LoRa communication range in urban and forest areas: A case study in brazil and portugal
MR Villarim, JVH de Luna, D de Farias Medeiros, RIS Pereira, ...
2019 IEEE 10th Annual Information Technology, Electronics and Mobile …, 2019
A safe-by-design programming language for wireless sensor networks
L Lopes, F Martins
Journal of Systems Architecture 63, 16-32, 2016
A multithreaded typed assembly language
VT Vasconcelos, F Martins
Proceedings of TV 6, 133-141, 2006
Deductive verification of parallel programs using Why3
C Santos, F Martins, VT Vasconcelos
arXiv preprint arXiv:1508.04856, 2015
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
Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers
T Cogumbreiro, R Surendran, F Martins, V Sarkar, VT Vasconcelos, ...
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20