iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.org/pid/92/3060.xml

Lubos Brim https://orcid.org/0000-0001-9393-7545 Nikola Benes Lubos Brim Ondrej Huvar Samuel Pastva David Safránek BNClassifier: Classifying Boolean Models by Dynamic Properties. 19-26 2024 CMSB https://doi.org/10.1007/978-3-031-71671-3_2 conf/cmsb/2024 db/conf/cmsb/cmsb2024.html#BenesBHPS24 streams/conf/cmsb

Nikola Benes Lubos Brim Ondrej Huvar Samuel Pastva David Safránek Boolean network sketches: a unifying framework for logical model inference. 2023 April 39 Bioinform. 4 https://doi.org/10.1093/bioinformatics/btad158 db/journals/bioinformatics/bioinformatics39.html#BenesBHPS23

Lubos Brim Samuel Pastva David Safránek Eva Smijáková Temporary and permanent control of partially specified Boolean networks. 104795 2023 January 223 Biosyst. https://doi.org/10.1016/j.biosystems.2022.104795 db/journals/biosystems/biosystems223.html#BrimPSS23

Matej Troják David Safránek Samuel Pastva Lubos Brim Rule-based modelling of biological systems using regulated rewriting. 104843 2023 March 225 Biosyst. https://doi.org/10.1016/j.biosystems.2023.104843 db/journals/biosystems/biosystems225.html#TrojakSPB23

Nikola Benes Lubos Brim Samuel Pastva David Safránek Eva Smijáková Phenotype Control of Partially Specified Boolean Networks. 18-35 2023 CMSB https://doi.org/10.1007/978-3-031-42697-1_2 conf/cmsb/2023 db/conf/cmsb/cmsb2023.html#BenesBPSS23

Nikola Benes Lubos Brim Ondrej Huvar Samuel Pastva David Safránek Eva Smijáková AEON.py: Python library for attractor analysis in asynchronous Boolean networks. 4978-4980 2022 October 38 Bioinform. 21 https://doi.org/10.1093/bioinformatics/btac624 https://www.wikidata.org/entity/Q114093383 db/journals/bioinformatics/bioinformatics38.html#BenesBHPSS22

Nikola Benes Lubos Brim Jakub Kadlecaj Samuel Pastva David Safránek Exploring attractor bifurcations in Boolean networks. 173 2022 23 BMC Bioinform. 1 https://doi.org/10.1186/s12859-022-04708-9 db/journals/bmcbi/bmcbi23.html#BenesBKPS22

Nikola Benes Lubos Brim Samuel Pastva David Safránek BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. 2022 18 Log. Methods Comput. Sci. 1 https://doi.org/10.46298/lmcs-18(1:38)2022 db/journals/lmcs/lmcs18.html#BenesBPS22

Matej Troják David Safránek Branislav Brozmann Lubos Brim eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems. 302-309 2022 CMSB https://doi.org/10.1007/978-3-031-15034-0_17 conf/cmsb/2022 db/conf/cmsb/cmsb2022.html#TrojakSBB22

Matej Troják David Safránek Lubos Brim Biochemical Space Language in Relation to Multiset Rewriting Systems. 2022 abs/2201.08817 CoRR https://arxiv.org/abs/2201.08817 db/journals/corr/corr2201.html#abs-2201-08817

Lubos Brim Samuel Pastva David Safránek Eva Smijáková Robust Control of Partially Specified Boolean Networks. 2022 abs/2202.13440 CoRR https://arxiv.org/abs/2202.13440 db/journals/corr/corr2202.html#abs-2202-13440

Nikola Benes Lubos Brim Samuel Pastva David Safránek Computing Bottom SCCs Symbolically Using Transition Guided Reduction. 505-528 2021 CAV (1) https://doi.org/10.1007/978-3-030-81685-8_24 conf/cav/2021-1 db/conf/cav/cav2021-1.html#BenesBPS21 Nikola Benes Lubos Brim Samuel Pastva David Safránek Aeon 2021: Bifurcation Decision Trees in Boolean Networks. 230-237 2021 CMSB https://doi.org/10.1007/978-3-030-85633-5_14 conf/cmsb/2021 db/conf/cmsb/cmsb2021.html#BenesBPS21 Nikola Benes Lubos Brim Samuel Pastva David Safránek Symbolic Coloured SCC Decomposition. 64-83 2021 TACAS (2) https://doi.org/10.1007/978-3-030-72013-1_4 conf/tacas/2021-2 db/conf/tacas/tacas2021-2.html#BenesBPS21

Nikola Benes Lubos Brim Samuel Pastva David Safránek BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. 2021 abs/2108.13113 CoRR https://arxiv.org/abs/2108.13113 db/journals/corr/corr2108.html#abs-2108-13113

Matej Troják Samuel Pastva David Safránek Lubos Brim Regulated Multiset Rewriting Systems. 2021 abs/2111.13036 CoRR https://arxiv.org/abs/2111.13036 db/journals/corr/corr2111.html#abs-2111-13036

Nikola Benes Lubos Brim Samuel Pastva David Safránek Digital Bifurcation Analysis of Internet Congestion Control Protocols. 2030038:1-2030038:18 2020 30 Int. J. Bifurc. Chaos 13 https://doi.org/10.1142/S0218127420300384 db/journals/ijbc/ijbc30.html#BenesBPS20

Nikola Benes Lubos Brim Samuel Pastva David Safránek Parallel parameter synthesis algorithm for hybrid CTL. 2020 185 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2019.102321 db/journals/scp/scp185.html#BenesBPS20

Nikola Benes Lubos Brim Jakub Kadlecaj Samuel Pastva David Safránek AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. 569-581 2020 CAV (1) https://doi.org/10.1007/978-3-030-53288-8_28 conf/cav/2020-1 db/conf/cav/cav2020-1.html#BenesBKPS20 Eva Smijáková Samuel Pastva David Safránek Lubos Brim Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. 280-297 2020 CMSB https://doi.org/10.1007/978-3-030-60327-4_15 conf/cmsb/2020 db/conf/cmsb/cmsb2020.html#SmijakovaPSB20 Matej Troják David Safránek Lukrécia Mertová Lubos Brim eBCSgen: A Software Tool for Biochemical Space Language. 356-361 2020 CMSB https://doi.org/10.1007/978-3-030-60327-4_20 conf/cmsb/2020 db/conf/cmsb/cmsb2020.html#TrojakSMB20 Matej Troják David Safránek Lukrécia Mertová Lubos Brim Parameter Synthesis and Robustness Analysis of Rule-Based Models. 41-59 2020 NFM https://doi.org/10.1007/978-3-030-55754-6_3 conf/nfm/2020 db/conf/nfm/nfm2020.html#TrojakSMB20 Matej Troják David Safránek Lubos Brim Jakub Salagovic Jan Cervený Executable Biochemical Space for Specification and Analysis of Biochemical Systems. 91-116 2020 SASB https://doi.org/10.1016/j.entcs.2020.06.006 https://www.wikidata.org/entity/Q113317324 conf/sasb/2018 db/conf/sasb/sasb2018.html#TrojakSBSC20

Matej Troják David Safránek Lubos Brim Executable Biochemical Space for Specification and Analysis of Biochemical Systems. 2020 abs/2002.00731 CoRR https://arxiv.org/abs/2002.00731 db/journals/corr/corr2002.html#abs-2002-00731

Lubos Brim Samuel Pastva David Safránek Eva Smijakova Parallel One-Step Control of Parametrised Boolean Networks. 2020 abs/2009.00359 CoRR https://arxiv.org/abs/2009.00359 db/journals/corr/corr2009.html#abs-2009-00359

David Safránek Matej Troják Vojtech Bruza Tomás Vejpustek Jan Papousek Martin Demko Samuel Pastva Ales Pejznoch Lubos Brim Barbaric Robustness Monitoring Revisited for STL* in Parasim. 356-359 2019 CMSB https://doi.org/10.1007/978-3-030-31304-3_26 conf/cmsb/2019 db/conf/cmsb/cmsb2019.html#SafranekTBVPDPP19 Nikola Benes Lubos Brim Jana Drazanová Samuel Pastva David Safránek Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT. 99-108 2019 HSCC https://doi.org/10.1145/3302504.3311793 conf/hybrid/2019 db/conf/hybrid/hscc2019.html#BenesBDPS19 Nikola Benes Lubos Brim Samuel Pastva Jakub Polácek David Safránek Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. 353-369 2019 ICFEM https://doi.org/10.1007/978-3-030-32409-4_22 conf/icfem/2019 db/conf/icfem/icfem2019.html#BenesBPPS19 Nikola Benes Lubos Brim Martin Geletka Samuel Pastva David Safránek Accelerating Parameter Synthesis Using Semi-algebraic Constraints. 27-45 2019 IFM https://doi.org/10.1007/978-3-030-34968-4_2 conf/ifm/2019 db/conf/ifm/ifm2019.html#BenesBGPS19 Nikola Benes Lubos Brim Samuel Pastva David Safránek Digital Bifurcation Analysis of TCP Dynamics. 339-356 2019 TACAS (2) https://doi.org/10.1007/978-3-030-17465-1_19 conf/tacas/2019-2 db/conf/tacas/tacas2019-2.html#BenesBPS19 Nikola Benes Lubos Brim Samuel Pastva David Safránek Model Checking Approach to the Analysis of Biological Systems. 3-35 2019 Automated Reasoning for Systems Biology and Medicine https://doi.org/10.1007/978-3-030-17297-8_1 series/cb/30 db/series/cb/cb30.html#BenesBPS19

Milan Ceska 0002 Frits Dannenberg Nicola Paoletti Marta Kwiatkowska Lubos Brim Precise parameter synthesis for stochastic biochemical systems. 589-623 2017 54 Acta Informatica 6 https://doi.org/10.1007/s00236-016-0265-2 db/journals/acta/acta54.html#CeskaDPKB17

Nikola Benes Lubos Brim Martin Demko Samuel Pastva David Safránek Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems. 591-598 2017 CAV (1) https://doi.org/10.1007/978-3-319-63387-9_29 conf/cav/2017-1 db/conf/cav/cav2017-1.html#BenesBDPS17 Jiri Barnat Nikola Benes Lubos Brim Martin Demko Matej Hajnal Samuel Pastva David Safránek Detecting Attractors in Biological Models with Uncertain Parameters. 40-56 2017 CMSB https://doi.org/10.1007/978-3-319-67471-1_3 conf/cmsb/2017 db/conf/cmsb/cmsb2017.html#BarnatBBDHPS17

Jiri Barnat Petr Bauch Nikola Benes Lubos Brim Jan Beran Tomas Kratochvila Analysing sanity of requirements for avionics systems. 45-63 2016 28 Formal Aspects Comput. 1 https://doi.org/10.1007/s00165-015-0348-9 db/journals/fac/fac28.html#BarnatBBBBK16

Petr Rockai Jiri Barnat Lubos Brim Model checking C++ programs with exceptions. 68-85 2016 128 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2016.05.007 db/journals/scp/scp128.html#RockaiBB16

Nikola Benes Lubos Brim Martin Demko Samuel Pastva David Safránek Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems. 192-208 2016 ATVA https://doi.org/10.1007/978-3-319-46520-3_13 conf/atva/2016 db/conf/atva/atva2016.html#BenesBDPS16 Martin Demko Nikola Benes Lubos Brim Samuel Pastva David Safránek High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. 82-97 2016 CMSB https://doi.org/10.1007/978-3-319-45177-0_6 conf/cmsb/2016 db/conf/cmsb/cmsb2016.html#DemkoBBPS16 Nikola Benes Lubos Brim Martin Demko Samuel Pastva David Safránek A Model Checking Approach to Discrete Bifurcation Analysis. 85-101 2016 FM https://doi.org/10.1007/978-3-319-48989-6_6 conf/fm/2016 db/conf/fm/fm2016.html#BenesBDPS16 Matej Hajnal David Safránek Martin Demko Samuel Pastva Pavel Krejcí Lubos Brim Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways. 57-66 2016 HSB https://doi.org/10.1007/978-3-319-47151-8_4 conf/hsb/2016 db/conf/hsb/hsb2016.html#HajnalSDPKB16 Milan Ceska 0002 Petr Pilar Nicola Paoletti Lubos Brim Marta Z. Kwiatkowska PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. 367-384 2016 TACAS https://doi.org/10.1007/978-3-662-49674-9_21 conf/tacas/2016 db/conf/tacas/tacas2016.html#CeskaPPBK16 Alessandro Abate Lubos Brim Milan Ceska 0002 Marta Z. Kwiatkowska Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. 195-213 2015 CAV (1) https://doi.org/10.1007/978-3-319-21690-4_12 conf/cav/2015-1 db/conf/cav/cav2015-1.html#AbateBCK15 Lubos Brim Milan Ceska 0002 Martin Demko Samuel Pastva David Safránek Parameter Synthesis by Parallel Coloured CTL Model Checking. 251-263 2015 CMSB https://doi.org/10.1007/978-3-319-23401-4_21 conf/cmsb/2015 db/conf/cmsb/cmsb2015.html#BrimCDPS15 Lubos Brim Martin Demko Samuel Pastva David Safránek High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems. 58-74 2015 HSB https://doi.org/10.1007/978-3-319-26916-0_4 conf/hsb/2015 db/conf/hsb/hsb2015.html#BrimDPS15 T. Ded David Safránek Matej Troják Matej Klement Jakub Salagovic Lubos Brim Formal Biochemical Space with Semantics in Kappa and BNGL. 27-49 2015 conf/sasb/2015 SASB https://doi.org/10.1016/j.entcs.2016.09.017 https://www.wikidata.org/entity/Q113317656 db/journals/entcs/entcs326.html#DedSTKSB16

Jiri Barnat Petr Bauch Nikola Benes Lubos Brim Jan Beran Tomas Kratochvila Analysing Sanity of Requirements for Avionics Systems (Preliminary Version). 2015 abs/1510.02669 CoRR http://arxiv.org/abs/1510.02669 db/journals/corr/corr1510.html#BarnatBBBBK15

Petr Rockai Jiri Barnat Lubos Brim Model Checking C++ with Exceptions. 2014 70 Electron. Commun. Eur. Assoc. Softw. Sci. Technol. https://doi.org/10.14279/tuj.eceasst.70.983 db/journals/eceasst/eceasst70.html#RockaiBB14

Lubos Brim Petr Dluhos David Safránek Tomas Vejpustek STL<sup>⁎</sup>: Extending signal temporal logic with signal-value freezing operator. 52-67 2014 236 Inf. Comput. https://doi.org/10.1016/j.ic.2014.01.012 db/journals/iandc/iandc236.html#BrimDSV14

Lubos Brim Juraj Niznan David Safránek Compact Representation of Photosynthesis Dynamics by Rule-based Models. 17-27 2014 conf/sasb/2014 SASB https://doi.org/10.1016/j.entcs.2015.06.008 https://www.wikidata.org/entity/Q113317776 db/journals/entcs/entcs316.html#BrimNS15

Lubos Brim Juraj Niznan David Safránek Compact Representation of Photosynthesis Dynamics by Rule-based Models (Full Version). 2014 abs/1410.3632 CoRR http://arxiv.org/abs/1410.3632 db/journals/corr/corr1410.html#BrimNS14

Jiri Barnat Lubos Brim Vojtech Havel LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model. 51-59 2013 ACSD https://doi.org/10.1109/ACSD.2013.8 https://doi.ieeecomputersociety.org/10.1109/ACSD.2013.8 conf/acsd/2013 db/conf/acsd/acsd2013.html#BarnatBH13 Lubos Brim Vilém Ded David Safránek Qualitative modelling and analysis of Photosystem II. 17-29 2013 BioPPN@Petri Nets https://ceur-ws.org/Vol-988/paper3.pdf conf/apn/2013bioppn db/conf/apn/bioppn2013.html#BrimDS13 Lubos Brim Milan Ceska 0002 Sven Drazan David Safránek Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking. 107-123 2013 CAV https://doi.org/10.1007/978-3-642-39799-8_7 conf/cav/2013 db/conf/cav/cav2013.html#BrimCDS13 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. 863-868 2013 CAV https://doi.org/10.1007/978-3-642-39799-8_60 conf/cav/2013 db/conf/cav/cav2013.html#BarnatBHHKLRSW13 Petr Rockai Jiri Barnat Lubos Brim Improved State Space Reductions for LTL Model Checking of C and C++ Programs. 1-15 2013 NASA Formal Methods https://doi.org/10.1007/978-3-642-38088-4_1 conf/nfm/2013 db/conf/nfm/nfm2013.html#RockaiBB13 Lubos Brim Milan Ceska 0002 David Safránek Model Checking of Biological Systems. 63-112 2013 SFM https://doi.org/10.1007/978-3-642-38874-3_3 conf/sfm/2013 db/conf/sfm/sfm2013.html#BrimCS13 Lubos Brim Tomas Vejpustek David Safránek Jana Fabriková Robustness Analysis for Value-Freezing Signal Temporal Logic. HSB 2013 20-36 https://doi.org/10.4204/EPTCS.125.2 http://arxiv.org/abs/1309.0867 journals/corr/DangP13 db/series/eptcs/eptcs125.html#BrimVSF13

Lubos Brim Milan Ceska 0002 Sven Drazan David Safránek On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking. 2013 CoRR http://arxiv.org/abs/1310.4734 abs/1310.4734 db/journals/corr/corr1310.html#BrimCDS13

Lubos Brim Jakub Chaloupka Using Strategy Improvement to Stay Alive. 585-608 2012 23 Int. J. Found. Comput. Sci. 3 https://doi.org/10.1142/S0129054112400291 db/journals/ijfcs/ijfcs23.html#BrimC12

Jiri Barnat Petr Bauch Lubos Brim Milan Ceska 0002 Designing fast LTL model checking algorithms for many-core GPUs. 1083-1097 2012 72 J. Parallel Distributed Comput. 9 https://doi.org/10.1016/j.jpdc.2011.10.015 db/journals/jpdc/jpdc72.html#BarnatBBC12

Jiri Barnat Lubos Brim Petr Rockai On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties. 1272-1288 2012 77 Sci. Comput. Program. 12 https://doi.org/10.1016/j.scico.2011.03.001 db/journals/scp/scp77.html#BarnatBR12

Jiri Barnat Lubos Brim Adam Krejci Adam Streck David Safránek Martin Vejnar Tomas Vejpustek On Parameter Synthesis by Parallel Model Checking. 693-705 2012 9 IEEE ACM Trans. Comput. Biol. Bioinform. 3 https://doi.org/10.1109/TCBB.2011.110 https://doi.ieeecomputersociety.org/10.1109/TCBB.2011.110 https://dl.acm.org/doi/10.1109/TCBB.2011.110 https://www.wikidata.org/entity/Q51545212 db/journals/tcbb/tcbb9.html#BarnatBKSSVV12

Lubos Brim Jana Fabriková Sven Drazan David Safránek On Approximative Reachability Analysis of Biochemical Dynamical Systems. 77-101 2012 14 Trans. Comp. Sys. Biology https://doi.org/10.1007/978-3-642-35524-0_4 journals/tcsb/2012-14 db/journals/tcsb/tcsb14.html#BrimFDS12

Jiri Barnat Jan Beran Lubos Brim Tomas Kratochvila Petr Rockai Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs. 78-92 2012 FMICS https://doi.org/10.1007/978-3-642-32469-7_6 conf/fmics/2012 db/conf/fmics/fmics2012.html#BarnatBBKR12 Jiri Barnat Lubos Brim Petr Rockai Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs. 252-266 2012 NASA Formal Methods https://doi.org/10.1007/978-3-642-28891-3_25 conf/nfm/2012 db/conf/nfm/nfm2012.html#BarnatBR12 Jiri Barnat Petr Bauch Lubos Brim Checking Sanity of Software Requirements. 48-62 2012 SEFM https://doi.org/10.1007/978-3-642-33826-7_4 conf/sefm/2012 db/conf/sefm/sefm2012.html#BarnatBB12 Jiri Barnat Lubos Brim Jan Beran Tomas Kratochvila Italo R. Oliveira Executing Model Checking Counterexamples in Simulink. 245-248 2012 TASE https://doi.org/10.1109/TASE.2012.42 https://doi.ieeecomputersociety.org/10.1109/TASE.2012.42 conf/tase/2012 db/conf/tase/tase2012.html#BarnatBBKO12 Petr Dluhos Lubos Brim David Safránek On Expressing and Monitoring Oscillatory Dynamics HSB 2012 73-87 https://doi.org/10.4204/EPTCS.92.6 http://arxiv.org/abs/1208.3853 journals/corr/abs-1208-3151 db/series/eptcs/eptcs92.html#abs-1208-3853 S. Van Goethem Jean-Marie Jacquet Lubos Brim David Safránek Timed Modelling of Gene Networks with Arbitrarily Precise Expression Discretization. 67-81 2012 conf/cs2bio/2012 CS2Bio https://doi.org/10.1016/j.entcs.2013.02.019 https://www.wikidata.org/entity/Q113318007 db/journals/entcs/entcs293.html#GoethemJBS13

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. 115-124 2011 103 Biosyst. 2 https://doi.org/10.1016/j.biosystems.2010.10.013 https://www.wikidata.org/entity/Q82442295 db/journals/biosystems/biosystems103.html#SafranekCKPBLN11

Lubos Brim Jakub Chaloupka Laurent Doyen 0001 Raffaella Gentilini Jean-François Raskin Faster algorithms for mean-payoff games. 97-118 2011 38 Formal Methods Syst. Des. 2 https://doi.org/10.1007/s10703-010-0105-x db/journals/fmsd/fmsd38.html#BrimCDGR11

Stefan Edelkamp Damian Sulewski Jiri Barnat Lubos Brim Pavel Simecek Flash memory efficient LTL model checking. 136-157 2011 76 Sci. Comput. Program. 2 https://doi.org/10.1016/j.scico.2010.03.005 db/journals/scp/scp76.html#EdelkampSBBS11

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. 877-890 2011 76 Sci. Comput. Program. 10 https://doi.org/10.1016/j.scico.2010.02.008 db/journals/scp/scp76.html#BenesBBCSV11

Jiri Barnat Petr Bauch Lubos Brim Milan Ceska 0002 Computing Strongly Connected Components in Parallel on CUDA. 544-555 2011 IPDPS https://doi.org/10.1109/IPDPS.2011.59 https://doi.ieeecomputersociety.org/10.1109/IPDPS.2011.59 conf/ipps/2011 db/conf/ipps/ipdps2011.html#BarnatBBC11 Lubos Brim Jiri Barnat Platform Dependent Verification: On Engineering Verification Tools for 21st Century PDMC 2011 1-12 https://doi.org/10.4204/EPTCS.72.1 http://arxiv.org/abs/1111.0368 journals/corr/abs-1111-0064 db/series/eptcs/eptcs72.html#abs-1111-0368 Jiri Barnat Petr Bauch Lubos Brim Milan Ceska 0002 Computing Optimal Cycle Mean in Parallel on CUDA PDMC 2011 68-83 https://doi.org/10.4204/EPTCS.72.8 http://arxiv.org/abs/1111.0627 journals/corr/abs-1111-0064 db/series/eptcs/eptcs72.html#abs-1111-0627 Lubos Brim Jana Fabriková Sven Drazan David Safránek Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract) CompMod 2011 97-112 https://doi.org/10.4204/EPTCS.67.9 http://arxiv.org/abs/1109.1649 journals/corr/abs-1109-1044 db/series/eptcs/eptcs67.html#abs-1109-1649

Lubos Brim Jana Fabriková Sven Drazan David Safránek Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation http://arxiv.org/abs/1107.5924 2011 CoRR abs/1107.5924 db/journals/corr/corr1107.html#abs-1107-5924

Jiri Barnat Lubos Brim David Safránek High-performance analysis of biological systems dynamics with the DiVinE model checker. 301-312 2010 11 Briefings Bioinform. 3 https://doi.org/10.1093/bib/bbp074 https://www.wikidata.org/entity/Q37755862 db/journals/bib/bib11.html#BarnatBS10

Jiri Barnat Lubos Brim Petr Rockai Scalable shared memory LTL model checking. 139-153 2010 12 Int. J. Softw. Tools Technol. Transf. 2 https://doi.org/10.1007/s10009-010-0136-z db/journals/sttt/sttt12.html#BarnatBR10

Jiri Barnat Petr Bauch Lubos Brim Milan Ceska 0002 Employing Multiple CUDA Devices to Accelerate LTL Model Checking. 259-266 2010 ICPADS https://doi.org/10.1109/ICPADS.2010.82 https://doi.ieeecomputersociety.org/10.1109/ICPADS.2010.82 conf/icpads/2010 db/conf/icpads/icpads2010.html#BarnatBBC10 Jiri Barnat Lubos Brim Petr Rockai Parallel Partial Order Reduction with Topological Sort Proviso. 222-231 2010 SEFM https://doi.org/10.1109/SEFM.2010.35 https://doi.ieeecomputersociety.org/10.1109/SEFM.2010.35 conf/sefm/2010 db/conf/sefm/sefm2010.html#BarnatBR10 Lubos Brim Jakub Chaloupka Using Strategy Improvement to Stay Alive GANDALF 2010 40-54 https://doi.org/10.4204/EPTCS.25.8 http://arxiv.org/abs/1006.1405 journals/corr/abs-1006-1711 db/series/eptcs/eptcs25.html#abs-1006-1405

Jiri Barnat Lubos Brim Ivana Cerná Sven Drazan Jana Fabriková David Safránek On algorithmic analysis of transcriptional regulation by LTL model checking. 3128-3148 2009 410 Theor. Comput. Sci. 33-34 https://doi.org/10.1016/j.tcs.2009.02.017 db/journals/tcs/tcs410.html#BarnatBCDFS09

Jiri Barnat Lubos Brim Petr Rockai A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties. 407-425 2009 ICFEM https://doi.org/10.1007/978-3-642-10373-5_21 conf/icfem/2009 db/conf/icfem/icfem2009.html#BarnatBR09 Jiri Barnat Lubos Brim Milan Ceska 0002 Tomas Lamr CUDA Accelerated LTL Model Checking. 34-41 2009 ICPADS https://doi.org/10.1109/ICPADS.2009.50 https://doi.ieeecomputersociety.org/10.1109/ICPADS.2009.50 conf/icpads/2009 db/conf/icpads/icpads2009.html#BarnatBCL09 Nikola Benes Lubos Brim Ivana Cerná Jiri Sochor Pavlína Vareková Barbora Zimmerová Partial Order Reduction for State/Event LTL. 307-321 2009 IFM https://doi.org/10.1007/978-3-642-00255-7_21 conf/ifm/2009 db/conf/ifm/ifm2009.html#BenesBCSVZ09 Kees Verstoep Henri E. Bal Jiri Barnat Lubos Brim Efficient large-scale model checking. 1-12 2009 IPDPS https://doi.org/10.1109/IPDPS.2009.5161000 https://doi.ieeecomputersociety.org/10.1109/IPDPS.2009.5161000 conf/ipps/2009 db/conf/ipps/ipdps2009.html#VerstoepBBB09 Jiri Barnat Lubos Brim Pavel Simecek Cluster-Based I/O-Efficient LTL Model Checking. 635-639 2009 ASE https://doi.org/10.1109/ASE.2009.32 https://doi.ieeecomputersociety.org/10.1109/ASE.2009.32 conf/kbse/2009 db/conf/kbse/ase2009.html#BarnatBS09 Jakub Chaloupka Lubos Brim Faster Algorithm for Mean-Payoff Games. 2009 MEMICS http://drops.dagstuhl.de/opus/volltexte/2009/2348 conf/memics/2009 db/conf/memics/memics2009.html#ChaloupkaB09 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 https://doi.org/10.4204/EPTCS.6.3 http://arxiv.org/abs/0910.0928 journals/corr/abs-0910-1605 db/series/eptcs/eptcs6.html#abs-0910-0928 Jiri Barnat Lubos Brim Milan Ceska 0002 DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking PDMC 2009 107-111 https://doi.org/10.4204/EPTCS.14.8 http://arxiv.org/abs/0912.2555 journals/corr/abs-0912-3036 db/series/eptcs/eptcs14.html#abs-0912-2555 Lubos Brim Stefan Edelkamp Eric A. Hansen Peter Sanders 0001 Graph Search Engineering, 29.11. - 04.12.2009 Graph Search Engineering 09491 2009 Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany Dagstuhl Seminar Proceedings db/conf/dagstuhl/P9491.html http://drops.dagstuhl.de/portals/09491/ Lubos Brim Jaco van de Pol Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009. PDMC https://doi.org/10.4204/EPTCS.14 http://arxiv.org/abs/0912.3036 2009 EPTCS 14 db/series/eptcs/eptcs14.html Lubos Brim Stefan Edelkamp Eric A. Hansen Peter Sanders 0001 09491 Abstracts Collection - Graph Search Engineering. 2009 Graph Search Engineering http://drops.dagstuhl.de/opus/volltexte/2010/2431/ conf/dagstuhl/2009P9491 db/conf/dagstuhl/P9491.html#BrimEHS09 Jiri Barnat Lubos Brim Petr Rockai DiVinE Multi-Core - A Parallel LTL Model-Checker. 234-239 2008 ATVA https://doi.org/10.1007/978-3-540-88387-6_20 conf/atva/2008 db/conf/atva/atva2008.html#BarnatBR08 Jiri Barnat Lubos Brim Ivana Cerná Milan Ceska 0002 Jana Tumova Local Quantitative LTL Model Checking. 53-68 2008 FMICS https://doi.org/10.1007/978-3-642-03240-0_8 conf/fmics/2008 db/conf/fmics/fmics2008.html#BarnatBCCT08 Jiri Barnat Lubos Brim Stefan Edelkamp Damian Sulewski Pavel Simecek Can Flash Memory Help in Model Checking? 150-165 2008 FMICS https://doi.org/10.1007/978-3-642-03240-0_14 conf/fmics/2008 db/conf/fmics/fmics2008.html#BarnatBESS08 Jiri Barnat Lubos Brim Squeeze All the Power Out of Your Hardware to Verify Your Software!. 604-618 2008 ISoLA https://doi.org/10.1007/978-3-540-88479-8_43 conf/isola/2008 db/conf/isola/isola2008.html#BarnatB08 Jiri Barnat Lubos Brim Ivana Cerná Milan Ceska 0002 Jana Tumova ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. 77-78 2008 QEST https://doi.org/10.1109/QEST.2008.29 https://doi.ieeecomputersociety.org/10.1109/QEST.2008.29 conf/qest/2008 db/conf/qest/qest2008.html#BarnatBCCT08 Jiri Barnat Lubos Brim Pavel Simecek M. Weber Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. 48-62 2008 TACAS https://doi.org/10.1007/978-3-540-78800-3_5 conf/tacas/2008 db/conf/tacas/tacas2008.html#BarnatBSW08 Henri E. Bal Lubos Brim Martin Leucker Distributed Verification and Grid Computing, 10.08. - 14.08.2008 Distributed Verification and Grid Computing 08332 2008 Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany Dagstuhl Seminar Proceedings db/conf/dagstuhl/P8332.html http://drops.dagstuhl.de/portals/08332/ Henri E. Bal Lubos Brim Martin Leucker 08332 Abstracts Collection - Distributed Verification and Grid Computing. 2008 Distributed Verification and Grid Computing http://drops.dagstuhl.de/opus/volltexte/2008/1633/ conf/dagstuhl/2008P8332 db/conf/dagstuhl/P8332.html#BalBL08 Henri E. Bal Lubos Brim Martin Leucker 08332 Executive Summary - Distributed Verification and Grid Computing. 2008 Distributed Verification and Grid Computing http://drops.dagstuhl.de/opus/volltexte/2008/1632/ conf/dagstuhl/2008P8332 db/conf/dagstuhl/P8332.html#BalBL08a Kees Verstoep Henri E. Bal Jiri Barnat Lubos Brim Efficient Large-Scale Model Checking. 2008 Distributed Verification and Grid Computing http://drops.dagstuhl.de/opus/volltexte/2008/1630/ conf/dagstuhl/2008P8332 db/conf/dagstuhl/P8332.html#VerstoepBBB08 Jiri Barnat Lubos Brim Pavel Simecek I/O Efficient Accepting Cycle Detection. 281-293 2007 conf/cav/2007 CAV https://doi.org/10.1007/978-3-540-73368-3_32 db/conf/cav/cav2007.html#BarnatBS07 Barbora Zimmerová Pavlína Vareková Nikola Benes Ivana Cerná Lubos Brim Jiri Sochor Component-Interaction Automata Approach (CoIn). 146-176 2007 CoCoME https://doi.org/10.1007/978-3-540-85289-6_7 conf/dagstuhl/2007cocome db/conf/dagstuhl/cocome2007.html#ZimmerovaVBCBS07 Jiri Barnat Lubos Brim Martin Leucker Parallel Model Checking and the FMICS-jETI Platform. 330-339 2007 conf/iceccs/2007 ICECCS https://doi.org/10.1109/ICECCS.2007.34 https://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.34 db/conf/iceccs/iceccs2007.html#BarnatBL07 Jiri Barnat Lubos Brim Ivana Cerná Milan Ceska 0002 Jana Tumova ProbDiVinE: A Parallel Qualitative LTL Model Checker. 215-216 2007 QEST conf/qest/2007 db/conf/qest/qest2007.html#BarnatBCCT07 https://doi.org/10.1109/QEST.2007.13 https://doi.ieeecomputersociety.org/10.1109/QEST.2007.13 Lubos Brim Mojmír Kretínský Model-Checking Large Finite-State Systems and Beyond. 9-28 2007 conf/sofsem/2007 SOFSEM (1) https://doi.org/10.1007/978-3-540-69507-3_2 db/conf/sofsem/sofsem2007.html#BrimK07 Lubos Brim Jiri Barnat Tutorial: Parallel Model Checking. 2-3 2007 conf/spin/2007 SPIN https://doi.org/10.1007/978-3-540-73370-6_2 db/conf/spin/spin2007.html#BrimB07 Jiri Barnat Lubos Brim Petr Rockai Scalable Multi-core LTL Model-Checking. 187-203 2007 conf/spin/2007 SPIN https://doi.org/10.1007/978-3-540-73370-6_13 db/conf/spin/spin2007.html#BarnatBR07 Jiri Barnat Lubos Brim Ivana Cerná Sven Drazan David Safránek Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. 35-50 2007 conf/fbtc/2007 FBTC@CONCUR https://doi.org/10.1016/j.entcs.2007.12.001 db/conf/fbtc/fbtc2007.html#BarnatBCDS08 Lubos Brim Boudewijn R. Haverkort Martin Leucker Jaco van de Pol 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 FMICS/PDMC Lecture Notes in Computer Science 4346 Springer 2007 978-3-540-70951-0 https://doi.org/10.1007/978-3-540-70952-7 db/conf/fmics/fmics2006.html

Lubos Brim Martin Leucker Foreword. 115-116 2006 29 Formal Methods Syst. Des. 2 https://doi.org/10.1007/s10703-006-0010-5 db/journals/fmsd/fmsd29.html#BrimL06

Lubos Brim Ivana Cerná Pavlína Vareková Barbora Zimmerová Component-interaction automata as a verification-oriented component-based system specification. 2006 31 ACM SIGSOFT Softw. Eng. Notes 2 https://doi.org/10.1145/1118537.1123063 db/journals/sigsoft/sigsoft31.html#BrimCVZ06

Jiri Barnat Lubos Brim Ivana Cerná Pavel Moravec 0002 Petr Rockai Pavel Simecek DiVinE - A Tool for Distributed Verification. 278-281 2006 conf/cav/2006 CAV https://doi.org/10.1007/11817963_26 db/conf/cav/cav2006.html#BarnatBCMRS06 Lubos Brim Distributed Verification: Exploring the Power of Raw Computing Power. 23-34 2006 conf/fmics/2006 FMICS/PDMC https://doi.org/10.1007/978-3-540-70952-7_2 db/conf/fmics/fmics2006.html#Brim06 Lubos Brim Ivana Cerná Pavel Moravec 0002 Jirí Simsa On Combining Partial Order Reduction with Fairness Assumptions. 84-99 2006 conf/fmics/2006 FMICS/PDMC https://doi.org/10.1007/978-3-540-70952-7_6 db/conf/fmics/fmics2006.html#BrimCMS06 Lubos Brim Isabelle Linden Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, MTCoord@COORDINATION 2005, Namur, Belgium, April 23, 2005 MTCoord@COORDINATION Electronic Notes in Theoretical Computer Science 150 1 Elsevier 2006 https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/150/issue/1 db/conf/coordination/mtcoord2005.html

Lubos Brim Orna Grumberg Introductory paper. 1-3 2005 7 Int. J. Softw. Tools Technol. Transf. 1 https://doi.org/10.1007/s10009-004-0177-2 db/journals/sttt/sttt7.html#BrimG05

Lubos Brim Karen Yorav Jitka Zidkova Assumption-based distribution of CTL model checking. 61-73 2005 7 Int. J. Softw. Tools Technol. Transf. 1 https://doi.org/10.1007/s10009-004-0163-8 db/journals/sttt/sttt7.html#BrimYZ05

Jiri Barnat Lubos Brim Ivana Cerná Cluster-Based LTL Model Checking of Large Systems. 259-279 2005 conf/fmco/2005 FMCO https://doi.org/10.1007/11804192_13 db/conf/fmco/fmco2005.html#BarnatBC05 Radek Pelánek Tomás Hanzl Ivana Cerná Lubos Brim Enhancing random walk state space exploration. 98-105 2005 FMICS https://doi.org/10.1145/1081180.1081193 conf/fmics/2005 db/conf/fmics/fmics2005.html#PelanekHCB05 Lubos Brim Ivana Cerná Pavlína Vareková Barbora Zimmerová Component-interaction automata as a verification-oriented component-based system specification. 4 2005 SAVCBS@ESEC/FSE https://doi.org/10.1145/1123058.1123063 conf/sigsoft/2005savcbs db/conf/sigsoft/savcbs2005.html#BrimCVZ05 Lubos Brim Isabelle Linden Preface. 1-2 2005 conf/coordination/2005mtcoord MTCoord@COORDINATION https://doi.org/10.1016/j.entcs.2005.12.019 db/conf/coordination/mtcoord2005.html#BrimL06 Lubos Brim Ivana Cerná Pavel Moravec 0002 Jirí Simsa How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. 3-18 2005 conf/pdmc/2005 PDMC@ICALP https://doi.org/10.1016/j.entcs.2005.10.015 db/conf/pdmc/pdmc2005.html#BrimCMS06 Lubos Brim Martin Leucker Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004 PDMC Electronic Notes in Theoretical Computer Science 128 3 Elsevier 2005 https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/128/issue/3 db/conf/pdmc/pdmc2004.html Lubos Brim Ivana Cerná Pavel Moravec 0002 Jirí Simsa Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. 352-366 https://doi.org/10.1007/978-3-540-30494-4_25 2004 conf/fmcad/2004 FMCAD db/conf/fmcad/fmcad2004.html#BrimCMS04 Lubos Brim Martin Leucker Preface. 1-2 2004 conf/pdmc/2004 PDMC https://doi.org/10.1016/j.entcs.2004.10.014 db/conf/pdmc/pdmc2004.html#BrimL05 Jiri Barnat Lubos Brim Jakub Chaloupka From Distributed Memory Cycle Detection to Parallel LTL Model Checking. 21-39 2004 conf/fmics/2004 FMICS https://doi.org/10.1016/j.entcs.2004.08.056 db/journals/entcs/entcs133.html#BarnatBC05 Lubos Brim Ivana Cerná Pavel Moravec 0002 Jirí Simsa Distributed Partial Order Reduction of State Spaces. 63-74 2004 conf/pdmc/2004 PDMC https://doi.org/10.1016/j.entcs.2004.10.019 db/conf/pdmc/pdmc2004.html#BrimCMS05 Jiri Barnat Lubos Brim Jakub Chaloupka Parallel Breadth-First Search LTL Model-Checking. 106-115 2003 conf/kbse/2003 ASE https://doi.org/10.1109/ASE.2003.1240299 https://doi.ieeecomputersociety.org/10.1109/ASE.2003.1240299 db/conf/kbse/ase2003.html#BarnatBC03 Lubos Brim Ivana Cerná Lukás Hejtmánek Distributed Negative Cycle Detection Algorithms. 297-304 2003 conf/parco/2003 PARCO db/conf/parco/parco2003.html#BrimCH03 Lubos Brim Orna Grumberg Preface. 2003 conf/pdmc/2003 PDMC@CAV 1-2 https://doi.org/10.1016/S1571-0661(05)80091-X db/conf/pdmc/pdmc2003.html#BrimG03 Lubos Brim Jitka Zidkova Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking. 2003 conf/pdmc/2003 PDMC@CAV https://doi.org/10.1016/S1571-0661(05)80094-5 db/conf/pdmc/pdmc2003.html#BrimZ03 17-32 Lubos Brim Jiri Barnat Distribution of Explicit-State LTL Model-Checking. 2003 conf/fmics/2003 FMICS https://doi.org/10.1016/S1571-0661(04)80825-9 db/journals/entcs/entcs80.html#BrimB03 273-278 Lubos Brim Orna Grumberg 2nd International Workshop on Parallel and Distributed Model Checking, PDMC 2003, Satellite Workshop of CAV 2003, Boulder, Colorado, USA, July 13, 2003 PDMC@CAV Electronic Notes in Theoretical Computer Science 89 1 Elsevier 2003 https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/89/issue/1 db/conf/pdmc/pdmc2003.html Lubos Brim Orna Grumberg 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003 WFLP 2003 Electronic Notes in Theoretical Computer Science 86 3 Elsevier https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/86/issue/3 db/conf/wflp/wflp2003.html

Lubos Brim Mojmír Kretínský Jean-Marie Jacquet David R. Gilbert Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes. 2002 21 Comput. Artif. Intell. 6 db/journals/cai/cai21.html#BrimKJG02 http://www.cai.sk/ojs/index.php/cai/article/view/479 565-590

Jean-Marie Jacquet Lubos Brim David R. Gilbert Mojmír Kretínský Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming. 2002 conf/foclasa/2002 FOCLASA https://doi.org/10.1016/S1571-0661(05)80377-9 db/conf/foclasa/foclasa2002.html#JacquetBGK03 347-370 Lubos Brim Orna Grumberg Preface. 2002 conf/concur/2002pdmc PDMC@CONCUR 483 https://doi.org/10.1016/S1571-0661(05)80385-8 db/conf/concur/pdmc2002.html#BrimG02 Lubos Brim Jitka Crhová Karen Yorav Using Assumptions to Distribute CTL Model Checking. 2002 conf/concur/2002pdmc PDMC@CONCUR https://doi.org/10.1016/S1571-0661(05)80758-3 db/conf/concur/pdmc2002.html#BrimCY02 559-574 Lubos Brim Orna Grumberg Parallel and Distributed Model Checking, PDMC 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002 PDMC@CONCUR Electronic Notes in Theoretical Computer Science 68 4 Elsevier 2002 https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/68/issue/4 db/conf/concur/pdmc2002.html Lubos Brim Petr Jancar Mojmír Kretínský Antonín Kucera 0001 CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings CONCUR Lecture Notes in Computer Science 2421 Springer 2002 3-540-44043-7 https://doi.org/10.1007/3-540-45694-5 db/conf/concur/concur2002.html Lubos Brim Ivana Cerná Pavel Krcál Radek Pelánek Distributed LTL Model Checking Based on Negative Cycle Detection. 96-107 2001 conf/fsttcs/2001 FSTTCS https://doi.org/10.1007/3-540-45294-X_9 db/conf/fsttcs/fsttcs2001.html#BrimCKP01 Lubos Brim Ivana Cerná Martin Necesal Randomization Helps in LTL Model Checking. 105-119 2001 conf/papm/2001 PAPM-PROBMIV https://doi.org/10.1007/3-540-44804-7_7 db/conf/papm/papm2001.html#BrimCN01 Lubos Brim Ivana Cerná Pavel Krcál Radek Pelánek How to Employ Reverse Search in Distributed Single Source Shortest Paths. 191-200 2001 conf/sofsem/2001 SOFSEM https://doi.org/10.1007/3-540-45627-9_16 db/conf/sofsem/sofsem2001.html#BrimCKP01 Lubos Brim David R. Gilbert Jean-Marie Jacquet Mojmír Kretínský Multi-agent Systems as Concurrent Constraint Processes. 201-210 2001 conf/sofsem/2001 SOFSEM https://doi.org/10.1007/3-540-45627-9_17 db/conf/sofsem/sofsem2001.html#BrimGJK01 Jiri Barnat Lubos Brim Jitka Stríbrná Distributed LTL Model-Checking in SPIN. 200-216 2001 conf/spin/2001 SPIN https://doi.org/10.1007/3-540-45139-0_13 https://dl.acm.org/doi/10.5555/380921.380940 db/conf/spin/spin2001.html#BarnatBS01 Lubos Brim Jozef Gruska Jirí Zlatuska Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings MFCS Lecture Notes in Computer Science 1450 Springer 1998 3-540-64827-5 https://doi.org/10.1007/BFb0055753 db/conf/mfcs/mfcs98.html Lubos Brim Jean-Marie Jacquet David R. Gilbert Mojmír Kretínský A Process Algebra for Synchronous Concurrent Constraint Programming. 165-178 1996 conf/alp/1996 ALP db/conf/alp/alp96.html#BrimJGK96 https://doi.org/10.1007/3-540-61735-3_11 Lubos Brim David R. Gilbert Jean-Marie Jacquet Mojmír Kretínský Synchronisation in Scc. 641 1995 conf/slp/1995 ILPS db/conf/slp/slp95.html#BrimGJK95 https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299954 Lubos Brim Modal Logics in Timed Process Algebras. 13-26 1992 conf/napaw/1992 NAPAW db/conf/napaw/napaw1992.html#Brim92 https://doi.org/10.1007/978-1-4471-3217-2_2 Alessandro Abate Henri E. Bal Jiri Barnat Petr Bauch Nikola Benes Jan Beran Branislav Brozmann Vojtech Bruza Barbora BuhnovaBarbora Zimmerová Ivana Cerná Jan Cervený Milan Ceska 0002 Jakub Chaloupka Jitka Crhová Frits Dannenberg T. Ded Vilém Ded Martin Demko Petr Dluhos Laurent Doyen 0001 Sven Drazan Jana Drazanová Stefan Edelkamp Jana Fabriková Martin Geletka Raffaella Gentilini David R. Gilbert S. Van Goethem Orna Grumberg Jozef Gruska Matej Hajnal Eric A. Hansen Tomás Hanzl Vojtech Havel Boudewijn R. Haverkort Jan Havlícek Lukás Hejtmánek Ondrej Huvar Jean-Marie Jacquet Petr Jancar Jakub Kadlecaj Matej Klement Tomas Kratochvila Pavel Krcál Adam Krejci Pavel Krejcí Mojmír Kretínský Jan Kriho Antonín Kucera 0001 Marta Z. KwiatkowskaMarta Kwiatkowska Tomas Lamr Jan Láník Dusan Lazar Milan Lenco Martin Leucker Isabelle Linden Hongwu Ma Lukrécia Mertová Pavel Moravec 0002 Martin Necesal Ladislav Nedbal Juraj Niznan Italo R. Oliveira Nicola Paoletti Jan Papousek Samuel Pastva Ales Pejznoch Radek Pelánek Petr Pilar Jaco van de Pol Jakub Polácek Jana Pospísilová Jean-François Raskin Petr Rockai David Safránek Jakub Salagovic Peter Sanders 0001 Pavel Simecek Jiri SimsaJirí Simsa Eva SmijákováEva Smijakova Jirí SochorJiri Sochor Vladimír Still Adam Streck Jitka Stríbrná Damian Sulewski Matej Troják Jana Tumova Pavlína Vareková Martin Vejnar Tomas VejpustekTomás Vejpustek Kees Verstoep M. Weber Jirí Weiser Karen Yorav Jitka Zidkova Jirí Zlatuska