Francisco Martins

According to our database1, Francisco Martins authored at least 40 papers between 2002 and 2019.

Collaborative distances:



In proceedings 
PhD thesis 




Dynamic Deadlock Verification for General Barrier Synchronisation.
ACM Trans. Program. Lang. Syst., 2019

Automatic Decomposition of IoT Aware Business Processes with Data and Control Flow Distribution.
Proceedings of the 21st International Conference on Enterprise Information Systems, 2019

HeadREST: A Specification Language for RESTful APIs.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

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

Inferring Types for Parallel Programs.
Proceedings of the Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2017

A safe-by-design programming language for wireless sensor networks.
Journal of Systems Architecture - Embedded Systems Design, 2016

Behavioral Types in Programming Languages.
Foundations and Trends in Programming Languages, 2016

Deductive Verification of Parallel Programs Using Why3.
Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015

NVL: a coordination language for unmanned vehicle networks.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Dynamic deadlock verification for general barrier synchronisation.
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

Protocol-based verification of message-passing parallel programs.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Internet of Things Aware WS-BPEL Business Processes Context Variables and Expected Exceptions.
J. UCS, 2014

The stream-based service-centred calculus: a foundation for service-oriented programming.
Formal Asp. Comput., 2014

Homogeneous Wireless Sensor Network Programming using MuFFIN.
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.
Proceedings of the Sensor Systems and Software - 5th International Conference, 2014

Cooperari: a tool for cooperative testing of multithreaded Java programs.
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

Towards deductive verification of MPI programs against session types.
Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013

Concurrent typed intermediate language.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Internet of Things Aware WS-BPEL Business Process.
Proceedings of the ICEIS 2013, 2013

Coordinating Phased Activities while Maintaining Progress.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

Verification of MPI Programs Using Session Types.
Proceedings of the Recent Advances in the Message Passing Interface, 2012

Types for X10 Clocks
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.
Proceedings of the Sensor Systems and Software - Second International ICST Conference, 2010

Ad-hoc changes in IoT-aware business processes.
Proceedings of the 2010 Internet of Things (IOT), IoT for a green Planet, Tokyo, Japan, November 29, 2010

Compiling the pi-calculus into a Multithreaded Typed Assembly Language.
Electr. Notes Theor. Comput. Sci., 2009

Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
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
Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009

Programming Wireless Sensor Networks.
Proceedings of the Middleware for Network Eccentric and Mobile Applications, 2009

Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

A Formal Model for Programming Wireless Sensor Networks
CoRR, 2007

Disciplining Orchestration and Conversation in Service-Oriented Computing.
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.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

A Calculus for Sensor Networks
CoRR, 2006

SCC: A Service Centered Calculus.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

On the Idea of Using Nature-Inspired Metaphors to Improve Software Testing.
Proceedings of the Artificial Intelligence Applications and Innovations, 2006

Using genetic algorithms to generate test plans for functionality testing.
Proceedings of the 44st Annual Southeast Regional Conference, 2006

History-Based Access Control for Distributed Processes.
Proceedings of the Trustworthy Global Computing, International Symposium, 2005

Computing with Idiotypic Networks.
Proceedings of the Intelligent Information Processing and Web Mining, 2005

MiKO - Mikado Koncurrent Objects.
Proceedings of the Foundations of Global Computing, 20.-25. February 2005, 2005

The Impact of Linearity Information on the Performance of TyCO.
Electr. Notes Theor. Comput. Sci., 2002