Paul Fiterau-Brostean

Learning Fragments of the TCP Network Protocol

Ramon Janssen, Frits W. Vaandrager, Paul Fiterau-Brostean, 2014, FMICS.

Combining Model Learning and Model Checking to Analyze TCP Implementations

Frits W. Vaandrager, Ramon Janssen, Paul Fiterau-Brostean, 2016, CAV.

Model learning and model checking of SSH implementations

Frits W. Vaandrager, Joeri de Ruiter, Erik Poll, 2017, SPIN.

Learning Register Automata with Fresh Value Generation

Frits W. Vaandrager, Fides Aarts, Harco Kuppens, 2015, ICTAC.

Model Learning as a Satisfiability Modulo Theories Problem

Frits W. Vaandrager, Rick Smetsers, Paul Fiterau-Brostean, 2018, LATA.