Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Vincent Penelle"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 16, Issue 1 (2020)
We prove the undecidability of MSO on $\omega$-words extended with the second-order predicate $U_1(X)$ which says that the distance between consecutive positions in a set $X \subseteq \mathbb{N}$ is unbounded. This is achieved by showing that adding
Externí odkaz:
https://doaj.org/article/b60e87abd5514f09801fab6fe043315b
Autor:
Matthew Hague, Vincent Penelle
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030002497
RP
RP
We generalise Constrained Dynamic Pushdown Networks, introduced by Bouajjani\et al, to Constrained Dynamic Tree Networks.In this model, we have trees of processes which may monitor their children.We allow the processes to be defined by any computatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9dd874ef8071210221cb369c6d7c4910
Autor:
Vincent Penelle
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319202969
CSR
CSR
Higher-order pushdown systems and ground tree rewriting systems can be seen as extensions of suffix word rewriting systems. Both classes generate infinite graphs with interesting logical properties. Indeed, the model-checking problem for monadic seco
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2bb3d324f8bb59fb0b33222a8397bb97
https://doi.org/10.1007/978-3-319-20297-6_24
https://doi.org/10.1007/978-3-319-20297-6_24
Publikováno v:
ATVA'14
ATVA'14, Nov 2014, Sydney, Australia. pp.248-263, ⟨10.1007/978-3-319-11936-6_19⟩
Automated Technology for Verification and Analysis ISBN: 9783319119359
ATVA
ATVA'14, Nov 2014, Sydney, Australia. pp.248-263, ⟨10.1007/978-3-319-11936-6_19⟩
Automated Technology for Verification and Analysis ISBN: 9783319119359
ATVA
International audience; Bounded languages have recently proved to be an important class of languages for the analysis of Turing-powerful models. For instance, bounded context-free languages are used to under-approximate the behav-iors of recursive pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4388f115aa6906c868bf46897f4599c1
https://hal.archives-ouvertes.fr/hal-01084819/file/atva.pdf
https://hal.archives-ouvertes.fr/hal-01084819/file/atva.pdf
Publikováno v:
28th Annual ACM/IEEE Symposium on Logic in Computer Science
LICS 2013
LICS 2013, Jun 2013, New Orleans, LA, United States. pp.43-52, ⟨10.1109/LICS.2013.9⟩
LICS
LICS 2013
LICS 2013, Jun 2013, New Orleans, LA, United States. pp.43-52, ⟨10.1109/LICS.2013.9⟩
LICS
10 pages; International audience; Petri nets, or equivalently vector addition systems (VAS), are widely recognized as a central model for concurrent systems. Many interesting properties are decidable for this class, such as boundedness, reachability,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::549367fc2dcb2756756bfa296d2395b6
https://hal.archives-ouvertes.fr/hal-00788744v2/document
https://hal.archives-ouvertes.fr/hal-00788744v2/document
Autor:
Penelle, Vincent
Publikováno v:
Theory of Computing Systems. Aug2017, Vol. 61 Issue 2, p536-580. 45p.
Autor:
Beklemishev, Lev
Publikováno v:
Theory of Computing Systems. Aug2017, Vol. 61 Issue 2, p462-463. 2p.
Publikováno v:
Computer Science -- Theory & Applications; 2015, pI-XX, 20p
Autor:
Penelle, Vincent
Publikováno v:
Computer Science -- Theory & Applications; 2015, p364-397, 34p
Publikováno v:
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science; 2013, p43-52, 10p