Francisco Martins

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