Follow
Manuel Núñez
Title
Cited by
Cited by
Year
A passive testing approach based on invariants: application to the WAP
E Bayse, A Cavalli, M Nunez, F Zaidi
Computer networks 48 (2), 247-266, 2005
1642005
Formal testing from timed finite state machines
MG Merayo, M Núñez, I Rodríguez
Computer networks 52 (2), 432-460, 2008
1372008
Extending EFSMs to specify and test timed systems with action durations and time-outs
M Merayo, M Núñez, I Rodríguez
IEEE Transactions on Computers 57 (6), 835-844, 2008
742008
Acceptance trees for probabilistic processes
M Núñez, D de Frutos, L Llana
CONCUR'95: Concurrency Theory: 6th International Conference Philadelphia, PA …, 1995
581995
Machine learning algorithms to forecast air quality: a survey
M Méndez, MG Merayo, M Núñez
Artificial Intelligence Review 56 (9), 10031-10066, 2023
572023
Algebraic theory of probabilistic processes
M Núñez
The Journal of Logic and Algebraic Programming 56 (1-2), 117-177, 2003
532003
Testing from a stochastic timed system with a fault model
RM Hierons, MG Merayo, M Núnez
The Journal of Logic and Algebraic Programming 78 (2), 98-115, 2009
512009
HOTL: Hypotheses and observations testing logic
I Rodríguez, MG Merayo, M Núñez
The Journal of Logic and Algebraic Programming 74 (2), 57-93, 2008
492008
Fast testing of critical properties through passive testing
JA Arnedo, A Cavalli, M Núñez
IFIP International Conference on Testing of Software and Communicating …, 2003
492003
A survey on formal active and passive testing with applications to the cloud
AR Cavalli, T Higashino, M Núñez
annals of telecommunications-annales des télécommunications 70, 85-93, 2015
482015
An overview of probabilistic process algebras and their equivalences
N López, M Núnez
Validation of Stochastic Systems: A Guide to Current Research, 89-123, 2004
472004
Implementation relations for the distributed test architecture
RM Hierons, MG Merayo, M Núnez
International Workshop on Formal Approaches to Software Testing, 200-215, 2008
462008
Testing semantics for probabilistic LOTOS
M Nwnez, D Frutos
Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth …, 1996
441996
A new look at pattern matching in abstract data types
P Palao Gostanza, R Pena, M Núnez
ACM SIGPLAN Notices 31 (6), 110-121, 1996
421996
Passive testing of timed systems
C Andrés, MG Merayo, M Núñez
Automated Technology for Verification and Analysis: 6th International …, 2008
412008
Specification and testing of autonomous agents in e‐commerce systems
M Núñez, I Rodríguez, F Rubio
Software Testing, Verification and Reliability 15 (4), 211-233, 2005
412005
Implementation relations and test generation for systems with distributed interfaces
RM Hierons, MG Merayo, M Núñez
Distributed Computing 25 (1), 35-62, 2012
402012
Formal passive testing of timed systems: Theory and tools
C Andrés, MG Merayo, M Núnez
Software Testing, Verification and Reliability 22 (6), 365-405, 2012
372012
Specification, testing and implementation relations for symbolic-probabilistic systems
N López, M Núñez, I Rodríguez
Theoretical Computer Science 353 (1-3), 228-248, 2006
372006
A testing theory for generally distributed stochastic processes
N López, M Núnez
International Conference on Concurrency Theory, 321-335, 2001
372001
The system can't perform the operation now. Try again later.
Articles 1–20