BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for fcmartins
(79)
2021
Imposição de Segurança em Aplicações Web a partir de Linguagem Intermédia
(2021)
Miguel de Carvalho Fernandes e Simões Moreira
Ibéria Vitória de Sousa Medeiros
Francisco Cipriano da Cunha Martins
Academic documents
2020
Plug-in Eclipse para geração automática de requisitos de teste
(2020)
Ana Catarina da Eira Freire Pereira
Francisco Cipriano da Cunha Martins
João Pedro Neto
Academic documents
2020
Security for constrained loT devices
(2020)
Pinto, Sérgio Daniel Rocha
Martins, Francisco Cipriano da Cunha
Domingos, Maria Dulce Pedroso
Academic documents
2019
An infrared-based sensor to measure the filling level of a waste bin
(2019)
Anande Premgi
Francisco Martins
Dulce Domingos
Conference papers
2019
Automatic Decomposition of IoT Aware Business Processes with Data and Control Flow Distribution
(2019)
Francisco Martins
Dulce Domingos
Daniel Vitoriano
Conference papers
2019
Automatic Decomposition of IoT Aware Business Processes – a Pattern Approach
(2019)
Dulce Domingos
Ana Respício
Francisco Martins
Breno Melo
Conference papers
2019
A low-cost infrared-based sensor to measure the filling level of a waste bin
(2019)
Anande Hasmukhalal Premgi
Domingos, Maria Dulce Pedroso
Martins, Francisco Cipriano da Cunha
Academic documents
2019
HeadREST: A Specification Language for RESTful APIs
(2019)
Vasco T. Vasconcelos
Francisco Martins
Antónia Lopes
Nuno Burnay
Book chapters
2019
HeadREST: A Specification Language for RESTful APIs
(2019)
Vasco T. Vasconcelos
Francisco Martins
Antónia Lopes
Nuno Burnay
Book chapters
2018
A low-cost sensor for measuring the filling level of waste bins
(2018)
Anande Premgi
Francisco Martins
Dulce Domingos
Conference papers
2017
Automatic tests generation for Restful Apis
(2017)
Fábio Alexandre Canada Ferreira
Martins, Francisco Cipriano da Cunha
Vasconcelos, Vasco Thudichum
Academic documents
2017
Descentralização de computação na Internet das Coisas
(2017)
Daniel de Almeida Vitoriano
Martins, Francisco Cipriano da Cunha
Domingos, Maria Dulce Pedroso
Academic documents
2017
Visualization of flight plans sequenced by the AMAN/DMAN subsystem
(2017)
Pedro Miguel Corte-Real de Menezes Luz
Martins, Francisco Cipriano da Cunha
Dias, Manuel António Sousa
Academic documents
2017
Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers
(2017)
Tiago Cogumbreiro et al., with 6 authors including:
Francisco Martins
Vasco T. Vasconcelos
Journal articles
2017
Inferring Types for Parallel Programs
(2017)
Francisco Martins
Vasco Thudichum Vasconcelos
Hans Hüttel
Journal articles
2017
Modelling IoT behaviour within BPMN Business Processes
(2017)
Francisco Martins
Dulce Domingos
Conference papers
2017
Behavioural Types: from Theory to Tools
(2017)
Vasco Thudichum Vasconcelos
Francisco Martins
Eduardo R. B. Marques
Nobuko Yoshida
Nicholas Ng
Book chapters
2017
Using BPMN to model Internet of things behavior within business process
(2017)
Dulce Domingos
Francisco Martins
Journal articles
2017
Decomposição automática de processos de negócio dependentes da IoT com distribuição de dados e atividades
(2017)
Daniel Vitoriano
Francisco Martins
Dulce Domingos
Conference papers
2016
A safe-by-design programming language for wireless sensor networks
(2016)
Luís Lopes
Francisco Martins
Journal articles
2016
Behavioral Types in Programming Languages
(2016)
Davide Ancona et al., with 19 authors including:
Francisco Martins
Vasco T. Vasconcelos
Journal articles
2016
Coleção de Exercícios e Problemas de Programação em Python - Programação 1
(2016)
António Branco
Francisco Martins
Luís Moniz
Tiago Guerreiro
Sara Silva
Other
2016
Coleção de Exercícios e Problemas de Programação em Python - Programação 2
(2016)
António Branco
Francisco Martins
Luís Moniz
Other
2015
Deductive Verification of Parallel Programs Using Why3
(2015)
César Santos
Francisco Martins
Vasco Thudichum Vasconcelos
Conference papers
2015
NVL: a coordination language for unmanned vehicle networks
(2015)
Eduardo R. B. Marques
Manuel A. Ribeiro
José Pinto
João B. Sousa
Francisco Martins
Conference papers
2015
Protocol-based verification of message-passing parallel programs
(2015)
Hugo A. López et al., with 7 authors including:
Francisco Martins
Conference papers
2015
Dynamic deadlock verification for general barrier synchronisation
(2015)
Tiago Cogumbreiro
Raymond Hu
Francisco Martins
Nobuko Yoshida
Conference papers
2015
Programming multicores safely: handling barrier deadlocks
(2015)
Tiago Soares Cogumbreiro Garcia
Francisco Cipriano da Cunha Martins
Academic documents
2015
Plataforma de Especificação de Testes de Aceitação via Interface do Utilizador
(2015)
Raquel Naré Maroco Martins Carmona
Francisco Cipriano da Cunha Martins
Joaquim Tiago Valério Pacheco Veríssimo dos Reis
Academic documents
2015
Dynamic Deadlock Verification for General Barrier Synchronisation
(2015)
Tiago Cogumbreiro
Raymond Hu
Francisco Martins
Nobuko Yoshida
Journal articles
2014
Type-Based Verification of Message-Passing Parallel Programs
(2014)
Vasco T.Vasconcelos et al., with 6 authors including:
Francisco Martins
Other
2014
Protocol-based verification of MPI programs
(2014)
Eduardo R. B. Marques et al., with 6 authors including:
Francisco Martins
Other
2014
Homogeneous Wireless Sensor Network Programming using MuFFIN
(2014)
Rui Pires
Francisco Martins
Dulce Domingos
Conference papers
2014
Decentralising Internet Of Things aware BPMN business processes
(2014)
Dulce Domingos
Francisco Martins
Lara Caiola
Conference papers
2014
Cooperari: a tool for cooperative testing of multithreaded Java applications
(2014)
Edurardo R.B. Marques
Francisco Martins
Miguel Simões
Conference papers
2014
The stream-based service-centred calculus: a foundation for service-oriented programming
(2014)
Luís Cruz-Filipe
Ivan Lanese
Francisco Martins
António Ravara
Vasco Thudichum Vasconcelos
Journal articles
2014
Internet of Things Aware WS-BPEL Business Processes - Context variables and expected exceptions
(2014)
Dulce Domingos
Francisco Martins
Ricardo Martinho
Carlos Cândido
Journal articles
2014
Automatização de testes de mutação em Java
(2014)
Simões, Sheilla Cristina Fernandes
Martins, Francisco Cipriano da Cunha
Academic documents
2014
Protocol based programming of concurrent systems
(2014)
Santos, César Augusto Ribeiro dos
Martins, Francisco Cipriano da Cunha
Vasconcelos, Vasco Thudichum
Academic documents
2014
Programação de Redes de Sensores Baseada em Eventos
(2014)
Fernandes, Bruno Alexandre Valdez
Martins, Francisco Cipriano da Cunha
Academic documents
2014
Recolha e Análise de Dados em Ambientes Hostis
(2014)
Saramagaio, Cláudio Miguel Hotelão de Oliveira
Martins, Francisco Cipriano da Cunha
Academic documents
2014
Cooperative testing of multithreaded Java applications
(2014)
Simões, Miguel Ângelo Marques Simões
Martins, Francisco Cipriano da Cunha
Marques, Eduardo Resende Brandão
Academic documents
2014
NVL: uma linguagem de coordenação para redes de veículos autónomos
(2014)
Ribeiro, Manuel António
Marques, Eduardo Resende Brandão
Martins, Francisco Cipriano da Cunha
Academic documents
2013
Mobilejukebox
(2013)
Teixeira, Carlos Alexandre Moral Bacelar
Urbano, Paulo Jorge Cunha Vaz Dias
Martins, Francisco Cipriano da Cunha
Academic documents
2013
Coordinating Phased Activities While Maintaining Progress
(2013)
Tiago Cogumbreiro
Francisco Martins
Vasco Thudichum Vasconcelos
Conference papers
2013
Especificação e Verificação de Protocolos para Programas MPI. In INFORUM'13, pages 90-101, , Sept. 2013.
(2013)
Nuno Martins
César Santos
Eduardo R. B. Marques
Francisco Martins
Vasco Thudichum Vasconcelos
Conference papers
2013
Inferência de Anotações para Evitar Impasses numa Linguagem Intermédia Polimórfica
(2013)
Roberto Silva
Francisco Martins
Vasco Thudichum Vasconcelos
Conference papers
2013
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.
(2013)
Rui Pires
Francisco Martins
Dulce Domingos
Conference papers
2013
Internet das coisas nos processos de negócio
(2013)
Cândido, Carlos Eduardo Correia
Domingos, Maria Dulce Pedroso
Martins, Francisco Cipriano da Cunha
Academic documents
2013
Sistema de Rega Inteligente
(2013)
Mão de Ferro, Carlos Jorge Velez
Martins, Francisco Cipriano da Cunha
Academic documents
2013
Mutation-driven Test Generation for Conflict Detection in Software Integration
(2013)
Ricardo Daniel Sequeira Wilhelm
tMartins, Francisco Cipriano da Cunha,
Lopes, Maria Antónia Bacelar da Costa
Academic documents
2013
Uma máquina virtual para uma linguagem concorrente intermédia
(2013)
tSilva, Roberto Rosa da
Martins, Francisco Cipriano da Cunha
Vasconcelos, Vasco Thudichum
Academic documents
2013
Programação homogénea de redes de sensores usando o middleware Muffin
(2013)
Pires, Rui José Laranjeira
Domingos, Maria Dulce Pedroso
Martins, Francisco Cipriano da Cunha
Academic documents
2013
A concurrent programming language with session types
(2013)
Franco, Juliana Patrícia Vicente
Vasconcelos, Vasco Thudichum
Martins, Francisco Cipriano da Cunha
Academic documents
2013
Internet of Things Aware WS-BPEL Business Process
(2013)
Dulce Domingos
Francisco Martins
Carlos Cândido
Conference papers
2013
Towards deductive verification of MPI programs against session types
(2013)
Eduardo R. B. Marques
Francisco Martins
Vasco T. Vasconcelos
Nicholas Ng
Nuno Martins
Conference papers
2013
Concurrent typed intermediate language
(2013)
Luís Miguel Lourenço
João Costa Seco
Francisco Martins
Conference papers
2012
Internet das Coisas nos processos de negócio
(2012)
Carlos Cândido
Dulce Domingos
Francisco Martins
Conference papers
2012
Verification of MPI Programs Using Session Types
(2012)
Kohei Honda et al., with 6 authors including:
Francisco Martins
Conference papers
2012
Sensor Systems and Software - Third International ICST Conference, S-Cube 2012
(2012)
Francisco Martins
Luís M. B. Lopes
Hervé Paulino
Books
2011
A Middleware Framework for the Internet of Things
(2011)
Bruno Valente
Francisco Martins
Conference papers
2010
Automatic generation of WSN simulations: from Callas applications to Visualsense models
(2010)
Duarte Vieira
Francisco Martins
Conference papers
2010
Integrating WSN simulation into work- flow testing and execution
(2010)
Duarte Vieira
Francisco Martins
Conference papers
2010
Ad-hoc Changes in IoT-aware Business Processes
(2010)
Dulce Domingos
Francisco Martins
Ricardo Martinho
Mário J. Silva
Conference papers
2010
Towards the Safe Programming of Wireless Sensor Networks
(2010)
Francisco Martins
Luís Lopes
João Barros
Conference papers
2010
An Investigation on Types for X10 Clocks
(2010)
Francisco Martins
Tiago Cogumbreiro
Vasco Vasconcelos
Conference papers
2010
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
(2010)
Vasco Vasconcelos
Francisco Martins
Tiago Cogumbreiro
Conference papers
2010
Simulação de workflows com integração de simulação de redes de sensores
(2010)
Duarte Vieira
Francisco Martins
Conference papers
2009
Programming Wireless Sensor Networks
(2009)
Luís Lopes
Francisco Martins
João Barros
Book chapters
2008
Behavioural theory at work: Program transformations in a service-centred calculus
(2008)
Luis Cruz-Filipe
Ivan Lanese
Francisco Martins
António Ravara
Vasco T. Vascon-celos
Conference papers
2008
Compiling the pi-calculus into a multi-threaded typed assembly language
(2008)
Tiago Cogumbreiro
Francisco Martins
Vasco T. Vasconcelos
Conference papers
2008
Type-based approach to multi-core programming
(2008)
Francisco Martins
Vasco T. Vasconcelos
Other
2008
Compiling the p-calculus into a Multithreaded Typed Assembly Language
(2008)
Tiago Cogumbreiro
Francisco Martins
Vasco T. Vasconcelos
Other
2007
Bisimulations in SSCC
(2007)
Filipe, Luís Cruz
Lanese, Ivan
Martins, Francisco
Ravara, António
Vasconcelos, Vasco T.
Other
2007
Disciplining Orchestration and Conversation in Service-Oriented Computing
(2007)
Ivan Lanese
Vasco T. Vasconcelos
Francisco Martins
Antonio Ravara
Conference papers
2007
Disciplining Orchestration and Conversation in Service-Oriented Computing
(2007)
Lanese, Ivan
Martins, Francisco
Ravara, António
Vasconcelos, Vasco T.
Other
2006
Controlling Security Policies in a Distributed Environment
(2006)
Martins, Francisco
Academic documents
2004
Controlling Security Policies in a Distributed Environment
(2004)
Martins, Francisco
Vasconcelos, Vasco T.
Other
2001
TyCO + Linear channels
(2001)
Martins, Francisco
Vasconcelos, Vasco T.
Other