Publications

Off

Conference and Workshop Papers

  • Maciej Gazda and Robert M. Hierons. Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics. 36th Annual Symposium on Logic in Computer Science (LICS 2021), to appear
  • Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru. Testing Robots Using CSP. 13th International Conference on Tests and Proofs (TAP 2019). Lecture Notes in Computer Science, vol 11823, 21-38. Springer, Cham, 2019
  • Raluca Lefticaru, Rob Hierons and Manuel Núñez. An implementation relation for cyclic systems that uses refusals and discrete time. 17th International Conference on Software Engineering and Formal Methods (SEFM 2019). Lecture Notes in Computer Science, vol 11724, 393-409. Springer, Cham, 2019

A global reputation

Sheffield is a world top-100 research university with a global reputation for excellence. We're a member of the Russell Group: one of the 24 leading UK universities for research and teaching.

About the University