Seguir
Luboš Brim
Luboš Brim
Masaryk university, Faculty of Informatics
Dirección de correo verificada de fi.muni.cz - Página principal
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20