Luis M. Alonso

According to our database, Luis M. Alonso authored at least 6 papers between 1989 and 2011.

Collaborative distances:

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

2011

A Preliminary General Testing Method Based on Genetic Algorithms.

Luis M. Alonso, Pablo Rabanal, Ismael Rodríguez

Proceedings of the Advances in Computational Intelligence, 2011

2008

From page-centric to portlet-centric Web development: Easing the transition using MDD.

Oscar Díaz, Arantza Irastorza, Jesús Sánchez Cuadrado, Luis M. Alonso

Inf. Softw. Technol., 2008

1993

A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions.

Ricardo Pena, Luis M. Alonso

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Using State Variables for the Specification and Verfication of TCSP Processes.

Luis M. Alonso

Proceedings of the PARLE '93, 1993

1991

Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems.

Luis M. Alonso, Ricardo Pena

Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

1989

Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types.

Ricardo Pena, Luis M. Alonso

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989