Concepedia

Mercedes G. Merayo

MG

27

Publications

1.1K

Citations

17

H-Index

2007

Active since

Affiliations

Universidad Complutense de Madrid(Current)

Brunel University of London

Software (Spain)

Universidad Autónoma de Madrid

Mercedes G. Merayo is an author at Universidad Complutense de Madrid specializing in engineering, software testing, and computer science.

Top concepts

EngineeringSoftware TestingComputer ScienceFormal VerificationVerificationFormal MethodsSoftware AnalysisSystems EngineeringComputer EngineeringSoftware Engineering

Publications per year

2007–2023

27

Publications

27

Machine learning algorithms to forecast air quality: a survey

Manuel Méndez, Mercedes G. Merayo, Manuel Núñez · Artificial Intelligence Review · 2023 · 239 citations · Full text

Long-term traffic flow forecasting using a hybrid CNN-BiLSTM model

Manuel Méndez, Mercedes G. Merayo, Manuel Núñez · Engineering Applications of Artificial Intelligence · 2023 · 191 citations · Full text

Convolutional Neural Network, Engineering, Machine Learning +17

Formal testing from timed finite state machines

Mercedes G. Merayo, Manuel Núñez, Ismael Rodrı́guez · Computer Networks · 2007 · 89 citations

Engineering, Finite State Machines, Automated Reasoning +9

Mutation testing from probabilistic and stochastic finite state machines

Robert M. Hierons, Mercedes G. Merayo · Journal of Systems and Software · 2009 · 54 citations

Reliability Engineering, Engineering, Computational Testing +8

Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs

Mercedes G. Merayo, Manuel Núñez, Ismael Rodrı́guez · IEEE Transactions on Computers · 2008 · 45 citations

Engineering, Conformance Relations, Verification +21

Rows per page

1–5 of 27