Publicacións en colaboración con investigadores/as de Technical University Munich (5)

2024

  1. Efficient Normalization of Linear Temporal Logic

    Journal of the ACM, Vol. 71, Núm. 2

  2. Validity of Contextual Formulas

    Leibniz International Proceedings in Informatics, LIPIcs

2022

  1. A Simple Rewrite System for the Normalization of Linear Temporal Logic

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 208-227

2020

  1. Message from A-MOST 2020 Chairs

    Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020

2019

  1. Message from the a- Most 2019 chairs

    Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019