Solving Parity Games and Mu-Calculi

Search results

  • 2013

    Enforcing QVT-R with mu-calculus and games

    Bradfield, J. & Stevens, P., 2013, Fundamental Approaches to Software Engineering: 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Cortellessa, V. & Varró, D. (eds.). Springer-Verlag GmbH, Vol. 7793. p. 282-296 15 p. (Lecture Notes in Computer Science; vol. 7793).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2012

    Ordinal Analysis and the Infinite Ramsey Theorem

    Afshari, B. & Rathjen, M., 2012, How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings. Cooper, S. B., Dawar, A. & Löwe, B. (eds.). Springer-Verlag GmbH, p. 1-10 10 p. (Lecture Notes in Computer Science; vol. 7318).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus

    Bradfield, J. & Stevens, P., 2012, Fundamental Approaches to Software Engineering: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. de Lara, J. & Zisman, A. (eds.). Springer-Verlag GmbH, p. 194-208 15 p. (Lecture Notes in Computer Science; vol. 7212).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • The mu-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity

    Gutierrez, J., Klaedtke, F. & Lange, M., 2012, GandALF 2012. Faella, M. & Murano, A. (eds.). Vol. 96. p. 113-126 14 p. (EPTCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity

    Gutierrez, J., Klaedtke, F. & Lange, M., 2012, Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification. p. 113-126 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2011

    Model-checking games for fixpoint logics with partial order models

    Gutierrez, J. & Bradfield, J., May 2011, In: Information and Computation. 209, 5, p. 766-781 16 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
  • Concurrent Logic Games on Partial Orders

    Gutierrez, J., 2011, Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings. Beklemishev, L. D. & Queiroz, R. (eds.). Springer-Verlag GmbH, p. 146-160 15 p. (Lecture Notes in Computer Science; vol. 6642).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2010

    A general definition of malware

    Kramer, S. & Bradfield, J., May 2010, In: Journal in Computer Virology. 6, 2, p. 105-114 10 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File