Francisco Martins

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 16

Top Topics

Message Passing

Business Processes

Wireless Sensor Networks

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Carlos Mão de Ferro, Anastasia Mavridou, Michael Dille, Francisco Martins
Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software. DSN-W (2023)
Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins
Formalizing Model Inference of MicroPython. DSN-W (2023)
Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins
Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems. COORDINATION (2023)
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
Emerging Technologies to Promote Fans Interaction in Football Events: A Systematic Review. Adv. Hum. Comput. Interact. 2023 (2023)
Tomasz Krzeszowski, Bartosz Dziadek, Cíntia França, Francisco Martins, Élvio Rúbio Gouveia, Krzysztof Przednowek
System for Estimation of Human Anthropometric Parameters Based on Data from Kinect v2 Depth Camera. Sensors 23 (7) (2023)
Vasco T. Vasconcelos, Francisco Martins, Hugo-Andrés López, Nobuko Yoshida
A Type Discipline for Message Passing Parallel Programs. ACM Trans. Program. Lang. Syst. 44 (4) (2022)
Vasco T. Vasconcelos, Francisco Martins, Antónia Lopes, Nuno Burnay
HeadREST: A Specification Language for RESTful APIs. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida
Dynamic Deadlock Verification for General Barrier Synchronisation. ACM Trans. Program. Lang. Syst. 41 (1) (2019)
Francisco Martins, Dulce Domingos, Daniel Vitoriano
Automatic Decomposition of IoT Aware Business Processes with Data and Control Flow Distribution. ICEIS (2) (2019)
Francisco Martins, Dulce Domingos, Daniel Vitoriano
A Graph Pattern Based Approach for Automatic Decomposition of IoT Aware Business Processes. ICEIS (Revised Selected Papers) (2019)
Luís Mendes Gomes, Francisco Martins, Hélia Guerra
Teaching Web Programming Using the MEAN Stack. ICL (2) (2019)
Dulce Domingos, Ana Respício, Francisco Martins, Breno Melo
Automatic Decomposition of IoT Aware Business Processes - a Pattern Approach. CENTERIS/ProjMAN/HCist (2019)
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. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel
Inferring Types for Parallel Programs. PLACES@ETAPS (2017)
Luís M. B. Lopes, Francisco Martins
A safe-by-design programming language for wireless sensor networks. J. Syst. Archit. 63 (2016)
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
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3 (2-3) (2016)
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida
Dynamic deadlock verification for general barrier synchronisation. PPOPP (2015)
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. OOPSLA (2015)
Eduardo R. B. Marques, Manuel A. Ribeiro, José Pinto, João B. Sousa, Francisco Martins
NVL: a coordination language for unmanned vehicle networks. SAC (2015)
César Santos, Francisco Martins, Vasco Thudichum Vasconcelos
Deductive Verification of Parallel Programs Using Why3. ICE (2015)
Eduardo R. B. Marques, Francisco Martins, Miguel Simões
Cooperari: a tool for cooperative testing of multithreaded Java programs. PPPJ (2014)
Dulce Domingos, Francisco Martins, Carlos Cândido, Ricardo Martinho
Internet of Things Aware WS-BPEL Business Processes Context Variables and Expected Exceptions. J. Univers. Comput. Sci. 20 (8) (2014)
Dulce Domingos, Francisco Martins, Lara Caiola
Decentralising Internet of Things Aware BPMN Business Processes. S-CUBE (2014)
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 Comput. 26 (5) (2014)
Rui Pires, Francisco Martins, Dulce Domingos
Homogeneous Wireless Sensor Network Programming using MuFFIN. SENSORNETS (2014)
Dulce Domingos, Francisco Martins, Carlos Cândido
Internet of Things Aware WS-BPEL Business Process. ICEIS (2) (2013)
Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins
Towards deductive verification of MPI programs against session types. PLACES (2013)
L. Miguel Lourenço, João Costa Seco, Francisco Martins
Concurrent typed intermediate language. SAC (2013)
Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos
Coordinating Phased Activities while Maintaining Progress. COORDINATION (2013)
Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida
Verification of MPI Programs Using Session Types. EuroMPI (2012)
Dulce Domingos, Francisco Martins, Ricardo Martinho, Mário J. Silva
Ad-hoc changes in IoT-aware business processes. IOT (2010)
Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro
Types for X10 Clocks PLACES (2010)
Duarte Vieira, Francisco Martins
Integrating WSN Simulation into Workflow Testing and Execution. S-CUBE (2010)
Vasco Thudichum Vasconcelos, Francisco Martins, Tiago Cogumbreiro
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language PLACES (2009)
Francisco Martins, Luís M. B. Lopes, João Barros
Towards the Safe Programming of Wireless Sensor Networks PLACES (2009)
Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos
Compiling the pi-calculus into a Multithreaded Typed Assembly Language. Electron. Notes Theor. Comput. Sci. 241 (2009)
Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. FMOODS (2008)
Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara
Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM (2007)
Luís M. B. Lopes, Francisco Martins, Miguel S. Silva, João Barros
A Formal Model for Programming Wireless Sensor Networks CoRR (2007)
Ronaldo Menezes, Francisco Martins, Francisca Emanuelle Vieira, Rafael Silva, Márcio Braga
A model for terrain coverage inspired by ant's alarm pheromones. SAC (2007)
Miguel S. Silva, Francisco Martins, Luís M. B. Lopes, João Barros
A Calculus for Sensor Networks CoRR (2006)
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
SCC: A Service Centered Calculus. WS-FM (2006)
Francisca Emanuelle Vieira, Francisco Martins, Rafael Silva, Ronaldo Menezes, Márcio Braga
On the Idea of Using Nature-Inspired Metaphors to Improve Software Testing. AIAI (2006)
Francisca Emanuelle Vieira, Francisco Martins, Rafael Silva, Ronaldo Menezes, Márcio Braga
Using genetic algorithms to generate test plans for functionality testing. ACM Southeast Regional Conference (2006)
Francisco Martins, Liliana C. M. Salvador, Vasco Thudichum Vasconcelos, Luís M. B. Lopes
MiKO - Mikado Koncurrent Objects. Foundations of Global Computing (2005)
Francisco Martins, Vasco Thudichum Vasconcelos
History-Based Access Control for Distributed Processes. TGC (2005)
Francisco Martins, Neva Slani
Computing with Idiotypic Networks. Intelligent Information Systems (2005)
Francisco Martins, Luís M. B. Lopes, Vasco Thudichum Vasconcelos
The Impact of Linearity Information on the Performance of TyCO. Electron. Notes Theor. Comput. Sci. 75 (2002)