Rafael Martínez-Torres

According to our database, Rafael Martínez-Torres authored at least 7 papers between 2003 and 2018.

Collaborative distances:

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

2018

An axiomatic semantics for iocos_ conformance relation.

Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres

J. Log. Algebraic Methods Program., 2018

2015

Extending mCRL2 with ready simulation and iocos input-output conformance simulation.

Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

Effectiveness for Input Output Conformance Simulation iocos̱.

Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2013

IOCO as a Simulation.

Luis Llana, Rafael Martínez-Torres

Proceedings of the Software Engineering and Formal Methods, 2013

Input-Output Conformance Simulation (iocos) for Model Based Testing.

Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres

Proceedings of the Formal Techniques for Distributed Systems, 2013

2005

PVM-3.4.4 + IPv6: Full Grid Connectivity.

Rafael Martínez-Torres

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2005

2003

Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms.

Rafael Martínez-Torres, Ricardo Pena

Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003