Francisco Martins

C
Maurício, T., G. Homem, and H. Miranda, "Controlador de Redes em Código Aberto", INForum 2018 - Atas do Décimo Simpósio de Informática, Coimbra, Portugal, Departamento de Engenharia Informática - Universidade de Coimbra, 2018.
M
Martins, F., and D. Domingos, "Modelling IoT behaviour within BPMN Business Processes", Procedia Computer Science, vol. 121: Elsevier, pp. 1014–1022, 2017.
B
Ancona, D., V. Bono, M. Bravetti, J. Campos, G. Castagna, P-M. Deniélou, S. J. Gay, N. Gesbert, E. Giachino, R. Hu, et al., "Behavioral types in programming languages", Foundations and Trends® in Programming Languages, vol. 3, no. 2-3: Now Publishers, Inc., pp. 95–230, 2016.
S
Lopes, L., and F. Martins, "A safe-by-design programming language for wireless sensor networks", Journal of Systems Architecture, vol. 63: Elsevier, pp. 16–32, 2016.
D
Santos, C., F. Martins, and V. T. Vasconcelos, "Deductive Verification of Parallel Programs Using Why3", Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015, Grenoble, France, 4-5th June 2015., 2015.
B
Ancona, D., V. Bono, M. Bravetti, J. Campos, P-M. Deniélou, N. Gesbert, E. Giachino, R. Hu, E. Broch Johnsen, F. Martins, et al., "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, 2014.
C
Marques, E. R. B., F. Martins, and M. Simões, "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: ACM, 2014.
Marques, E. R. B., F. Martins, and M. Simões, "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: ACM, pp. 200–206, 2014.
C
L Lourenço, M., J. Costa Seco, and F. Martins, "Concurrent typed intermediate language", Proceedings of the 28th Annual ACM Symposium on Applied Computing: ACM, pp. 1587–1588, 2013.
Cogumbreiro, T., F. Martins, and V. T. Vasconcelos, "Coordinating phased activities while maintaining progress", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 31–44, 2013.
V
Honda, K., E. R. B. Marques, F. Martins, N. Ng, V. T. Vasconcelos, and N. Yoshida, "Verification of MPI programs using session types", Recent Advances in the Message Passing Interface: Springer Berlin Heidelberg, pp. 291–293, 2012.
I
Vieira, D., and F. Martins, "Integrating WSN simulation into workflow testing and execution", Sensor Systems and Software: Springer Berlin Heidelberg, pp. 205–218, 2011.
M
Valente, B., and F. Martins, "A middleware framework for the Internet of Things", AFIN 2011, The Third International Conference on Advances in Future Internet, pp. 139–144, 2011.
T
Martins, F., V. T. Vasconcelos, and T. Cogumbreiro, "Types for X10 Clocks", arXiv preprint arXiv:1110.4165, 2011.
A
Domingos, D., F. Martins, R. Martinho, and M. J. Silva, "Ad-hoc changes in IoT-aware business processes", Internet of Things (IOT), 2010: IEEE, pp. 1–7, 2010.
Vieira, D., and F. Martins, "Automatic generation of WSN simulations: From Callas applications to VisualSense models", Sensor Technologies and Applications (SENSORCOMM), 2010 Fourth International Conference on: IEEE, pp. 336–341, 2010.
C
Cogumbreiro, T., F. Martins, and V. T. Vasconcelos, "Compiling the< i> $π$-calculus into a Multithreaded Typed Assembly Language", Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 57–84, 2009.
Cogumbreiro, T., F. Martins, and V. T. Vasconcelos, "Compiling the $π$-calculus into a Multithreaded Typed Assembly Language", Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 57–84, 2009.
P
Lopes, L., F. Martins, and J. Barros, "Programming Wireless Sensor Networks", Middleware for Network Eccentric and Mobile Applications: Springer Berlin Heidelberg, pp. 25–41, 2009.
B
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, "Behavioural theory at work: program transformations in a service-centred calculus", Formal Methods for Open Object-Based Distributed Systems: Springer Berlin Heidelberg, pp. 59–77, 2008.
R
Martins, F., L. Lopes, M. S. Silva, and J. Barros, Robust Programming for Sensor Networks, : Technical Report DCC-2008-01, Department of Computer Science, Faculty of Sciences, University of Porto, 2008.
B
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, Bisimulations in SSCC, : Technical Report 37/2007, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007. To appear, 2007.
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, Bisimulations in SSCC. DI, : FCUL TR 07–37, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007.
D
Lanese, I., V. T. Vasconcelos, F. Martins, and C. Gr, "Disciplining Orchestration and Conversation", in Service-Oriented Computing. In 5th IEEE International Conference on Software Engineering and Formal Methods, 2007.
Lanese, I., V. T. Vasconcelos, F. Martins, and A. Ravara, "Disciplining orchestration and conversation in service-oriented computing", Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on: IEEE, pp. 305–314, 2007.
P
Lopes, L., F. Martins, M. S. Silva, and J. Barros, "A process calculus approach to sensor network programming", Sensor Technologies and Applications, 2007. SensorComm 2007. International Conference on: IEEE, pp. 451–456, 2007.