• Baldan P, König B, Mika-Michalski C and Padoan T. (2019). Fixpoint games on continuous lattices. Proceedings of the ACM on Programming Languages. 3:POPL. (1-29). Online publication date: 2-Jan-2019.

    https://doi.org/10.1145/3290339

  • Cranen S, Keiren J and Willemse T. (2018). Parity game reductions. Acta Informatica. 55:5. (401-444). Online publication date: 1-Aug-2018.

    https://doi.org/10.1007/s00236-017-0301-x

  • Frutos Escrig D, Keiren J and Willemse T. Branching Bisimulation Games. 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems - Volume 9688. (142-157).

    https://doi.org/10.1007/978-3-319-39570-8_10

  • Milushev D and Clarke D. Incremental Hyperproperty Model Checking via Games. Proceedings of the 18th Nordic Conference on Secure IT Systems - Volume 8208. (247-262).

    https://doi.org/10.1007/978-3-642-41488-6_17

  • Könighofer R, Hofferek G and Bloem R. (2013). Debugging formal specifications. International Journal on Software Tools for Technology Transfer (STTT). 15:5-6. (563-583). Online publication date: 1-Oct-2013.

    https://doi.org/10.1007/s10009-011-0221-y

  • Howar F, Margaria T and Wagner C. (2013). Simplifying Translation Validation via Model Extrapolation. Journal of Integrated Design & Process Science. 17:3. (71-91). Online publication date: 1-Jul-2013.

    /doi/10.5555/2692114.2692120

  • Friedmann O. (2013). A superpolynomial lower bound for strategy iteration based on snare memorization. Discrete Applied Mathematics. 161:10-11. (1317-1337). Online publication date: 1-Jul-2013.

    https://doi.org/10.1016/j.dam.2013.02.007

  • Garavel H, Lang F, Mateescu R and Serwe W. (2013). CADP 2011. International Journal on Software Tools for Technology Transfer (STTT). 15:2. (89-107). Online publication date: 1-Apr-2013.

    https://doi.org/10.1007/s10009-012-0244-z

  • Keiren J, Reniers M and Willemse T. (2012). Structural Analysis of Boolean Equation Systems. ACM Transactions on Computational Logic. 13:1. (1-35). Online publication date: 1-Jan-2012.

    https://doi.org/10.1145/2071368.2071376

  • Gutierrez J and Bradfield J. (2011). Model-checking games for fixpoint logics with partial order models. Information and Computation. 209:5. (766-781). Online publication date: 1-May-2011.

    https://doi.org/10.1016/j.ic.2010.12.002

  • Cranen S, Keiren J and Willemse T. Stuttering mostly speeds up solving parity games. Proceedings of the Third international conference on NASA Formal methods. (207-221).

    /doi/10.5555/1986308.1986327

  • Garavel H, Lang F, Mateescu R and Serwe W. CADP 2010. Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software. (372-387).

    /doi/10.5555/1987389.1987432

  • Friedmann O, Latte M and Lange M. A decision procedure for CTL* based on tableaux and automata. Proceedings of the 5th international conference on Automated Reasoning. (331-345).

    https://doi.org/10.1007/978-3-642-14203-1_28

  • Steffen B, Margaria T, Nagel R, Jörges S and Kubczak C. Model-driven development with the jABC. Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing. (92-108).

    /doi/10.5555/1763218.1763227

  • Lange M. (2006). The alternation hierarchy in fixpoint logic with chop is strict too. Information and Computation. 204:9. (1346-1367). Online publication date: 1-Sep-2006.

    https://doi.org/10.1016/j.ic.2006.05.001

  • Joubert C and Mateescu R. Distributed on-the-fly model checking and test case generation. Proceedings of the 13th international conference on Model Checking Software. (126-145).

    https://doi.org/10.1007/11691617_8