Jǐŕı Barnat - Publications, H-index & Citations

Jǐŕı Barnat

masaryk university brno

25H指数

135论文数

1.9K被引数

收录论文 7

发表时间

DiVM: Model checking with LLVM and graph memory

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2018-09-01

OAAI

Rockai, Petr; Still, Vladimir; Cerna, Ivana; Barnat, Jiri

Control Explicit-Data Symbolic Model Checking

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2016-04-06

PREAI

Bauch, Petr; Havel, Vojtech; Barnat, Jiri

Formal analysis of piecewise affine systems through formula-guided refinement

AUTOMATICA

IF5.9

2013-01-01

PREAI

Yordanov, Boyan; Tumova, Jana; Cerna, Ivana; Barnat, Jiri; Belta, Calin

Designing fast LTL model checking algorithms for many-core GPUs

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING

IF4

2012-09-01

PREAI

Barnat, Jiri; Bauch, Petr; Brim, Lubos; Ceska, Milan

Temporal Logic Control of Discrete-Time Piecewise Affine Systems 离散分段仿射系统的时序逻辑控制

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2012-06-01

101

PREAI

Yordanov, Boyan; Tumova, Jana; Cerna, Ivana; Barnat, Jiri; Belta, Calin

On Parameter Synthesis by Parallel Model Checking

IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS

IF3.4

2012-05-01

PREAI

Barnat, Jiri; Brim, Lubos; Krejci, Adam; Streck, Adam; Safranek, David; Vejnar, Martin; Vejpustek, Tomas

High-performance analysis of biological systems dynamics with the DiVinE model checker

BRIEFINGS IN BIOINFORMATICS

IF7.7

2010-04-28

OAAI

Barnat, Jiri; Brim, Lubos; Safranek, Dravid

研究方向