×

zbMATH — the first resource for mathematics

Brim, Luboš

Compute Distance To:
Author ID: brim.lubos Recent zbMATH articles by "Brim, Luboš"
Published as: Brim, Luboš; Brim, L.; Brim, Lubos; Brim, Luboş
Documents Indexed: 46 Publications since 1996, including 5 Books
Reviewing Activity: 64 Reviews

Publications by Year

Citations contained in zbMATH Open

28 Publications have been cited 86 times in 68 Documents Cited by Year
Faster algorithms for mean-payoff games. Zbl 1213.68430
Brim, L.; Chaloupka, J.; Doyen, L.; Gentilini, R.; Raskin, J. F.
28
2011
Distributed LTL model-checking in SPIN. Zbl 0985.68519
Barnat, Jiri; Brim, Lubos; Stříbrná, Jitka
7
2001
Accepting predecessors are better than back edges in distributed LTL model-checking. Zbl 1117.68422
Brim, Luboš; Černá, Ivana; Moravec, Pavel; Šimša, Jiří
5
2004
Precise parameter synthesis for stochastic biochemical systems. Zbl 1373.92038
Češka, Milan; Dannenberg, Frits; Paoletti, Nicola; Kwiatkowska, Marta; Brim, Luboš
4
2017
Using strategy improvement to stay alive. Zbl 1246.91024
Brim, Luboş; Chaloupka, Jakub
3
2012
STL*: extending signal temporal logic with signal-value freezing operator. Zbl 1311.68085
Brim, L.; Dluhoš, P.; Šafránek, D.; Vejpustek, T.
3
2014
Parallel model checking large-scale genetic regulatory networks with DiVinE. Zbl 1279.68194
Barnat, J.; Brim, L.; Černá, I.; Dražan, S.; Šafránek, D.
3
2008
Revisiting resistance speeds up I/O-efficient LTL model checking. Zbl 1134.68397
Barnat, J.; Brim, L.; Šimeček, P.; Weber, M.
3
2008
Using assumptions to distribute CTL model checking. Zbl 1270.68381
Brim, Luboš; Crhová, Jitka; Yorav, Karen
3
2002
High-performance discrete bifurcation analysis for piecewise-affine dynamical systems. Zbl 1412.92115
Brim, Luboš; Demko, Martin; Pastva, Samuel; Šafránek, David
3
2015
Compact representation of photosynthesis dynamics by rule-based models. Zbl 1352.92095
Brim, L.; Nižnan, J.; Šafránek, D.
2
2015
A process algebra for synchronous concurrent constraint programming. Zbl 1355.68191
Brim, Luboš; Jacquet, Jean-Marie; Gilbert, David; Křetínský, Mojmír
2
1996
Faster algorithm for mean-payoff games. Zbl 1247.91007
Chaloupka, Jakub; Brim, Luboš
2
2009
Partial order reduction for state/event LTL. Zbl 1211.68244
Beneš, Nikola; Brim, Lubos; Černá, Ivana; Sochor, Jiri; Vařeková, Pavlina; Zimmerova, Barbora
2
2009
Distributed partial order reduction of state spaces. Zbl 1272.68232
Brim, L.; Černá, I.; Moravec, P.; Šimša, J.
2
2005
Distributed LTL model checking based on negative cycle detection. Zbl 1052.68631
Brim, Luboš; Černá, Ivana; Krčál, Pavel; Pelánek, Radek
2
2001
Cluster-based LTL model checking of large systems. Zbl 1196.68124
Barnat, Jiří; Brim, Luboš; Černá, Ivana
1
2006
Analysing sanity of requirements for avionics systems. Zbl 1335.68131
Barnat, Jiří; Bauch, Petr; Beneš, Nikola; Brim, Luboš; Beran, Jan; Kratochvíla, Tomáš
1
2016
Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks. Zbl 1381.68140
Abate, Alessandro; Brim, Luboš; Češka, Milan; Kwiatkowska, Marta
1
2015
Formal biochemical space with semantics in Kappa and BNGL. Zbl 1401.92076
Děd, T.; Šafránek, D.; Troják, M.; Klement, M.; Šalagovič, J.; Brim, L.
1
2016
Facetal abstraction for non-linear dynamical systems based on \(\delta\)-decidable SMT. Zbl 07120145
Beneš, Nikola; Brim, Luboš; Dražanová, Jana; Pastva, Samuel; Šafránek, David
1
2019
A model checking approach to discrete bifurcation analysis. Zbl 1427.68159
Beneš, Nikola; Brim, Luboš; Demko, Martin; Pastva, Samuel; Šafránek, David
1
2016
Detecting attractors in biological models with uncertain parameters. Zbl 1416.92068
Barnat, Jiří; Beneš, Nikola; Brim, Luboš; Demko, Martin; Hajnal, Matej; Pastva, Samuel; Šafránek, David
1
2017
Modelling multi-agent systems as synchronous concurrent constraint processes. Zbl 1076.68043
Brim, Luboš; Křetínský, Mojmír; Jacquet, Jean-Marie; Gilbert, David
1
2002
Flash memory efficient LTL model checking. Zbl 1213.68372
Edelkamp, S.; Sulewski, D.; Barnat, J.; Brim, L.; Šimeček, P.
1
2011
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties. Zbl 1264.68052
Barnat, Jiří; Brim, Luboš; Ročkai, Petr
1
2012
Model checking of biological systems. Zbl 1380.92024
Brim, Luboš; Češka, Milan; Šafránek, David
1
2013
Using assumptions to distribute alternation free {\(\mu\)}-calculus model checking. Zbl 1271.68134
Brim, Luboš; Žídková, Jitka
1
2003
Facetal abstraction for non-linear dynamical systems based on \(\delta\)-decidable SMT. Zbl 07120145
Beneš, Nikola; Brim, Luboš; Dražanová, Jana; Pastva, Samuel; Šafránek, David
1
2019
Precise parameter synthesis for stochastic biochemical systems. Zbl 1373.92038
Češka, Milan; Dannenberg, Frits; Paoletti, Nicola; Kwiatkowska, Marta; Brim, Luboš
4
2017
Detecting attractors in biological models with uncertain parameters. Zbl 1416.92068
Barnat, Jiří; Beneš, Nikola; Brim, Luboš; Demko, Martin; Hajnal, Matej; Pastva, Samuel; Šafránek, David
1
2017
Analysing sanity of requirements for avionics systems. Zbl 1335.68131
Barnat, Jiří; Bauch, Petr; Beneš, Nikola; Brim, Luboš; Beran, Jan; Kratochvíla, Tomáš
1
2016
Formal biochemical space with semantics in Kappa and BNGL. Zbl 1401.92076
Děd, T.; Šafránek, D.; Troják, M.; Klement, M.; Šalagovič, J.; Brim, L.
1
2016
A model checking approach to discrete bifurcation analysis. Zbl 1427.68159
Beneš, Nikola; Brim, Luboš; Demko, Martin; Pastva, Samuel; Šafránek, David
1
2016
High-performance discrete bifurcation analysis for piecewise-affine dynamical systems. Zbl 1412.92115
Brim, Luboš; Demko, Martin; Pastva, Samuel; Šafránek, David
3
2015
Compact representation of photosynthesis dynamics by rule-based models. Zbl 1352.92095
Brim, L.; Nižnan, J.; Šafránek, D.
2
2015
Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks. Zbl 1381.68140
Abate, Alessandro; Brim, Luboš; Češka, Milan; Kwiatkowska, Marta
1
2015
STL*: extending signal temporal logic with signal-value freezing operator. Zbl 1311.68085
Brim, L.; Dluhoš, P.; Šafránek, D.; Vejpustek, T.
3
2014
Model checking of biological systems. Zbl 1380.92024
Brim, Luboš; Češka, Milan; Šafránek, David
1
2013
Using strategy improvement to stay alive. Zbl 1246.91024
Brim, Luboş; Chaloupka, Jakub
3
2012
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties. Zbl 1264.68052
Barnat, Jiří; Brim, Luboš; Ročkai, Petr
1
2012
Faster algorithms for mean-payoff games. Zbl 1213.68430
Brim, L.; Chaloupka, J.; Doyen, L.; Gentilini, R.; Raskin, J. F.
28
2011
Flash memory efficient LTL model checking. Zbl 1213.68372
Edelkamp, S.; Sulewski, D.; Barnat, J.; Brim, L.; Šimeček, P.
1
2011
Faster algorithm for mean-payoff games. Zbl 1247.91007
Chaloupka, Jakub; Brim, Luboš
2
2009
Partial order reduction for state/event LTL. Zbl 1211.68244
Beneš, Nikola; Brim, Lubos; Černá, Ivana; Sochor, Jiri; Vařeková, Pavlina; Zimmerova, Barbora
2
2009
Parallel model checking large-scale genetic regulatory networks with DiVinE. Zbl 1279.68194
Barnat, J.; Brim, L.; Černá, I.; Dražan, S.; Šafránek, D.
3
2008
Revisiting resistance speeds up I/O-efficient LTL model checking. Zbl 1134.68397
Barnat, J.; Brim, L.; Šimeček, P.; Weber, M.
3
2008
Cluster-based LTL model checking of large systems. Zbl 1196.68124
Barnat, Jiří; Brim, Luboš; Černá, Ivana
1
2006
Distributed partial order reduction of state spaces. Zbl 1272.68232
Brim, L.; Černá, I.; Moravec, P.; Šimša, J.
2
2005
Accepting predecessors are better than back edges in distributed LTL model-checking. Zbl 1117.68422
Brim, Luboš; Černá, Ivana; Moravec, Pavel; Šimša, Jiří
5
2004
Using assumptions to distribute alternation free {\(\mu\)}-calculus model checking. Zbl 1271.68134
Brim, Luboš; Žídková, Jitka
1
2003
Using assumptions to distribute CTL model checking. Zbl 1270.68381
Brim, Luboš; Crhová, Jitka; Yorav, Karen
3
2002
Modelling multi-agent systems as synchronous concurrent constraint processes. Zbl 1076.68043
Brim, Luboš; Křetínský, Mojmír; Jacquet, Jean-Marie; Gilbert, David
1
2002
Distributed LTL model-checking in SPIN. Zbl 0985.68519
Barnat, Jiri; Brim, Lubos; Stříbrná, Jitka
7
2001
Distributed LTL model checking based on negative cycle detection. Zbl 1052.68631
Brim, Luboš; Černá, Ivana; Krčál, Pavel; Pelánek, Radek
2
2001
A process algebra for synchronous concurrent constraint programming. Zbl 1355.68191
Brim, Luboš; Jacquet, Jean-Marie; Gilbert, David; Křetínský, Mojmír
2
1996
all top 5

Cited by 149 Authors

14 Brim, Luboš
10 Chatterjee, Krishnendu
6 Raskin, Jean-François
6 Šafránek, David
5 Barnat, Jiří
4 Černá, Ivana
4 Comin, Carlo
4 Doyen, Laurent
4 Junges, Sebastian
4 Katoen, Joost-Pieter
4 Randour, Mickael
4 Rizzi, Romeo
3 Beneš, Nikola
3 Češka, Milan
3 Edelkamp, Stefan
3 Pérez, Guillermo A.
3 Rauch Henzinger, Monika
2 Bouyer, Patricia
2 Chaloupka, Jakub
2 de Jong, Hidde
2 Dumas, Estelle
2 Gentilini, Raffaella
2 Grosu, Radu
2 Henzinger, Thomas A.
2 Hunter, Paul
2 Jobstmann, Barbara
2 Krinninger, Sebastian
2 Markey, Nicolas
2 Mateescu, Radu
2 Monteiro, Pedro T.
2 Nanongkai, Danupon
2 Pastva, Samuel
2 Šalagovič, Jakub
2 Sulewski, Damian
2 Troják, Matej
2 Velner, Yaron
2 Zimmermann, Martín G.
1 Aljazzar, Husain
1 Ban, Shao-Huan
1 Barringer, Howard
1 Bartocci, Ezio
1 Bendík, Jaroslav
1 Bloem, Roderick
1 Blom, Stefan
1 Bošnački, Dragan
1 Braberman, Víctor
1 Brihaye, Thomas
1 Bruyère, Véronique
1 Cairo, Massimo
1 Calder, Muffy
1 Červený, Jan
1 Cleaveland, Rance
1 Crhová, Jitka
1 Cubuktepe, Murat
1 Dannenberg, Frits
1 Děd, T.
1 Deepak, Maram Sai Krishna
1 Deshmukh, Jyotirmoy V.
1 Dobrikov, Ivaylo
1 Dražan, S.
1 Ezekiel, Jonathan
1 Fabriková, J.
1 Fehnker, Ansgar
1 Fenton, Flavio H.
1 Filiot, Emmanuel
1 Geeraerts, Gilles
1 Ghorui, Debasish
1 Gilbert, David
1 Gupta, Abhijit Kar
1 Gupta, Anshul
1 Guzmán, Michell
1 Haar, Stefan
1 Haddad, Axel
1 Hagihara, Shigeki
1 Hajnal, Matej
1 Han, Yingjie
1 Heintz, Fredrik
1 Hensel, Christian
1 Hillston, Jane
1 Hofman, Piotr
1 Holzmann, Gerard J.
1 Ibsen-Jensen, Rasmus
1 Inggs, Cornelia P.
1 Islam, Md. Ariful
1 Jabbar, Shahid
1 Jakšić, Stefan
1 Jansen, Nils
1 Jensen, Kurt
1 Jones, Paul L.
1 Klement, M.
1 Kößler, Alexander
1 Kristensen, Lars Michael
1 Kwiatkowska, Marta Z.
1 Lafortune, Stéphane
1 Larsen, Kim Guldstrand
1 Laursen, Simon
1 Letychevs’kyĭ, Oleksandr Adol’fovych
1 Leuschel, Michael
1 Lüttgen, Gerald
1 Mailund, Thomas
...and 49 more Authors

Citations by Year