Francisco Martins

2017
Cogumbreiro, T., Surendran R., Martins F., Sarkar V., Vasconcelos V. T., & Grossman M. (2017).  Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers. Proceedings of the ACM on Programming Languages. 1, 103.
Vasconcelos, V. T., Martins F., Marques E. R. B., Yoshida N., & Ng N. (2017).  Deductive Verification of MPI Protocols. Behavioural Types: from Theory to Tools. 353.
Martins, F., Vasconcelos V. Thudichum, & Hüttel H. (2017).  Inferring Types for Parallel Programs. arXiv preprint arXiv:1704.03096.
Martins, F., & Domingos D. (2017).  Modelling IoT behaviour within BPMN Business Processes. Procedia Computer Science. 121, 1014–1022.
2016
Ancona, D., Bono V., Bravetti M., Campos J., Castagna G., Deniélou P-M., et al. (2016).  Behavioral types in programming languages. Foundations and Trends® in Programming Languages. 3, 95–230.
Lopes, L., & Martins F. (2016).  A safe-by-design programming language for wireless sensor networks. Journal of Systems Architecture. 63, 16–32.
2015
Santos, C., Martins F., & Vasconcelos V. T. (2015).  Deductive Verification of Parallel Programs Using Why3. Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015, Grenoble, France, 4-5th June 2015..
Marques, E. R. B., Ribeiro M., Pinto J., Sousa J. B., & Martins F. (2015).  NVL: a coordination language for unmanned vehicle networks. ACM Symposium on Applied Computing (SAC'15).
Marques, E. R. B., Ribeiro M., Pinto J., Sousa J. B., & Martins F. (2015).  Towards Programmable Coordination of Unmanned Vehicle Networks. IFAC NGCUV'15 (to appear).
2014
Ancona, D., Bono V., Bravetti M., Campos J., Deniélou P-M., Gesbert N., et al. (2014).  BETTY WG3–Languages: State of the Art Report. Report of the EU COST Action IC1201–Behavioural Types for Reliable Large-Scale Software Systems. www. behavioural-types. eu/publications/WG3-State-of-the-Art. pdf.
Marques, E. R. B., Martins F., & Simões M. (2014).  Cooperari A tool for cooperative testing of multithreaded Java programs. Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools. 200–206.
Marques, E. R. B., Martins F., & Simões M. (2014).  Cooperari: A Tool for Cooperative Testing of Multithreaded Java Programs. PPPJ'14: 2014 International Conference on Principles and Practices of Programming on the Java Platform.
Domingos, D., Martins F., Cândido C., & Martinho R. (2014).  Internet of Things Aware WS-BPEL Business Processes Context Variables and Expected Exceptions. Journal of Universal Computer Science. 20, 1109–1129.
Marques, E. R. B., Martins F., Vasconcelos V. T., Santos C., Ng N., & Yoshida N. (2014).  Protocol-based verification of MPI programs.
Cruz-Filipe, L., Lanese I., Martins F., Ravara A., & Vasconcelos V. T. (2014).  The stream-based service-centred calculus: a foundation for service-oriented programming. Formal Aspects of Computing. 26, 865–918.
Vasconcelos, V. T., Martins F., Marques E. R. B., López H. A., Santos C., & Yoshida N. (2014).  Type-based verification of message-passing parallel programs.
2013
L Lourenço, M., Seco J. Costa, & Martins F. (2013).  Concurrent typed intermediate language. Proceedings of the 28th Annual ACM Symposium on Applied Computing. 1587–1588.
Cogumbreiro, T., Martins F., & Vasconcelos V. T. (2013).  Coordinating phased activities while maintaining progress. Coordination Models and Languages. 31–44.
Martins, N. Dias, Santos C., Marques E. R. B., Martins F., & Vasconcelos V. T. (2013).  Especificação e Verificação de Protocolos para Programas MPI. INFORUM.
Marques, E. R. B., Martins F., Ng N., Santos C., Vasconcelos V. T., & Yoshida N. (2013).  Specification and Verification of Protocols for MPI Programs.
Marques, E. R. B., Martins F., Vasconcelos V. T., Ng N., & Martins N. Dias (2013).  Towards deductive verification of MPI programs against session types. arXiv preprint arXiv:1312.2705.
Martins, M. do Carmo, & Martins F. (2013).  ON USING SAGE TO SOLVE CONSTRAINED OPTIMIZATION PROBLEMS APPLYING THE LAGRANGE MULTIPLIERS METHOD. European Scientific Journal. 9,
2012
Martins, F., Lopes L., & Paulino H. (2012).  Sensor Systems and Software: Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers.
Honda, K., Marques E. R. B., Martins F., Ng N., Vasconcelos V. T., & Yoshida N. (2012).  Verification of MPI programs using session types. Recent Advances in the Message Passing Interface. 291–293.
2011
Vieira, D., & Martins F. (2011).  Integrating WSN simulation into workflow testing and execution. Sensor Systems and Software. 205–218.

Pages