Ramon Janssen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2014–2020
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FASE | Combining Partial Specifications using Alternating Interface Automata. | Ramon Janssen |
| 2019 | IFM | Relating Alternating Relations for Conformance and Refinement. | Ramon Janssen, Frits W. Vaandrager, Jan Tretmans |
| 2019 | SAC | Matching implementations to specifications: the corner cases of ioco. | Ramon Janssen, Jan Tretmans |
| 2016 | CAV | Combining Model Learning and Model Checking to Analyze TCP Implementations. | Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager |
| 2014 | FMICS | Learning Fragments of the TCP Network Protocol. | Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager |