Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Article

Merayo, M.G., Hierons, R.M. orcid.org/0000-0002-4771-1446 and Nunez, M. (2018) A tool supported methodology to passively test asynchronous systems with multiple users. Information and Software Technology, 104. pp. 162-178. ISSN 0950-5849

Merayo, M.G., Hierons, R.M. orcid.org/0000-0002-4771-1446 and Nunez, M. (2018) Passive testing with asynchronous communications and timestamps. Distributed Computing, 31 (5). pp. 327-342. ISSN 0178-2770

Hierons, R.M. orcid.org/0000-0002-4771-1446, Merayo, M.G. and Nunez, M. (2018) Bounded reordering in the distributed test architecture. IEEE Transactions on Reliability, 67 (2). pp. 522-537. ISSN 0018-9529

Proceedings Paper

Lefticaru, R., Hierons, R. orcid.org/0000-0002-4771-1446 and Nunez, M. (2019) An implementation relation for cyclic systems with refusals and discrete time. In: Proceedings of of 17th International Conference on Software Engineering and Formal Methods. 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), 16-20 Sep 2019, Oslo, Norway. Lecture Notes in Computer Science . Springer . (In Press)

This list was generated on Sun Oct 13 15:49:59 2019 BST.