Publicaciones (13) Publicaciones en las que ha participado algún/a investigador/a

2005

  1. A formal methodology to test complex embedded systems: Application to interactive driving system

    IFIP Advances in Information and Communication Technology, Vol. 184, pp. 125-136

  2. A passive testing approach based on invariants: Application to the WAP

    Computer Networks, Vol. 48, Núm. 2, pp. 247-266

  3. A verification logic for rewriting logic

    Journal of Logic and Computation, Vol. 15, Núm. 3, pp. 317-352

  4. Formal specification of multi-agent e-barter systems

    Science of Computer Programming, Vol. 57, Núm. 2, pp. 187-216

  5. Inferring termination conditions for logic programs using backwards analysis

    Theory and Practice of Logic Programming, Vol. 5, Núm. 1-2, pp. 75-91

  6. Integrating ontologies into the collaborative authoring of learning objects

    Journal of Universal Computer Science, Vol. 11, Núm. 9, pp. 1568-1576

  7. Non-determinism analyses in a parallel-functional language

    Journal of Functional Programming, Vol. 15, Núm. 1, pp. 67-100

  8. Operational semantics for declarative multi-paradigm languages

    Journal of Symbolic Computation, Vol. 40, Núm. 1 SPEC. ISS., pp. 795-829

  9. Parallel functional programming in Eden

    Journal of Functional Programming, Vol. 15, Núm. 3, pp. 431-475

  10. Specification and testing of autonomous agents in e-commerce systems

    Software Testing Verification and Reliability, Vol. 15, Núm. 4, pp. 211-233

  11. Specification-based testing of real-time embedded systems

    IFIP Advances in Information and Communication Technology, Vol. 184, pp. 115-124

  12. Topology and combinatorics of real line arrangements

    Compositio Mathematica, Vol. 141, Núm. 6, pp. 1578-1588

  13. Two case studies of semantics execution in maude: CCS and LOTOS

    Formal Methods in System Design, Vol. 27, Núm. 1-2, pp. 113-172