Maciej Gazda

Publication Activity (10 Years)

Years Active: 2009-2025
Publications (10 Years): 13

Top Topics

Semantics For Logic Programs

Top Venues

ACM Trans. Comput. Log.

Publications

Maciej Gazda, Robert M. Hierons
Model independent refusal trace testing. Sci. Comput. Program. 239 (2025)
James Baxter, Ana Cavalcanti, Maciej Gazda, Robert M. Hierons
Testing using CSP Models: Time, Inputs, and Outputs. ACM Trans. Comput. Log. 24 (2) (2023)
Maciej Gazda, Robert M. Hierons
Removing redundant refusals: Minimal complete test suites for failure trace semantics. Inf. Comput. 291 (2023)
Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi
Conformance Relations and Hyperproperties for Doping Detection in Time and Space. Log. Methods Comput. Sci. 18 (1) (2022)
Maciej Gazda, Robert M. Hierons
Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics. LICS (2021)
Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns
Conformance-Based Doping Detection for Cyber-Physical Systems. FORTE (2020)
Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi
Conformance Relations and Hyperproperties for Doping Detection in Time and Space. CoRR (2020)
Maciej Gazda, Wan J. Fokkink, Vittorio Massaro
Congruence from the operator's point of view. Acta Informatica 57 (3-5) (2020)
Maciej Gazda, Mohammad Reza Mousavi
Logical Characterisation of Hybrid Conformance. ICALP (2020)
Vasileios Koutavas, Maciej Gazda, Matthew Hennessy
Distinguishing between communicating transactions. Inf. Comput. 259 (1) (2018)
Maciej Gazda, Tim A. C. Willemse
Cooking Your Own Parity Game Preorders Through Matching Plays. Int. J. Found. Comput. Sci. 29 (4) (2018)
Vasileios Koutavas, Maciej Gazda, Matthew Hennessy
Distinguishing between Communicating Transactions. CoRR (2017)
Maciej Gazda, Tim A. C. Willemse
On Parity Game Preorders and the Logic of Matching Plays. SOFSEM (2016)
Maciej Gazda, Tim A. C. Willemse
Improvement in Small Progress Measures. GandALF (2015)
Sjoerd Cranen, Maciej Gazda, Wieger Wesselink, Tim A. C. Willemse
Abstraction in Fixpoint Logic. ACM Trans. Comput. Log. 16 (4) (2015)
Maciej Gazda, Tim A. C. Willemse
Strategy Derivation for Small Progress Measures. CoRR (2014)
Maciej Gazda, Tim A. C. Willemse
Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds. GandALF (2013)
Maciej Gazda, Wan J. Fokkink
Turning GSOS Rules into Equations for Linear Time-Branching Time Semantics. Comput. J. 56 (1) (2013)
Maciej Gazda, Tim A. C. Willemse
Expressiveness and Completeness in Abstraction EXPRESS/SOS (2012)
Maciej Gazda, Wan J. Fokkink
Modal logic and the approximation induction principle. Math. Struct. Comput. Sci. 22 (2) (2012)
Maciej Gazda, Tim A. C. Willemse
Consistent Consequence for Boolean Equation Systems. SOFSEM (2012)
Maciej Gazda, Wan J. Fokkink
Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics SOS (2010)
Maciej Gazda, Wan J. Fokkink
Modal Logic and the Approximation Induction Principle EXPRESS (2009)