Carlos Mo de Ferro
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2023–2023
Best venue rank
A
Where they publish
Papers
3 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 |