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: Brim:Lubos
Contributed to:
20152013
2013
20122010
2009
20092011
2008200720062003
1996
19952017Wrote 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.