Ivan Soares de Medeiros Júnior

According to our database, Ivan Soares de Medeiros Júnior authored at least 2 papers between 2010 and 2013.

Collaborative distances:

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

2013

A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP.

Marcel Vinícius Medeiros Oliveira, Ivan Soares de Medeiros Júnior, Jim Woodcock

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

2010

Specification and Verification of a MPI Implementation for a MP-SoC.

Umberto Souza da Costa, Ivan Soares de Medeiros Júnior, Marcel Vinícius Medeiros Oliveira

Proceedings of the Theoretical Aspects of Computing, 2010