Prof. RNDr. Luboš Brim, CSc.
|
BARNAT, Jiří - BAUCH, Petr - BRIM, Luboš - ČEŠKA, Milan.
Designing Fast LTL Model Checking Algorithms for Many-core GPUs. Journal of Parallel and Distributed Computing, Elsevier. ISSN 0743-7315, 2012.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties. Science of Computer Programming, Elsevier. ISSN 0167-6423, 2012, vol. 2011, no. 0.
BARNAT, Jiří - BRIM, Luboš - KREJČÍ, Adam - STRECK, Adam - ŠAFRÁNEK, David - VEJNÁR, Martin - VEJPUSTEK, Tomáš.
On Parameter Synthesis by Parallel Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics. ISSN 1545-5963, 2012, vol. 99, no. PrePrints, 14 pp.
BARNAT, Jiří - BAUCH, Petr - BRIM, Luboš - ČEŠKA, Milan.
Computing Optimal Cycle Mean in Parallel on CUDA. In Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation. Neuveden : Open Publishing Association, 2011. pp. 68-83. 2011, Snowbird, Utah, USA. PDMC 2011.
BARNAT, Jiří - BAUCH, Petr - BRIM, Luboš - ČEŠKA, Milan.
Computing Strongly Connected Components in Parallel on CUDA. In Proceedings of 25th IEEE International Parallel & Distributed Processing Symposium. Anchorage, AK : IEEE Computer Society, 2011. ISBN 978-1-61284-372-8, pp. 544 - 555.
ŠAFRÁNEK, David - ČERVENÝ, Jan - KLEMENT, Matej - POSPÍŠILOVÁ, Jana - BRIM, Luboš - LAZÁR, Dušan - NEDBAL, Ladislav.
E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes. BioSystems, Elsevier. ISSN 0303-2647, 2011, vol. 103, no. 2, pp. 115-124.
BRIM, Luboš - CHALOUPKA, Jakub - DOYEN, Laurent - GENTILINI, Raffaella - RASKIN, Jean-François.
Faster algorithms for mean-payoff games. Formal Methods in System Design, Springer Netherlands, The Nederlands. ISSN 0925-9856, 2011, vol. 38, no. 2, pp. 97-118.
EDELKAMP, Stefan - SULEWSKI, Damian - BARNAT, Jiří - BRIM, Luboš - ŠIMEČEK, Pavel.
Flash memory efficient LTL model checking. Science of Computer Programming, Elsevier, The Nederlands. ISSN 0167-6423, 2011, vol. 76, no. 2, pp. 136--157.
BENEŠ, Nikola - BRIM, Luboš - BÜHNOVÁ, Barbora - ČERNÁ, Ivana - SOCHOR, Jiří - MORAVCOVÁ VAŘEKOVÁ, Pavlína.
Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata. Science of Computer Programming, Elsevier. ISSN 0167-6423, 2011, vol. 76, no. 10, pp. 877-890.
BRIM, Luboš - BARNAT, Jiří.
Platform Dependent Verification: On Engineering Verification Tools for 21st Century. In Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation. Neuveden : Open Publishing Association, 2011. pp. 1-12. 2011, Snowbird, Utah, USA. PDMC 2011, Invited talk.
BRIM, Luboš - BARNAT, Jiří.
Platform Dependent Verification: On Engineering Verification Tools for 21st Century. 2011. PDMC 2011, Invited talk.
BRIM, Luboš - FABRIKOVÁ, Jana - DRAŽAN, Sven - ŠAFRÁNEK, David.
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation. In Proceedings of 3rd International Workshop on Computational Models for Cell Processes (COMPMOD 2011). Turku : EPTCS, 2011. pp. 97-112. 2011, Aachen.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
DiVinE 2.4. 2010.
BARNAT, Jiří - BRIM, Luboš - ČEŠKA, Milan - ROČKAI, Petr.
DiVinE: Parallel Distributed Model Checker (Tool paper). In Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010). : 2010. 4 pp. 2010, Twente, Netherlands.
KLEMENT, Matej - ŠAFRÁNEK, David - ČERVENÝ, Jan - BRIM, Luboš - NEDBAL, Ladislav.
E-photosynthesis: web software for modeling and analysis of biological processes behind photosynthesis. 2010.
BARNAT, Jiří - BAUCH, Petr - BRIM, Luboš - ČEŠKA, Milan.
Employing Multiple CUDA Devices to Accelerate LTL Model Checking. In Proceedings of 16th International Conference on Parallel and Distributed Systems (ICPADS 2010). Neuveden : IEEE Computer Society, 2010. ISBN 978-0-7695-4307-9, pp. 259-266. 2010, Shanghai, China.
BARNAT, Jiří - BRIM, Luboš - ŠAFRÁNEK, David.
High-performance analysis of biological systems dynamics with the DiVinE model checker. Briefings in Bioinformatics, Oxford (UK), Oxford University Press. ISSN 1467-5463, 2010, vol. 11, no. 3, pp. 301-312.
BARNAT, Jiří - BRIM, Luboš - BAUCH, Petr - ČEŠKA, Milan.
MWC-DiVinE. 2010.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
Parallel Partial Order Reduction with Topological Sort Proviso. In Software Engineering and Formal Methods (SEFM 2010). Los Alamos : IEEE Computer Society Press, 2010. ISBN 978-0-7695-4153-2, pp. 222-231. 2010, CNR, Pisa, Italy.
BARNAT, Jiří - BRIM, Luboš - ŠAFRÁNEK, David - VEJNÁR, Martin.
Parameter Scanning by Parallel Model Checking with Applications in Systems Biology. In Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology. Los Alamitos : IEEE Computer Society, 2010. ISBN 978-0-7695-4265-2, pp. 95-104. 2010, Enschede.
APPL, Jiří - BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE 2.0. 2010.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
Scalable shared memory LTL model checking. International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag GmbH, Germany. ISSN 1433-2779, 2010, vol. 12, no. 2, pp. 139-153.
BRIM, Luboš - CHALOUPKA, Jakub.
Using Strategy Improvement to Stay Alive. In Games, Automata, Logics and Formal Verification (GandALF) 2010. Neuveden : Electronic Proceedings in Theoretical Computer Science (EPTCS), 2010. pp. 40-54. 2010, Minori, Itálie.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties. In Formal Methods and Software Engineering. Germany : Springer Berlin / Heidelberg, 2009. ISBN 978-3-642-10372-8, pp. 407-425. 2009, Rio de Janeiro.
BARNAT, Jiří - DRAŽAN, Sven - FABRIKOVÁ, Jana - ŠAFRÁNEK, David - BRIM, Luboš - ČERNÁ, Ivana - LÁNÍK, Jan.
BioDiVinE. 2009.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - FABRIKOVÁ, Jana - LÁNÍK, Jan - ŠAFRÁNEK, David - HONGWU, Ma.
BioDiVinE: A Framework for Parallel Analysis of Biological Models. In Proceedings of 2nd International Workshop on Computational Models for Cell Processes. Neuveden : EPTCS, 2009. pp. 31-45. 2009, Eindhoven.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - FABRIKOVÁ, Jana - LÁNÍK, Jan - ŠAFRÁNEK, David.
BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models. In Computational Mehotds in Systems Biology: Abstract of the Posters. Pisa : University of Pisa, 2009. pp. 1-5. 2009, Bologna.
BRIM, Luboš - ŠAFRÁNEK, David - VRBAS, Jakub.
BIOMS: Biological Models Specification Tool. 2009.
BARNAT, Jiří - BRIM, Luboš - EDELKAMP, Stefan - SULEWSKI, Damian - ŠIMEČEK, Pavel.
Can Flash Memory Help in Model Checking?. In Formal Methods for Industrial Critical Systems. Neuveden : Springer Berlin / Heidelberg, 2009. ISBN 978-3-642-03239-4, pp. 150-165. 2008, L'Aquila, Italy.
BARNAT, Jiří - BRIM, Luboš - ŠIMEČEK, Pavel.
Cluster-Based I/O-Efficient LTL Model Checking. In 24th IEEE/ACM International Conference on Automated Software Engineering. Los Calamitos (California) : IEEE Computer Society, 2009. ISBN 978-0-7695-3891-4, pp. 635-639. 2009, Auckalnd, New Zealand.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - FABRIKOVÁ, Jana - ŠAFRÁNEK, David.
Computational Analysis of Large-Scale Multi-Affine ODE Models. In International Workshop on High Performance Computational Systems Biology. Los Alamitos (California) : IEEE Computer Society, 2009. ISBN 978-0-7695-3809-9, pp. 81-90. 2009, Trento.
BARNAT, Jiří - BRIM, Luboš - ČEŠKA, Milan - LAMR, Tomáš.
CUDA Accelerated LTL Model Checking. In Proceedings of the 15th International Conference on Parallel and Distributed Systems. Neuveden : Roy Sterritt, 2009. ISBN 978-0-7695-3900-3, pp. 34-41. 8.12.2009, Shezhen, Čína.
BARNAT, Jiří - BRIM, Luboš - ČEŠKA, Milan.
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking. Electronic Proceedings in Theoretical Computer Science, The Nederlands. ISSN 2075-2180, 2009, vol. 14, no. Prosinec, pp. 107--111.
ROČKAI, Petr - BARNAT, Jiří - BRIM, Luboš - ČEŠKA, Milan.
DiVinE 2.0. 2009.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
DiVinE 2.0: High-Performance Model Checking. In International Workshop on High Performance Computational Systems Biology. Los Alamitos (California) : IEEE Computer Society, 2009. ISBN 978-0-7695-3809-9, pp. 31-32. 2009, Trento.
BARNAT, Jiří - BRIM, Luboš - BAUCH, Petr - ČEŠKA, Milan - LAMR, Tomáš.
DiVinE Cuda. 2009.
VERSTOEP, Kees - BAL, Henri E. - BARNAT, Jiří - BRIM, Luboš.
Efficient Large-Scale Model Checking. In 23rd IEEE International Parallel & Distributed Processing Symposium. IEEE : IEEE, 2009. ISBN 978-1-4244-3751-1, pp. 201-212. 2009, Rome, Italy.
CHALOUPKA, Jakub - BRIM, Luboš.
Faster Algorithm for Mean-Payoff Games. In MEMICS 2009. Brno : NOVPRESS s.r.o., 2009. ISBN 978-80-87342-04-6, pp. 45-53. Znojmo.
CHALOUPKA, Jakub - BRIM, Luboš.
Faster Algorithm for Mean-Payoff Games. In Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Dagstuhl, Německo : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Německo, 2009. ISBN 978-3-939897-15-6, 9 pp. Znojmo, Česká republika.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
Local Quantitative LTL Model Checking. In Formal Methods for Industrial Critical Systems. Neuveden : Springer Berlin / Heidelberg, 2009. ISBN 978-3-642-03239-4, pp. 53-68. 2008, L'Aquila, Italy.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - FABRIKOVÁ, Jana - ŠAFRÁNEK, David.
On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking. Theoretical Computer Science. ISSN 0304-3975, 2009, vol. 2009, no. 410, pp. 3128-3148.
BENEŠ, Nikola - BRIM, Luboš - ČERNÁ, Ivana - SOCHOR, Jiří - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Partial Order Reduction for State/Event LTL. In Proceedings of the International Conference on Integrated Formal Methods (IFM'09). Berlin / Heidelberg, Germany : Springer Verlag, 2009. ISBN 978-3-642-00254-0, pp. 307-321. 16.2.2009, Düsseldorf, Germany.
BARNAT, Jiří - BRIM, Luboš - EDELKAMP, Stefan - SULEWSKI, Damian - ŠIMEČEK, Pavel.
Can Flash Memory Help in Model Checking?. In 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008). L'Aquilla : ERCIM, 2008. pp. 159-174. 2008, L'Aquilla.
ZIMMEROVÁ, Barbora - VAŘEKOVÁ, Pavlína - BENEŠ, Nikola - ČERNÁ, Ivana - BRIM, Luboš - SOCHOR, Jiří.
Component-Interaction Automata Approach (CoIn). In The Common Component Modeling Example: Comparing Software Component Models. Berlin / Heidelberg, Germany : Springer Verlag, 2008. LNCS 5153, ISBN 978-3-540-85288-9, pp. 146-176.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - ŠIMEČEK, Pavel.
DiVinE Cluster. 2008.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
DiVinE Multi-Core -- A Parallel LTL Model-Checker. In Automated Technology for Verification and Analysis. Berlin / Heidelberg : Springer, 2008. ISBN 978-3-540-88386-9, pp. 234-239. 2008, Seoul.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - ŠAFRÁNEK, David.
From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks. In Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation. Budapest : Ivana Cerna and Gerald Luettgen, 2008. pp. 83-96. 2008, Budapest.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
Local Quantitative LTL Model Checking. In 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008). L'Aquilla : ERCIM, 2008. ISBN 978-3-642-03239-4, pp. 63-78. 2008, L'Aquilla.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - ŠAFRÁNEK, David.
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. In Electronic Notes in Theoretical Computer Science. Vyd. Vol. 194/3. Elsevier : Elsevier Science, 2008. pp. 35-50. 2007, Lisbon. Proceedings of From Biology to Concurrency and Back (FBTC 2007).
BENEŠ, Nikola - BRIM, Luboš - ČERNÁ, Ivana - SOCHOR, Jiří - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Partial Order Reduction for State/Event LTL. Brno, Czech Republic : Faculty of Informatics, Masaryk University, 2008. Technical report FIMU-RS-2008-07.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE-MC. 2008.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. In QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems. Washington, DC, USA : IEEE Computer Society, 2008. ISBN 978-0-7695-3360-5, pp. 77-78. 2008, St Malo, France.
BARNAT, Jiří - BRIM, Luboš - ŠIMEČEK, Pavel - WEBER, Michael.
Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking. In Tools and Algorithms for the Construction and Analysis of Systems. Berlin, Heidelberg : Springer-Verlag, 2008. ISBN 978-3-540-78799-0, pp. 48-62. 2008, Budapest, Hungary.
BARNAT, Jiří - BRIM, Luboš.
Squeeze All the Power Out of Your Hardware to Verify Your Software!. In Leveraging Applications of Formal Methods, Verification and Validation. Berlin Heidelberg : Springer, 2008. ISBN 978-3-540-88478-1, pp. 604-618.
BENEŠ, Nikola - BRIM, Luboš - ČERNÁ, Ivana - SOCHOR, Jiří - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems. In Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08). Málaga, Spain : Department of Computer Science, University of Málaga, 2008. pp. 221-225. 10.9.2008, Málaga, Spain.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
DiVinE Multi-Core. 2007.
BARNAT, Jiří - BRIM, Luboš - ŠIMEČEK, Pavel.
I/O Efficient Accepting Cycle Detection. In 19th International Conference on Computer Aided Verification. Berlin, Heidelberg : Springer, 2007. ISBN 978-3-540-73367-6, pp. 281-293.
BRIM, Luboš - KŘETÍNSKÝ, Mojmír.
Model Checking Large Finite-State Systems and Beyond. In 33rd Conference on Current Trends in Theory and Practice of Computer Science. Berlin : Springer-Verlag, 2007. ISBN 978-3-540-69506-6, pp. 9-28. 2007, Harrachov.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - ŠAFRÁNEK, David.
Parallel Analysis of Genetic Regulatory Networks. Grenoble : Verimag, 2007. Towards Systems Biology Workshop 2007.
BARNAT, Jiri - BRIM, Lubos - LEUCKER, Martin.
Parallel Model Checking and the FMICS-jETI Platform. In Proceedings Twelfth IEEE International Conference on Engineering of Complex Computer Systems. Los Alamitos : IEEE Computer Society, 2007. ISBN 0-7695-2895-3, pp. 330-339. 2007, The University of Auckland, New Zealand.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - ŠAFRÁNEK, David.
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. In Preproceedings of the Workshop From Biology to Concurrency and Back. Lisbon : Complex System Research Group, University of Camerino, 2007. pp. 80-95. 2007, Lisbon.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE. 2007.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE: A Parallel Qualitative LTL Model Checker. In Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07). United States of America : IEEE Computer Society, 2007. ISBN 0-7695-2883-X, pp. 215-216. 2007, Edinburgh, Scotland.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
Scalable Multi-core LTL Model-Checking. In Model Checking Software. Vyd. 1. Berlin, Heidelberg : Springer-Verlag, 2007. ISBN 978-3-540-73369-0, pp. 187-203. 2007, Berlin, Germany.
BRIM, Luboš - BARNAT, Jiří.
Tutorial: Parallel Model Checking. In Model Checking Software. Berlin, Heidelberg : Springer-Verlag, 2007. ISBN 978-3-540-73369-0, pp. 2-3. 2007, Berlin, Germany.
BRIM, Luboš - LEUCKER, Martin.
11th International Workshop on Formal Methods for Industrial Critical Systems. 2006. DEU, Bonn, Germany. 26.8.2006 - 27.8.2006, Worldwide Activity.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana.
Cluster-Based LTL Model Checking of Large Systems. In Formal Methods for Components and Objects. Berlin : Springer, 2006. ISBN 978-3-540-36749-9, pp. 259-279. 2006, Amsterdam.
BRIM, Luboš - ČERNÁ, Ivana - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. ACM SIGSOFT Software Engineering Notes, New York, USA, ACM Press, USA. ISSN 0163-5948, 2006, vol. 31, no. 2, pp. 1-8. SESSION: Specification and Verification of Component-Based Systems Workshop (SAVCBS 2005), Article No. 4.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
Distributed Qualitative LTL Model Checking of Markov Decision Processes. In Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation. Bonn, Germany : University of Bonn, 2006. pp. 1-15. 2006, Bonn.
BRIM, Luboš.
Distributed Verification: Exploring the Power of Raw Computing Power. In 5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006). Bonn, Germany : TU Munchen, 2006. ISBN 3-540-70951-7, pp. 23-34. 2006, Bonn, Germany.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ROČKAI, Petr - ŠIMEČEK, Pavel.
DiVinE -- A Tool for Distributed Verification. In Computer Aided Verification. Berlin : Springer Verlag, 2006. ISBN 978-3-540-37406-0, pp. 278-281. Seatle, WA, USA.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMEČEK, Pavel - CHALOUPKA, Jakub.
DiVinE Library. 2006.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. Electronic Notes in Theoretical Computer Science, Nizozemsko, Elsevier, Portugal. ISSN 1571-0661, 2006, vol. 135, no. 2, pp. 3-18.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
On Combining Partial Order Reduction with Fairness Assumptions. In Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006). Bonn, Germany : University Bonn, 2006. ISBN 978-3-540-70951-0, pp. 1-16. 2006, Bonn, Germany.
BRIM, Luboš - LINDEN, Isabelle.
Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005). NIzozemsko : Elsevier, 2006. 159 pp. ENTCS Volume 150, Issue 1. ISBN 1571-0661.
BRIM, Luboš - LEUCKER, Martin.
Special Issue on Parallel and Distributed Verification - Foreword. Formal Methods in System Design, Springer Netherlands, The Nederlands. ISSN 0925-9856, 2006, vol. 29, no. 2, pp. 115-116.
BRIM, Luboš - ŽIDKOVÁ, Jitka - YORAV, Karen.
Assumption-based distribution of CTL model checking. International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag GmbH, Germany. ISSN 1433-2779, 2005, vol. 7, no. 1, pp. 61-73.
BRIM, Luboš - ČERNÁ, Ivana - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. In Proceedings of SAVCBS 2005. Ames, USA : Department of Computer Science, Iowa State University, 2005. pp. 31-38. 5.9.2005, Lisbon, Portugal.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana.
Distributed Analysis of Large Systems. In Formal Methods for Components and Objects. Amsterdam : CWI Amsterdam, 2005. pp. 31-35. 2005, Amsterdam.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
Distributed Partial Order Reduction of State Spaces. Electronic Notes on Theoretical Computer Science, Elsevier, The Nederlands. ISSN 1571-0661, 2005, vol. 128, no. 3, pp. 63-74.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ŠIMEČEK, Pavel.
DIVINE - The Distributed Verification Environment. In In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05). Lisboa, Portugal : TU Munchen, 2005. pp. 89-94. 2005, Lisboa, Portugalsko.
PELÁNEK, Radek - HANŽL, Tomáš - ČERNÁ, Ivana - BRIM, Luboš.
Enhancing Random Walk State Space Exploration. In Formal Methods for Industrial Critical Systems. Lisbon : ACM SIGSOFT, 2005. ISBN 1-59593-148-1, pp. 98-105. 2005, Lisbon.
BARNAT, Jiří - BRIM, Luboš - CHALOUPKA, Jakub.
From Distributed Memory Cycle Detection to Parallel LTL Model Checking. Electronical Notes in Theoretical Computer Science, Elsevier, The Nederlands. ISSN 1571-0661, 2005, vol. 2005, no. 133, pp. 21-39.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. In Proceedings of the 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2005). Lisboa, Portugal : TU Munchen, 2005. pp. 1-12. 2005, Lisboa, Portugal.
BRIM, Luboš - GRUMBERG, Orna.
Introductory paper: Parallel and Distributed Model Checking. International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag GmbH, Germany. ISSN 1433-2779, 2005, vol. 7, no. 1, pp. 1-3.
BRIM, Luboš - LINDEN, Isabelle.
MTCoord 2005 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems. 2005. BEL, Namur, Belgie. 23.4.2005 - 23.4.2005, Worldwide Activity.
BRIM, Luboš - LINDEN, Isabelle.
Proceedings of the 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems. Namur, Belgie : FNDP Namur, 2005. 105 pp. Tech. Rep.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
Under-Approximation Generation using Partial Order Reduction. Brno : Faculty of Informatics, 2005. 21 pp. Technical Reports, FIMU-RS-2005-04.
BRIM, Luboš.
3rd International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'04). 2004. GBR, London. 4.9.2004 - 4.9.2004, Worldwide Activity.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking. In Formal Methods in Computer-Aided Design (FMCAD). Neuveden : Springer-Verlag, LNCS 3312, 2004. ISBN 3-540-23738-0, pp. 352-366. 2004, Austin, USA.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking. Brno : Faculty of Informatics, 2004. 22 pp. Technical Reports, FIMU-RS-2004-09. Full version of the FMCAD'04 paper.
BARNAT, Jiří - BRIM, Luboš - CHALOUPKA, Jakub.
Distributed Memory LTL Model Checking Based on Breadth First Search. Brno : Faculty of Informatics, Masaryk University Brno, 2004. 57 pp. FIMU-RS-2004-07.
BRIM, Luboš - ČERNÁ, Ivana - HEJTMÁNEK, Lukáš.
Distributed Negative Cycle Detection Algorithms. In Parallel Computing: Software Technology, Algorithms, Architectures & Applications. Nizozemsko : Elsevier B.V., 2004. ISBN 0-444-51689-1, pp. 297-305. 2003, Dresden.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
Distributed Partial Order Reduction of State Spaces. In Proceedings of the 3rd International Workshop on Parallel and Distributed Verifationic (PDMC 2004). London, U.K. : Imperial College London, 2004. pp. 3-18. 2004, London, U.K.
BARNAT, Jiří - BRIM, Luboš - CHALOUPKA, Jakub.
From Distributed Memory Cycle Detection to Parallel LTL Model Checking. In Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004). Linz, Austria : Institute for Systems Engineering & Automation, Kepler university Linz, 2004. ISBN 3-902457-03-1, pp. 17-34. 2004, Linz, Austria.
BRIM, Luboš.
Parallel Model-Checking. ERCIM News, ERCIM EEIG. ISSN 0926-4981, 2004, vol. 58, no. June, pp. 35-36.
BRIM, Luboš - JACQUET, Jean-Marie - GILBERT, David - KŘETÍNSKÝ, Mojmír.
Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming. Electronic Notes in Theoretical Computer Science, Amsterdam, Elsevier Science. ISSN 0444514163, 2003, vol. 68, no. 3, pp. 1-24.
BRIM, Luboš - BARNAT, Jiří.
Distribution of Explicit-State LTL Model-Checking. Electronic Notes in Theoretical Computer Science, Elsevier Science, The Nederlands. 2003, vol. Volume 80, no. 1, pp. 120-125. Proc. 8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'03).
BRIM, Luboš - JACQUET, Jean-Marie - GILBERT, David - KŘETÍNSKÝ, Mojmír.
Modelling Multi-Agents Systems as Concurrent Constraint Processes. Computing and Informatics, Slovakia. ISSN 1335-9150, 2003, vol. 21, no. 6, pp. 565-590.
BRIM, Lubos - ČERNÁ, Ivana - HEJTMÁNEK, Lukáš.
Parallel Algorithms for Detection of Negative Cycles. Brno : Faculty of Informatics, 2003. 14 pp. Technical Reports, FIMU-RS-2003-04. Full version of the PARCO'03 paper.
