Learning Fragments of the TCP Network Protocol. - Paul Fiterau-Brostean; Ramon Janssen; Frits W. Vaandrager (FMICS, 2014)

Combining Model Learning and Model Checking to Analyze TCP Implementations. - Paul Fiterau-Brostean; Ramon Janssen; Frits W. Vaandrager (CAV (2), 2016)

Relating Alternating Relations for Conformance and Refinement. - Ramon Janssen; Frits W. Vaandrager; Jan Tretmans (IFM, 2019)

Matching implementations to specifications: the corner cases of ioco. - Ramon Janssen; Jan Tretmans (SAC, 2019)

n-Complete test suites for IOCO. - Petra van den Bos; Ramon Janssen; Joshua Moerman (Softw. Qual. J., 2019)

Combining Partial Specifications using Alternating Interface Automata. - Ramon Janssen (FASE, 2020)

Distributed Solving of Mixed-Integer Programs with COIN-OR CBC and Thrift. - Jakob Görner; Ramon Janssen; Jochen Rethmann (OR, 2021)

Goodbye ioco. - Jan Tretmans; Ramon Janssen (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)