BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Greece
1 × Hungary
1 × New Zealand
1 × Russia
2 × Italy
3 × Germany
3 × USA
Collaborated with:
J.Barnat P.Simecek M.Ceska D.Safránek P.Rockai N.Benes I.Cerná J.Jacquet D.R.Gilbert M.Kretínský P.Bauch J.Sochor P.Vareková J.Chaloupka A.Abate M.Z.Kwiatkowska S.Drazan M.Weber M.Demko S.Pastva B.Zimmerova B.Buhnova P.Moravec V.Havel J.Havlícek J.Kriho M.Lenco V.Still J.Weiser
Talks about:
model (6) check (6) ltl (5) parallel (3) partial (3) system (3) reduct (3) effici (3) state (3) order (3)

Person: Lubos Brim

DBLP DBLP: Brim:Lubos

Contributed to:

CAV 20152015
CAV 20132013
SFM 20132013
SEFM 20122012
SEFM 20102010
ASE 20092009
IFM 20092009
IFM 20092011
TACAS 20082008
CAV 20072007
CAV 20062006
ASE 20032003
ALP 19961996
ILPS 19951995
CAV (1) 20172017

Wrote 16 papers:

CAV-2015-AbateBCK #adaptation #analysis #markov #network
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks (AA, LB, MC, MZK), pp. 195–213.
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.
CAV-2013-BrimCDS #model checking #parametricity #probability #using
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking (LB, MC, SD, DS), pp. 107–123.
SFM-2013-BrimCS #biology #model checking
Model Checking of Biological Systems (LB, MC, DS), pp. 63–112.
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.
IFM-2009-BenesBCSVZ #ltl #partial order #reduction
Partial Order Reduction for State/Event LTL (NB, LB, IC, JS, PV, BZ), pp. 307–321.
IFM-J-2009-BenesBBCSV11 #automaton #component #ltl #partial order #reduction
Partial order reduction for state/event LTL with application to component-interaction automata (NB, LB, BB, IC, JS, PV), pp. 877–890.
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.
ALP-1996-BrimJGK #algebra #concurrent #constraints #process #programming
A Process Algebra for Synchronous Concurrent Constraint Programming (LB, JMJ, DRG, MK), pp. 165–178.
ILPS-1995-BrimGJK
Synchronisation in Scc (LB, DRG, JMJ, MK), p. 641.
CAV-2017-BenesBDPS #named #parallel #parametricity #synthesis
Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems (NB, LB, MD, SP, DS), pp. 591–598.

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.