Francisco Martins

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. PPPJ'14: 2014 International Conference on Principles and Practices of Programming on the Java Platform.
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.
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.
Valente, B., & Martins F. (2011).  A middleware framework for the Internet of Things. AFIN 2011, The Third International Conference on Advances in Future Internet. 139–144.
Martins, F., Vasconcelos V. T., & Cogumbreiro T. (2011).  Types for X10 Clocks. arXiv preprint arXiv:1110.4165.
2010
Domingos, D., Martins F., Martinho R., & Silva M. J. (2010).  Ad-hoc changes in IoT-aware business processes. Internet of Things (IOT), 2010. 1–7.
Vieira, D., & Martins F. (2010).  Automatic generation of WSN simulations: From Callas applications to VisualSense models. Sensor Technologies and Applications (SENSORCOMM), 2010 Fourth International Conference on. 336–341.
Lopes, L., & Martins F. (2010).  A semantically robust framework for programming wireless sensor networks. DCC/FCUP, TR. 1,
Martins, F., Lopes L., & Barros J. (2010).  Towards the safe programming of wireless sensor networks. arXiv preprint arXiv:1002.0937.

Pages