Seguir
Francisco Martins
Francisco Martins
Associate Professor, Faculty of Sciences and Technology, University of the Azores and LASIGE
Dirección de correo verificada de uac.pt
Título
Citado por
Citado por
Año
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
2062006
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
1872016
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
1122007
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
672015
Modelling IoT behaviour within BPMN business processes
F Martins, D Domingos
Procedia computer science 121, 1014-1022, 2017
482017
Type inference for deadlock detection in a multithreaded polymorphic typed assembly language
VT Vasconcelos, F Martins, T Cogumbreiro
arXiv preprint arXiv:1002.0942, 2010
432010
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
392017
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
332014
A middleware framework for the internet of things
B Valente, F Martins
The third international conference on advances in future internet, 139-144, 2011
292011
Dynamic deadlock verification for general barrier synchronisation
T Cogumbreiro, R Hu, F Martins, N Yoshida
ACM SIGPLAN Notices 50 (8), 150-160, 2015
282015
Towards the safe programming of wireless sensor networks
F Martins, L Lopes, J Barros
arXiv preprint arXiv:1002.0937, 2010
282010
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
262012
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
242013
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
202019
A safe-by-design programming language for wireless sensor networks
L Lopes, F Martins
Journal of Systems Architecture 63, 16-32, 2016
172016
A multithreaded typed assembly language
VT Vasconcelos, F Martins
Proceedings of TV 6, 133-141, 2006
172006
Programming Wireless Sensor Networks
L Lopes, F Martins, J Barros
Middleware for Network Eccentric and Mobile Applications, 25-41, 2009
16*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
162007
Deductive verification of parallel programs using Why3
C Santos, F Martins, VT Vasconcelos
arXiv preprint arXiv:1508.04856, 2015
152015
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
132017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20