Travelled to:1 × France
1 × Korea
1 × Portugal
1 × Spain
1 × United Kingdom
2 × USA
Collaborated with:T.Cogumbreiro V.T.Vasconcelos N.Yoshida E.R.B.Marques D.Domingos C.Cândido L.M.Lourenço J.C.Seco R.Hu I.Lanese A.Ravara M.Ribeiro J.Pinto J.B.Sousa R.Menezes F.E.Vieira R.Silva M.Braga R.Surendran V.Sarkar Vasco T. Vasconcelos Max Grossman H.A.López N.Ng C.Santos
Talks about:parallel (3) deadlock (2) program (2) languag (2) verif (2) synchronis (1) intermedi (1) disciplin (1) stranger (1) protocol (1)
Person: Francisco Martins
DBLP: Martins:Francisco
Contributed to:
2015
2015
2015
201320132007
20072017Wrote 8 papers:
- OOPSLA-2015-LopezMMNSVY #message passing #parallel #source code #verification
- Protocol-based verification of message-passing parallel programs (HAL, ERBM, FM, NN, CS, VTV, NY), pp. 280–298.
- PPoPP-2015-CogumbreiroHMY #concurrent #verification
- Dynamic deadlock verification for general barrier synchronisation (TC, RH, FM, NY), pp. 150–160.
- SAC-2015-MarquesRPSM #coordination #named #network
- NVL: a coordination language for unmanned vehicle networks (ERBM, MR, JP, JBS, FM), pp. 331–334.
- ICEIS-v2-2013-DomingosMC #internet #process
- Internet of Things Aware WS-BPEL Business Process (DD, FM, CC), pp. 505–512.
- SAC-2013-LourencoSM #concurrent
- Concurrent typed intermediate language (LML, JCS, FM), pp. 1587–1588.
- SAC-2007-MenezesMVSB
- A model for terrain coverage inspired by ant’s alarm pheromones (RM, FM, FEV, RS, MB), pp. 728–732.
- SEFM-2007-LaneseMVR #distributed
- Disciplining Orchestration and Conversation in Service-Oriented Computing (IL, FM, VTV, AR), pp. 305–314.
- OOPSLA-2017-CogumbreiroSMSV #concurrent #parallel #source code #why
- Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers (TC, RS, FM, VS, VTV, MG), p. 26.