Organizace U  S Kód
hodnocení
Skupina
oborů
Body
výsledku
Body
upravené
Podíl VOBody VOBody VO
upravené
H14
Masarykova univerzita / Fakulta informatiky1516 D 441.26215.7360.85735.36813.488
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.

On Refinement of Büchi Automata for Explicit Model Checking (2015)výskyt výsledku

Identifikační kódRIV/00216224:14330/15:00080986
Název v anglickém jazyceOn Refinement of Büchi Automata for Explicit Model Checking
DruhD - Článek ve sborníku
Jazykeng - angličtina
Obor - skupinaI - Informatika
OborIN - Informatika
Rok uplatnění2015
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ů celkem4
Počet domácích tvůrců3
Výčet všech uvedených jednotlivých tvůrcůFrantišek Blahoudek (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 1425234)
Alexandre Duret-Lutz (státní příslušnost: FR - Francouzská republika)
Vojtěch Rujbr (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6148999)
Jan Strejček (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3978915)
Popis výsledku v anglickém jazyceIn explicit model checking, systems are typically described in an implicit and compact way. Some valid information about the system can be easily derived directly from this description, for example that some atomic propositions cannot be valid at the same time. The paper shows several ways to apply this information to improve the Büchi automaton built from an LTL specification. As a result, we get smaller automata with shorter edge labels that are easier to understand and, more importantly, for which the explicit model checking process performs better.
Klíčová slova oddělená středníkemlinear temporal logic; Büchi automata; explicit model checking; specification refinement
Stránka www, na které se nachází výsledek-
DOI výsledku10.1007/978-3-319-23404-5_6

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

Název sborníku2015 International SPIN Symposium on Model Checking of Software
ISBN9783319234038
ISSN0302-9743
Počet stran výsledku18
Strana od-do66-83
Název nakladateleSpringer International Publishing
Místo vydáníHeidelberg, New York, Dordrecht, London
Místo konání akceStellenbhosh, JAR
Datum konání akce2015
Typ akce podle státní příslušnosti účastníkůWRD - Celosvětová
Kód UT WoS článku podle Web of Science-

Ostatní informace o výsledku

PředkladatelMasarykova univerzita / Fakulta informatiky
DodavatelMSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT)
Rok sběru2016
SpecifikaceRIV/00216224:14330/15:00080986!RIV16-MSM-14330___
Datum poslední aktualizace výsledku24.05.2016
Kontrolní číslo191635987

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

Dodáno GA ČR v roce 2016RIV/00216224:14330/15:00080986 v dodávce dat RIV16-GA0-14330___/01:1

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

Projekt podporovaný GA ČR v programu GBGBP202/12/G061 - Centrum excelence - Institut teoretické informatiky (CE-ITI) (2012 - 2018)
Podpora / návaznostiInstitucionální podpora na rozvoj výzkumné organizace
Specifický výzkum na vysokých školách, poskytovatel MŠMT