Francisco Martins
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2007–2023
Best venue rank
Multiconference
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | Coordination | Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems. | Carlos Mo de Ferro, Tiago Cogumbreiro, Francisco Martins |
| 2023 | DSN | Formalizing Model Inference of MicroPython. | Carlos Mo de Ferro, Tiago Cogumbreiro, Francisco Martins |
| 2023 | DSN | Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software. | Carlos Mo de Ferro, Anastasia Mavridou, Michael Dille, Francisco Martins |
| 2015 | OOPSLA | Protocol-based verification of message-passing parallel programs. | Hugo A. Lpez, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Csar Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
| 2015 | PPoPP | Dynamic deadlock verification for general barrier synchronisation. | Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida |
| 2015 | SAC | NVL: a coordination language for unmanned vehicle networks. | Eduardo R. B. Marques, Manuel A. Ribeiro, Jos Pinto, Joo B. Sousa, Francisco Martins |
| 2013 | Coordination | Coordinating Phased Activities while Maintaining Progress. | Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos |
| 2013 | SAC | Concurrent typed intermediate language. | L. Miguel Loureno, Joo Costa Seco, Francisco Martins |
| 2007 | SAC | A model for terrain coverage inspired by ant's alarm pheromones. | Ronaldo Menezes, Francisco Martins, Francisca Emanuelle Vieira, Rafael Silva, Mrcio Braga |
| 2007 | SEFM | Disciplining Orchestration and Conversation in Service-Oriented Computing. | Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, Antnio Ravara |