Travelled to:1 × Spain
1 × USA
Collaborated with:F.Martins M.Ribeiro J.Pinto J.B.Sousa H.A.López N.Ng C.Santos V.T.Vasconcelos N.Yoshida
Talks about:protocol (1) parallel (1) program (1) network (1) languag (1) coordin (1) vehicl (1) messag (1) verif (1) unman (1)
Person: Eduardo R. B. Marques
DBLP: Marques:Eduardo_R=_B=
Contributed to:
2015
2015Wrote 2 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.
- SAC-2015-MarquesRPSM #coordination #named #network
- NVL: a coordination language for unmanned vehicle networks (ERBM, MR, JP, JBS, FM), pp. 331–334.