Departamento
Sistemas Informáticos y Computación
Publicaciones (13) Publicaciones en las que ha participado algún/a investigador/a
2005
-
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
-
A passive testing approach based on invariants: Application to the WAP
Computer Networks, Vol. 48, Núm. 2, pp. 247-266
-
A verification logic for rewriting logic
Journal of Logic and Computation, Vol. 15, Núm. 3, pp. 317-352
-
Formal specification of multi-agent e-barter systems
Science of Computer Programming, Vol. 57, Núm. 2, pp. 187-216
-
Inferring termination conditions for logic programs using backwards analysis
Theory and Practice of Logic Programming, Vol. 5, Núm. 1-2, pp. 75-91
-
Integrating ontologies into the collaborative authoring of learning objects
Journal of Universal Computer Science, Vol. 11, Núm. 9, pp. 1568-1576
-
Non-determinism analyses in a parallel-functional language
Journal of Functional Programming, Vol. 15, Núm. 1, pp. 67-100
-
Operational semantics for declarative multi-paradigm languages
Journal of Symbolic Computation, Vol. 40, Núm. 1 SPEC. ISS., pp. 795-829
-
Parallel functional programming in Eden
Journal of Functional Programming, Vol. 15, Núm. 3, pp. 431-475
-
Specification and testing of autonomous agents in e-commerce systems
Software Testing Verification and Reliability, Vol. 15, Núm. 4, pp. 211-233
-
Specification-based testing of real-time embedded systems
IFIP Advances in Information and Communication Technology, Vol. 184, pp. 115-124
-
Topology and combinatorics of real line arrangements
Compositio Mathematica, Vol. 141, Núm. 6, pp. 1578-1588
-
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