MANUEL
NÚÑEZ GARCÍA
Catedrático de universidad
Publicaciones en las que colabora con MANUEL NÚÑEZ GARCÍA (71)
2012
-
A formal framework to test soft and hard deadlines in timed systems
Software Testing Verification and Reliability, Vol. 22, Núm. 8, pp. 583-608
2009
-
Market-based adaptive discussion forums
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008
-
A comparative study of STOPA and RTPA
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A formal specification of the memorization process
Novel Approaches in Cognitive Informatics and Natural Intelligence (IGI Global), pp. 157-170
-
Cognitive processes by using finite state machines
Novel Approaches in Cognitive Informatics and Natural Intelligence (IGI Global), pp. 52-64
-
Extending EFSMs to specify and test timed systems with action durations and time-outs
IEEE Transactions on Computers, Vol. 57, Núm. 6, pp. 835-848
-
Formal testing from timed finite state machines
Computer Networks, Vol. 52, Núm. 2, pp. 432-460
-
HOTL: Hypotheses and observations testing logic
Journal of Logic and Algebraic Programming, Vol. 74, Núm. 2, pp. 57-93
-
THOTL: A timed extension of HOTL
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007
-
A Formal Specification of the Memorization Process
International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol. 1, Núm. 4, pp. 47-60
-
A brief introduction to THOTL
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A formal methodology to test complex heterogeneous systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Cognitive Processes by Using Finite State Machines
International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol. 1, Núm. 3, pp. 52-65
-
Formal specification of multi-agent systems by using EUSMs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Formal testing of systems presenting soft and hard deadlines
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
From theoretical e-barter models to two alternative implementations based on web services
Journal of Universal Computer Science, Vol. 13, Núm. 13, pp. 2035-2075
-
Generation of optimal finite test suites for timed systems
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07
-
Generation of optimal finite test suites for timed systems
TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS
-
SPAMR: Extending PAMR with stochastic time
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Testing finite state machines presenting stochastic time and timeouts
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)