Zobrazeno 1 - 10
of 31
pro vyhledávání: '"Decker, Normann"'
We correct our proof of a theorem stating that satisfiability of frequency linear-time temporal logic is undecidable [TASE 2012].
Externí odkaz:
http://arxiv.org/abs/2010.00296
Autor:
Decker, Normann, Pirogov, Anton
This paper presents an approximation approach to verifying counter systems with respect to properties formulated in an expressive counting extension of linear temporal logic. It can express, e.g., that the number of acknowledgements never exceeds the
Externí odkaz:
http://arxiv.org/abs/1901.05692
We study several extensions of linear-time and computation-tree temporal logics with quantifiers that allow for counting how often certain properties hold. For most of these extensions, the model-checking problem is undecidable, but we show that deci
Externí odkaz:
http://arxiv.org/abs/1706.08608
Autor:
Decker, Normann, Thoma, Daniel
This paper is concerned with Freeze LTL, a temporal logic on data words with registers. In a (multi-attributed) data word each position carries a letter from a finite alphabet and assigns a data value to a fixed, finite set of attributes. The satisfi
Externí odkaz:
http://arxiv.org/abs/1504.06355
We study temporal logics and automata on multi-attributed data words. Recently, BD-LTL was introduced as a temporal logic on data words extending LTL by navigation along positions of single data values. As allowing for navigation wrt. tuples of data
Externí odkaz:
http://arxiv.org/abs/1404.6064
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
FäHnrich, Anke, Krebbel, Moritz, Decker, Normann, Leucker, Martin, Lange, Felix, Kalies, Kathrin, MÜller, Steffen
Figure S1. Component diagram shows the software architecture of ClonoPlot. (PDF 22 kb)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1bd356e746805f077e84382724fd5da4
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Decker, Normann
Inherently unreliable or fault-tolerant systems demand for a specification formalism that allows the user to express a required ratio of certain observations. Such a requirement can be, e.g. that deadlines in a real-time system must be met in at leas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f59514ba36617d4cecf5e744d904fd86