Maciej Gazda

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