Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Lubos Brim
2010 – today
- 2013
[j30]S. Van Goethem, Jean-Marie Jacquet, Lubos Brim, David Safránek: Timed Modelling of Gene Networks with Arbitrarily Precise Expression Discretization. Electr. Notes Theor. Comput. Sci. 293: 67-81 (2013)- [c53]Lubos Brim, Vilém Ded, David Safránek: Qualitative modelling and analysis of Photosystem II. BioPPN@Petri Nets 2013: 17-29
- [c52]Lubos Brim, Milan Ceska, Sven Drazan, David Safránek: Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking. CAV 2013: 107-123
- [c51]Jiri Barnat, Lubos Brim, Vojtech Havel, Jan Havlícek, Jan Kriho, Milan Lenco, Petr Rockai, Vladimír Still, Jirí Weiser: DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs. CAV 2013: 863-868
- [c50]Petr Rockai, Jiri Barnat, Lubos Brim: Improved State Space Reductions for LTL Model Checking of C and C++ Programs. NASA Formal Methods 2013: 1-15
- [c49]
- [i2]Lubos Brim, Tomas Vejpustek, David Safránek, Jana Fabriková: Robustness Analysis for Value-Freezing Signal Temporal Logic. CoRR abs/1309.0867 (2013)
- 2012
- [j29]Lubos Brim, Jakub Chaloupka: Using Strategy Improvement to Stay Alive. Int. J. Found. Comput. Sci. 23(3): 585-608 (2012)
- [j28]Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Designing fast LTL model checking algorithms for many-core GPUs. J. Parallel Distrib. Comput. 72(9): 1083-1097 (2012)
- [j27]Jiri Barnat, Lubos Brim, Petr Rockai: On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties. Sci. Comput. Program. 77(12): 1272-1288 (2012)
- [j26]Jiri Barnat, Lubos Brim, Adam Krejci, Adam Streck, David Safránek, Martin Vejnar, Tomas Vejpustek: On Parameter Synthesis by Parallel Model Checking. IEEE/ACM Trans. Comput. Biology Bioinform. 9(3): 693-705 (2012)
- [j25]Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek: On Approximative Reachability Analysis of Biochemical Dynamical Systems. T. Comp. Sys. Biology 14: 77-101 (2012)
- [c48]Jiri Barnat, Jan Beran, Lubos Brim, Tomas Kratochvila, Petr Rockai: Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs. FMICS 2012: 78-92
- [c47]Jiri Barnat, Lubos Brim, Petr Rockai: Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs. NASA Formal Methods 2012: 252-266
- [c46]
- [c45]Jiri Barnat, Lubos Brim, Jan Beran, Tomas Kratochvila, Italo R. Oliveira: Executing Model Checking Counterexamples in Simulink. TASE 2012: 245-248
- [c44]Petr Dluhos, Lubos Brim, David Safránek: On Expressing and Monitoring Oscillatory Dynamics. HSB 2012: 73-87
- 2011
- [j24]David Safránek, Jan Cervený, Matej Klement, Jana Pospísilová, Lubos Brim, Dusan Lazar, Ladislav Nedbal: E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes. Biosystems 103(2): 115-124 (2011)
- [j23]Lubos Brim, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin: Faster algorithms for mean-payoff games. Formal Methods in System Design 38(2): 97-118 (2011)
- [j22]Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek: Flash memory efficient LTL model checking. Sci. Comput. Program. 76(2): 136-157 (2011)
- [j21]Nikola Benes, Lubos Brim, Barbora Buhnova, Ivana Cerná, Jiri Sochor, Pavlína Vareková: Partial order reduction for state/event LTL with application to component-interaction automata. Sci. Comput. Program. 76(10): 877-890 (2011)
- [c43]Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Computing Strongly Connected Components in Parallel on CUDA. IPDPS 2011: 544-555
- [c42]Lubos Brim, Jiri Barnat: Platform Dependent Verification: On Engineering Verification Tools for 21st Century. PDMC 2011: 1-12
- [c41]Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Computing Optimal Cycle Mean in Parallel on CUDA. PDMC 2011: 68-83
- [c40]Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek: Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract). CompMod 2011: 97-112
- [i1]Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek: Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation. CoRR abs/1107.5924 (2011)
- 2010
- [j20]Jiri Barnat, Lubos Brim, David Safránek: High-performance analysis of biological systems dynamics with the DiVinE model checker. Briefings in Bioinformatics 11(3): 301-312 (2010)
- [j19]Jiri Barnat, Lubos Brim, Petr Rockai: Scalable shared memory LTL model checking. STTT 12(2): 139-153 (2010)
- [c39]Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Employing Multiple CUDA Devices to Accelerate LTL Model Checking. ICPADS 2010: 259-266
- [c38]Jiri Barnat, Lubos Brim, Petr Rockai: Parallel Partial Order Reduction with Topological Sort Proviso. SEFM 2010: 222-231
- [c37]
2000 – 2009
- 2009
- [j18]Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, David Safránek: On algorithmic analysis of transcriptional regulation by LTL model checking. Theor. Comput. Sci. 410(33-34): 3128-3148 (2009)
- [c36]Jiri Barnat, Lubos Brim, Petr Rockai: A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties. ICFEM 2009: 407-425
- [c35]Jiri Barnat, Lubos Brim, Milan Ceska, Tomas Lamr: CUDA Accelerated LTL Model Checking. ICPADS 2009: 34-41
- [c34]Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova: Partial Order Reduction for State/Event LTL. IFM 2009: 307-321
- [c33]Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim: Efficient large-scale model checking. IPDPS 2009: 1-12
- [c32]Jiri Barnat, Lubos Brim, Pavel Simecek: Cluster-Based I/O-Efficient LTL Model Checking. ASE 2009: 635-639
- [c31]
- [c30]Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, Jan Láník, David Safránek, Hongwu Ma: BioDiVinE: A Framework for Parallel Analysis of Biological Models. COMPMOD 2009: 31-45
- [c29]Jiri Barnat, Lubos Brim, Milan Ceska: DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking. PDMC 2009: 107-111
- [e4]Lubos Brim, Jaco van de Pol (Eds.): Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation. EPTCS 14, 2009
- 2008
- [j17]Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, David Safránek: Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. Electr. Notes Theor. Comput. Sci. 194(3): 35-50 (2008)
- [c28]Jiri Barnat, Lubos Brim, Petr Rockai: DiVinE Multi-Core - A Parallel LTL Model-Checker. ATVA 2008: 234-239
- [c27]Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: Local Quantitative LTL Model Checking. FMICS 2008: 53-68
- [c26]Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek: Can Flash Memory Help in Model Checking? FMICS 2008: 150-165
- [c25]Jiri Barnat, Lubos Brim: Squeeze All the Power Out of Your Hardware to Verify Your Software!. ISoLA 2008: 604-618
- [c24]Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. QEST 2008: 77-78
- [c23]Jiri Barnat, Lubos Brim, Pavel Simecek, M. Weber: Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. TACAS 2008: 48-62
- 2007
- [c22]
- [c21]Barbora Zimmerova, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor: Component-Interaction Automata Approach (CoIn). CoCoME 2007: 146-176
- [c20]Jiri Barnat, Lubos Brim, Martin Leucker: Parallel Model Checking and the FMICS-jETI Platform. ICECCS 2007: 330-339
- [c19]Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: ProbDiVinE: A Parallel Qualitative LTL Model Checker. QEST 2007: 215-216
- [c18]Lubos Brim, Mojmír Kretínský: Model-Checking Large Finite-State Systems and Beyond. SOFSEM (1) 2007: 9-28
- [c17]
- [c16]
- [e3]Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol (Eds.): Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4346, Springer 2007, ISBN 978-3-540-70951-0
- 2006
- [j16]Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. Electr. Notes Theor. Comput. Sci. 135(2): 3-18 (2006)
- [j15]
- [j14]
- [j13]Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerova: Component-interaction automata as a verification-oriented component-based system specification. ACM SIGSOFT Software Engineering Notes 31(2) (2006)
- [c15]Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek: DiVinE - A Tool for Distributed Verification. CAV 2006: 278-281
- [c14]Lubos Brim: Distributed Verification: Exploring the Power of Raw Computing Power. FMICS/PDMC 2006: 23-34
- [c13]Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: On Combining Partial Order Reduction with Fairness Assumptions. FMICS/PDMC 2006: 84-99
- 2005
- [j12]
- [j11]Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: Distributed Partial Order Reduction of State Spaces. Electr. Notes Theor. Comput. Sci. 128(3): 63-74 (2005)
- [j10]Jiri Barnat, Lubos Brim, Jakub Chaloupka: From Distributed Memory Cycle Detection to Parallel LTL Model Checking. Electr. Notes Theor. Comput. Sci. 133: 21-39 (2005)
- [j9]
- [j8]Lubos Brim, Karen Yorav, Jitka Zidkova: Assumption-based distribution of CTL model checking. STTT 7(1): 61-73 (2005)
- [c12]Jiri Barnat, Lubos Brim, Ivana Cerná: Cluster-Based LTL Model Checking of Large Systems. FMCO 2005: 259-279
- 2004
- [c11]Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. FMCAD 2004: 352-366
- 2003
- [j7]Jean-Marie Jacquet, Lubos Brim, David Gilbert, Mojmír Kretínský: Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming. Electr. Notes Theor. Comput. Sci. 68(3): 347-370 (2003)
- [j6]Lubos Brim, Jiri Barnat: Distribution of Explicit-State LTL Model-Checking. Electr. Notes Theor. Comput. Sci. 80: 273-278 (2003)
- [j5]
- [j4]Lubos Brim, Jitka Zidkova: Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking. Electr. Notes Theor. Comput. Sci. 89(1): 17-32 (2003)
- [c10]Jiri Barnat, Lubos Brim, Jakub Chaloupka: Parallel Breadth-First Search LTL Model-Checking. ASE 2003: 106-115
- [c9]Lubos Brim, Ivana Cerná, Lukás Hejtmánek: Distributed Negative Cycle Detection Algorithms. PARCO 2003: 297-304
- 2002
- [j3]Lubos Brim, Mojmír Kretínský, Jean-Marie Jacquet, David Gilbert: Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes. Computers and Artificial Intelligence 21(6) (2002)
- [j2]
- [j1]Lubos Brim, Jitka Crhova, Karen Yorav: Using Assumptions to Distribute CTL Model Checking. Electr. Notes Theor. Comput. Sci. 68(4): 559-574 (2002)
- [e2]Lubos Brim, Petr Jancar, Mojmír Kretínský, Antonín Kucera (Eds.): CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings. Lecture Notes in Computer Science 2421, Springer 2002, ISBN 3-540-44043-7
- 2001
- [c8]Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek: Distributed LTL Model Checking Based on Negative Cycle Detection. FSTTCS 2001: 96-107
- [c7]Lubos Brim, Ivana Cerná, Martin Necesal: Randomization Helps in LTL Model Checking. PAPM-PROBMIV 2001: 105-119
- [c6]Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek: How to Employ Reverse Search in Distributed Single Source Shortest Paths. SOFSEM 2001: 191-200
- [c5]Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský: Multi-agent Systems as Concurrent Constraint Processes. SOFSEM 2001: 201-210
- [c4]
1990 – 1999
- 1998
- [e1]Lubos Brim, Jozef Gruska, Jirí Zlatuska (Eds.): Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings. Lecture Notes in Computer Science 1450, Springer 1998, ISBN 3-540-64827-5
- 1996
- [c3]Lubos Brim, Jean-Marie Jacquet, David Gilbert, Mojmír Kretínský: A Process Algebra for Synchronous Concurrent Constraint Programming. ALP 1996: 165-178
- 1995
- [c2]Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský: Synchronisation in Scc. ILPS 1995: 641
- 1992
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17 21:25 CEST by the dblp team