Francisco Martins

Assistant Professor
Department of Informatics
University of Lisbon
E-mail: fmartins@di.fc.ul.pt
Page: http://www.di.ciencias.ulisboa.pt/~fmartins

Fields of interest

Programming Languages, concurrency, type systems, sensor networks

Recent publications

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: 280-298

Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida: Dynamic deadlock verification for general barrier synchronisation. PPOPP 2015: 150-160

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 Asp. Comput. 26(5): 865-918 (2014)

Dulce Domingos, Francisco Martins, Carlos Cândido, Ricardo Martinho: Internet of Things Aware WS-BPEL Business Processes Context Variables and Expected Exceptions. J. UCS 20(8): 1109-1129 (2014)

Eduardo R. B. Marques, Francisco Martins, Miguel Simões: Cooperari: a tool for cooperative testing of multithreaded Java programs. PPPJ 2014: 200-206

Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos: Coordinating Phased Activities while Maintaining Progress. COORDINATION 2013: 31-44

Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins: Towards deductive verification of MPI programs against session types. PLACES 2013: 103-113

Vasco Thudichum Vasconcelos, Francisco Martins, Tiago Cogumbreiro: Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language. PLACES 2009: 95-109

Francisco Martins, Luís M. B. Lopes, João Barros: Towards the Safe Programming of Wireless Sensor Networks. PLACES 2009: 49-62

Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara: Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM 2007: 305-314