5 citations · 5 across the 3 of their papers we have counts for
3 papers
RFSeek and Ye Shall Find
Noga H. Rotman, Tiago Ferreira, Hila Peleg +2
Requests for Comments (RFCs) are extensive specification documents for network protocols, but their prose-based format and their considerable length often impede precise operationa…
Conflict-Aware Active Automata Learning
Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva +1
Active automata learning algorithms cannot easily handle conflict in the observation data (different outputs observed for the same inputs). This inherent inability to recover after…
Conflict-Aware Active Automata Learning (Extended Version)
Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva +1
Active automata learning algorithms cannot easily handle conflict in the observation data (different outputs observed for the same inputs). This inherent inability to recover after…