Publications dans lesquelles il/elle collabore avec ISMAEL RODRÍGUEZ LAGUNA (13)

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

2008

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

  2. Formal testing from timed finite state machines

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

  3. HOTL: Hypotheses and observations testing logic

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

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

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

  4. Generation of optimal finite test suites for timed systems

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

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

  2. Extending EFSMs to specify and test timed systems with action durations and timeouts

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

  3. Implementation relations for stochastic finite state machines

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