( en | de | ru )

 

Disambiguation of "Janssen, Ramon"

Author of the publication

copydeleteadd this publication to your clipboard
Combining Model Learning and Model Checking to Analyze TCP Implementations.

, , and . CAV (2), volume 9780 of Lecture Notes in Computer Science, page 454-471. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Laura Ramón Giménez

Julijus Algirdas Ramonas

Lutz Ramonat

Wolfgang Ramonat

Oliver Ramonat

 

Other publications of authors with the same name

Goodbye ioco., and . A Journey from Process Algebra via Timed Automata to Model Learning, volume 13560 of Lecture Notes in Computer Science, page 491-511. Springer, (2022)Learning Fragments of the TCP Network Protocol., , and . FMICS, volume 8718 of Lecture Notes in Computer Science, page 78-93. Springer, (2014)Combining Partial Specifications using Alternating Interface Automata.. FASE, volume 12076 of Lecture Notes in Computer Science, page 462-481. Springer, (2020)Combining Model Learning and Model Checking to Analyze TCP Implementations., , and . CAV (2), volume 9780 of Lecture Notes in Computer Science, page 454-471. Springer, (2016)Matching implementations to specifications: the corner cases of ioco., and . SAC, page 2196-2205. ACM, (2019)Relating Alternating Relations for Conformance and Refinement., , and . IFM, volume 11918 of Lecture Notes in Computer Science, page 246-264. Springer, (2019)Distributed Solving of Mixed-Integer Programs with COIN-OR CBC and Thrift., , and . OR, page 141-147. Springer, (2021)n-Complete Test Suites for IOCO., , and . ICTSS, volume 10533 of Lecture Notes in Computer Science, page 91-107. Springer, (2017)