Dr Maciej Gazda

Department of Computer Science

Research Associate

m.gazda@sheffield.ac.uk
+44 114 222 1800

Regent Court (DCS)

Full contact details

Dr Maciej Gazda
Department of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP

Publications

Biewer S, Dimitrova R, Fries M, Gazda M, Heinze T, Hermanns H & Mousavi MR (2022) Conformance relations and hyperproperties for doping detection in time and space. Logical Methods in Computer Science, 18(1).
Gazda M, Fokkink W & Massaro V (2020) Congruence from the operator’s point of view. Acta Informatica, 57(3-5), 329-351.
Baxter J, Cavalcanti A, Gazda M & Hierons R () Testing using CSP models: time, inputs, and outputs. ACM Transactions on Computational Logic.

Hierons RM, Gazda M, Gómez-Abajo P, Lefticaru R & Merayo MG (2021) Mutation Testing for RoboChart, Software Engineering for Robotics (pp. 345-375). Springer International Publishing

Dimitrova R, Gazda M, Mousavi MR, Biewer S & Hermanns H (2020) Conformance-based doping detection for cyber-physical systems. Formal Techniques for Distributed Objects, Components, and Systems (pp 59-77). Valletta, Malta, 15 June 2020 - 19 June 2020. View this article in WRRO
Gazda M & Mousavi MR (2020) Logical characterisation of hybrid conformance. Leibniz International Proceedings in Informatics, LIPIcs, Vol. 168
Gazda M & Hierons R () 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.