Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Lubos Brim
@article{DBLP:journals/bioinformatics/BenesBHPS23,
author = {Nikola Benes and
Lubos Brim and
Ondrej Huvar and
Samuel Pastva and
David Safr{\'{a}}nek},
title = {Boolean network sketches: a unifying framework for logical model inference},
journal = {Bioinform.},
volume = {39},
number = {4},
year = {2023},
url = {https://doi.org/10.1093/bioinformatics/btad158},
doi = {10.1093/BIOINFORMATICS/BTAD158},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/BenesBHPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biosystems/BrimPSS23,
author = {Lubos Brim and
Samuel Pastva and
David Safr{\'{a}}nek and
Eva Smij{\'{a}}kov{\'{a}}},
title = {Temporary and permanent control of partially specified Boolean networks},
journal = {Biosyst.},
volume = {223},
pages = {104795},
year = {2023},
url = {https://doi.org/10.1016/j.biosystems.2022.104795},
doi = {10.1016/J.BIOSYSTEMS.2022.104795},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biosystems/BrimPSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biosystems/TrojakSPB23,
author = {Matej Troj{\'{a}}k and
David Safr{\'{a}}nek and
Samuel Pastva and
Lubos Brim},
title = {Rule-based modelling of biological systems using regulated rewriting},
journal = {Biosyst.},
volume = {225},
pages = {104843},
year = {2023},
url = {https://doi.org/10.1016/j.biosystems.2023.104843},
doi = {10.1016/J.BIOSYSTEMS.2023.104843},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biosystems/TrojakSPB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BenesBPSS23,
author = {Nikola Benes and
Lubos Brim and
Samuel Pastva and
David Safr{\'{a}}nek and
Eva Smij{\'{a}}kov{\'{a}}},
editor = {Jun Pang and
Joachim Niehren},
title = {Phenotype Control of Partially Specified Boolean Networks},
booktitle = {Computational Methods in Systems Biology - 21st International Conference,
{CMSB} 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14137},
pages = {18--35},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42697-1\_2},
doi = {10.1007/978-3-031-42697-1\_2},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/BenesBPSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/BenesBHPSS22,
author = {Nikola Benes and
Lubos Brim and
Ondrej Huvar and
Samuel Pastva and
David Safr{\'{a}}nek and
Eva Smij{\'{a}}kov{\'{a}}},
title = {AEON.py: Python library for attractor analysis in asynchronous Boolean
networks},
journal = {Bioinform.},
volume = {38},
number = {21},
pages = {4978--4980},
year = {2022},
url = {https://doi.org/10.1093/bioinformatics/btac624},
doi = {10.1093/BIOINFORMATICS/BTAC624},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/BenesBHPSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/BenesBKPS22,
author = {Nikola Benes and
Lubos Brim and
Jakub Kadlecaj and
Samuel Pastva and
David Safr{\'{a}}nek},
title = {Exploring attractor bifurcations in Boolean networks},
journal = {{BMC} Bioinform.},
volume = {23},
number = {1},
pages = {173},
year = {2022},
url = {https://doi.org/10.1186/s12859-022-04708-9},
doi = {10.1186/S12859-022-04708-9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/BenesBKPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BenesBPS22,
author = {Nikola Benes and
Lubos Brim and
Samuel Pastva and
David Safr{\'{a}}nek},
title = {BDD-Based Algorithm for {SCC} Decomposition of Edge-Coloured Graphs},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {1},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(1:38)2022},
doi = {10.46298/LMCS-18(1:38)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BenesBPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/TrojakSBB22,
author = {Matej Troj{\'{a}}k and
David Safr{\'{a}}nek and
Branislav Brozmann and
Lubos Brim},
editor = {Ion Petre and
Andrei Paun},
title = {eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems},
booktitle = {Computational Methods in Systems Biology - 20th International Conference,
{CMSB} 2022, Bucharest, Romania, September 14-16, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13447},
pages = {302--309},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15034-0\_17},
doi = {10.1007/978-3-031-15034-0\_17},
timestamp = {Mon, 22 Aug 2022 15:58:28 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/TrojakSBB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-08817,
author = {Matej Troj{\'{a}}k and
David Safr{\'{a}}nek and
Lubos Brim},
title = {Biochemical Space Language in Relation to Multiset Rewriting Systems},
journal = {CoRR},
volume = {abs/2201.08817},
year = {2022},
url = {https://arxiv.org/abs/2201.08817},
eprinttype = {arXiv},
eprint = {2201.08817},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-08817.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-13440,
author = {Lubos Brim and
Samuel Pastva and
David Safr{\'{a}}nek and
Eva Smij{\'{a}}kov{\'{a}}},
title = {Robust Control of Partially Specified Boolean Networks},
journal = {CoRR},
volume = {abs/2202.13440},
year = {2022},
url = {https://arxiv.org/abs/2202.13440},
eprinttype = {arXiv},
eprint = {2202.13440},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-13440.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BenesBPS21,
author = {Nikola Benes and
Lubos Brim and
Samuel Pastva and
David Safr{\'{a}}nek},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Computing Bottom SCCs Symbolically Using Transition Guided Reduction},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {505--528},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_24},
doi = {10.1007/978-3-030-81685-8\_24},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BenesBPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BenesBPS21,
author = {Nikola Benes and
Lubos Brim and
Samuel Pastva and
David Safr{\'{a}}nek},
editor = {Eugenio Cinquemani and
Lo{\"{\i}}c Paulev{\'{e}}},
title = {Aeon 2021: Bifurcation Decision Trees in Boolean Networks},
booktitle = {Computational Methods in Systems Biology - 19th International Conference,
{CMSB} 2021, Bordeaux, France, September 22-24, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12881},
pages = {230--237},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85633-5\_14},
doi = {10.1007/978-3-030-85633-5\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/BenesBPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BenesBPS21,
author = {Nikola Benes and
Lubos Brim and
Samuel Pastva and
David Safr{\'{a}}nek},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {Symbolic Coloured {SCC} Decomposition},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, {TACAS} 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12652},
pages = {64--83},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72013-1\_4},
doi = {10.1007/978-3-030-72013-1\_4},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BenesBPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-13113,
author = {Nikola Benes and
Lubos Brim and
Samuel Pastva and
David Safr{\'{a}}nek},
title = {BDD-Based Algorithm for {SCC} Decomposition of Edge-Coloured Graphs},
journal = {CoRR},
volume = {abs/2108.13113},
year = {2021},
url = {https://arxiv.org/abs/2108.13113},
eprinttype = {arXiv},
eprint = {2108.13113},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-13113.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-13036,
author = {Matej Troj{\'{a}}k and
Samuel Pastva and
David Safr{\'{a}}nek and
Lubos Brim},
title = {Regulated Multiset Rewriting Systems},
journal = {CoRR},
volume = {abs/2111.13036},
year = {2021},
url = {https://arxiv.org/abs/2111.13036},
eprinttype = {arXiv},
eprint = {2111.13036},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-13036.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijbc/BenesBPS20,
author = {Nikola Benes and
Lubos Brim and
Samuel Pastva and
David Safr{\'{a}}nek},
title = {Digital Bifurcation Analysis of Internet Congestion Control Protocols},
journal = {Int. J. Bifurc. Chaos},
volume = {30},
number = {13},
pages = {2030038:1--2030038:18},
year = {2020},
url = {https://doi.org/10.1142/S0218127420300384},
doi = {10.1142/S0218127420300384},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijbc/BenesBPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BenesBPS20,
author = {Nikola Benes and
Lubos Brim and
Samuel Pastva and
David Safr{\'{a}}nek},
title = {Parallel parameter synthesis algorithm for hybrid {CTL}},
journal = {Sci. Comput. Program.},
volume = {185},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2019.102321},
doi = {10.1016/J.SCICO.2019.102321},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BenesBPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BenesBKPS20,
author = {Nikola Benes and
Lubos Brim and
Jakub Kadlecaj and
Samuel Pastva and
David Safr{\'{a}}nek},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {{AEON:} Attractor Bifurcation Analysis of Parametrised Boolean Networks},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12224},
pages = {569--581},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53288-8\_28},
doi = {10.1007/978-3-030-53288-8\_28},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BenesBKPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/SmijakovaPSB20,
author = {Eva Smij{\'{a}}kov{\'{a}} and
Samuel Pastva and
David Safr{\'{a}}nek and
Lubos Brim},
editor = {Alessandro Abate and
Tatjana Petrov and
Verena Wolf},
title = {Parallel Parameter Synthesis for Multi-affine Hybrid Systems from
Hybrid {CTL} Specifications},
booktitle = {Computational Methods in Systems Biology - 18th International Conference,
{CMSB} 2020, Konstanz, Germany, September 23-25, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12314},
pages = {280--297},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60327-4\_15},
doi = {10.1007/978-3-030-60327-4\_15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/SmijakovaPSB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/TrojakSMB20,
author = {Matej Troj{\'{a}}k and
David Safr{\'{a}}nek and
Lukr{\'{e}}cia Mertov{\'{a}} and
Lubos Brim},
editor = {Alessandro Abate and
Tatjana Petrov and
Verena Wolf},
title = {eBCSgen: {A} Software Tool for Biochemical Space Language},
booktitle = {Computational Methods in Systems Biology - 18th International Conference,
{CMSB} 2020, Konstanz, Germany, September 23-25, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12314},
pages = {356--361},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60327-4\_20},
doi = {10.1007/978-3-030-60327-4\_20},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/TrojakSMB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/TrojakSMB20,
author = {Matej Troj{\'{a}}k and
David Safr{\'{a}}nek and
Lukr{\'{e}}cia Mertov{\'{a}} and
Lubos Brim},
editor = {Ritchie Lee and
Susmit Jha and
Anastasia Mavridou},
title = {Parameter Synthesis and Robustness Analysis of Rule-Based Models},
booktitle = {{NASA} Formal Methods - 12th International Symposium, {NFM} 2020,
Moffett Field, CA, USA, May 11-15, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12229},
pages = {41--59},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-55754-6\_3},
doi = {10.1007/978-3-030-55754-6\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/TrojakSMB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sasb/TrojakSBSC20,
author = {Matej Troj{\'{a}}k and
David Safr{\'{a}}nek and
Lubos Brim and
Jakub Salagovic and
Jan Cerven{\'{y}}},
editor = {Ankit Gupta and
Tatjana Petrov},
title = {Executable Biochemical Space for Specification and Analysis of Biochemical
Systems},
booktitle = {Proceedings of {SASB} 2018, the Ninth International Workshop on Static
Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {350},
pages = {91--116},
publisher = {Elsevier},
year = {2020},
url = {https://doi.org/10.1016/j.entcs.2020.06.006},
doi = {10.1016/J.ENTCS.2020.06.006},
timestamp = {Thu, 10 Nov 2022 16:13:45 +0100},
biburl = {https://dblp.org/rec/conf/sasb/TrojakSBSC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-00731,
author = {Matej Troj{\'{a}}k and
David Safr{\'{a}}nek and
Lubos Brim},
title = {Executable Biochemical Space for Specification and Analysis of Biochemical
Systems},
journal = {CoRR},
volume = {abs/2002.00731},
year = {2020},
url = {https://arxiv.org/abs/2002.00731},
eprinttype = {arXiv},
eprint = {2002.00731},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-00731.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-00359,
author = {Lubos Brim and
Samuel Pastva and
David Safr{\'{a}}nek and
Eva Smijakova},
title = {Parallel One-Step Control of Parametrised Boolean Networks},
journal = {CoRR},
volume = {abs/2009.00359},
year = {2020},
url = {https://arxiv.org/abs/2009.00359},
eprinttype = {arXiv},
eprint = {2009.00359},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-00359.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/SafranekTBVPDPP19,
author = {David Safr{\'{a}}nek and
Matej Troj{\'{a}}k and
Vojtech Bruza and
Tom{\'{a}}s Vejpustek and
Jan Papousek and
Martin Demko and
Samuel Pastva and
Ales Pejznoch and
Lubos Brim},
editor = {Luca Bortolussi and
Guido Sanguinetti},
title = {Barbaric Robustness Monitoring Revisited for STL* in Parasim},
booktitle = {Computational Methods in Systems Biology - 17th International Conference,
{CMSB} 2019, Trieste, Italy, September 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11773},
pages = {356--359},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31304-3\_26},
doi = {10.1007/978-3-030-31304-3\_26},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/SafranekTBVPDPP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BenesBDPS19,
author = {Nikola Benes and
Lubos Brim and
Jana Drazanov{\'{a}} and
Samuel Pastva and
David Safr{\'{a}}nek},
editor = {Necmiye Ozay and
Pavithra Prabhakar},
title = {Facetal abstraction for non-linear dynamical systems based on {\(\delta\)}-decidable
{SMT}},
booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
16-18, 2019},
pages = {99--108},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302504.3311793},
doi = {10.1145/3302504.3311793},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BenesBDPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BenesBPPS19,
author = {Nikola Benes and
Lubos Brim and
Samuel Pastva and
Jakub Pol{\'{a}}cek and
David Safr{\'{a}}nek},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Formal Analysis of Qualitative Long-Term Behaviour in Parametrised
Boolean Networks},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {353--369},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_22},
doi = {10.1007/978-3-030-32409-4\_22},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BenesBPPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BenesBGPS19,
author = {Nikola Benes and
Lubos Brim and
Martin Geletka and
Samuel Pastva and
David Safr{\'{a}}nek},
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {Accelerating Parameter Synthesis Using Semi-algebraic Constraints},
booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
Bergen, Norway, December 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11918},
pages = {27--45},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_2},
doi = {10.1007/978-3-030-34968-4\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BenesBGPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BenesBPS19,
author = {Nikola Benes and
Lubos Brim and
Samuel Pastva and
David Safr{\'{a}}nek},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Digital Bifurcation Analysis of {TCP} Dynamics},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {339--356},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_19},
doi = {10.1007/978-3-030-17465-1\_19},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BenesBPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/cb/BenesBPS19,
author = {Nikola Benes and
Lubos Brim and
Samuel Pastva and
David Safr{\'{a}}nek},
editor = {Pietro Li{\`{o}} and
Paolo Zuliani},
title = {Model Checking Approach to the Analysis of Biological Systems},
booktitle = {Automated Reasoning for Systems Biology and Medicine},
series = {Computational Biology},
volume = {30},
pages = {3--35},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17297-8\_1},
doi = {10.1007/978-3-030-17297-8\_1},
timestamp = {Thu, 13 Jun 2019 09:13:47 +0200},
biburl = {https://dblp.org/rec/series/cb/BenesBPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/CeskaDPKB17,
author = {Milan Ceska and
Frits Dannenberg and
Nicola Paoletti and
Marta Kwiatkowska and
Lubos Brim},
title = {Precise parameter synthesis for stochastic biochemical systems},
journal = {Acta Informatica},
volume = {54},
number = {6},
pages = {589--623},
year = {2017},
url = {https://doi.org/10.1007/s00236-016-0265-2},
doi = {10.1007/S00236-016-0265-2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/CeskaDPKB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BenesBDPS17,
author = {Nikola Benes and
Lubos Brim and
Martin Demko and
Samuel Pastva and
David Safr{\'{a}}nek},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Pithya: {A} Parallel Tool for Parameter Synthesis of Piecewise Multi-affine
Dynamical Systems},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10426},
pages = {591--598},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63387-9\_29},
doi = {10.1007/978-3-319-63387-9\_29},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BenesBDPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BarnatBBDHPS17,
author = {Jiri Barnat and
Nikola Benes and
Lubos Brim and
Martin Demko and
Matej Hajnal and
Samuel Pastva and
David Safr{\'{a}}nek},
editor = {J{\'{e}}r{\^{o}}me Feret and
Heinz Koeppl},
title = {Detecting Attractors in Biological Models with Uncertain Parameters},
booktitle = {Computational Methods in Systems Biology - 15th International Conference,
{CMSB} 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10545},
pages = {40--56},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67471-1\_3},
doi = {10.1007/978-3-319-67471-1\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/BarnatBBDHPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BarnatBBBBK16,
author = {Jiri Barnat and
Petr Bauch and
Nikola Benes and
Lubos Brim and
Jan Beran and
Tomas Kratochvila},
title = {Analysing sanity of requirements for avionics systems},
journal = {Formal Aspects Comput.},
volume = {28},
number = {1},
pages = {45--63},
year = {2016},
url = {https://doi.org/10.1007/s00165-015-0348-9},
doi = {10.1007/S00165-015-0348-9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BarnatBBBBK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RockaiBB16,
author = {Petr Rockai and
Jiri Barnat and
Lubos Brim},
title = {Model checking {C++} programs with exceptions},
journal = {Sci. Comput. Program.},
volume = {128},
pages = {68--85},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.05.007},
doi = {10.1016/J.SCICO.2016.05.007},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/RockaiBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BenesBDPS16,
author = {Nikola Benes and
Lubos Brim and
Martin Demko and
Samuel Pastva and
David Safr{\'{a}}nek},
editor = {Cyrille Artho and
Axel Legay and
Doron Peled},
title = {Parallel SMT-Based Parameter Synthesis with Application to Piecewise
Multi-affine Systems},
booktitle = {Automated Technology for Verification and Analysis - 14th International
Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9938},
pages = {192--208},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46520-3\_13},
doi = {10.1007/978-3-319-46520-3\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BenesBDPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DemkoBBPS16,
author = {Martin Demko and
Nikola Benes and
Lubos Brim and
Samuel Pastva and
David Safr{\'{a}}nek},
editor = {Ezio Bartocci and
Pietro Li{\`{o}} and
Nicola Paoletti},
title = {High-Performance Symbolic Parameter Synthesis of Biological Models:
{A} Case Study},
booktitle = {Computational Methods in Systems Biology - 14th International Conference,
{CMSB} 2016, Cambridge, UK, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9859},
pages = {82--97},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45177-0\_6},
doi = {10.1007/978-3-319-45177-0\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/DemkoBBPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BenesBDPS16,
author = {Nikola Benes and
Lubos Brim and
Martin Demko and
Samuel Pastva and
David Safr{\'{a}}nek},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {A Model Checking Approach to Discrete Bifurcation Analysis},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {85--101},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_6},
doi = {10.1007/978-3-319-48989-6\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BenesBDPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsb/HajnalSDPKB16,
author = {Matej Hajnal and
David Safr{\'{a}}nek and
Martin Demko and
Samuel Pastva and
Pavel Krejc{\'{\i}} and
Lubos Brim},
editor = {Eugenio Cinquemani and
Alexandre Donz{\'{e}}},
title = {Toward Modelling and Analysis of Transient and Sustained Behaviour
of Signalling Pathways},
booktitle = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
France, October 20-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9957},
pages = {57--66},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47151-8\_4},
doi = {10.1007/978-3-319-47151-8\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hsb/HajnalSDPKB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CeskaPPBK16,
author = {Milan Ceska and
Petr Pilar and
Nicola Paoletti and
Lubos Brim and
Marta Z. Kwiatkowska},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {{PRISM-PSY:} Precise GPU-Accelerated Parameter Synthesis for Stochastic
Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {367--384},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_21},
doi = {10.1007/978-3-662-49674-9\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CeskaPPBK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbateBCK15,
author = {Alessandro Abate and
Lubos Brim and
Milan Ceska and
Marta Z. Kwiatkowska},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical
Reaction Networks},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {195--213},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_12},
doi = {10.1007/978-3-319-21690-4\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AbateBCK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BrimCDPS15,
author = {Lubos Brim and
Milan Ceska and
Martin Demko and
Samuel Pastva and
David Safr{\'{a}}nek},
editor = {Olivier F. Roux and
J{\'{e}}r{\'{e}}mie Bourdon},
title = {Parameter Synthesis by Parallel Coloured {CTL} Model Checking},
booktitle = {Computational Methods in Systems Biology - 13th International Conference,
{CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9308},
pages = {251--263},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23401-4\_21},
doi = {10.1007/978-3-319-23401-4\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/BrimCDPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsb/BrimDPS15,
author = {Lubos Brim and
Martin Demko and
Samuel Pastva and
David Safr{\'{a}}nek},
editor = {Alessandro Abate and
David Safr{\'{a}}nek},
title = {High-Performance Discrete Bifurcation Analysis for Piecewise-Affine
Dynamical Systems},
booktitle = {Hybrid Systems Biology - Fourth International Workshop, {HSB} 2015,
Madrid, Spain, September 4-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9271},
pages = {58--74},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26916-0\_4},
doi = {10.1007/978-3-319-26916-0\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hsb/BrimDPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DedSTKSB16,
author = {T. Ded and
David Safr{\'{a}}nek and
Matej Troj{\'{a}}k and
Matej Klement and
Jakub Salagovic and
Lubos Brim},
editor = {Lo{\"{\i}}c Paulev{\'{e}} and
Nathalie Th{\'{e}}ret},
title = {Formal Biochemical Space with Semantics in Kappa and {BNGL}},
booktitle = {6th International Workshop on Static Analysis and Systems Biology,
{SASB} 2015, Saint-Malo, France, September 8, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {326},
pages = {27--49},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.09.017},
doi = {10.1016/J.ENTCS.2016.09.017},
timestamp = {Thu, 10 Nov 2022 13:41:16 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DedSTKSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BarnatBBBBK15,
author = {Jiri Barnat and
Petr Bauch and
Nikola Benes and
Lubos Brim and
Jan Beran and
Tomas Kratochvila},
title = {Analysing Sanity of Requirements for Avionics Systems (Preliminary
Version)},
journal = {CoRR},
volume = {abs/1510.02669},
year = {2015},
url = {http://arxiv.org/abs/1510.02669},
eprinttype = {arXiv},
eprint = {1510.02669},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BarnatBBBBK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/RockaiBB14,
author = {Petr Rockai and
Jiri Barnat and
Lubos Brim},
title = {Model Checking {C++} with Exceptions},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {70},
year = {2014},
url = {https://doi.org/10.14279/tuj.eceasst.70.983},
doi = {10.14279/TUJ.ECEASST.70.983},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/RockaiBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BrimDSV14,
author = {Lubos Brim and
Petr Dluhos and
David Safr{\'{a}}nek and
Tomas Vejpustek},
title = {STL\({}^{\mbox{{\unicode{8270}}}}\): Extending signal temporal logic
with signal-value freezing operator},
journal = {Inf. Comput.},
volume = {236},
pages = {52--67},
year = {2014},
url = {https://doi.org/10.1016/j.ic.2014.01.012},
doi = {10.1016/J.IC.2014.01.012},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BrimDSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrimNS15,
author = {Lubos Brim and
Juraj Niznan and
David Safr{\'{a}}nek},
editor = {Lo{\"{\i}}c Paulev{\'{e}} and
Heinz Koeppl},
title = {Compact Representation of Photosynthesis Dynamics by Rule-based Models},
booktitle = {5th International Workshop on Static Analysis and Systems Biology,
{SASB} 2014, Munich, Germany, September 10, 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {316},
pages = {17--27},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2015.06.008},
doi = {10.1016/J.ENTCS.2015.06.008},
timestamp = {Wed, 11 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BrimNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrimNS14,
author = {Lubos Brim and
Juraj Niznan and
David Safr{\'{a}}nek},
title = {Compact Representation of Photosynthesis Dynamics by Rule-based Models
(Full Version)},
journal = {CoRR},
volume = {abs/1410.3632},
year = {2014},
url = {http://arxiv.org/abs/1410.3632},
eprinttype = {arXiv},
eprint = {1410.3632},
timestamp = {Wed, 11 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrimNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BarnatBH13,
author = {Jiri Barnat and
Lubos Brim and
Vojtech Havel},
editor = {Josep Carmona and
Mihai T. Lazarescu and
Marta Pietkiewicz{-}Koutny},
title = {{LTL} Model Checking of Parallel Programs with Under-Approximated
{TSO} Memory Model},
booktitle = {13th International Conference on Application of Concurrency to System
Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
pages = {51--59},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ACSD.2013.8},
doi = {10.1109/ACSD.2013.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BarnatBH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BrimDS13,
author = {Lubos Brim and
Vil{\'{e}}m Ded and
David Safr{\'{a}}nek},
editor = {Gianfranco Balbo and
Monika Heiner},
title = {Qualitative modelling and analysis of Photosystem {II}},
booktitle = {Proceedings of the International Workshop on Biological Processes
{\&} Petri Nets, Milano, Italy, June 24, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {988},
pages = {17--29},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-988/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/BrimDS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrimCDS13,
author = {Lubos Brim and
Milan Ceska and
Sven Drazan and
David Safr{\'{a}}nek},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Exploring Parameter Space of Stochastic Biochemical Systems Using
Quantitative Model Checking},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {107--123},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_7},
doi = {10.1007/978-3-642-39799-8\_7},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/BrimCDS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BarnatBHHKLRSW13,
author = {Jiri Barnat and
Lubos Brim and
Vojtech Havel and
Jan Havl{\'{\i}}cek and
Jan Kriho and
Milan Lenco and
Petr Rockai and
Vladim{\'{\i}}r Still and
Jir{\'{\i}} Weiser},
editor = {Natasha Sharygina and
Helmut Veith},
title = {DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded {C}
{\&} {C++} Programs},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {863--868},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_60},
doi = {10.1007/978-3-642-39799-8\_60},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BarnatBHHKLRSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/RockaiBB13,
author = {Petr Rockai and
Jiri Barnat and
Lubos Brim},
editor = {Guillaume Brat and
Neha Rungta and
Arnaud Venet},
title = {Improved State Space Reductions for {LTL} Model Checking of {C} and
{C++} Programs},
booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
Field, CA, USA, May 14-16, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7871},
pages = {1--15},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38088-4\_1},
doi = {10.1007/978-3-642-38088-4\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/RockaiBB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BrimCS13,
author = {Lubos Brim and
Milan Ceska and
David Safr{\'{a}}nek},
editor = {Marco Bernardo and
Erik P. de Vink and
Alessandra Di Pierro and
Herbert Wiklicky},
title = {Model Checking of Biological Systems},
booktitle = {Formal Methods for Dynamical Systems - 13th International School on
Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2013, Bertinoro, Italy, June 17-22, 2013. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7938},
pages = {63--112},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38874-3\_3},
doi = {10.1007/978-3-642-38874-3\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BrimCS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BrimVSF13,
author = {Lubos Brim and
Tomas Vejpustek and
David Safr{\'{a}}nek and
Jana Fabrikov{\'{a}}},
editor = {Thao Dang and
Carla Piazza},
title = {Robustness Analysis for Value-Freezing Signal Temporal Logic},
booktitle = {Proceedings Second International Workshop on Hybrid Systems and Biology,
{HSB} 2013, Taormina, Italy, 2nd September 2013},
series = {{EPTCS}},
volume = {125},
pages = {20--36},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.125.2},
doi = {10.4204/EPTCS.125.2},
timestamp = {Tue, 21 Mar 2023 21:05:20 +0100},
biburl = {https://dblp.org/rec/journals/corr/BrimVSF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrimCDS13,
author = {Lubos Brim and
Milan Ceska and
Sven Drazan and
David Safr{\'{a}}nek},
title = {On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic
Model Checking},
journal = {CoRR},
volume = {abs/1310.4734},
year = {2013},
url = {http://arxiv.org/abs/1310.4734},
eprinttype = {arXiv},
eprint = {1310.4734},
timestamp = {Wed, 30 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BrimCDS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BrimC12,
author = {Lubos Brim and
Jakub Chaloupka},
title = {Using Strategy Improvement to Stay Alive},
journal = {Int. J. Found. Comput. Sci.},
volume = {23},
number = {3},
pages = {585--608},
year = {2012},
url = {https://doi.org/10.1142/S0129054112400291},
doi = {10.1142/S0129054112400291},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BrimC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/BarnatBBC12,
author = {Jiri Barnat and
Petr Bauch and
Lubos Brim and
Milan Ceska},
title = {Designing fast {LTL} model checking algorithms for many-core GPUs},
journal = {J. Parallel Distributed Comput.},
volume = {72},
number = {9},
pages = {1083--1097},
year = {2012},
url = {https://doi.org/10.1016/j.jpdc.2011.10.015},
doi = {10.1016/J.JPDC.2011.10.015},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jpdc/BarnatBBC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BarnatBR12,
author = {Jiri Barnat and
Lubos Brim and
Petr Rockai},
title = {On-the-fly parallel model checking algorithm that is optimal for verification
of weak {LTL} properties},
journal = {Sci. Comput. Program.},
volume = {77},
number = {12},
pages = {1272--1288},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2011.03.001},
doi = {10.1016/J.SCICO.2011.03.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BarnatBR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/BarnatBKSSVV12,
author = {Jiri Barnat and
Lubos Brim and
Adam Krejci and
Adam Streck and
David Safr{\'{a}}nek and
Martin Vejnar and
Tomas Vejpustek},
title = {On Parameter Synthesis by Parallel Model Checking},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {9},
number = {3},
pages = {693--705},
year = {2012},
url = {https://doi.org/10.1109/TCBB.2011.110},
doi = {10.1109/TCBB.2011.110},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/BarnatBKSSVV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/BrimFDS12,
author = {Lubos Brim and
Jana Fabrikov{\'{a}} and
Sven Drazan and
David Safr{\'{a}}nek},
title = {On Approximative Reachability Analysis of Biochemical Dynamical Systems},
journal = {Trans. Comp. Sys. Biology},
volume = {14},
pages = {77--101},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35524-0\_4},
doi = {10.1007/978-3-642-35524-0\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/BrimFDS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BarnatBBKR12,
author = {Jiri Barnat and
Jan Beran and
Lubos Brim and
Tomas Kratochvila and
Petr Rockai},
editor = {Mari{\"{e}}lle Stoelinga and
Ralf Pinger},
title = {Tool Chain to Support Automated Formal Verification of Avionics Simulink
Designs},
booktitle = {Formal Methods for Industrial Critical Systems - 17th International
Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7437},
pages = {78--92},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32469-7\_6},
doi = {10.1007/978-3-642-32469-7\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BarnatBBKR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BarnatBR12,
author = {Jiri Barnat and
Lubos Brim and
Petr Rockai},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Towards {LTL} Model Checking of Unmodified Thread-Based {C} {\&}
{C++} Programs},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {252--266},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_25},
doi = {10.1007/978-3-642-28891-3\_25},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BarnatBR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BarnatBB12,
author = {Jiri Barnat and
Petr Bauch and
Lubos Brim},
editor = {George Eleftherakis and
Mike Hinchey and
Mike Holcombe},
title = {Checking Sanity of Software Requirements},
booktitle = {Software Engineering and Formal Methods - 10th International Conference,
{SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7504},
pages = {48--62},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33826-7\_4},
doi = {10.1007/978-3-642-33826-7\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BarnatBB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/BarnatBBKO12,
author = {Jiri Barnat and
Lubos Brim and
Jan Beran and
Tomas Kratochvila and
Italo R. Oliveira},
editor = {Tiziana Margaria and
Zongyan Qiu and
Hongli Yang},
title = {Executing Model Checking Counterexamples in Simulink},
booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2012, 4-6 July 2012, Beijing, China},
pages = {245--248},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TASE.2012.42},
doi = {10.1109/TASE.2012.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/BarnatBBKO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-3853,
author = {Petr Dluhos and
Lubos Brim and
David Safr{\'{a}}nek},
editor = {Ezio Bartocci and
Luca Bortolussi},
title = {On Expressing and Monitoring Oscillatory Dynamics},
booktitle = {Proceedings First International Workshop on Hybrid Systems and Biology,
{HSB} 2012, Newcastle Upon Tyne, UK, 3rd September 2012},
series = {{EPTCS}},
volume = {92},
pages = {73--87},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.92.6},
doi = {10.4204/EPTCS.92.6},
timestamp = {Wed, 07 Dec 2022 23:00:58 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-3853.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoethemJBS13,
author = {S. Van Goethem and
Jean{-}Marie Jacquet and
Lubos Brim and
David Safr{\'{a}}nek},
editor = {Paola Giannini and
Erik P. de Vink},
title = {Timed Modelling of Gene Networks with Arbitrarily Precise Expression
Discretization},
booktitle = {Proceedings of the Third International Workshop on Interactions Between
Computer Science and Biology, CS2Bio 2012, Stockholm, Sweden, June
16, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {293},
pages = {67--81},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2013.02.019},
doi = {10.1016/J.ENTCS.2013.02.019},
timestamp = {Tue, 22 Nov 2022 13:42:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GoethemJBS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biosystems/SafranekCKPBLN11,
author = {David Safr{\'{a}}nek and
Jan Cerven{\'{y}} and
Matej Klement and
Jana Posp{\'{\i}}silov{\'{a}} and
Lubos Brim and
Dusan Lazar and
Ladislav Nedbal},
title = {E-photosynthesis: Web-based platform for modeling of complex photosynthetic
processes},
journal = {Biosyst.},
volume = {103},
number = {2},
pages = {115--124},
year = {2011},
url = {https://doi.org/10.1016/j.biosystems.2010.10.013},
doi = {10.1016/J.BIOSYSTEMS.2010.10.013},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biosystems/SafranekCKPBLN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BrimCDGR11,
author = {Lubos Brim and
Jakub Chaloupka and
Laurent Doyen and
Raffaella Gentilini and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Faster algorithms for mean-payoff games},
journal = {Formal Methods Syst. Des.},
volume = {38},
number = {2},
pages = {97--118},
year = {2011},
url = {https://doi.org/10.1007/s10703-010-0105-x},
doi = {10.1007/S10703-010-0105-X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/BrimCDGR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/EdelkampSBBS11,
author = {Stefan Edelkamp and
Damian Sulewski and
Jiri Barnat and
Lubos Brim and
Pavel Simecek},
title = {Flash memory efficient {LTL} model checking},
journal = {Sci. Comput. Program.},
volume = {76},
number = {2},
pages = {136--157},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.03.005},
doi = {10.1016/J.SCICO.2010.03.005},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/EdelkampSBBS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BenesBBCSV11,
author = {Nikola Benes and
Lubos Brim and
Barbora Buhnova and
Ivana Cern{\'{a}} and
Jiri Sochor and
Pavl{\'{\i}}na Varekov{\'{a}}},
title = {Partial order reduction for state/event {LTL} with application to
component-interaction automata},
journal = {Sci. Comput. Program.},
volume = {76},
number = {10},
pages = {877--890},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.02.008},
doi = {10.1016/J.SCICO.2010.02.008},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BenesBBCSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/BarnatBBC11,
author = {Jiri Barnat and
Petr Bauch and
Lubos Brim and
Milan Ceska},
title = {Computing Strongly Connected Components in Parallel on {CUDA}},
booktitle = {25th {IEEE} International Symposium on Parallel and Distributed Processing,
{IPDPS} 2011, Anchorage, Alaska, USA, 16-20 May, 2011 - Conference
Proceedings},
pages = {544--555},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/IPDPS.2011.59},
doi = {10.1109/IPDPS.2011.59},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/BarnatBBC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1111-0368,
author = {Lubos Brim and
Jiri Barnat},
editor = {Jiri Barnat and
Keijo Heljanko},
title = {Platform Dependent Verification: On Engineering Verification Tools
for 21st Century},
booktitle = {Proceedings 10th International Workshop on Parallel and Distributed
Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14,
2011},
series = {{EPTCS}},
volume = {72},
pages = {1--12},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.72.1},
doi = {10.4204/EPTCS.72.1},
timestamp = {Fri, 09 Apr 2021 18:27:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-0368.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1111-0627,
author = {Jiri Barnat and
Petr Bauch and
Lubos Brim and
Milan Ceska},
editor = {Jiri Barnat and
Keijo Heljanko},
title = {Computing Optimal Cycle Mean in Parallel on {CUDA}},
booktitle = {Proceedings 10th International Workshop on Parallel and Distributed
Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14,
2011},
series = {{EPTCS}},
volume = {72},
pages = {68--83},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.72.8},
doi = {10.4204/EPTCS.72.8},
timestamp = {Wed, 30 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-0627.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1109-1649,
author = {Lubos Brim and
Jana Fabrikov{\'{a}} and
Sven Drazan and
David Safr{\'{a}}nek},
editor = {Ion Petre and
Erik P. de Vink},
title = {Reachability in Biochemical Dynamical Systems by Quantitative Discrete
Approximation (extended abstract)},
booktitle = {Proceedings Third International Workshop on Computational Models for
Cell Processes, CompMod 2011, Aachen, Germany, September 10, 2011},
series = {{EPTCS}},
volume = {67},
pages = {97--112},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.67.9},
doi = {10.4204/EPTCS.67.9},
timestamp = {Tue, 21 Mar 2023 21:05:31 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-1649.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-5924,
author = {Lubos Brim and
Jana Fabrikov{\'{a}} and
Sven Drazan and
David Safr{\'{a}}nek},
title = {Reachability in Biochemical Dynamical Systems by Quantitative Discrete
Approximation},
journal = {CoRR},
volume = {abs/1107.5924},
year = {2011},
url = {http://arxiv.org/abs/1107.5924},
eprinttype = {arXiv},
eprint = {1107.5924},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-5924.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/BarnatBS10,
author = {Jiri Barnat and
Lubos Brim and
David Safr{\'{a}}nek},
title = {High-performance analysis of biological systems dynamics with the
DiVinE model checker},
journal = {Briefings Bioinform.},
volume = {11},
number = {3},
pages = {301--312},
year = {2010},
url = {https://doi.org/10.1093/bib/bbp074},
doi = {10.1093/BIB/BBP074},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bib/BarnatBS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BarnatBR10,
author = {Jiri Barnat and
Lubos Brim and
Petr Rockai},
title = {Scalable shared memory {LTL} model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {2},
pages = {139--153},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0136-z},
doi = {10.1007/S10009-010-0136-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BarnatBR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/BarnatBBC10,
author = {Jiri Barnat and
Petr Bauch and
Lubos Brim and
Milan Ceska},
title = {Employing Multiple {CUDA} Devices to Accelerate {LTL} Model Checking},
booktitle = {16th {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2010, Shanghai, China, December 8-10, 2010},
pages = {259--266},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICPADS.2010.82},
doi = {10.1109/ICPADS.2010.82},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/BarnatBBC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BarnatBR10,
author = {Jiri Barnat and
Lubos Brim and
Petr Rockai},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Stefania Gnesi and
Andrea Maggiolo{-}Schettini},
title = {Parallel Partial Order Reduction with Topological Sort Proviso},
booktitle = {8th {IEEE} International Conference on Software Engineering and Formal
Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
pages = {222--231},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SEFM.2010.35},
doi = {10.1109/SEFM.2010.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BarnatBR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1405,
author = {Lubos Brim and
Jakub Chaloupka},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {Using Strategy Improvement to Stay Alive},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {40--54},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.8},
doi = {10.4204/EPTCS.25.8},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1405.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarnatBCDFS09,
author = {Jiri Barnat and
Lubos Brim and
Ivana Cern{\'{a}} and
Sven Drazan and
Jana Fabrikov{\'{a}} and
David Safr{\'{a}}nek},
title = {On algorithmic analysis of transcriptional regulation by {LTL} model
checking},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {33-34},
pages = {3128--3148},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.02.017},
doi = {10.1016/J.TCS.2009.02.017},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BarnatBCDFS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BarnatBR09,
author = {Jiri Barnat and
Lubos Brim and
Petr Rockai},
editor = {Karin K. Breitman and
Ana Cavalcanti},
title = {A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of
Weak {LTL} Properties},
booktitle = {Formal Methods and Software Engineering, 11th International Conference
on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
December 9-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5885},
pages = {407--425},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10373-5\_21},
doi = {10.1007/978-3-642-10373-5\_21},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/icfem/BarnatBR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/BarnatBCL09,
author = {Jiri Barnat and
Lubos Brim and
Milan Ceska and
Tomas Lamr},
title = {{CUDA} Accelerated {LTL} Model Checking},
booktitle = {15th {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2009, Shenzhen, China, December 8-11, 2009},
pages = {34--41},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICPADS.2009.50},
doi = {10.1109/ICPADS.2009.50},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/BarnatBCL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BenesBCSVZ09,
author = {Nikola Benes and
Lubos Brim and
Ivana Cern{\'{a}} and
Jiri Sochor and
Pavl{\'{\i}}na Varekov{\'{a}} and
Barbora Zimmerov{\'{a}}},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Partial Order Reduction for State/Event {LTL}},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {307--321},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_21},
doi = {10.1007/978-3-642-00255-7\_21},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/BenesBCSVZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/VerstoepBBB09,
author = {Kees Verstoep and
Henri E. Bal and
Jiri Barnat and
Lubos Brim},
title = {Efficient large-scale model checking},
booktitle = {23rd {IEEE} International Symposium on Parallel and Distributed Processing,
{IPDPS} 2009, Rome, Italy, May 23-29, 2009},
pages = {1--12},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/IPDPS.2009.5161000},
doi = {10.1109/IPDPS.2009.5161000},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/VerstoepBBB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BarnatBS09,
author = {Jiri Barnat and
Lubos Brim and
Pavel Simecek},
title = {Cluster-Based I/O-Efficient {LTL} Model Checking},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {635--639},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.32},
doi = {10.1109/ASE.2009.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BarnatBS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/ChaloupkaB09,
author = {Jakub Chaloupka and
Lubos Brim},
editor = {Petr Hlinen{\'{y}} and
V{\'{a}}clav Maty{\'{a}}s and
Tom{\'{a}}s Vojnar},
title = {Faster Algorithm for Mean-Payoff Games},
booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in
Computer Science, {MEMICS} 2009, November 13-15, 2009, Prestige Hotel,
Znojmo, Czech Republic},
series = {OASIcs},
volume = {13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2348},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/memics/ChaloupkaB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0910-0928,
author = {Jiri Barnat and
Lubos Brim and
Ivana Cern{\'{a}} and
Sven Drazan and
Jana Fabrikov{\'{a}} and
Jan L{\'{a}}n{\'{\i}}k and
David Safr{\'{a}}nek and
Hongwu Ma},
editor = {Ralph{-}Johan Back and
Ion Petre and
Erik P. de Vink},
title = {BioDiVinE: {A} Framework for Parallel Analysis of Biological Models},
booktitle = {Proceedings Second International Workshop on Computational Models
for Cell Processes, {COMPMOD} 2009, Eindhoven, the Netherlands, November
3, 2009},
series = {{EPTCS}},
volume = {6},
pages = {31--45},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.6.3},
doi = {10.4204/EPTCS.6.3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-0928.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0912-2555,
author = {Jiri Barnat and
Lubos Brim and
Milan Ceska},
editor = {Lubos Brim and
Jaco van de Pol},
title = {DiVinE-CUDA - {A} Tool for {GPU} Accelerated {LTL} Model Checking},
booktitle = {Proceedings 8th International Workshop on Parallel and Distributed
Methods in verifiCation, {PDMC} 2009, Eindhoven, The Netherlands,
4th November 2009},
series = {{EPTCS}},
volume = {14},
pages = {107--111},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.14.8},
doi = {10.4204/EPTCS.14.8},
timestamp = {Wed, 30 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-2555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9491,
editor = {Lubos Brim and
Stefan Edelkamp and
Eric A. Hansen and
Peter Sanders},
title = {Graph Search Engineering, 29.11. - 04.12.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09491},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09491/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2009P9491.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-0912-3036,
editor = {Lubos Brim and
Jaco van de Pol},
title = {Proceedings 8th International Workshop on Parallel and Distributed
Methods in verifiCation, {PDMC} 2009, Eindhoven, The Netherlands,
4th November 2009},
series = {{EPTCS}},
volume = {14},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.14},
doi = {10.4204/EPTCS.14},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-3036.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BrimEHS09,
author = {Lubos Brim and
Stefan Edelkamp and
Eric A. Hansen and
Peter Sanders},
editor = {Lubos Brim and
Stefan Edelkamp and
Eric A. Hansen and
Peter Sanders},
title = {09491 Abstracts Collection - Graph Search Engineering},
booktitle = {Graph Search Engineering, 29.11. - 04.12.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09491},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2431/},
timestamp = {Thu, 10 Jun 2021 13:02:03 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BrimEHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BarnatBR08,
author = {Jiri Barnat and
Lubos Brim and
Petr Rockai},
editor = {Sung Deok Cha and
Jin{-}Young Choi and
Moonzoo Kim and
Insup Lee and
Mahesh Viswanathan},
title = {DiVinE Multi-Core - {A} Parallel {LTL} Model-Checker},
booktitle = {Automated Technology for Verification and Analysis, 6th International
Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5311},
pages = {234--239},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88387-6\_20},
doi = {10.1007/978-3-540-88387-6\_20},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/atva/BarnatBR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BarnatBCCT08,
author = {Jiri Barnat and
Lubos Brim and
Ivana Cern{\'{a}} and
Milan Ceska and
Jana Tumova},
editor = {Darren D. Cofer and
Alessandro Fantechi},
title = {Local Quantitative {LTL} Model Checking},
booktitle = {Formal Methods for Industrial Critical Systems, 13th International
Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5596},
pages = {53--68},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03240-0\_8},
doi = {10.1007/978-3-642-03240-0\_8},
timestamp = {Wed, 30 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/BarnatBCCT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BarnatBESS08,
author = {Jiri Barnat and
Lubos Brim and
Stefan Edelkamp and
Damian Sulewski and
Pavel Simecek},
editor = {Darren D. Cofer and
Alessandro Fantechi},
title = {Can Flash Memory Help in Model Checking?},
booktitle = {Formal Methods for Industrial Critical Systems, 13th International
Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5596},
pages = {150--165},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03240-0\_14},
doi = {10.1007/978-3-642-03240-0\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BarnatBESS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BarnatB08,
author = {Jiri Barnat and
Lubos Brim},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Squeeze All the Power Out of Your Hardware to Verify Your Software!},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {604--618},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_43},
doi = {10.1007/978-3-540-88479-8\_43},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BarnatB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BarnatBCCT08,
author = {Jiri Barnat and
Lubos Brim and
Ivana Cern{\'{a}} and
Milan Ceska and
Jana Tumova},
title = {ProbDiVinE-MC: Multi-core {LTL} Model Checker for Probabilistic Systems},
booktitle = {Fifth International Conference on the Quantitative Evaluaiton of Systems
{(QEST} 2008), 14-17 September 2008, Saint-Malo, France},
pages = {77--78},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/QEST.2008.29},
doi = {10.1109/QEST.2008.29},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/BarnatBCCT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BarnatBSW08,
author = {Jiri Barnat and
Lubos Brim and
Pavel Simecek and
M. Weber},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Revisiting Resistance Speeds Up I/O-Efficient {LTL} Model Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {48--62},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_5},
doi = {10.1007/978-3-540-78800-3\_5},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BarnatBSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2008P8332,
editor = {Henri E. Bal and
Lubos Brim and
Martin Leucker},
title = {Distributed Verification and Grid Computing, 10.08. - 14.08.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08332},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/portals/08332/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2008P8332.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BalBL08,
author = {Henri E. Bal and
Lubos Brim and
Martin Leucker},
editor = {Henri E. Bal and
Lubos Brim and
Martin Leucker},
title = {08332 Abstracts Collection - Distributed Verification and Grid Computing},
booktitle = {Distributed Verification and Grid Computing, 10.08. - 14.08.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08332},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1633/},
timestamp = {Thu, 10 Jun 2021 13:02:09 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BalBL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BalBL08a,
author = {Henri E. Bal and
Lubos Brim and
Martin Leucker},
editor = {Henri E. Bal and
Lubos Brim and
Martin Leucker},
title = {08332 Executive Summary - Distributed Verification and Grid Computing},
booktitle = {Distributed Verification and Grid Computing, 10.08. - 14.08.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08332},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1632/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BalBL08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/VerstoepBBB08,
author = {Kees Verstoep and
Henri E. Bal and
Jiri Barnat and
Lubos Brim},
editor = {Henri E. Bal and
Lubos Brim and
Martin Leucker},
title = {Efficient Large-Scale Model Checking},
booktitle = {Distributed Verification and Grid Computing, 10.08. - 14.08.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08332},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1630/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/VerstoepBBB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BarnatBS07,
author = {Jiri Barnat and
Lubos Brim and
Pavel Simecek},
editor = {Werner Damm and
Holger Hermanns},
title = {{I/O} Efficient Accepting Cycle Detection},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {281--293},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_32},
doi = {10.1007/978-3-540-73368-3\_32},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/BarnatBS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ZimmerovaVBCBS07,
author = {Barbora Zimmerov{\'{a}} and
Pavl{\'{\i}}na Varekov{\'{a}} and
Nikola Benes and
Ivana Cern{\'{a}} and
Lubos Brim and
Jiri Sochor},
editor = {Andreas Rausch and
Ralf H. Reussner and
Raffaela Mirandola and
Frantisek Pl{\'{a}}sil},
title = {Component-Interaction Automata Approach (CoIn)},
booktitle = {The Common Component Modeling Example: Comparing Software Component
Models [result from the Dagstuhl research seminar for CoCoME, August
1-3, 2007]},
series = {Lecture Notes in Computer Science},
volume = {5153},
pages = {146--176},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-85289-6\_7},
doi = {10.1007/978-3-540-85289-6\_7},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/ZimmerovaVBCBS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BarnatBL07,
author = {Jiri Barnat and
Lubos Brim and
Martin Leucker},
title = {Parallel Model Checking and the FMICS-jETI Platform},
booktitle = {12th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
pages = {330--339},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICECCS.2007.34},
doi = {10.1109/ICECCS.2007.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BarnatBL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BarnatBCCT07,
author = {Jiri Barnat and
Lubos Brim and
Ivana Cern{\'{a}} and
Milan Ceska and
Jana Tumova},
title = {ProbDiVinE: {A} Parallel Qualitative {LTL} Model Checker},
booktitle = {Fourth International Conference on the Quantitative Evaluaiton of
Systems {(QEST} 2007), 17-19 September 2007, Edinburgh, Scotland,
{UK}},
pages = {215--216},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/QEST.2007.13},
doi = {10.1109/QEST.2007.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/BarnatBCCT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BrimK07,
author = {Lubos Brim and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
editor = {Jan van Leeuwen and
Giuseppe F. Italiano and
Wiebe van der Hoek and
Christoph Meinel and
Harald Sack and
Frantisek Pl{\'{a}}sil},
title = {Model-Checking Large Finite-State Systems and Beyond},
booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference
on Current Trends in Theory and Practice of Computer Science, Harrachov,
Czech Republic, January 20-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4362},
pages = {9--28},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69507-3\_2},
doi = {10.1007/978-3-540-69507-3\_2},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BrimK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BrimB07,
author = {Lubos Brim and
Jiri Barnat},
editor = {Dragan Bosnacki and
Stefan Edelkamp},
title = {Tutorial: Parallel Model Checking},
booktitle = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
Germany, July 1-3, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4595},
pages = {2--3},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73370-6\_2},
doi = {10.1007/978-3-540-73370-6\_2},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/BrimB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BarnatBR07,
author = {Jiri Barnat and
Lubos Brim and
Petr Rockai},
editor = {Dragan Bosnacki and
Stefan Edelkamp},
title = {Scalable Multi-core {LTL} Model-Checking},
booktitle = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
Germany, July 1-3, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4595},
pages = {187--203},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73370-6\_13},
doi = {10.1007/978-3-540-73370-6\_13},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/BarnatBR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarnatBCDS08,
author = {Jiri Barnat and
Lubos Brim and
Ivana Cern{\'{a}} and
Sven Drazan and
David Safr{\'{a}}nek},
editor = {Nicola Cannata and
Emanuela Merelli},
title = {Parallel Model Checking Large-Scale Genetic Regulatory Networks with
DiVinE},
booktitle = {Proceedings of the First Workshop "From Biology To Concurrency and
back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {3},
pages = {35--50},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.12.001},
doi = {10.1016/J.ENTCS.2007.12.001},
timestamp = {Thu, 09 Feb 2023 10:12:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BarnatBCDS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2006,
editor = {Lubos Brim and
Boudewijn R. Haverkort and
Martin Leucker and
Jaco van de Pol},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {4346},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-70952-7},
doi = {10.1007/978-3-540-70952-7},
isbn = {978-3-540-70951-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BrimL06,
author = {Lubos Brim and
Martin Leucker},
title = {Foreword},
journal = {Formal Methods Syst. Des.},
volume = {29},
number = {2},
pages = {115--116},
year = {2006},
url = {https://doi.org/10.1007/s10703-006-0010-5},
doi = {10.1007/S10703-006-0010-5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/BrimL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BrimCVZ06,
author = {Lubos Brim and
Ivana Cern{\'{a}} and
Pavl{\'{\i}}na Varekov{\'{a}} and
Barbora Zimmerov{\'{a}}},
title = {Component-interaction automata as a verification-oriented component-based
system specification},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {31},
number = {2},
year = {2006},
url = {https://doi.org/10.1145/1118537.1123063},
doi = {10.1145/1118537.1123063},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/BrimCVZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BarnatBCMRS06,
author = {Jiri Barnat and
Lubos Brim and
Ivana Cern{\'{a}} and
Pavel Moravec and
Petr Rockai and
Pavel Simecek},
editor = {Thomas Ball and
Robert B. Jones},
title = {DiVinE - {A} Tool for Distributed Verification},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {278--281},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_26},
doi = {10.1007/11817963\_26},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BarnatBCMRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Brim06,
author = {Lubos Brim},
editor = {Lubos Brim and
Boudewijn R. Haverkort and
Martin Leucker and
Jaco van de Pol},
title = {Distributed Verification: Exploring the Power of Raw Computing Power},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4346},
pages = {23--34},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70952-7\_2},
doi = {10.1007/978-3-540-70952-7\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/Brim06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BrimCMS06,
author = {Lubos Brim and
Ivana Cern{\'{a}} and
Pavel Moravec and
Jir{\'{\i}} Simsa},
editor = {Lubos Brim and
Boudewijn R. Haverkort and
Martin Leucker and
Jaco van de Pol},
title = {On Combining Partial Order Reduction with Fairness Assumptions},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4346},
pages = {84--99},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70952-7\_6},
doi = {10.1007/978-3-540-70952-7\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BrimCMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2005mtcoord,
editor = {Lubos Brim and
Isabelle Linden},
title = {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},
series = {Electronic Notes in Theoretical Computer Science},
volume = {150},
number = {1},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/150/issue/1},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/2005mtcoord.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BrimG05,
author = {Lubos Brim and
Orna Grumberg},
title = {Introductory paper},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {1},
pages = {1--3},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0177-2},
doi = {10.1007/S10009-004-0177-2},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BrimG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BrimYZ05,
author = {Lubos Brim and
Karen Yorav and
Jitka Zidkova},
title = {Assumption-based distribution of {CTL} model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {1},
pages = {61--73},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0163-8},
doi = {10.1007/S10009-004-0163-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BrimYZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BarnatBC05,
author = {Jiri Barnat and
Lubos Brim and
Ivana Cern{\'{a}}},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Cluster-Based {LTL} Model Checking of Large Systems},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {259--279},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_13},
doi = {10.1007/11804192\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BarnatBC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/PelanekHCB05,
author = {Radek Pel{\'{a}}nek and
Tom{\'{a}}s Hanzl and
Ivana Cern{\'{a}} and
Lubos Brim},
editor = {Tiziana Margaria and
Mieke Massink},
title = {Enhancing random walk state space exploration},
booktitle = {Proceedings of the 10th international workshop on Formal methods for
industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {98--105},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081180.1081193},
doi = {10.1145/1081180.1081193},
timestamp = {Tue, 25 Jan 2022 17:00:39 +0100},
biburl = {https://dblp.org/rec/conf/fmics/PelanekHCB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BrimCVZ05,
author = {Lubos Brim and
Ivana Cern{\'{a}} and
Pavl{\'{\i}}na Varekov{\'{a}} and
Barbora Zimmerov{\'{a}}},
editor = {Gary T. Leavens},
title = {Component-interaction automata as a verification-oriented component-based
system specification},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {4},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123063},
doi = {10.1145/1123058.1123063},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BrimCVZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrimL06,
author = {Lubos Brim and
Isabelle Linden},
editor = {Lubos Brim and
Isabelle Linden},
title = {Preface},
booktitle = {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},
series = {Electronic Notes in Theoretical Computer Science},
volume = {150},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.019},
doi = {10.1016/J.ENTCS.2005.12.019},
timestamp = {Fri, 20 Jan 2023 09:08:43 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrimL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrimCMS06,
author = {Lubos Brim and
Ivana Cern{\'{a}} and
Pavel Moravec and
Jir{\'{\i}} Simsa},
editor = {Martin Leucker and
Jaco van de Pol},
title = {How to Order Vertices for Distributed {LTL} Model-Checking Based on
Accepting Predecessors},
booktitle = {Proceedings of the 4th International Workshop on Parallel and Distributed
Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10,
2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {135},
number = {2},
pages = {3--18},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.015},
doi = {10.1016/J.ENTCS.2005.10.015},
timestamp = {Thu, 15 Dec 2022 14:06:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrimCMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pdmc/2004,
editor = {Lubos Brim and
Martin Leucker},
title = {Proceedings of the 3rd International Workshop on Parallel and Distributed
Methods in Verification, {PDMC} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {3},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/128/issue/3},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdmc/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BrimCMS04,
author = {Lubos Brim and
Ivana Cern{\'{a}} and
Pavel Moravec and
Jir{\'{\i}} Simsa},
editor = {Alan J. Hu and
Andrew K. Martin},
title = {Accepting Predecessors Are Better than Back Edges in Distributed {LTL}
Model-Checking},
booktitle = {Formal Methods in Computer-Aided Design, 5th International Conference,
{FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3312},
pages = {352--366},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30494-4\_25},
doi = {10.1007/978-3-540-30494-4\_25},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BrimCMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrimL05,
author = {Lubos Brim and
Martin Leucker},
editor = {Lubos Brim and
Martin Leucker},
title = {Preface},
booktitle = {Proceedings of the 3rd International Workshop on Parallel and Distributed
Methods in Verification, {PDMC} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.014},
doi = {10.1016/J.ENTCS.2004.10.014},
timestamp = {Mon, 12 Dec 2022 15:21:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrimL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarnatBC05,
author = {Jiri Barnat and
Lubos Brim and
Jakub Chaloupka},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {From Distributed Memory Cycle Detection to Parallel {LTL} Model Checking},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {21--39},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.056},
doi = {10.1016/J.ENTCS.2004.08.056},
timestamp = {Tue, 06 Dec 2022 10:19:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BarnatBC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrimCMS05,
author = {Lubos Brim and
Ivana Cern{\'{a}} and
Pavel Moravec and
Jir{\'{\i}} Simsa},
editor = {Lubos Brim and
Martin Leucker},
title = {Distributed Partial Order Reduction of State Spaces},
booktitle = {Proceedings of the 3rd International Workshop on Parallel and Distributed
Methods in Verification, {PDMC} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {3},
pages = {63--74},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.019},
doi = {10.1016/J.ENTCS.2004.10.019},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrimCMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BarnatBC03,
author = {Jiri Barnat and
Lubos Brim and
Jakub Chaloupka},
title = {Parallel Breadth-First Search {LTL} Model-Checking},
booktitle = {18th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2003), 6-10 October 2003, Montreal, Canada},
pages = {106--115},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ASE.2003.1240299},
doi = {10.1109/ASE.2003.1240299},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BarnatBC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/BrimCH03,
author = {Lubos Brim and
Ivana Cern{\'{a}} and
Luk{\'{a}}s Hejtm{\'{a}}nek},
editor = {Gerhard R. Joubert and
Wolfgang E. Nagel and
Frans J. Peters and
Wolfgang V. Walter},
title = {Distributed Negative Cycle Detection Algorithms},
booktitle = {Parallel Computing: Software Technology, Algorithms, Architectures
and Applications, {PARCO} 2003, Dresden, Germany},
series = {Advances in Parallel Computing},
volume = {13},
pages = {297--304},
publisher = {Elsevier},
year = {2003},
timestamp = {Mon, 03 Jun 2013 17:22:02 +0200},
biburl = {https://dblp.org/rec/conf/parco/BrimCH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrimG03,
author = {Lubos Brim and
Orna Grumberg},
editor = {Lubos Brim and
Orna Grumberg},
title = {Preface},
booktitle = {2nd International Workshop on Parallel and Distributed Model Checking,
{PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80091-X},
doi = {10.1016/S1571-0661(05)80091-X},
timestamp = {Thu, 08 Dec 2022 15:32:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrimG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrimZ03,
author = {Lubos Brim and
Jitka Zidkova},
editor = {Lubos Brim and
Orna Grumberg},
title = {Using Assumptions to Distribute Alternation Free Mu-Calculus Model
Checking},
booktitle = {2nd International Workshop on Parallel and Distributed Model Checking,
{PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {1},
pages = {17--32},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80094-5},
doi = {10.1016/S1571-0661(05)80094-5},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrimZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrimB03,
author = {Lubos Brim and
Jiri Barnat},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Distribution of Explicit-State {LTL} Model-Checking},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {273--278},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80825-9},
doi = {10.1016/S1571-0661(04)80825-9},
timestamp = {Tue, 06 Dec 2022 10:12:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrimB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pdmc/2003,
editor = {Lubos Brim and
Orna Grumberg},
title = {2nd International Workshop on Parallel and Distributed Model Checking,
{PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {1},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/89/issue/1},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdmc/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wflp/2003,
editor = {Lubos Brim and
Orna Grumberg},
title = {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},
series = {Electronic Notes in Theoretical Computer Science},
volume = {86},
number = {3},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/86/issue/3},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wflp/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/BrimKJG02,
author = {Lubos Brim and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Jean{-}Marie Jacquet and
David R. Gilbert},
title = {Modelling Multi-Agent Systems as Synchronous Concurrent Constraint
Processes},
journal = {Comput. Artif. Intell.},
volume = {21},
number = {6},
pages = {565--590},
year = {2002},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/479},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/BrimKJG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JacquetBGK03,
author = {Jean{-}Marie Jacquet and
Lubos Brim and
David R. Gilbert and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {Coordination by Means of Synchronous and Asynchronous Communication
in Concurrent Constraint Programming},
booktitle = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {347--370},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80377-9},
doi = {10.1016/S1571-0661(05)80377-9},
timestamp = {Tue, 06 Dec 2022 11:05:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JacquetBGK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrimG02,
author = {Lubos Brim and
Orna Grumberg},
editor = {Lubos Brim and
Orna Grumberg},
title = {Preface},
booktitle = {Parallel and Distributed Model Checking, {PDMC} 2002, Satellite Workshop
of {CONCUR} 2002, Brno, Czech Republic, August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {4},
pages = {483},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80385-8},
doi = {10.1016/S1571-0661(05)80385-8},
timestamp = {Tue, 06 Dec 2022 11:23:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrimG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrimCY02,
author = {Lubos Brim and
Jitka Crhov{\'{a}} and
Karen Yorav},
editor = {Lubos Brim and
Orna Grumberg},
title = {Using Assumptions to Distribute {CTL} Model Checking},
booktitle = {Parallel and Distributed Model Checking, {PDMC} 2002, Satellite Workshop
of {CONCUR} 2002, Brno, Czech Republic, August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {4},
pages = {559--574},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80758-3},
doi = {10.1016/S1571-0661(05)80758-3},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrimCY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2002pdmc,
editor = {Lubos Brim and
Orna Grumberg},
title = {Parallel and Distributed Model Checking, {PDMC} 2002, Satellite Workshop
of {CONCUR} 2002, Brno, Czech Republic, August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {4},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/68/issue/4},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/2002pdmc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2002,
editor = {Lubos Brim and
Petr Jancar and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference,
Brno, Czech Republic, August 20-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2421},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45694-5},
doi = {10.1007/3-540-45694-5},
isbn = {3-540-44043-7},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BrimCKP01,
author = {Lubos Brim and
Ivana Cern{\'{a}} and
Pavel Krc{\'{a}}l and
Radek Pel{\'{a}}nek},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Distributed {LTL} Model Checking Based on Negative Cycle Detection},
booktitle = {{FST} {TCS} 2001: Foundations of Software Technology and Theoretical
Computer Science, 21st Conference, Bangalore, India, December 13-15,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2245},
pages = {96--107},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45294-X\_9},
doi = {10.1007/3-540-45294-X\_9},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BrimCKP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/papm/BrimCN01,
author = {Lubos Brim and
Ivana Cern{\'{a}} and
Martin Necesal},
editor = {Luca de Alfaro and
Stephen Gilmore},
title = {Randomization Helps in {LTL} Model Checking},
booktitle = {Process Algebra and Probabilistic Methods, Performance Modeling and
Verification: Joint International Workshop, {PAPM-PROBMIV} 2001, Aachen,
Germany, September 12-14, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2165},
pages = {105--119},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44804-7\_7},
doi = {10.1007/3-540-44804-7\_7},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/papm/BrimCN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BrimCKP01,
author = {Lubos Brim and
Ivana Cern{\'{a}} and
Pavel Krc{\'{a}}l and
Radek Pel{\'{a}}nek},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {How to Employ Reverse Search in Distributed Single Source Shortest
Paths},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {191--200},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_16},
doi = {10.1007/3-540-45627-9\_16},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BrimCKP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BrimGJK01,
author = {Lubos Brim and
David R. Gilbert and
Jean{-}Marie Jacquet and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Multi-agent Systems as Concurrent Constraint Processes},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {201--210},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_17},
doi = {10.1007/3-540-45627-9\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BrimGJK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BarnatBS01,
author = {Jiri Barnat and
Lubos Brim and
Jitka Str{\'{\i}}brn{\'{a}}},
editor = {Matthew B. Dwyer},
title = {Distributed {LTL} Model-Checking in {SPIN}},
booktitle = {Model Checking Software, 8th International {SPIN} Workshop, Toronto,
Canada, May 19-20, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2057},
pages = {200--216},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45139-0\_13},
doi = {10.1007/3-540-45139-0\_13},
timestamp = {Thu, 02 Jun 2022 12:33:45 +0200},
biburl = {https://dblp.org/rec/conf/spin/BarnatBS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1998,
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055753},
doi = {10.1007/BFB0055753},
isbn = {3-540-64827-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BrimJGK96,
author = {Lubos Brim and
Jean{-}Marie Jacquet and
David R. Gilbert and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {A Process Algebra for Synchronous Concurrent Constraint Programming},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {165--178},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_11},
doi = {10.1007/3-540-61735-3\_11},
timestamp = {Thu, 14 Oct 2021 10:38:45 +0200},
biburl = {https://dblp.org/rec/conf/alp/BrimJGK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BrimGJK95,
author = {Lubos Brim and
David R. Gilbert and
Jean{-}Marie Jacquet and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
editor = {John W. Lloyd},
title = {Synchronisation in Scc},
booktitle = {Logic Programming, Proceedings of the 1995 International Symposium,
Portland, Oregon, USA, December 4-7, 1995},
pages = {641},
publisher = {{MIT} Press},
year = {1995},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299954},
timestamp = {Wed, 11 Aug 2021 17:02:32 +0200},
biburl = {https://dblp.org/rec/conf/slp/BrimGJK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/napaw/Brim92,
author = {Lubos Brim},
editor = {S. Purushothaman and
Amy E. Zwarico},
title = {Modal Logics in Timed Process Algebras},
booktitle = {{NAPAW} 92, Proceedings of the First North American Process Algebra
Workshop, Stony Brook, New York, USA, 28 Agust 1992},
series = {Workshops in Computing},
pages = {13--26},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3217-2\_2},
doi = {10.1007/978-1-4471-3217-2\_2},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/napaw/Brim92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
