Francisco Martins
Francisco Martins
Assistant Professor, LASIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal
Verified email at di.fc.ul.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
2032006
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
Behavioral types in programming languages
N Yoshida, VT Vasconcelos, L Padovani, NN Bono, R Neykova, F Montesi, ...
Foundations and Trends in Programming Languages 3 (2-3), 95-230, 2016
932016
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
382015
Type inference for deadlock detection in a multithreaded polymorphic typed assembly language
VT Vasconcelos, F Martins, T Cogumbreiro
arXiv preprint arXiv:1002.0942, 2010
382010
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
272012
A middleware framework for the Internet of Things
B Valente, F Martins
Proceedings of the 3rd International Conference on Advances in Future …, 2011
272011
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
252013
Towards the safe programming of wireless sensor networks
F Martins, L Lopes, J Barros
arXiv preprint arXiv:1002.0937, 2010
252010
Dynamic deadlock verification for general barrier synchronisation
T Cogumbreiro, R Hu, F Martins, N Yoshida
ACM SIGPLAN Notices 50 (8), 150-160, 2015
222015
Internet of Things Aware WS-BPEL Business Processes Context Variables and Expected Exceptions.
D Domingos, F Martins, C Cândido, R Martinho
J. UCS 20 (8), 1109-1129, 2014
192014
Programming Wireless Sensor Networks
L Lopes, F Martins, J Barros
Middleware for Network Eccentric and Mobile Applications, 25-41, 2009
16*2009
A multithreaded typed assembly language
VT Vasconcelos, F Martins
Proceedings of TV 6, 133-141, 2006
162006
Modelling IoT behaviour within BPMN business processes
F Martins, D Domingos
Procedia Computer Science 121, 1014-1022, 2017
152017
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
The stream-based service-centred calculus: a foundation for service-oriented programming
L Cruz-Filipe, I Lanese, F Martins, A Ravara, VT Vasconcelos
Formal Aspects of Computing 26 (5), 865-918, 2014
122014
History-based access control for distributed processes
F Martins, V Vasconcelos
Trustworthy Global Computing, 98-115, 2005
122005
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
102017
Coordinating phased activities while maintaining progress
T Cogumbreiro, F Martins, VT Vasconcelos
International Conference on Coordination Languages and Models, 31-44, 2013
102013
A safe-by-design programming language for wireless sensor networks
L Lopes, F Martins
Journal of Systems Architecture 63, 16-32, 2016
82016
The system can't perform the operation now. Try again later.
Articles 1–20