Francisco Martins
Francisco Martins
Associate Professor, Faculty of Sciences and Technology, University of the Azores and LASIGE
Verified email at uac.pt
Title
Cited by
Cited by
Year
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
1282016
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
1142007
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
512015
Type inference for deadlock detection in a multithreaded polymorphic typed assembly language
VT Vasconcelos, F Martins, T Cogumbreiro
arXiv preprint arXiv:1002.0942, 2010
412010
A middleware framework for the Internet of Things
B Valente, F Martins
Proceedings of the 3rd International Conference on Advances in Future …, 2011
292011
Modelling IoT behaviour within BPMN business processes
F Martins, D Domingos
Procedia computer science 121, 1014-1022, 2017
282017
Towards the safe programming of wireless sensor networks
F Martins, L Lopes, J Barros
arXiv preprint arXiv:1002.0937, 2010
272010
Dynamic deadlock verification for general barrier synchronisation
T Cogumbreiro, R Hu, F Martins, N Yoshida
ACM SIGPLAN Notices 50 (8), 150-160, 2015
262015
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
Internet of Things Aware WS-BPEL Business Processes Context Variables and Expected Exceptions.
D Domingos, F Martins, C Cândido, R Martinho
J. Univers. Comput. Sci. 20 (8), 1109-1129, 2014
242014
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
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
172017
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
152007
History-based access control for distributed processes
F Martins, V Vasconcelos
Trustworthy Global Computing, 98-115, 2005
122005
A safe-by-design programming language for wireless sensor networks
L Lopes, F Martins
Journal of Systems Architecture 63, 16-32, 2016
112016
Deductive verification of parallel programs using Why3
C Santos, F Martins, VT Vasconcelos
arXiv preprint arXiv:1508.04856, 2015
112015
Coordinating phased activities while maintaining progress
T Cogumbreiro, F Martins, VT Vasconcelos
International Conference on Coordination Languages and Models, 31-44, 2013
112013
The system can't perform the operation now. Try again later.
Articles 1–20