Francisco Martins

According to our database, Francisco Martins authored at least 48 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

System for Estimation of Human Anthropometric Parameters Based on Data from Kinect v2 Depth Camera.

Tomasz Krzeszowski, Bartosz Dziadek, Cíntia França, Francisco Martins, Élvio Rúbio Gouveia, Krzysztof Przednowek

Sensors, April, 2023

Emerging Technologies to Promote Fans Interaction in Football Events: A Systematic Review.

Francisco Martins, A. César C. França, Pedro Paixão, Diogo V. Martinho, Pedro F. Campos, Tatiana B. Gouveia, Helder Lopes, Andreas Ihle, Eduardo R. B. Marques, Élvio Rúbio Gouveia

Adv. Hum. Comput. Interact., 2023

Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software.

Carlos Mão de Ferro, Anastasia Mavridou, Michael Dille, Francisco Martins

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Formalizing Model Inference of MicroPython.

Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems.

Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins

Proceedings of the Coordination Models and Languages, 2023

2022

A Type Discipline for Message Passing Parallel Programs.

Vasco T. Vasconcelos, Francisco Martins, Hugo-Andrés López, Nobuko Yoshida

ACM Trans. Program. Lang. Syst., December, 2022

2019

Dynamic Deadlock Verification for General Barrier Synchronisation.

Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida

ACM Trans. Program. Lang. Syst., 2019

Teaching Web Programming Using the MEAN Stack.

Luís Mendes Gomes, Francisco Martins, Hélia Guerra

Proceedings of the Impact of the 4th Industrial Revolution on Engineering Education - Proceedings of the 22nd International Conference on Interactive Collaborative Learning (ICL 2019), 2019

A Graph Pattern Based Approach for Automatic Decomposition of IoT Aware Business Processes.

Francisco Martins, Dulce Domingos, Daniel Vitoriano

Proceedings of the Enterprise Information Systems - 21st International Conference, 2019

Automatic Decomposition of IoT Aware Business Processes with Data and Control Flow Distribution.

Francisco Martins, Dulce Domingos, Daniel Vitoriano

Proceedings of the 21st International Conference on Enterprise Information Systems, 2019

Automatic Decomposition of IoT Aware Business Processes - a Pattern Approach.

Dulce Domingos, Ana Respício, Francisco Martins, Breno Melo

Proceedings of the CENTERIS 2019 - International Conference on ENTERprise Information Systems / ProjMAN 2019 - International Conference on Project MANagement / HCist 2019, 2019

HeadREST: A Specification Language for RESTful APIs.

Vasco T. Vasconcelos, Francisco Martins, Antónia Lopes, Nuno Burnay

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2017

Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers.

Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, Max Grossman

Proc. ACM Program. Lang., 2017

Inferring Types for Parallel Programs.

Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel

Proceedings of the Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2017

2016

A safe-by-design programming language for wireless sensor networks.

Luís M. B. Lopes, Francisco Martins

J. Syst. Archit., 2016

Behavioral Types in Programming Languages.

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, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida

Found. Trends Program. Lang., 2016

2015

Deductive Verification of Parallel Programs Using Why3.

César Santos, Francisco Martins, Vasco Thudichum Vasconcelos

Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015

NVL: a coordination language for unmanned vehicle networks.

Eduardo R. B. Marques, Manuel A. Ribeiro, José Pinto, João B. Sousa, Francisco Martins

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Protocol-based verification of message-passing parallel programs.

Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014

Internet of Things Aware WS-BPEL Business Processes Context Variables and Expected Exceptions.

Dulce Domingos, Francisco Martins, Carlos Cândido, Ricardo Martinho

J. Univers. Comput. Sci., 2014

The stream-based service-centred calculus: a foundation for service-oriented programming.

Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos

Formal Aspects Comput., 2014

Homogeneous Wireless Sensor Network Programming using MuFFIN.

Rui Pires, Francisco Martins, Dulce Domingos

Proceedings of the SENSORNETS 2014 - Proceedings of the 3rd International Conference on Sensor Networks, Lisbon, Portugal, 7, 2014

Decentralising Internet of Things Aware BPMN Business Processes.

Dulce Domingos, Francisco Martins, Lara Caiola

Proceedings of the Sensor Systems and Software - 5th International Conference, 2014

Cooperari: a tool for cooperative testing of multithreaded Java programs.

Eduardo R. B. Marques, Francisco Martins, Miguel Simões

Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

2013

Towards deductive verification of MPI programs against session types.

Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins

Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013

Concurrent typed intermediate language.

L. Miguel Lourenço, João Costa Seco, Francisco Martins

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Internet of Things Aware WS-BPEL Business Process.

Dulce Domingos, Francisco Martins, Carlos Cândido

Proceedings of the ICEIS 2013, 2013

Coordinating Phased Activities while Maintaining Progress.

Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos

Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012

Verification of MPI Programs Using Session Types.

Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the Recent Advances in the Message Passing Interface, 2012

2010

Types for X10 Clocks

Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro

Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

Integrating WSN Simulation into Workflow Testing and Execution.

Duarte Vieira, Francisco Martins

Proceedings of the Sensor Systems and Software - Second International ICST Conference, 2010

Ad-hoc changes in IoT-aware business processes.

Dulce Domingos, Francisco Martins, Ricardo Martinho, Mário J. Silva

Proceedings of the 2010 Internet of Things (IOT), IoT for a green Planet, Tokyo, Japan, November 29, 2010

2009

Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language

Vasco Thudichum Vasconcelos, Francisco Martins, Tiago Cogumbreiro

Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009

Towards the Safe Programming of Wireless Sensor Networks

Francisco Martins, Luís M. B. Lopes, João Barros

Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009

Programming Wireless Sensor Networks.

Luís M. B. Lopes, Francisco Martins, João Barros

Proceedings of the Middleware for Network Eccentric and Mobile Applications, 2009

2008

Compiling the pi-calculus into a Multithreaded Typed Assembly Language.

Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008

Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.

Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

2007

A Formal Model for Programming Wireless Sensor Networks

Luís M. B. Lopes, Francisco Martins, Miguel S. Silva, João Barros

CoRR, 2007

Disciplining Orchestration and Conversation in Service-Oriented Computing.

Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

A model for terrain coverage inspired by ant's alarm pheromones.

Ronaldo Menezes, Francisco Martins, Francisca Emanuelle Vieira, Rafael Silva, Márcio Braga

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2006

A Calculus for Sensor Networks

Miguel S. Silva, Francisco Martins, Luís M. B. Lopes, João Barros

CoRR, 2006

SCC: A Service Centered Calculus.

Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

On the Idea of Using Nature-Inspired Metaphors to Improve Software Testing.

Francisca Emanuelle Vieira, Francisco Martins, Rafael Silva, Ronaldo Menezes, Márcio Braga

Proceedings of the Artificial Intelligence Applications and Innovations, 2006

Using genetic algorithms to generate test plans for functionality testing.

Francisca Emanuelle Vieira, Francisco Martins, Rafael Silva, Ronaldo Menezes, Márcio Braga

Proceedings of the 44st Annual Southeast Regional Conference, 2006

2005

History-Based Access Control for Distributed Processes.

Francisco Martins, Vasco Thudichum Vasconcelos

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

Computing with Idiotypic Networks.

Francisco Martins, Neva Slani

Proceedings of the Intelligent Information Processing and Web Mining, 2005

MiKO - Mikado Koncurrent Objects.

Francisco Martins, Liliana C. M. Salvador, Vasco Thudichum Vasconcelos, Luís M. B. Lopes

Proceedings of the Foundations of Global Computing, 20.-25. February 2005, 2005

2002

The Impact of Linearity Information on the Performance of TyCO.

Francisco Martins, Luís M. B. Lopes, Vasco Thudichum Vasconcelos

Proceedings of the International Workshop in Types in Programming, 2002