???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).
Identification

Personal identification

Full name
FRANCISCO CIPRIANO DA CUNHA MARTINS

Citation names

  • Martins, Francisco

Author identifiers

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

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences
  • Exact Sciences - Computer and Information Sciences - Computer Sciences
  • Exact Sciences - Computer and Information Sciences - Computer Sciences
  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics
  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
English Intermediate (B1) Advanced (C1) Intermediate (B1) Intermediate (B1)
Portuguese Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Education
Degree Classification
2006/01/13
Concluded
 Doutoramento em Informática (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
"Controlling Security Policies in a Distributed Environment" (THESIS/DISSERTATION)
 Aprovado com distinção e louvor
1995
Concluded
 Matemática/Informática (Licenciatura)
Universidade dos Açores, Portugal
"-" (THESIS/DISSERTATION)
 Informação final de 17 valores
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2017/09/01 - Current Assistant Professor (University Teacher) Universidade dos Açores, Portugal
2006/09/01 - 2017/09/01 Assistant Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal
2006/01/01 - 2006/09/01 Assistant Professor (University Teacher) Universidade dos Açores, Portugal
2000/10/01 - 2006/01/01 Assistant (University Teacher) Universidade dos Açores, Portugal
1998/04/01 - 2000/10/01 Trainee Assistant (University Teacher) Universidade dos Açores, Portugal
1997/10/01 - 1998/04/01 Invited Assistant (University Teacher) Universidade dos Açores, Portugal
1994/10/01 - 1997/10/01 Tutor (University Teacher) Universidade dos Açores, Portugal
Projects

Grant

Designation Funders
2006/03/01 - 2006/09/15 Sensoria—Software Engineering for Service-Oriented Overlay Computers
IST-2005-016004
Post-doc Fellow

Contract

Designation Funders
2018/03/01 - 2022/03/31 BehAPI—Behavioural Application Program Interfaces
RISE Action 778233
Researcher
Ongoing
2018/08/01 - 2021/07/31 SEAL—SEcurity progrAmming of web appLications
LISBOA-01-0145-FEDER-029058
Researcher
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2016/07/01 - 2019/06/30 DoIT—Decentralization and Optimization of IoTaware business processes
PTDC/EEI-ESS/5863/2014,
Researcher
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
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,
Researcher
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
Researcher
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
Principal investigator
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2012/01/01 - 2014/06/30 Advanced Type Systems for Multicore Programming
PTDC/EIA-CCO/122547/2010
Researcher
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2010/01/01 - 2012/12/31 PATI—Internet of Things Aware business Processes
PTDC/EIA-EIA/103751/2008
Researcher
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
Researcher
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
Researcher
Concluded
2008/01/01 - 2011/03/31 Callas—Calculi and Languages for Sensor Networks
PTDC/EIA/71462/2006
Researcher
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
Researcher
2002/01/01 - 2005/04/30 MIKADO—Mobile Calculi Based on Domains
IST-2001-32222
Researcher
2002/01/01 - 2003/12/31 MIMO—Models and Infrastructures for Mobile Computing
POSI/CHS/39789/2001
Researcher
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
Researcher
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Outputs

Publications

Book
  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
Book chapter
  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.
Conference paper
  1. Martins, Francisco; Domingos, D.; Vitoriano, D.. "Automatic decomposition of IoT aware business processes with data and control flow distribution". 2019.
    Published
  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
Journal article
  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.
    Published • 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
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2016/09/01 - Current Safe Resource-aware Virtual Machinesfor IoT Devices
Supervisor
 Doutoramento em Informática (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2010/01/01 - 2015/03/01 Programming multicores safely: handling barrier deadlocks
Supervisor
 Doutoramento em Informática (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal