Tree-Based Adaptive Model Learning (Frits Vaandrager's Festschrift)

Tiago Ferreira, Gerco van Heerdt, and Alexandra Silva
2209.00122 10.1007/978-3-031-15629-8_10

Guarded Kleene Algebra with Tests: Automata Learning (MFPS 2022)

Stefan Zetzsche, Matteo Sammartino, and Alexandra Silva
2204.14153

Prognosis: Closed-Box Analysis of Network Protocol Implementations (SIGCOMM '21)

Tiago Ferreira, Harrisson Brewton, Loris D''Antoni, and Alexandra Silva
2201.02577 10.1145/3452296.3472938

Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks (ESOP 2022)

Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, and Alexandra Silva
2201.10485 10.1007/978-3-030-99336-8_21

Processes Parametrised by an Algebraic Theory (ICALP 2022)

Todd Schmid, Wojciech Rozowski, Alexandra Silva, and Jurriaan Rot
2202.06901 10.4230/lipics.icalp.2022.132

Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness (ICALP 2021)

Todd Schmid, Tobias Kappé, Dexter Kozen, and Alexandra Silva
10.4230/lipics.icalp.2021.142