Publicaciones en las que colabora con ISMAEL RODRÍGUEZ LAGUNA (52)

2014

  1. A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions

    IEEE Transactions on Software Engineering, Vol. 40, Núm. 9, pp. 862-894

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. Formally transforming user-model testing problems into implementer-model testing problems and viceversa

    Journal of Logic and Algebraic Programming, Vol. 78, Núm. 6, pp. 425-453

  2. 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. Formally comparing user and implementer model-based testing methods

    2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08

  5. HOTL: Hypotheses and observations testing logic

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

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