Margarida Mamede

Identifiers

No identifiers captured yet.

Papers (2)

1. Systematic API Testing Through Model Checking and Executable Contracts cs.SE · 2026 · author #2
2. Relieving Core Routers from Dynamic Routing with off-the-shelf Equipment and Protocols cs.NI · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ana Ribeiro 1 shared papers
• Carla Ferreira 1 shared papers
• Jo\~ao Horta 1 shared papers
• Jos\'e Legatheaux Martins 1 shared papers