Johan Uijen

According to our database, Johan Uijen authored at least 2 papers between 2010 and 2015.

Collaborative distances:

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

2015

Generating models of infinite-state communication protocols using regular inference with abstraction.

Fides Aarts, Bengt Jonsson, Johan Uijen, Frits W. Vaandrager

Formal Methods Syst. Des., 2015

2010

Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction.

Fides Aarts, Bengt Jonsson, Johan Uijen

Proceedings of the Testing Software and Systems, 2010