Publications by the researcher in collaboration with MANUEL NÚÑEZ GARCÍA (49)

2012

  1. 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

  1. Market-based adaptive discussion forums

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2008

  1. Cognitive processes by using finite state machines

    Novel Approaches in Cognitive Informatics and Natural Intelligence (IGI Global), pp. 52-64

  2. 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

  3. Formal testing from timed finite state machines

    Computer Networks, Vol. 52, Núm. 2, pp. 432-460

  4. HOTL: Hypotheses and observations testing logic

    Journal of Logic and Algebraic Programming, Vol. 74, Núm. 2, pp. 57-93

  5. THOTL: A timed extension of HOTL

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2007

  1. A brief introduction to THOTL

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. 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)

  3. Cognitive Processes by Using Finite State Machines

    International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol. 1, Núm. 3, pp. 52-65

  4. 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)

  5. 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)

  6. 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

  7. Generation of optimal finite test suites for timed systems

    First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07

  8. Generation of optimal finite test suites for timed systems

    TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS

  9. SPAMR: Extending PAMR with stochastic time

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  10. 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)

2006

  1. A Formal Framework to Reduce Communications in Communication Systems

    Innovative Internet Community Systems. 4th InternationalWorkshop, IICS 2004 Guadalajara, Mexico, June 21-23, 2004. Revised Papers (Verlag Berlin Heidelberg: SpringeR, 2006), pp. 69-80

  2. A formal framework to reduce communications in communication systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. A logic for assessing sets of heterogeneous testing hypotheses

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)