Author of the publication

An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data.

, , and . NFM, volume 10227 of Lecture Notes in Computer Science, page 1-18. (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Game-Theoretic Approach to Simulation of Data-Parameterized Systems., , and . ATVA, volume 8837 of Lecture Notes in Computer Science, page 348-363. Springer, (2014)Assume, Guarantee or Repair - A Regular Framework for Non Regular Properties (full version)., , , and . CoRR, (2022)On the Capacity of Capacitated Automata., and . LATA, volume 9618 of Lecture Notes in Computer Science, page 307-319. Springer, (2016)Finite-Word Hyperlanguages., and . LATA, volume 12638 of Lecture Notes in Computer Science, page 173-186. Springer, (2021)Model Checking Systems and Specifications with Parameterized Atomic Propositions., , and . ATVA, volume 7561 of Lecture Notes in Computer Science, page 122-136. Springer, (2012)Assume, guarantee or repair: a regular framework for non regular properties., , , and . Int. J. Softw. Tools Technol. Transf., 24 (5): 667-689 (2022)Capacitated automata and systems., and . Inf. Comput., (2019)Variable Automata over Infinite Alphabets., , and . LATA, volume 6031 of Lecture Notes in Computer Science, page 561-572. Springer, (2010)An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications., , and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 397-411. Springer, (2013)Finite-Word Hyperlanguages., and . CoRR, (2022)