???global.info.a_carregar???
Francisco Cipriano da Cunha Martins. Concluiu o(a) Doutoramento em Doutoramento em Informática em 2006/01/13 pelo(a) Universidade de Lisboa Faculdade de Ciências, Doutoramento em Informática em 2006/01/13 pelo(a) Universidade de Lisboa e Licenciatura em Matemática/Informática em 1995 pelo(a) Universidade dos Açores. É Professor Auxiliar no(a) Universidade dos Açores. Publicou 11 artigos em revistas especializadas. Possui 2 capítulo(s) de livros e 7 livro(s).
Identificação

Identificação pessoal

Nome completo
FRANCISCO CIPRIANO DA CUNHA MARTINS

Nomes de citação

  • Martins, Francisco

Identificadores de autor

Ciência ID
4614-8DE0-D9A3
ORCID iD
0000-0002-2379-7257
Google Scholar ID
https://scholar.google.pt/citations?user=lUc2k74AAAAJ

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática
  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador independente (B1)
Português Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Formação
Grau Classificação
2006/01/13
Concluído
 Doutoramento em Informática (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
"Controlling Security Policies in a Distributed Environment" (TESE/DISSERTAÇÃO)
 Aprovado com distinção e louvor
1995
Concluído
 Matemática/Informática (Licenciatura)
Universidade dos Açores, Portugal
"-" (TESE/DISSERTAÇÃO)
 Informação final de 17 valores
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2017/09/01 - Atual Professor Auxiliar (Docente Universitário) Universidade dos Açores, Portugal
2006/09/01 - 2017/09/01 Professor Auxiliar (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
2006/01/01 - 2006/09/01 Professor Auxiliar (Docente Universitário) Universidade dos Açores, Portugal
2000/10/01 - 2006/01/01 Assistente (Docente Universitário) Universidade dos Açores, Portugal
1998/04/01 - 2000/10/01 Assistente Estagiário (Docente Universitário) Universidade dos Açores, Portugal
1997/10/01 - 1998/04/01 Assistente Convidado (Docente Universitário) Universidade dos Açores, Portugal
1994/10/01 - 1997/10/01 Monitor (Docente Universitário) Universidade dos Açores, Portugal
Projetos

Bolsa

Designação Financiadores
2006/03/01 - 2006/09/15 Sensoria—Software Engineering for Service-Oriented Overlay Computers
IST-2005-016004
Bolseiro de Pós-Doutoramento

Projeto

Designação Financiadores
2018/03/01 - 2022/03/31 BehAPI—Behavioural Application Program Interfaces
RISE Action 778233
Investigador
Em curso
2018/08/01 - 2021/07/31 SEAL—SEcurity progrAmming of web appLications
LISBOA-01-0145-FEDER-029058
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2016/07/01 - 2019/06/30 DoIT—Decentralization and Optimization of IoTaware business processes
PTDC/EEI-ESS/5863/2014,
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2016/07 - 2019/06 DoIT—Decentralization and Optimization of IoTaware business processes
PTDC/EEI-ESS/5863/2014,
 Fundação para a Ciência e a Tecnologia
2016/05/01 - 2019/04/30 CONFIDENT—Communication Contracts for Dis-tributed Systems Development
PTDC/EEI-CTP/4503/2014,
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
2012/10/01 - 2016/10/31 BETTY—Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2011/03/01 - 2014/08/31 MACAW—Macroprogramming for Wireless Sensor Networks
PTDC/EIA-EIA/115730/2009
Investigador responsável
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2012/01/01 - 2014/06/30 Advanced Type Systems for Multicore Programming
PTDC/EIA-CCO/122547/2010
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2010/01/01 - 2012/12/31 PATI—Internet of Things Aware business Processes
PTDC/EIA-EIA/103751/2008
Investigador
Fundação para a Ciência e a Tecnologia
2010/01/01 - 2012/12/31 Assertion-Types—Assertion Types for Object-Oriented Programming
PTDC/EIA-CCO/105359/2008
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
2009/01/01 - 2012/12/31 Interfaces—Certified Interfaces for Integrity and Security of Extensible Web Applications
CMU-PT/NGN/0044/2008
Investigador
Concluído
2008/01/01 - 2011/03/31 Callas—Calculi and Languages for Sensor Networks
PTDC/EIA/71462/2006
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
2006/09/01 - 2010/02/28 Sensoria—Software Engineering for Service-Oriented Overlay Computers
IST-2005-016004
Investigador
2002/01/01 - 2005/04/30 MIKADO—Mobile Calculi Based on Domains
IST-2001-32222
Investigador
2002/01/01 - 2003/12/31 MIMO—Models and Infrastructures for Mobile Computing
POSI/CHS/39789/2001
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
1999/11/01 - 2001/07/31 DICOMO—Concorrência, Distribuição e Mobilidade
PRAXIS/C/EEI/12059/1998
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Produções

Publicações

Artigo em conferência
  1. Martins, Francisco; Domingos, D.; Vitoriano, D.. "Automatic decomposition of IoT aware business processes with data and control flow distribution". 2019.
    Publicado
  2. Martins, F.; Orchard, D.; Cogumbreiro, T.; Dardha, O.; Fowler, S.; Francalanza, A.; Liu, H.; et al. "Preface". 2019.
  3. Martins, F.; Domingos, D.. "Modelling IoT behaviour within BPMN Business Processes". 2017.
    10.1016/j.procs.2017.11.131
  4. Martins, F.; Vasconcelos, V.T.; Hüttel, H.. "Inferring types for parallel programs". 2017.
    10.4204/EPTCS.246.6
  5. Santos, C.; Martins, F.; Vasconcelos, V.T.. "Deductive verification of parallel programs using why3". 2015.
    10.4204/EPTCS.189.11
  6. Cogumbreiro, T.; Hu, R.; Martins, F.; Yoshida, N.. "Dynamic deadlock verification for general barrier synchronisation". 2015.
    10.1145/2688500.2688519
  7. Marques, E.R.B.; Ribeiro, M.; Pinto, J.; Sousa, J.B.; Martins, F.. "NVL: A coordination language for unmanned vehicle networks". 2015.
    10.1145/2695664.2696029
  8. López, H.A.; Marques, E.R.B.; Martins, F.; Ng, N.; Santos, C.; Vasconcelos, V.T.; Yoshida, N.. "Protocol-based verification of message-passing parallel programs". 2015.
    10.1145/2814270.281430
  9. Pires, R.; Martins, F.; Domingos, D.. "Homogeneous wireless sensor network programming using MuFFIN". 2014.
  10. Marques, E.R.B.; Martins, F.; Simões, M.. "Cooperari: A tool for cooperative testing of multithreaded Java programs". 2014.
    10.1145/2647508.2647523
  11. Lourenço, L.M.; Seco, J.C.; Martins, F.. "Concurrent typed intermediate language". 2013.
    10.1145/2480362.2480658
  12. Marques, E.R.B.; Martins, F.; Vasconcelos, V.T.; Ng, N.; Martins, N.. "Towards deductive verification of MPI programs against session types". 2013.
    10.4204/EPTCS.137.9
  13. Vasconcelos, V.T.; Martins, F.; Cogumbreiro, T.. "Type inference for deadlock detection in a multithreaded polymorphic typed assembly language". 2010.
    10.4204/EPTCS.17.8
  14. Martins, F.; Lopes, L.; Barros, J.. "Towards the safe programming of wireless sensor networks". 2010.
    10.4204/EPTCS.17.5
  15. Domingos, D.; Martins, F.; Martinho, R.; Silva, M.. "Ad-hoc changes in IoT-aware business processes". 2010.
    10.1109/IOT.2010.5678432
  16. Vieira, D.; Martins, F.. "Automatic generation of WSN simulations: From Callas applications to VisualSense models". 2010.
    10.1109/SENSORCOMM.2010.57
  17. Lopes, L.; Martins, F.; Silva, M.S.; Barros, J.. "A process calculus approach to sensor network programming". 2007.
    10.1109/SENSORCOMM.2007.4394962
  18. Lanese, I.; Martins, F.; Vasconcelos, V.T.; Ravara, A.. "Disciplining orchestration and conversation in service-oriented computing". 2007.
    10.1109/SEFM.2007.13
Artigo em revista
  1. Vasconcelos, Vasco T.; Martins, Francisco; López, Hugo-Andrés; Yoshida, Nobuko. "A Type Discipline for Message Passing Parallel Programs". ACM Transactions on Programming Languages and Systems 44 4 (2022): 1-55. http://dx.doi.org/10.1145/3552519.
    Publicado • 10.1145/3552519
  2. Cogumbreiro, T.; Hu, H.; Martins, F.; Yoshida, N.. "Dynamic deadlock verification for general barrier synchronisation". ACM Transactions on Programming Languages and Systems 41 1 (2018): http://www.scopus.com/inward/record.url?eid=2-s2.0-85058797864&partnerID=MN8TOARS.
    10.1145/3229060
  3. Domingos, D.; Martins, F.. "Using BPMN to model internet of things behavior within business process". International Journal of Information Systems and Project Management 5 4 (2017): 39-51. http://www.scopus.com/inward/record.url?eid=2-s2.0-85040183800&partnerID=MN8TOARS.
    10.12821/ijispm050403
  4. Ancona, D.; Bono, V.; Bravetti, M.; Campos, J.; Castagna, G.; Deniélou, P.-M.; Gay, S.J.; et al. "Behavioral types in programming languages". Foundations and Trends in Programming Languages 3 2-3 (2016): 95-230. http://www.scopus.com/inward/record.url?eid=2-s2.0-85049358786&partnerID=MN8TOARS.
    10.1561/2500000031
  5. Lopes, L.; Martins, F.. "A safe-by-design programming language for wireless sensor networks". Journal of Systems Architecture 63 (2016): 16-32. http://www.scopus.com/inward/record.url?eid=2-s2.0-84957921692&partnerID=MN8TOARS.
    10.1016/j.sysarc.2016.01.004
  6. Marques, E.R.B.; Ribeiro, M.; Pinto, J.; Sousa, J.B.; Martins, F.. "Towards programmable coordination of unmanned vehicle networks". IFAC-PapersOnLine 28 2 (2015): 256-261. http://www.scopus.com/inward/record.url?eid=2-s2.0-84992521011&partnerID=MN8TOARS.
    10.1016/j.ifacoi.2015.06.042
  7. Cruz-Filipe, L.; Lanese, I.; Martins, F.; Ravara, A.; Thudichum Vasconcelos, V.. "The stream-based service-centred calculus: A foundation for service-oriented programming". Formal Aspects of Computing 26 5 (2014): 865-918. http://www.scopus.com/inward/record.url?eid=2-s2.0-84906951142&partnerID=MN8TOARS.
    10.1007/s00165-013-0284-5
  8. Domingos, D.; Martins, F.; Cândido, C.; Martinho, R.. "Internet of things aware WS-BPEL business processes - context variables and expected exceptions". Journal of Universal Computer Science 20 8 (2014): 1109-1129. http://www.scopus.com/inward/record.url?eid=2-s2.0-84907985518&partnerID=MN8TOARS.
  9. Domingos, D.; Martins, F.; Candido, C.. "Internet of things aware WS-BPEL business process". ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems 2 (2013): 505-512. http://www.scopus.com/inward/record.url?eid=2-s2.0-84887796625&partnerID=MN8TOARS.
  10. Cogumbreiro, T.; Martins, F.; Vasconcelos, V.T.. "Compiling the p-calculus into a Multithreaded Typed Assembly Language". Electronic Notes in Theoretical Computer Science 241 C (2009): 57-84. http://www.scopus.com/inward/record.url?eid=2-s2.0-67649425345&partnerID=MN8TOARS.
    10.1016/j.entcs.2009.06.004
  11. Boreale, M.; Bruni, R.; Caires, L.; De Nicola, R.; Lanese, I.; Loreti, M.; Martins, F.; et al. "SCC: A service centered calculus". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4184 LNCS (2006): 38-57. http://www.scopus.com/inward/record.url?eid=2-s2.0-33845218651&partnerID=MN8TOARS.
  12. Martins, F.; Lopes, L.; Vasconcelos, V.T.. "The impact of linearity information on the performance of TyCO". Electronic Notes in Theoretical Computer Science 75 (2003): 43-62. http://www.scopus.com/inward/record.url?eid=2-s2.0-18944371995&partnerID=MN8TOARS.
    10.1016/S1571-0661(04)80778-3
Capítulo de livro
  1. Francisco Martins; Dulce Domingos; Daniel Vitoriano. "A Graph Pattern Based Approach for Automatic Decomposition of IoT Aware Business Processes". 498-513. Springer International Publishing, 2020.
    10.1007/978-3-030-40783-4_24
  2. Vasconcelos, V.T.; Martins, F.; Lopes, A.; Burnay, N.. "Headrest: A specification language for RESTful APIs". 428-434. 2019.
    10.1007/978-3-030-21485-2_23
  3. Vasconcelos, V.T.; Martins, F.; Marques, E.R.B.; Yoshida, N.; Ng, N.. "Deductive verification of MPI protocols". 353-372. 2017.
Livro
  1. Domingos, D.; Martins, F.; Caiola, L.. Decentralising internet of things aware BPMN business processes. 2015.
    10.1007/978-3-319-17136-4_12
  2. Cogumbreiro, T.; Martins, F.; Thudichum Vasconcelos, V.. Coordinating phased activities while maintaining progress. 2013.
    10.1007/978-3-642-38493-6_3
  3. Honda, K.; Marques, E.R.B.; Martins, F.; Ng, N.; Vasconcelos, V.T.; Yoshida, N.. Verification of MPI programs using session types. 2012.
    10.1007/978-3-642-33518-1_37
  4. Vieira, D.; Martins, F.. Integrating WSN simulation into workflow testing and execution. 2011.
    10.1007/978-3-642-23583-2_15
  5. Lopes, L.; Martins, F.; Barros, J.. Programming wireless sensor networks. 2009.
    10.1007/978-3-540-89707-1_2
  6. Cruz-Filipe, L.; Lanese, I.; Martins, F.; Ravara, A.; Vasconcelos, V.T.. Behavioural theory at work: Program transformations in a service-centred calculus. 2008.
    10.1007/978-3-540-68863-1_5
  7. Martins, F.; Vasconcelos, V.. History-based access control for distributed processes. 2005.
    10.1007/11580850_7
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2016/09/01 - Atual Safe Resource-aware Virtual Machinesfor IoT Devices
Orientador
 Doutoramento em Informática (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2010/01/01 - 2015/03/01 Programming multicores safely: handling barrier deadlocks
Orientador
 Doutoramento em Informática (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal