Linkedin

Former Member

Francisco Martins

PAST

Acronym Title Funding Entity Start Date End Date
RAP Resource Aware Programming FCT 13/01/2022 12/01/2024
SEAL SEcurity progrAmming of web appLications FCT 01/08/2018 30/06/2022
EUTypes The European Research Network on Types for Programming and Verification COST ACTION 24/03/2016 20/03/2020
doit Decentralization and Optimization of IoT aware business processes FCT 01/07/2016 31/12/2019
CONFIDENT Communication Contracts for Distributed Systems Development FCT 01/05/2016 31/10/2019
Static Verification of Safe Parallelism Static Verification of Safe Parallelism FLAD 01/01/2016 31/12/2016
MULTICORE MULTICORE - Advanced Type Systems for Multicore Programming FCT 01/01/2012 31/12/2014
MACAW MACAW - Macroprogramming for Wireless Sensor Networks FCT 01/03/2011 31/08/2014
PATI IoT-Aware business Processes FCT 01/01/2010 30/06/2013
AssertionTypes Assertion Types for Object-Oriented Programming FCT 01/01/2010 31/12/2011
CALLAS Calculi and Languages for Sensor Networks FCT 01/01/2008 31/12/2010
SENSORIA SENSORIA - Software Engineering for Service-Oriented Overlay Computers EU FP6 01/09/2005 28/02/2010
to
Carlos Jorge Velez Mão de Ferro, Francisco Cipriano da Cunha Martins, António Casimiro Ferreira da Costa. Safe and resource-aware verification for programming Cyber-Physical Systems. PhD thesis, 2025 [Biblios]
Miguel de Carvalho Fernandes e Simões Moreira, Ibéria Vitória de Sousa Medeiros, Francisco Cipriano da Cunha Martins. Imposição de Segurança em Aplicações Web a partir de Linguagem Intermédia. Master's dissertation, 2021 [Biblios]
Ana Catarina da Eira Freire Pereira, Francisco Cipriano da Cunha Martins, João Pedro Neto. Plug-in Eclipse para geração automática de requisitos de teste. Master's dissertation, 2020 [Biblios]
Pinto, Sérgio Daniel Rocha, Martins, Francisco Cipriano da Cunha, Domingos, Maria Dulce Pedroso. Security for constrained loT devices. Master's dissertation, 2020 [Biblios]
Anande Premgi, Francisco Martins, Dulce Domingos. An infrared-based sensor to measure the filling level of a waste bin. In 2019 International Conference in Engineering Applications (ICEA). IEEE, 2019 [Biblios]
Anande Hasmukhalal Premgi, Domingos, Maria Dulce Pedroso, Martins, Francisco Cipriano da Cunha. A low-cost infrared-based sensor to measure the filling level of a waste bin. Master's dissertation, 2019 [Biblios]
Vasco T. Vasconcelos, Francisco Martins, Antónia Lopes, Nuno Burnay. HeadREST: A Specification Language for RESTful APIs, In Models, Languages, and Tools for Concurrent and Distributed Programming,Lecture Notes in Computer Science, pages 428 - 434. Springer International Publishing, 2019 [Biblios]
Dulce Domingos, Ana Respício, Francisco Martins, Breno Melo. Automatic Decomposition of IoT Aware Business Processes – a Pattern Approach. In Procedia Computer Science, pages 313-320. Elsevier BV, 2019 [Biblios]
Francisco Martins, Dulce Domingos, Daniel Vitoriano. Automatic Decomposition of IoT Aware Business Processes with Data and Control Flow Distribution. In Proceedings of the 21st International Conference on Enterprise Information Systems. SCITEPRESS - Science and Technology Publications, 2019 [Biblios]
Vasco T. Vasconcelos, Francisco Martins, Antónia Lopes, Nuno Burnay. HeadREST: A Specification Language for RESTful APIs, In Models, Languages, and Tools for Concurrent and Distributed Programming,Lecture Notes in Computer Science, pages 428 - 434. Springer International Publishing, 2019 [Biblios]
Anande Premgi, Francisco Martins, Dulce Domingos. A low-cost sensor for measuring the filling level of waste bins. In Inforum - simpósio de informática, 2018 [Biblios]
Fábio Alexandre Canada Ferreira, Martins, Francisco Cipriano da Cunha, Vasconcelos, Vasco Thudichum. Automatic tests generation for Restful Apis. Master's dissertation, 2017 [Biblios]
Pedro Miguel Corte-Real de Menezes Luz, Martins, Francisco Cipriano da Cunha, Dias, Manuel António Sousa. Visualization of flight plans sequenced by the AMAN/DMAN subsystem. Master's dissertation, 2017 [Biblios]
Daniel de Almeida Vitoriano, Martins, Francisco Cipriano da Cunha, Domingos, Maria Dulce Pedroso. Descentralização de computação na Internet das Coisas. Master's dissertation, 2017 [Biblios]
Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, Max Grossman. Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers. Proceedings of the ACM on Programming Languages, 1(OOPSLA):1-26, Association for Computing Machinery (ACM), 2017 [Biblios]
Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel. Inferring Types for Parallel Programs. Electronic Proceedings in Theoretical Computer Science, 246, Open Publishing Association, 2017 [Biblios]
Vasco Thudichum Vasconcelos, Francisco Martins, Eduardo R. B. Marques, Nobuko Yoshida, Nicholas Ng. Behavioural Types: from Theory to Tools, In Behavioural Types: from Theory to Tools, pages 353 - 372. River Publisher, 2017 [Biblios]
Daniel Vitoriano, Francisco Martins, Dulce Domingos. Decomposição automática de processos de negócio dependentes da IoT com distribuição de dados e atividades. In Inforum - simpósio de informática, 2017 [Biblios]
Dulce Domingos, Francisco Martins. Using BPMN to model Internet of things behavior within business process. International Journal of Information Systems and Project Management, 5(4), 2017 [Biblios]
Francisco Martins, Dulce Domingos. Modelling IoT behaviour within BPMN Business Processes. In Procedia Computer Science, pages 1014-1022. Elsevier BV, 2017 [Biblios]
Luís Lopes, Francisco Martins. A safe-by-design programming language for wireless sensor networks. Journal of Systems Architecture, 63, Elsevier BV, 2016 [Biblios]
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng Bono, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida. Behavioral Types in Programming Languages. Foundations and Trends® in Programming Languages, 3(2-3):95-230, Now Publishers, 2016 [Biblios]
António Branco, Francisco Martins, Luís Moniz. Coleção de Exercícios e Problemas de Programação em Python – Programação 2, Departamento de Informática, Faculdade de Ciências, Universiade de Lisboa, 2016 [Biblios]
António Branco, Francisco Martins, Luís Moniz, Tiago Guerreiro, Sara Silva. Coleção de Exercícios e Problemas de Programação em Python – Programação 1, Departamento de Informática, Faculdade de Ciências, Universiade de Lisboa, 2016 [Biblios]
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida. Dynamic Deadlock Verification for General Barrier Synchronisation. ACM SIGPLAN NOTICES, 50(8):150-160, 2015 [Biblios]
Raquel Naré Maroco Martins Carmona, Francisco Cipriano da Cunha Martins, Joaquim Tiago Valério Pacheco Veríssimo dos Reis. Plataforma de Especificação de Testes de Aceitação via Interface do Utilizador. Master's dissertation, 2015 [Biblios]
Tiago Soares Cogumbreiro Garcia, Francisco Cipriano da Cunha Martins. Programming multicores safely: handling barrier deadlocks. PhD thesis, 2015 [Biblios]
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida. Dynamic deadlock verification for general barrier synchronisation. In 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), pages 150-160, 2015 [Biblios]
Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida. Protocol-based verification of message-passing parallel programs. In ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 280-298, 2015 [Biblios]
Eduardo R. B. Marques, Manuel A. Ribeiro, José Pinto, João B. Sousa, Francisco Martins. NVL: a coordination language for unmanned vehicle networks. In SAC 2015, pages 331-334, 2015 [Biblios]
César Santos, Francisco Martins, Vasco Thudichum Vasconcelos. Deductive Verification of Parallel Programs Using Why3. In 8th Interaction and Concurrency Experience (ICE 2015), pages 128-142, 2015 [Biblios]
Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, César Santos, Nicholas Ng, Nobuko Yoshida. Protocol-based verification of MPI programs, 2014 [Biblios]
Vasco T.Vasconcelos, Francisco Martins, Eduardo R. B.Marques, Hugo A.López, César Santos, Nobuko Yoshida. Type-Based Verification of Message-Passing Parallel Programs, 2014 [Biblios]
Ribeiro, Manuel António, Marques, Eduardo Resende Brandão, Martins, Francisco Cipriano da Cunha. NVL: uma linguagem de coordenação para redes de veículos autónomos. Master's dissertation, 2014 [Biblios]
Simões, Miguel Ângelo Marques Simões, Martins, Francisco Cipriano da Cunha, Marques, Eduardo Resende Brandão. Cooperative testing of multithreaded Java applications. Master's dissertation, 2014 [Biblios]
Saramagaio, Cláudio Miguel Hotelão de Oliveira, Martins, Francisco Cipriano da Cunha. Recolha e Análise de Dados em Ambientes Hostis. Master's dissertation, 2014 [Biblios]
Fernandes, Bruno Alexandre Valdez, Martins, Francisco Cipriano da Cunha. Programação de Redes de Sensores Baseada em Eventos. Master's dissertation, 2014 [Biblios]
Santos, César Augusto Ribeiro dos, Martins, Francisco Cipriano da Cunha, Vasconcelos, Vasco Thudichum. Protocol based programming of concurrent systems. Master's dissertation, 2014 [Biblios]
Simões, Sheilla Cristina Fernandes, Martins, Francisco Cipriano da Cunha. Automatização de testes de mutação em Java. Master's dissertation, 2014 [Biblios]
Dulce Domingos, Francisco Martins, Ricardo Martinho, Carlos Cândido. Internet of Things Aware WS-BPEL Business Processes – Context variables and expected exceptions. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 20(8):1109-1129, 2014 [Biblios]
Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos. The stream-based service-centred calculus: a foundation for service-oriented programming. FORMAL ASPECTS OF COMPUTING, 16(5):865-918, 2014 [Biblios]
Edurardo R.B. Marques, Francisco Martins, Miguel Simões. Cooperari: a tool for cooperative testing of multithreaded Java applications. In 2014 International Conference on Principles and Practices of Programming on the Java Platform (PPPJ), 2014 [Biblios]
Dulce Domingos, Francisco Martins, Lara Caiola. Decentralising Internet Of Things aware BPMN business processes. In 5th International Conference on Sensor Systems and Software (S-CUBE), pages 110-119, 2014 [Biblios]
Rui Pires, Francisco Martins, Dulce Domingos. Homogeneous Wireless Sensor Network Programming using MuFFIN. In SENSORNETS 2014 - International Conference on Sensor Networks, 2014 [Biblios]
Franco, Juliana Patrícia Vicente, Vasconcelos, Vasco Thudichum, Martins, Francisco Cipriano da Cunha. A concurrent programming language with session types. Master's dissertation, 2013 [Biblios]
Pires, Rui José Laranjeira, Domingos, Maria Dulce Pedroso, Martins, Francisco Cipriano da Cunha. Programação homogénea de redes de sensores usando o middleware Muffin. Master's dissertation, 2013 [Biblios]
tSilva, Roberto Rosa da, Martins, Francisco Cipriano da Cunha, Vasconcelos, Vasco Thudichum. Uma máquina virtual para uma linguagem concorrente intermédia. Master's dissertation, 2013 [Biblios]
Ricardo Daniel Sequeira Wilhelm, tMartins, Francisco Cipriano da Cunha,, Lopes, Maria Antónia Bacelar da Costa. Mutation-driven Test Generation for Conflict Detection in Software Integration. Master's dissertation, 2013 [Biblios]
Mão de Ferro, Carlos Jorge Velez, Martins, Francisco Cipriano da Cunha. Sistema de Rega Inteligente. Master's dissertation, 2013 [Biblios]
Cândido, Carlos Eduardo Correia, Domingos, Maria Dulce Pedroso, Martins, Francisco Cipriano da Cunha. Internet das coisas nos processos de negócio. Master's dissertation, 2013 [Biblios]
Rui Pires, Francisco Martins, Dulce Domingos. Programação Homogénea de Redes de Sensores usando o middleware MuFFIN. Inforum – simpósio de informática, Universidade de Évora, Portugal, 5 e 6 de Setembro de 2013.. In 5th Simpósio de Informática (INFORUM), 2013 [Biblios]
Roberto Silva, Francisco Martins, Vasco Thudichum Vasconcelos. Inferência de Anotações para Evitar Impasses numa Linguagem Intermédia Polimórfica. In 5th Simpósio de Informática (INFORUM), pages 127-138, 2013 [Biblios]
Nuno Martins, César Santos, Eduardo R. B. Marques, Francisco Martins, Vasco Thudichum Vasconcelos. Especificação e Verificação de Protocolos para Programas MPI. In INFORUM’13, pages 90-101, , Sept. 2013.. In 5th Simpósio de Informática (INFORUM), 2013 [Biblios]
Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos. Coordinating Phased Activities While Maintaining Progress. In COORDINATION'13, pages 31-44, 2013 [Biblios]
Luís Miguel Lourenço, João Costa Seco, Francisco Martins. Concurrent typed intermediate language. In 28th Annual ACM Symposium on Applied Computing, pages 1557-1588, 2013 [Biblios]
Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins. Towards deductive verification of MPI programs against session types. In 6th Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES), 2013 [Biblios]
Dulce Domingos, Francisco Martins, Carlos Cândido. Internet of Things Aware WS-BPEL Business Process. In 15th International Conference on Enterprise Information Systems (ICEIS), 2013 [Biblios]
Teixeira, Carlos Alexandre Moral Bacelar, Urbano, Paulo Jorge Cunha Vaz Dias, Martins, Francisco Cipriano da Cunha. Mobilejukebox. Master's dissertation, 2013 [Biblios]
Francisco Martins, Luís M. B. Lopes, Hervé Paulino. Sensor Systems and Software – Third International ICST Conference, S-Cube 2012, Springer , 2012 [Biblios]
Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida. Verification of MPI Programs Using Session Types. In EuroMPI 2012, 2012 [Biblios]
Carlos Cândido, Dulce Domingos, Francisco Martins. Internet das Coisas nos processos de negócio. In INFORUM - Simpósio de Informática, 2012 [Biblios]
Bruno Valente, Francisco Martins. A Middleware Framework for the Internet of Things. In AFIN - The Third International Conference on Advances in Future Internet, pages 139-144, 2011 [Biblios]
Duarte Vieira, Francisco Martins. Simulação de workflows com integração de simulação de redes de sensores. In INFORUM - Simpósio de Informática, pages 599-610, 2010 [Biblios]
Vasco Vasconcelos, Francisco Martins, Tiago Cogumbreiro. Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language. In In Proceedings of Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES’10), , pages 95–10, 2010 [Biblios]
Francisco Martins, Tiago Cogumbreiro, Vasco Vasconcelos. An Investigation on Types for X10 Clocks. In Proceedings of Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES’10), 2010 [Biblios]
Francisco Martins, Luís Lopes, João Barros. Towards the Safe Programming of Wireless Sensor Networks. In Proceedings of Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES’10), pages 49-62, 2010 [Biblios]
Dulce Domingos, Francisco Martins, Ricardo Martinho, Mário J. Silva. Ad-hoc Changes in IoT-aware Business Processes. In In Proceedings of the 2nd International Conference on the Internet of Things (IoT'2010), , 2010 [Biblios]
Duarte Vieira, Francisco Martins. Integrating WSN simulation into work- flow testing and execution. In 2nd International ICST conference on Sensor Systems and Software (S-Cube), 2010 [Biblios]
Duarte Vieira, Francisco Martins. Automatic generation of WSN simulations: from Callas applications to Visualsense models. In Fourth International Conference on Sensor Technologies and Applications (SENSORCOMM)-336, 2010 [Biblios]
Luís Lopes, Francisco Martins, João Barros. Programming Wireless Sensor Networks, In Middleware for Network Eccentric and Mobile Applications, pages 25 - 41. SPRINGER, 2009 [Biblios]
Tiago Cogumbreiro, Francisco Martins, Vasco T. Vasconcelos. Compiling the p-calculus into a Multithreaded Typed Assembly Language, 2008 [Biblios]
Francisco Martins, Vasco T. Vasconcelos. Type-based approach to multi-core programming, 2008 [Biblios]
Tiago Cogumbreiro, Francisco Martins, Vasco T. Vasconcelos. Compiling the pi-calculus into a multi-threaded typed assembly language. In Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES), pages 40-45, 2008 [Biblios]
Luis Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco T. Vascon-celos. Behavioural theory at work: Program transformations in a service-centred calculus. In FMOODS'08, pages 59-77, 2008 [Biblios]
Lanese, Ivan, Martins, Francisco, Ravara, António, Vasconcelos, Vasco T.. Disciplining Orchestration and Conversation in Service-Oriented Computing, 2007 [Biblios]
Ivan Lanese, Vasco T. Vasconcelos, Francisco Martins, Antonio Ravara. Disciplining Orchestration and Conversation in Service-Oriented Computing. In 5thIEEE International Conference on Software Engineering and Formal Methods, 2007 [Biblios]