Lubos Brim - RankMe

155 papers A* 6A 4B 15C 9Misc 1Journal 40Unranked 70

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	BNClassifier: Classifying Boolean Models by Dynamic Properties. CMSB Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek
2024	—	`conf`	Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures. ATVA (2) Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek
2023	J	`jnl`	Boolean network sketches: a unifying framework for logical model inference. Bioinform. Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek
2023	—	`conf`	Phenotype Control of Partially Specified Boolean Networks. CMSB Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková
2023	J	`jnl`	Rule-based modelling of biological systems using regulated rewriting. Biosyst. Matej Troják, David Safránek, Samuel Pastva, Lubos Brim
2023	J	`jnl`	Temporary and permanent control of partially specified Boolean networks. Biosyst. Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková
2022	J	`jnl`	AEON.py: Python library for attractor analysis in asynchronous Boolean networks. Bioinform. Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek, Eva Smijáková
2022	J	`jnl`	BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. Log. Methods Comput. Sci. Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2022	J	`jnl`	Biochemical Space Language in Relation to Multiset Rewriting Systems. CoRR Matej Troják, David Safránek, Lubos Brim
2022	J	`jnl`	Exploring attractor bifurcations in Boolean networks. BMC Bioinform. Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek
2022	J	`jnl`	Robust Control of Partially Specified Boolean Networks. CoRR Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková
2022	—	`conf`	eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems. CMSB Matej Troják, David Safránek, Branislav Brozmann, Lubos Brim
2021	—	`conf`	Aeon 2021: Bifurcation Decision Trees in Boolean Networks. CMSB Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2021	J	`jnl`	BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. CoRR Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2021	—	`conf`	Computing Bottom SCCs Symbolically Using Transition Guided Reduction. CAV (1) Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2021	J	`jnl`	Regulated Multiset Rewriting Systems. CoRR Matej Troják, Samuel Pastva, David Safránek, Lubos Brim
2021	—	`conf`	Symbolic Coloured SCC Decomposition. TACAS (2) Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2020	—	`conf`	AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. CAV (1) Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek
2020	J	`jnl`	Digital Bifurcation Analysis of Internet Congestion Control Protocols. Int. J. Bifurc. Chaos Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2020	—	`conf`	Executable Biochemical Space for Specification and Analysis of Biochemical Systems. SASB Matej Troják, David Safránek, Lubos Brim, Jakub Salagovic, Jan Cervený
2020	J	`jnl`	Executable Biochemical Space for Specification and Analysis of Biochemical Systems. CoRR Matej Troják, David Safránek, Lubos Brim
2020	J	`jnl`	Parallel One-Step Control of Parametrised Boolean Networks. CoRR Lubos Brim, Samuel Pastva, David Safránek, Eva Smijakova
2020	—	`conf`	Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. CMSB Eva Smijáková, Samuel Pastva, David Safránek, Lubos Brim
2020	J	`jnl`	Parallel parameter synthesis algorithm for hybrid CTL. Sci. Comput. Program. Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2020	—	`conf`	Parameter Synthesis and Robustness Analysis of Rule-Based Models. NFM Matej Troják, David Safránek, Lukrécia Mertová, Lubos Brim
2020	—	`conf`	eBCSgen: A Software Tool for Biochemical Space Language. CMSB Matej Troják, David Safránek, Lukrécia Mertová, Lubos Brim
2019	B	`conf`	Accelerating Parameter Synthesis Using Semi-algebraic Constraints. IFM Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safránek
2019	—	`conf`	Barbaric Robustness Monitoring Revisited for STL* in Parasim. CMSB David Safránek, Matej Troják, Vojtech Bruza, Tomás Vejpustek, Jan Papousek, Martin Demko, Samuel Pastva, Ales Pejznoch, Lubos Brim
2019	—	`conf`	Digital Bifurcation Analysis of TCP Dynamics. TACAS (2) Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2019	—	`conf`	Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT. HSCC Nikola Benes, Lubos Brim, Jana Drazanová, Samuel Pastva, David Safránek
2019	C	`conf`	Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. ICFEM Nikola Benes, Lubos Brim, Samuel Pastva, Jakub Polácek, David Safránek
2019	—	`ch.`	Model Checking Approach to the Analysis of Biological Systems. Automated Reasoning for Systems Biology and Medicine Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2017	—	`conf`	Detecting Attractors in Biological Models with Uncertain Parameters. CMSB Jiri Barnat, Nikola Benes, Lubos Brim, Martin Demko, Matej Hajnal, Samuel Pastva, David Safránek
2017	—	`conf`	Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems. CAV (1) Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek
2017	J	`jnl`	Precise parameter synthesis for stochastic biochemical systems. Acta Informatica Milan Ceska, Frits Dannenberg, Nicola Paoletti, Marta Kwiatkowska, Lubos Brim
2016	B	`conf`	A Model Checking Approach to Discrete Bifurcation Analysis. FM Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek
2016	J	`jnl`	Analysing sanity of requirements for avionics systems. Formal Aspects Comput. Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila
2016	—	`conf`	High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. CMSB Martin Demko, Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2016	J	`jnl`	Model checking C++ programs with exceptions. Sci. Comput. Program. Petr Rockai, Jiri Barnat, Lubos Brim
2016	A	`conf`	PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. TACAS Milan Ceska, Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska
2016	B	`conf`	Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems. ATVA Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek
2016	—	`conf`	Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways. HSB Matej Hajnal, David Safránek, Martin Demko, Samuel Pastva, Pavel Krejcí, Lubos Brim
2015	—	`conf`	Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. CAV (1) Alessandro Abate, Lubos Brim, Milan Ceska, Marta Z. Kwiatkowska
2015	J	`jnl`	Analysing Sanity of Requirements for Avionics Systems (Preliminary Version). CoRR Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila
2015	—	`conf`	Formal Biochemical Space with Semantics in Kappa and BNGL. SASB T. Ded, David Safránek, Matej Troják, Matej Klement, Jakub Salagovic, Lubos Brim
2015	—	`conf`	High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems. HSB Lubos Brim, Martin Demko, Samuel Pastva, David Safránek
2015	—	`conf`	Parameter Synthesis by Parallel Coloured CTL Model Checking. CMSB Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva, David Safránek
2014	J	`jnl`	Compact Representation of Photosynthesis Dynamics by Rule-based Models (Full Version). CoRR Lubos Brim, Juraj Niznan, David Safránek
2014	—	`conf`	Compact Representation of Photosynthesis Dynamics by Rule-based Models. SASB Lubos Brim, Juraj Niznan, David Safránek
2014	J	`jnl`	Model Checking C++ with Exceptions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Petr Rockai, Jiri Barnat, Lubos Brim
2014	J	`jnl`	STL Inf. Comput. Lubos Brim, Petr Dluhos, David Safránek, Tomas Vejpustek
2013	A*	`conf`	DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs. CAV Jiri Barnat, Lubos Brim, Vojtech Havel, Jan Havlícek, Jan Kriho, Milan Lenco, Petr Rockai, Vladimír Still, Jirí Weiser
2013	A*	`conf`	Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking. CAV Lubos Brim, Milan Ceska, Sven Drazan, David Safránek
2013	—	`conf`	Improved State Space Reductions for LTL Model Checking of C and C++ Programs. NASA Formal Methods Petr Rockai, Jiri Barnat, Lubos Brim
2013	—	`conf`	LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model. ACSD Jiri Barnat, Lubos Brim, Vojtech Havel
2013	—	`conf`	Model Checking of Biological Systems. SFM Lubos Brim, Milan Ceska, David Safránek
2013	J	`jnl`	On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking. CoRR Lubos Brim, Milan Ceska, Sven Drazan, David Safránek
2013	—	`conf`	Qualitative modelling and analysis of Photosystem II. BioPPN@Petri Nets Lubos Brim, Vilém Ded, David Safránek
2013	—	`conf`	Robustness Analysis for Value-Freezing Signal Temporal Logic. HSB Lubos Brim, Tomas Vejpustek, David Safránek, Jana Fabriková
2012	B	`conf`	Checking Sanity of Software Requirements. SEFM Jiri Barnat, Petr Bauch, Lubos Brim
2012	J	`jnl`	Designing fast LTL model checking algorithms for many-core GPUs. J. Parallel Distributed Comput. Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
2012	Misc	`conf`	Executing Model Checking Counterexamples in Simulink. TASE Jiri Barnat, Lubos Brim, Jan Beran, Tomas Kratochvila, Italo R. Oliveira
2012	J	`jnl`	On Approximative Reachability Analysis of Biochemical Dynamical Systems. Trans. Comp. Sys. Biology Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek
2012	—	`conf`	On Expressing and Monitoring Oscillatory Dynamics HSB Petr Dluhos, Lubos Brim, David Safránek
2012	J	`jnl`	On Parameter Synthesis by Parallel Model Checking. IEEE ACM Trans. Comput. Biol. Bioinform. Jiri Barnat, Lubos Brim, Adam Krejci, Adam Streck, David Safránek, Martin Vejnar, Tomas Vejpustek
2012	J	`jnl`	On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties. Sci. Comput. Program. Jiri Barnat, Lubos Brim, Petr Rockai
2012	—	`conf`	Timed Modelling of Gene Networks with Arbitrarily Precise Expression Discretization. CS2Bio S. Van Goethem, Jean-Marie Jacquet, Lubos Brim, David Safránek
2012	C	`conf`	Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs. FMICS Jiri Barnat, Jan Beran, Lubos Brim, Tomas Kratochvila, Petr Rockai
2012	—	`conf`	Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs. NASA Formal Methods Jiri Barnat, Lubos Brim, Petr Rockai
2012	J	`jnl`	Using Strategy Improvement to Stay Alive. Int. J. Found. Comput. Sci. Lubos Brim, Jakub Chaloupka
2011	—	`conf`	Computing Optimal Cycle Mean in Parallel on CUDA PDMC Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
2011	A	`conf`	Computing Strongly Connected Components in Parallel on CUDA. IPDPS Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
2011	J	`jnl`	E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes. Biosyst. David Safránek, Jan Cervený, Matej Klement, Jana Pospísilová, Lubos Brim, Dusan Lazar, Ladislav Nedbal
2011	J	`jnl`	Faster algorithms for mean-payoff games. Formal Methods Syst. Des. Lubos Brim, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin
2011	J	`jnl`	Flash memory efficient LTL model checking. Sci. Comput. Program. Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek
2011	J	`jnl`	Partial order reduction for state/event LTL with application to component-interaction automata. Sci. Comput. Program. Nikola Benes, Lubos Brim, Barbora Buhnova, Ivana Cerná, Jiri Sochor, Pavlína Vareková
2011	—	`conf`	Platform Dependent Verification: On Engineering Verification Tools for 21st Century PDMC Lubos Brim, Jiri Barnat
2011	J	`jnl`	Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation CoRR Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek
2011	—	`conf`	Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract) CompMod Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek
2010	B	`conf`	Employing Multiple CUDA Devices to Accelerate LTL Model Checking. ICPADS Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
2010	J	`jnl`	High-performance analysis of biological systems dynamics with the DiVinE model checker. Briefings Bioinform. Jiri Barnat, Lubos Brim, David Safránek
2010	B	`conf`	Parallel Partial Order Reduction with Topological Sort Proviso. SEFM Jiri Barnat, Lubos Brim, Petr Rockai
2010	J	`jnl`	Scalable shared memory LTL model checking. Int. J. Softw. Tools Technol. Transf. Jiri Barnat, Lubos Brim, Petr Rockai
2010	—	`conf`	Using Strategy Improvement to Stay Alive GANDALF Lubos Brim, Jakub Chaloupka
2009	—	`conf`	09491 Abstracts Collection - Graph Search Engineering. Graph Search Engineering Lubos Brim, Stefan Edelkamp, Eric A. Hansen, Peter Sanders
2009	C	`conf`	A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties. ICFEM Jiri Barnat, Lubos Brim, Petr Rockai
2009	—	`conf`	BioDiVinE: A Framework for Parallel Analysis of Biological Models COMPMOD Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, Jan Láník, David Safránek, Hongwu Ma
2009	B	`conf`	CUDA Accelerated LTL Model Checking. ICPADS Jiri Barnat, Lubos Brim, Milan Ceska, Tomas Lamr
2009	A*	`conf`	Cluster-Based I/O-Efficient LTL Model Checking. ASE Jiri Barnat, Lubos Brim, Pavel Simecek
2009	—	`conf`	DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking PDMC Jiri Barnat, Lubos Brim, Milan Ceska
2009	A	`conf`	Efficient large-scale model checking. IPDPS Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim
2009	—	`conf`	Faster Algorithm for Mean-Payoff Games. MEMICS Jakub Chaloupka, Lubos Brim
2009	—	`ed.`	Graph Search Engineering, 29.11. - 04.12.2009 Graph Search Engineering Lubos Brim, Stefan Edelkamp, Eric A. Hansen, Peter Sanders
2009	J	`jnl`	On algorithmic analysis of transcriptional regulation by LTL model checking. Theor. Comput. Sci. Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, David Safránek
2009	B	`conf`	Partial Order Reduction for State/Event LTL. IFM Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová
2009	—	`ed.`	Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009. PDMC Lubos Brim, Jaco van de Pol
2008	—	`conf`	08332 Abstracts Collection - Distributed Verification and Grid Computing. Distributed Verification and Grid Computing Henri E. Bal, Lubos Brim, Martin Leucker
2008	—	`conf`	08332 Executive Summary - Distributed Verification and Grid Computing. Distributed Verification and Grid Computing Henri E. Bal, Lubos Brim, Martin Leucker
2008	C	`conf`	Can Flash Memory Help in Model Checking? FMICS Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek
2008	B	`conf`	DiVinE Multi-Core - A Parallel LTL Model-Checker. ATVA Jiri Barnat, Lubos Brim, Petr Rockai
2008	—	`ed.`	Distributed Verification and Grid Computing, 10.08. - 14.08.2008 Distributed Verification and Grid Computing Henri E. Bal, Lubos Brim, Martin Leucker
2008	—	`conf`	Efficient Large-Scale Model Checking. Distributed Verification and Grid Computing Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim
2008	C	`conf`	Local Quantitative LTL Model Checking. FMICS Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova
2008	—	`conf`	ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. QEST Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova
2008	A	`conf`	Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. TACAS Jiri Barnat, Lubos Brim, Pavel Simecek, M. Weber
2008	C	`conf`	Squeeze All the Power Out of Your Hardware to Verify Your Software!. ISoLA Jiri Barnat, Lubos Brim
2007	—	`conf`	Component-Interaction Automata Approach (CoIn). CoCoME Barbora Zimmerová, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor
2007	—	`ed.`	Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers FMICS/PDMC Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol
2007	A*	`conf`	I/O Efficient Accepting Cycle Detection. CAV Jiri Barnat, Lubos Brim, Pavel Simecek
2007	—	`conf`	Model-Checking Large Finite-State Systems and Beyond. SOFSEM (1) Lubos Brim, Mojmír Kretínský
2007	—	`conf`	Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. FBTC@CONCUR Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, David Safránek
2007	B	`conf`	Parallel Model Checking and the FMICS-jETI Platform. ICECCS Jiri Barnat, Lubos Brim, Martin Leucker
2007	—	`conf`	ProbDiVinE: A Parallel Qualitative LTL Model Checker. QEST Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova
2007	—	`conf`	Scalable Multi-core LTL Model-Checking. SPIN Jiri Barnat, Lubos Brim, Petr Rockai
2007	—	`conf`	Tutorial: Parallel Model Checking. SPIN Lubos Brim, Jiri Barnat
2006	J	`jnl`	Component-interaction automata as a verification-oriented component-based system specification. ACM SIGSOFT Softw. Eng. Notes Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerová
2006	A*	`conf`	DiVinE - A Tool for Distributed Verification. CAV Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek
2006	—	`conf`	Distributed Verification: Exploring the Power of Raw Computing Power. FMICS/PDMC Lubos Brim
2006	J	`jnl`	Foreword. Formal Methods Syst. Des. Lubos Brim, Martin Leucker
2006	—	`conf`	On Combining Partial Order Reduction with Fairness Assumptions. FMICS/PDMC Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa
2006	—	`ed.`	Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, MTCoord@COORDINATION 2005, Namur, Belgium, April 23, 2005 MTCoord@COORDINATION Lubos Brim, Isabelle Linden
2005	J	`jnl`	Assumption-based distribution of CTL model checking. Int. J. Softw. Tools Technol. Transf. Lubos Brim, Karen Yorav, Jitka Zidkova
2005	—	`conf`	Cluster-Based LTL Model Checking of Large Systems. FMCO Jiri Barnat, Lubos Brim, Ivana Cerná
2005	—	`conf`	Component-interaction automata as a verification-oriented component-based system specification. SAVCBS@ESEC/FSE Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerová
2005	C	`conf`	Enhancing random walk state space exploration. FMICS Radek Pelánek, Tomás Hanzl, Ivana Cerná, Lubos Brim
2005	—	`conf`	How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. PDMC@ICALP Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa
2005	J	`jnl`	Introductory paper. Int. J. Softw. Tools Technol. Transf. Lubos Brim, Orna Grumberg
2005	—	`conf`	Preface. MTCoord@COORDINATION Lubos Brim, Isabelle Linden
2005	—	`ed.`	Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004 PDMC Lubos Brim, Martin Leucker
2004	B	`conf`	Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. FMCAD Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa
2004	—	`conf`	Distributed Partial Order Reduction of State Spaces. PDMC Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa
2004	C	`conf`	From Distributed Memory Cycle Detection to Parallel LTL Model Checking. FMICS Jiri Barnat, Lubos Brim, Jakub Chaloupka
2004	—	`conf`	Preface. PDMC Lubos Brim, Martin Leucker
2003	—	`ed.`	12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003 WFLP Lubos Brim, Orna Grumberg
2003	—	`ed.`	2nd International Workshop on Parallel and Distributed Model Checking, PDMC 2003, Satellite Workshop of CAV 2003, Boulder, Colorado, USA, July 13, 2003 PDMC@CAV Lubos Brim, Orna Grumberg
2003	—	`conf`	Distributed Negative Cycle Detection Algorithms. PARCO Lubos Brim, Ivana Cerná, Lukás Hejtmánek
2003	C	`conf`	Distribution of Explicit-State LTL Model-Checking. FMICS Lubos Brim, Jiri Barnat
2003	A*	`conf`	Parallel Breadth-First Search LTL Model-Checking. ASE Jiri Barnat, Lubos Brim, Jakub Chaloupka
2003	—	`conf`	Preface. PDMC@CAV Lubos Brim, Orna Grumberg
2003	—	`conf`	Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking. PDMC@CAV Lubos Brim, Jitka Zidkova
2002	B	`ed.`	CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings CONCUR Lubos Brim, Petr Jancar, Mojmír Kretínský, Antonín Kucera
2002	—	`conf`	Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming. FOCLASA Jean-Marie Jacquet, Lubos Brim, David R. Gilbert, Mojmír Kretínský
2002	J	`jnl`	Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes. Comput. Artif. Intell. Lubos Brim, Mojmír Kretínský, Jean-Marie Jacquet, David R. Gilbert
2002	—	`ed.`	Parallel and Distributed Model Checking, PDMC 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002 PDMC@CONCUR Lubos Brim, Orna Grumberg
2002	—	`conf`	Preface. PDMC@CONCUR Lubos Brim, Orna Grumberg
2002	—	`conf`	Using Assumptions to Distribute CTL Model Checking. PDMC@CONCUR Lubos Brim, Jitka Crhová, Karen Yorav
2001	—	`conf`	Distributed LTL Model Checking Based on Negative Cycle Detection. FSTTCS Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek
2001	—	`conf`	Distributed LTL Model-Checking in SPIN. SPIN Jiri Barnat, Lubos Brim, Jitka Stríbrná
2001	B	`conf`	How to Employ Reverse Search in Distributed Single Source Shortest Paths. SOFSEM Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek
2001	B	`conf`	Multi-agent Systems as Concurrent Constraint Processes. SOFSEM Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmír Kretínský
2001	—	`conf`	Randomization Helps in LTL Model Checking. PAPM-PROBMIV Lubos Brim, Ivana Cerná, Martin Necesal
1998	B	`ed.`	Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings MFCS Lubos Brim, Jozef Gruska, Jirí Zlatuska
1996	—	`conf`	A Process Algebra for Synchronous Concurrent Constraint Programming. ALP Lubos Brim, Jean-Marie Jacquet, David R. Gilbert, Mojmír Kretínský
1995	—	`conf`	Synchronisation in Scc. ILPS Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmír Kretínský
1992	—	`conf`	Modal Logics in Timed Process Algebras. NAPAW Lubos Brim