José Serna

According to our database, José Serna authored at least 6 papers between 2015 and 2023.

Collaborative distances:

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

2023

Dash: declarative behavioural modelling in Alloy with control state hierarchy.

José Serna, Nancy A. Day, Shahram Esmaeilsabzali

Softw. Syst. Model., April, 2023

2021

Enhanced Missed Approach Procedure Based on Aircraft Reinjection.

Rafael Casado, Manuel López-Lago, José Serna, Aurelio Bermúdez

IEEE Trans. Aerosp. Electron. Syst., 2021

2018

A Comparison of the Declarative Modelling Languages B, Dash, and TLA⁺.

Ali Abbassi, Amin Bandali, Nancy A. Day, José Serna

Proceedings of the 8th IEEE International Model-Driven Requirements Engineering Workshop, 2018

2017

DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy.

José Serna, Nancy A. Day, Sabria Farheen

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

2016

Heat and mass transfer enhancement in a double diffusive mixed convection lid cavity under pulsating flow.

Antonio Soto-Meca, José Serna, F. J. S. Velasco

Comput. Chem. Eng., 2016

2015

Testing the Self-Similarity Exponent to Feature Extraction in Motor Imagery Based Brain Computer Interface Systems.

Germán Rodríguez-Bermúdez, Miguel Ángel Sánchez Granero, Pedro J. García-Laencina, Manuel Fernández-Martínez, José Serna, Joaquín Roca-Dorda

Int. J. Bifurc. Chaos, 2015