Ramon Janssen

According to our database, Ramon Janssen authored at least 8 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Goodbye ioco.

Jan Tretmans, Ramon Janssen

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Distributed Solving of Mixed-Integer Programs with COIN-OR CBC and Thrift.

Jakob Görner, Ramon Janssen, Jochen Rethmann

Proceedings of the Operations Research Proceedings 2021, Selected Papers of the International Conference of the Swiss, German and Austrian Operations Research Societies (SVOR/ASRO, GOR e.V., ÖGOR), University of Bern, Switzerland, August 31, 2021

2020

Combining Partial Specifications using Alternating Interface Automata.

Ramon Janssen

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

n-Complete test suites for IOCO.

Petra van den Bos, Ramon Janssen, Joshua Moerman

Softw. Qual. J., 2019

Matching implementations to specifications: the corner cases of ioco.

Ramon Janssen, Jan Tretmans

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Relating Alternating Relations for Conformance and Refinement.

Ramon Janssen, Frits W. Vaandrager, Jan Tretmans

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2016

Combining Model Learning and Model Checking to Analyze TCP Implementations.

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

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2014

Learning Fragments of the TCP Network Protocol.

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2014