Francisco Martins
Recent News
LASIGE at INForum 2022 organizationFCT announces results for the 2021 Call for Project Grants in all Scientific Domains
LASIGE members have been selected to host prestigious conferences in their fields
LaSIGE researchers congratulated with a Notable Article @ Computing Reviews' 19th Annual Best of Computing list
LASIGE at INForum 2022 organization
FCT announces results for the 2021 Call for Project Grants in all Scientific Domains
LASIGE members have been selected to host prestigious conferences in their fields
LaSIGE researchers congratulated with a Notable Article @ Computing Reviews' 19th Annual Best of Computing list
FCT announces results for the 2021 Call for Project Grants in all Scientific Domains
LASIGE members have been selected to host prestigious conferences in their fields
LaSIGE researchers congratulated with a Notable Article @ Computing Reviews' 19th Annual Best of Computing list
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 |
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]
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]
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]
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]
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]
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]
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 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]
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]