Dr Maciej Gazda
School of Computer Science
Research Associate
m.gazda@sheffield.ac.uk
+44 114 222 1800
+44 114 222 1800
Regent Court (DCS)
Full contact details
Dr Maciej Gazda
School of Computer Science
Regent Court (DCS)
211 Portobello
91Ö±²¥
S1 4DP
School of Computer Science
Regent Court (DCS)
211 Portobello
91Ö±²¥
S1 4DP
- Publications
-
Journal articles
- . Information and Computation, 291.
- . Logical Methods in Computer Science, 18(1).
- . Acta Informatica, 57(3-5), 329-351.
- Model independent refusal trace testing. Science of Computer Programming.
- Testing using CSP models: time, inputs, and outputs. ACM Transactions on Computational Logic.
Chapters
Conference proceedings papers
- . Formal Techniques for Distributed Objects, Components, and Systems (pp 59-77). Valletta, Malta, 15 June 2020 - 19 June 2020.
- . Leibniz International Proceedings in Informatics, LIPIcs, Vol. 168
- Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics. ACM/IEEE LICS 2021 36th Annual Symposium on Logic in Computer Science, 29 June 2021 - 2 July 2021.