Search results for "brim"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Nikola Benes, Lubos Brim, Barbora Buhnova, Ivana Cerná, Jiri Sochor, Pavlína Vareková	Partial order reduction for state/event LTL with application to component-interaction automata.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
27	Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek	Flash memory efficient LTL model checking.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
27	Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska 0002	Computing Strongly Connected Components in Parallel on CUDA.	IPDPS	2011	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim, David Safránek	High-performance analysis of biological systems dynamics with the DiVinE model checker.	Briefings Bioinform.	2010	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim, Petr Rockai	Scalable shared memory LTL model checking.	Int. J. Softw. Tools Technol. Transf.	2010	DBLP DOI BibTeX RDF
27	Lubos Brim, Jakub Chaloupka	Using Strategy Improvement to Stay Alive	GANDALF	2010	DBLP DOI BibTeX RDF
27	Emily R. Jacobson, Michael J. Brim, Barton P. Miller	A Lightweight Library for Building Scalable Tools.	PARA (2)	2010	DBLP DOI BibTeX RDF
27	Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska 0002	Employing Multiple CUDA Devices to Accelerate LTL Model Checking.	ICPADS	2010	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim, Petr Rockai	Parallel Partial Order Reduction with Topological Sort Proviso.	SEFM	2010	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, David Safránek	On algorithmic analysis of transcriptional regulation by LTL model checking.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, Jan Láník, David Safránek, Hongwu Ma	BioDiVinE: A Framework for Parallel Analysis of Biological Models	COMPMOD	2009	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim, Milan Ceska 0002	DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking	PDMC	2009	DBLP DOI BibTeX RDF
27	Lubos Brim, Jaco van de Pol (eds.)	Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009.	PDMC	2009	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim, Petr Rockai	A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties.	ICFEM	2009	DBLP DOI BibTeX RDF
27	Jari Arkko, Marcelo Bagnulo Braun, Scott Brim, Lars Eggert, Christian Vogt 0001, Lixia Zhang 0001	09102 Report - Perspectives Workshop: Naming and Addressing in a Future Internet.	Perspectives Workshop: Naming and Addressing in a Future Internet	2009	DBLP BibTeX RDF
27	Lubos Brim, Stefan Edelkamp, Eric A. Hansen, Peter Sanders 0001	09491 Abstracts Collection - Graph Search Engineering.	Graph Search Engineering	2009	DBLP BibTeX RDF
27	Jari Arkko, Marcelo Bagnulo Braun, Scott Brim, Lars Eggert, Christian Vogt 0001, Lixia Zhang 0001 (eds.)	Perspectives Workshop: Naming and Addressing in a Future Internet, 01.03. - 04.03.2009	Perspectives Workshop: Naming and Addressing in a Future Internet	2009	DBLP BibTeX RDF
27	Jari Arkko, Marcelo Bagnulo Braun, Scott Brim, Lars Eggert, Christian Vogt 0001, Lixia Zhang 0001	09102 Abstracts Collection - Perspectives Workshop: Naming and Addressing in a Future Internet.	Perspectives Workshop: Naming and Addressing in a Future Internet	2009	DBLP BibTeX RDF
27	Lubos Brim, Stefan Edelkamp, Eric A. Hansen, Peter Sanders 0001 (eds.)	Graph Search Engineering, 29.11. - 04.12.2009	Graph Search Engineering	2009	DBLP BibTeX RDF
27	Michael J. Brim, Barton P. Miller	Group file operations for scalable tools and middleware.	HiPC	2009	DBLP DOI BibTeX RDF
27	Jakub Chaloupka, Lubos Brim	Faster Algorithm for Mean-Payoff Games.	MEMICS	2009	DBLP BibTeX RDF
27	Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim	Efficient large-scale model checking.	IPDPS	2009	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim, Milan Ceska 0002, Tomas Lamr	CUDA Accelerated LTL Model Checking.	ICPADS	2009	DBLP DOI BibTeX RDF
27	Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová	Partial Order Reduction for State/Event LTL.	IFM	2009	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim, Pavel Simecek	Cluster-Based I/O-Efficient LTL Model Checking.	ASE	2009	DBLP DOI BibTeX RDF	I/O-efficient model checking, parallel model checking, LTL
27	Henri E. Bal, Lubos Brim, Martin Leucker (eds.)	Distributed Verification and Grid Computing, 10.08. - 14.08.2008	Distributed Verification and Grid Computing	2008	DBLP BibTeX RDF
27	Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim	Efficient Large-Scale Model Checking.	Distributed Verification and Grid Computing	2008	DBLP BibTeX RDF
27	Henri E. Bal, Lubos Brim, Martin Leucker	08332 Abstracts Collection - Distributed Verification and Grid Computing.	Distributed Verification and Grid Computing	2008	DBLP BibTeX RDF
27	Henri E. Bal, Lubos Brim, Martin Leucker	08332 Executive Summary - Distributed Verification and Grid Computing.	Distributed Verification and Grid Computing	2008	DBLP BibTeX RDF
27	Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska 0002, Jana Tumova	ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems.	QEST	2008	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim	Squeeze All the Power Out of Your Hardware to Verify Your Software!.	ISoLA	2008	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim, Petr Rockai	DiVinE Multi-Core - A Parallel LTL Model-Checker.	ATVA	2008	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek	Can Flash Memory Help in Model Checking?	FMICS	2008	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska 0002, Jana Tumova	Local Quantitative LTL Model Checking.	FMICS	2008	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim, Pavel Simecek, M. Weber	Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking.	TACAS	2008	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, David Safránek	Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE.	FBTC@CONCUR	2007	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim, Pavel Simecek	I/O Efficient Accepting Cycle Detection.	CAV	2007	DBLP DOI BibTeX RDF
27	Barbora Zimmerová, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor	Component-Interaction Automata Approach (CoIn).	CoCoME	2007	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska 0002, Jana Tumova	ProbDiVinE: A Parallel Qualitative LTL Model Checker.	QEST	2007	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim, Petr Rockai	Scalable Multi-core LTL Model-Checking.	SPIN	2007	DBLP DOI BibTeX RDF
27	Lubos Brim, Jiri Barnat	Tutorial: Parallel Model Checking.	SPIN	2007	DBLP DOI BibTeX RDF
27	Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol (eds.)	Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers	FMICS/PDMC	2007	DBLP DOI BibTeX RDF
27	Lubos Brim, Mojmír Kretínský	Model-Checking Large Finite-State Systems and Beyond.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim, Martin Leucker	Parallel Model Checking and the FMICS-jETI Platform.	ICECCS	2007	DBLP DOI BibTeX RDF
27	Lubos Brim, Martin Leucker	Foreword.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF
27	Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerová	Component-interaction automata as a verification-oriented component-based system specification.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	Component-based specification languages, component-interaction automata, team automata, verification, ADLs, I/O automata, interface automata, component interaction
27	Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Petr Rockai, Pavel Simecek	DiVinE - A Tool for Distributed Verification.	CAV	2006	DBLP DOI BibTeX RDF
27	Lubos Brim	Distributed Verification: Exploring the Power of Raw Computing Power.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
27	Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa	On Combining Partial Order Reduction with Fairness Assumptions.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
27	Lubos Brim, Isabelle Linden (eds.)	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	2006	DBLP BibTeX RDF
27	Lubos Brim, Isabelle Linden	Preface.	MTCoord@COORDINATION	2005	DBLP DOI BibTeX RDF
27	Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa	How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors.	PDMC@ICALP	2005	DBLP DOI BibTeX RDF
27	Lubos Brim, Karen Yorav, Jitka Zidkova	Assumption-based distribution of CTL model checking.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Many-valuated logics, Model checking, Distributed algorithms, Branching time logics
27	Lubos Brim, Orna Grumberg	Introductory paper.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Parallel verification, Model checking, Distributed computing
27	Lubos Brim, Martin Leucker (eds.)	Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004	PDMC	2005	DBLP BibTeX RDF
27	Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerová	Component-interaction automata as a verification-oriented component-based system specification.	SAVCBS@ESEC/FSE	2005	DBLP DOI BibTeX RDF
27	Radek Pelánek, Tomás Hanzl, Ivana Cerná, Lubos Brim	Enhancing random walk state space exploration.	FMICS	2005	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim, Ivana Cerná	Cluster-Based LTL Model Checking of Large Systems.	FMCO	2005	DBLP DOI BibTeX RDF
27	Lubos Brim, Martin Leucker	Preface.	PDMC	2004	DBLP DOI BibTeX RDF
27	Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa	Distributed Partial Order Reduction of State Spaces.	PDMC	2004	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim, Jakub Chaloupka	From Distributed Memory Cycle Detection to Parallel LTL Model Checking.	FMICS	2004	DBLP DOI BibTeX RDF
27	Scott W. Brim	Guidelines for Working Groups on Intellectual Property Issues.	RFC	2004	DBLP DOI BibTeX RDF
27	Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa	Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking.	FMCAD	2004	DBLP DOI BibTeX RDF
27	Lubos Brim, Jitka Zidkova	Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking.	PDMC@CAV	2003	DBLP DOI BibTeX RDF
27	Lubos Brim, Orna Grumberg	Preface.	PDMC@CAV	2003	DBLP DOI BibTeX RDF
27	Lubos Brim, Jiri Barnat	Distribution of Explicit-State LTL Model-Checking.	FMICS	2003	DBLP DOI BibTeX RDF
27	Lubos Brim, Orna Grumberg (eds.)	2nd International Workshop on Parallel and Distributed Model Checking, PDMC 2003, Satellite Workshop of CAV 2003, Boulder, Colorado, USA, July 13, 2003	PDMC@CAV	2003	DBLP BibTeX RDF
27	Lubos Brim, Orna Grumberg (eds.)	12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003	WFLP	2003	DBLP BibTeX RDF
27	Lubos Brim, Ivana Cerná, Lukás Hejtmánek	Distributed Negative Cycle Detection Algorithms.	PARCO	2003	DBLP BibTeX RDF
27	Jiri Barnat, Lubos Brim, Jakub Chaloupka	Parallel Breadth-First Search LTL Model-Checking.	ASE	2003	DBLP DOI BibTeX RDF
27	Lubos Brim, Jitka Crhová, Karen Yorav	Using Assumptions to Distribute CTL Model Checking.	PDMC@CONCUR	2002	DBLP DOI BibTeX RDF
27	Lubos Brim, Orna Grumberg	Preface.	PDMC@CONCUR	2002	DBLP DOI BibTeX RDF
27	Jean-Marie Jacquet, Lubos Brim, David R. Gilbert, Mojmír Kretínský	Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming.	FOCLASA	2002	DBLP DOI BibTeX RDF
27	Lubos Brim, Mojmír Kretínský, Jean-Marie Jacquet, David R. Gilbert	Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes.	Comput. Artif. Intell.	2002	DBLP BibTeX RDF
27	Brian E. Carpenter, Scott W. Brim	Middleboxes: Taxonomy and Issues.	RFC	2002	DBLP DOI BibTeX RDF
27	Richard P. Swale, Philip A. Mart, Paul Sijben, Scott W. Brim, Melinda Shore	Middlebox Communications (midcom) Protocol Requirements.	RFC	2002	DBLP DOI BibTeX RDF
27	Lubos Brim, Orna Grumberg (eds.)	Parallel and Distributed Model Checking, PDMC 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002	PDMC@CONCUR	2002	DBLP BibTeX RDF
27	Lubos Brim, Petr Jancar, Mojmír Kretínský, Antonín Kucera 0001 (eds.)	CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings	CONCUR	2002	DBLP DOI BibTeX RDF
27	Michael J. Brim, Ray Flanery, Al Geist, Brian Luethke, Stephen L. Scott	Cluster Command and Control (C3) Tool Suite.	Scalable Comput. Pract. Exp.	2001	DBLP BibTeX RDF
27	David L. Black 0001, Scott W. Brim, Brian E. Carpenter, Francois Le Faucheur	Per Hop Behavior Identification Codes.	RFC	2001	DBLP DOI BibTeX RDF
27	Lubos Brim, Ivana Cerná, Martin Necesal	Randomization Helps in LTL Model Checking.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
27	Jiri Barnat, Lubos Brim, Jitka Stríbrná	Distributed LTL Model-Checking in SPIN.	SPIN	2001	DBLP DOI BibTeX RDF
27	Michael J. Brim, Al Geist, Brian Luethke, Jens Schwidder, Stephen L. Scott	M3C: Managing and Monitoring Multiple Clusters.	CCGRID	2001	DBLP DOI BibTeX RDF
27	Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmír Kretínský	Multi-agent Systems as Concurrent Constraint Processes.	SOFSEM	2001	DBLP DOI BibTeX RDF
27	Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek	How to Employ Reverse Search in Distributed Single Source Shortest Paths.	SOFSEM	2001	DBLP DOI BibTeX RDF
27	Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek	Distributed LTL Model Checking Based on Negative Cycle Detection.	FSTTCS	2001	DBLP DOI BibTeX RDF
27	Scott W. Brim, Brian E. Carpenter, Francois Le Faucheur	Per Hop Behavior Identification Codes.	RFC	2000	DBLP DOI BibTeX RDF
27	Lubos Brim, Jozef Gruska, Jirí Zlatuska (eds.)	Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings	MFCS	1998	DBLP DOI BibTeX RDF
27	Lubos Brim, Jean-Marie Jacquet, David R. Gilbert, Mojmír Kretínský	A Process Algebra for Synchronous Concurrent Constraint Programming.	ALP	1996	DBLP DOI BibTeX RDF
27	Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmír Kretínský	Synchronisation in Scc.	ILPS	1995	DBLP BibTeX RDF
27	Lubos Brim	Modal Logics in Timed Process Algebras.	NAPAW	1992	DBLP DOI BibTeX RDF
26	Liviu Ciortea, Cristian Zamfir, Stefan Bucur, Vitaly Chipounov, George Candea	Cloud9: a software testing service.	ACM SIGOPS Oper. Syst. Rev.	2009	DBLP DOI BibTeX RDF
26	Xiaonong Ran, Nariman Farvardin	A perceptually motivated three-component image model-part II: applications to image compression.	IEEE Trans. Image Process.	1995	DBLP DOI BibTeX RDF