BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Greece
1 × Hungary
1 × Italy
1 × New Zealand
1 × Russia
1 × USA
1 × United Kingdom
2 × Canada
Collaborated with:
L.Brim P.Simecek P.Rockai P.Bauch V.Still V.Havel I.Cerná J.Chaloupka N.Benes Z.Petruchová M.Weber P.Moravec J.Havlícek J.Kriho M.Lenco J.Weiser
Talks about:
model (6) check (6) effici (4) parallel (3) ltl (3) program (2) verif (2) vin (2) multithread (1) distribut (1)

Person: Jiri Barnat

DBLP DBLP: Barnat:Jiri

Contributed to:

SEFM 20152015
PDP 20142014
CAV 20132013
CBSE 20132013
SEFM 20122012
SEFM 20102010
ASE 20092009
TACAS 20082008
CAV 20072007
CAV 20062006
ASE 20032003

Wrote 11 papers:

SEFM-2015-RockaiSB #c #c++ #model checking
Techniques for Memory-Efficient Model Checking of C and C++ Code (PR, VS, JB), pp. 268–282.
PDP-2014-BarnatBH #model checking #parallel #source code
Model Checking Parallel Programs with Inputs (JB, PB, VH), pp. 756–759.
CAV-2013-BarnatBHHKLRSW #c #c++ #model checking #parallel #source code #thread
DiVinE 3.0 — An Explicit-State Model Checker for Multithreaded C & C++ Programs (JB, LB, VH, JH, JK, ML, PR, VS, JW), pp. 863–868.
CBSE-2013-BarnatBCP #component #named #verification
DCCL: verification of component systems with ensembles (JB, NB, IC, ZP), pp. 43–52.
SEFM-2012-BarnatBB #requirements
Checking Sanity of Software Requirements (JB, PB, LB), pp. 48–62.
SEFM-2010-BarnatBR #parallel #partial order #reduction
Parallel Partial Order Reduction with Topological Sort Proviso (JB, LB, PR), pp. 222–231.
ASE-2009-BarnatBS #clustering #ltl #model checking
Cluster-Based I/O-Efficient LTL Model Checking (JB, LB, PS), pp. 635–639.
TACAS-2008-BarnatBSW #ltl #model checking
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking (JB, LB, PS, MW), pp. 48–62.
CAV-2007-BarnatBS #detection #performance
I/O Efficient Accepting Cycle Detection (JB, LB, PS), pp. 281–293.
CAV-2006-BarnatBCMRS #distributed #named #verification
DiVinE — A Tool for Distributed Verification (JB, LB, IC, PM, PR, PS), pp. 278–281.
ASE-2003-BarnatBC #ltl #model checking #parallel
Parallel Breadth-First Search LTL Model-Checking (JB, LB, JC), pp. 106–115.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.