Ramon Janssen

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 10

Top Topics

Refinement Process

Mixed Integer Program

Top Venues

Publications

Jan Tretmans, Ramon Janssen
Goodbye ioco. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Jakob Görner, Ramon Janssen, Jochen Rethmann
Distributed Solving of Mixed-Integer Programs with COIN-OR CBC and Thrift. OR (2021)
Ramon Janssen
Combining Partial Specifications using Alternating Interface Automata. FASE (2020)
Ramon Janssen
Combining Partial Specifications using Alternating Interface Automata. CoRR (2020)
Petra van den Bos, Ramon Janssen, Joshua Moerman
n-Complete test suites for IOCO. Softw. Qual. J. 27 (2) (2019)
Ramon Janssen, Frits W. Vaandrager, Jan Tretmans
Relating Alternating Relations for Conformance and Refinement. CoRR (2019)
Ramon Janssen, Jan Tretmans
Matching implementations to specifications: the corner cases of ioco. SAC (2019)
Ramon Janssen, Frits W. Vaandrager, Jan Tretmans
Relating Alternating Relations for Conformance and Refinement. IFM (2019)
Petra van den Bos, Ramon Janssen, Joshua Moerman
n-Complete Test Suites for IOCO. ICTSS (2017)
Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager
Combining Model Learning and Model Checking to Analyze TCP Implementations. CAV (2) (2016)
Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager
Learning Fragments of the TCP Network Protocol. FMICS (2014)