Maciej Gazda

According to our database, Maciej Gazda authored at least 19 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Testing using CSP Models: Time, Inputs, and Outputs.

James Baxter, Ana Cavalcanti, Maciej Gazda, Robert M. Hierons

ACM Trans. Comput. Log., April, 2023

Removing redundant refusals: Minimal complete test suites for failure trace semantics.

Maciej Gazda, Robert M. Hierons

Inf. Comput., March, 2023

2022

Conformance Relations and Hyperproperties for Doping Detection in Time and Space.

Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi

Log. Methods Comput. Sci., 2022

2020

Congruence from the operator's point of view.

Maciej Gazda, Wan J. Fokkink, Vittorio Massaro

Acta Informatica, 2020

Logical Characterisation of Hybrid Conformance.

Maciej Gazda, Mohammad Reza Mousavi

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

Conformance-Based Doping Detection for Cyber-Physical Systems.

Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

2018

Cooking Your Own Parity Game Preorders Through Matching Plays.

Maciej Gazda, Tim A. C. Willemse

Int. J. Found. Comput. Sci., 2018

Distinguishing between communicating transactions.

Vasileios Koutavas, Maciej Gazda, Matthew Hennessy

Inf. Comput., 2018

2016

Parity Games.

Tim A. C. Willemse, Maciej Gazda

Encyclopedia of Algorithms, 2016

On Parity Game Preorders and the Logic of Matching Plays.

Maciej Gazda, Tim A. C. Willemse

Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

2015

Abstraction in Fixpoint Logic.

Sjoerd Cranen, Maciej Gazda, Wieger Wesselink, Tim A. C. Willemse

ACM Trans. Comput. Log., 2015

Improvement in Small Progress Measures.

Maciej Gazda, Tim A. C. Willemse

Proceedings of the Proceedings Sixth International Symposium on Games, 2015

2014

Strategy Derivation for Small Progress Measures.

Maciej Gazda, Tim A. C. Willemse

CoRR, 2014

2013

Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds.

Maciej Gazda, Tim A. C. Willemse

Proceedings of the Proceedings Fourth International Symposium on Games, 2013

Turning GSOS Rules into Equations for Linear Time-Branching Time Semantics.

Maciej Gazda, Wan J. Fokkink

Comput. J., 2013

2012

Modal logic and the approximation induction principle.

Maciej Gazda, Wan J. Fokkink

Math. Struct. Comput. Sci., 2012

Expressiveness and Completeness in Abstraction

Maciej Gazda, Tim A. C. Willemse

Proceedings of the Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, 2012

Consistent Consequence for Boolean Equation Systems.

Maciej Gazda, Tim A. C. Willemse

Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

2010

Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics

Maciej Gazda, Wan J. Fokkink

Proceedings of the Proceedings Seventh Workshop on Structural Operational Semantics, 2010