关注
Luboš Brim
Luboš Brim
Masaryk university, Faculty of Informatics
在 fi.muni.cz 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Distributed LTL model-checking in SPIN
J Barnat, L Brim, J Stříbrná
International SPIN Workshop on Model Checking of Software, 200-216, 2001
1792001
DiVinE 3.0–an explicit-state model checker for multithreaded C & C++ programs
J Barnat, L Brim, V Havel, J Havlíček, J Kriho, M Lenčo, P Ročkai, V Štill, ...
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
1772013
DiVinE – A Tool for Distributed Verification: (Tool Paper)
J Barnat, L Brim, I Černá, P Moravec, P Ročkai, P Šimeček
International Conference on Computer Aided Verification, 278-281, 2006
1702006
Faster algorithms for mean-payoff games
L Brim, J Chaloupka, L Doyen, R Gentilini, JF Raskin
Formal methods in system design 38, 97-118, 2011
1622011
Computing strongly connected components in parallel on CUDA
J Barnat, P Bauch, L Brim, M Ceška
2011 IEEE International Parallel & Distributed Processing Symposium, 544-555, 2011
1342011
Divine: Parallel distributed model checker
J Barnat, L Brim, M Češka, P Ročkai
2010 ninth international workshop on parallel and distributed methods in …, 2010
1222010
Precise parameter synthesis for stochastic biochemical systems
M Češka, F Dannenberg, N Paoletti, M Kwiatkowska, L Brim
Acta Informatica 54, 589-623, 2017
1192017
Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking
L Brim, I Černá, P Moravec, J Šimša
Brno: Faculty of Informatics, 2004
1192004
Component-interaction automata as a verification-oriented component-based system specification
L Brim, I Černá, P Vařeková, B Zimmerova
ACM SIGSOFT Software Engineering Notes 31 (2), 4-es, 2005
1112005
Scalable multi-core LTL model-checking
J Barnat, L Brim, P Ročkai
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany …, 2007
1022007
Parallel breadth-first search LTL model-checking
J Barnat, L Brim, J Chaloupka
18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003
1022003
Distributed LTL Model-Checking Based on Negative Cycle Detection
L Brim, I Černá, P Krčál, R Pelánek
FST-TCS 2001, 96-110, 2001
982001
On parameter synthesis by parallel model checking
A Streck, A Krejci, L Brim, J Barnat, D Safranek, M Vejnar, T Vejpustek
IEEE/ACM Transactions on Computational Biology and Bioinformatics 9 (03 …, 2012
76*2012
Exploring parameter space of stochastic biochemical systems using quantitative model checking
L Brim, M Češka, S Dražan, D Šafránek
International Conference on Computer Aided Verification, 107-123, 2013
622013
Designing fast LTL model checking algorithms for many-core GPUs
J Barnat, P Bauch, L Brim, M Češka
Journal of Parallel and Distributed Computing 72 (9), 1083-1097, 2012
612012
CUDA accelerated LTL model checking
J Barnat, L Brim, M Ceška, T Lamr
2009 15th International Conference on Parallel and Distributed Systems, 34-41, 2009
592009
Property driven distribution of nested DFS
J Barnat, L Brim, I Cerna
Proceeding of the 3rd International Workshop on Verification and …, 2002
572002
Efficient large-scale model checking
K Verstoep, HE Bal, J Barnat, L Brim
2009 IEEE International Symposium on Parallel & Distributed Processing, 1-12, 2009
562009
STL*: Extending signal temporal logic with signal-value freezing operator
L Brim, P Dluhoš, D Šafránek, T Vejpustek
Information and Computation, 2014
552014
Model checking of biological systems
L Brim, M Češka, D Šafránek
International School on Formal Methods for the Design of Computer …, 2013
542013
系统目前无法执行此操作,请稍后再试。
文章 1–20