Organizace U  S Kód
hodnocení
Skupina
oborů
Body
výsledku
Body
upravené
Podíl VOBody VOBody VO
upravené
H14
Masarykova univerzita / Fakulta informatiky1213 Jimp 420.83318.920120.83318.920
Výsledky hodnocení dříve prezentovala speciální podoba stránek výskytů výsledků doplněná informacemi o hodnocení daného výskytu a výsledku. To zde supluji doplněním kopií stránek z rvvi.cz/riv z 18.12.2017 o relevantní údaje z dat H16. Najetí myší na kód či skupinu zobrazí vysvětlující text (u některých vyřazených není k dispozici). Čísla jsou oproti zdroji zaokrouhlena na 3 desetinná místa.

Almost linear Büchi automata (2012)výskyt výsledku

Identifikační kódRIV/00216224:14330/12:00057181
Název v anglickém jazyceAlmost linear Büchi automata
DruhJ - Článek v odborném periodiku
Jazykeng - angličtina
Obor - skupinaI - Informatika
OborIN - Informatika
Rok uplatnění2012
Kód důvěrnosti údajůS - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů.
Počet výskytů výsledku2
Počet tvůrců celkem3
Počet domácích tvůrců3
Výčet všech uvedených jednotlivých tvůrcůTomáš Babiak (státní příslušnost: SK - Slovenská republika, domácí tvůrce: A, vedidk: 9653023)
Jan Strejček (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3978915)
Vojtěch Řehák (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 8986371)
Popis výsledku v anglickém jazyceWe introduce a new fragment of Linear temporal logic (LTL) called LIO and a new class of Büchi automata (BA) called Almost linear Büchi automata (ALBA). We provide effective translations between LIO and ALBA showing that the two formalisms are expressively equivalent. As we expect applications of our results in model checking, we use two standard sources of specification formulae, namely Spec Patterns and BEEM, to study practical relevance of LIO fragment, and to compare our translation of LIO to ALBA with two standard translations of LTL to BA via alternating automata. Finally, we demonstrate that the LIO to ALBA translation can be much faster than the standard translation and the produced automata can be substantially smaller.
Klíčová slova oddělená středníkemLTL; linear time logic; model checking
Stránka www, na které se nachází výsledek-
DOI výsledku10.1017/S0960129511000399

Údaje o výsledku v závislosti na druhu výsledku

Název periodikaMathematical Structures in Computer Science
ISSN0960-1295
Svazek periodika22
Číslo periodika v rámci uvedeného svazku2
Stát vydavatele periodikaCZ - Česká republika
Počet stran výsledku33
Strana od-do203-235
Kód UT WoS článku podle Web of Science000300844900004
EID výsledku v databázi Scopus-

Ostatní informace o výsledku

PředkladatelMasarykova univerzita / Fakulta informatiky
DodavatelGA0 - Grantová agentura České republiky (GA ČR)
Rok sběru2013
SpecifikaceRIV/00216224:14330/12:00057181!RIV13-GA0-14330___
Datum poslední aktualizace výsledku04.09.2013
Kontrolní číslo43534933

Informace o dalších výskytech výsledku dodaného stejným předkladatelem

Dodáno MŠMT v roce 2013RIV/00216224:14330/12:00057181 v dodávce dat RIV13-MSM-14330___/02:2

Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl

Projekt podporovaný MŠMT v programu 1M1M0545 - Institut Teoretické Informatiky (2005 - 2009)
Projekt podporovaný GA ČR v programu GAGA201/09/1389 - Verifikace a analýza velmi velkých počítačových systémů (2009 - 2011)
Projekt podporovaný GA ČR v programu GAGAP202/10/1469 - Formální metody pro analýzu a verifikaci komplexních systémů (2010 - 2014)
Projekt podporovaný GA ČR v programu GDGD102/09/H042 - Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů (2009 - 2012)
Projekt podporovaný GA ČR v programu GPGP201/08/P375 - Formální verifikace: algoritmy, vlastnosti modelovacích formalismů a temporálních logik (2008 - 2010)
Projekt podporovaný GA ČR v programu GPGP201/08/P459 - Nové možnosti automatické verifikace síťových protokolů (2008 - 2010)
Výzkumný záměr podporovaný MŠMTMSM0021622419 - Vysoce paralelní a distribuované výpočetní systémy (2005 - 2011)
Podpora / návaznostiSpecifický výzkum na vysokých školách, poskytovatel MŠMT