Joao Louren\c{c}o

Identifiers

• name variant Joao Louren\c{c}o 0.50 · backfill

Papers (1)

1. COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1 cs.SE · 2019 · author #8

Mentions

No mention provenance yet.

Frequent Coauthors

• C\'esar S\'anchez 1 shared papers
• Christian Colombo 1 shared papers
• Cyrille Artho 1 shared papers
• Florian Lorber 1 shared papers
• Gerardo Schneider 1 shared papers
• Leonardo Mariani 1 shared papers
• Martin Leucker 1 shared papers
• Srdan Krstic 1 shared papers
• Volker Stolz 1 shared papers
• Wolfgang Ahrendt 1 shared papers
• Yli\`es Falcone 1 shared papers