|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 16 keywords
|
|
|
Results
Found 201 publication records. Showing 193 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 76(10), pp. 877-890, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek |
Flash memory efficient LTL model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 76(2), pp. 136-157, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska 0002 |
Computing Strongly Connected Components in Parallel on CUDA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, Anchorage, Alaska, USA, 16-20 May, 2011 - Conference Proceedings, pp. 544-555, 2011, IEEE, 978-1-61284-372-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Briefings Bioinform. ![In: Briefings Bioinform. 11(3), pp. 301-312, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Petr Rockai |
Scalable shared memory LTL model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 12(2), pp. 139-153, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Jakub Chaloupka |
Using Strategy Improvement to Stay Alive ![Search on Bibsonomy](Pics/bibsonomy.png) |
GANDALF ![In: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., pp. 40-54, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Emily R. Jacobson, Michael J. Brim, Barton P. Miller |
A Lightweight Library for Building Scalable Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA (2) ![In: Applied Parallel and Scientific Computing - 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II, pp. 419-429, 2010, Springer, 978-3-642-28144-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska 0002 |
Employing Multiple CUDA Devices to Accelerate LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 16th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2010, Shanghai, China, December 8-10, 2010, pp. 259-266, 2010, IEEE Computer Society, 978-0-7695-4307-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Petr Rockai |
Parallel Partial Order Reduction with Topological Sort Proviso. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010, pp. 222-231, 2010, IEEE Computer Society, 978-0-7695-4153-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 410(33-34), pp. 3128-3148, 2009. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPMOD ![In: Proceedings Second International Workshop on Computational Models for Cell Processes, COMPMOD 2009, Eindhoven, the Netherlands, November 3, 2009., pp. 31-45, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Milan Ceska 0002 |
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009., pp. 107-111, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 407-425, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perspectives Workshop: Naming and Addressing in a Future Internet ![In: Perspectives Workshop: Naming and Addressing in a Future Internet, 01.03. - 04.03.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
27 | Lubos Brim, Stefan Edelkamp, Eric A. Hansen, Peter Sanders 0001 |
09491 Abstracts Collection - Graph Search Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Search Engineering ![In: Graph Search Engineering, 29.11. - 04.12.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perspectives Workshop: Naming and Addressing in a Future Internet ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perspectives Workshop: Naming and Addressing in a Future Internet ![In: Perspectives Workshop: Naming and Addressing in a Future Internet, 01.03. - 04.03.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
27 | Lubos Brim, Stefan Edelkamp, Eric A. Hansen, Peter Sanders 0001 (eds.) |
Graph Search Engineering, 29.11. - 04.12.2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Search Engineering ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
27 | Michael J. Brim, Barton P. Miller |
Group file operations for scalable tools and middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: 16th International Conference on High Performance Computing, HiPC 2009, December 16-19, 2009, Kochi, India, Proceedings, pp. 69-78, 2009, IEEE Computer Society, 978-1-4244-4922-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Jakub Chaloupka, Lubos Brim |
Faster Algorithm for Mean-Payoff Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2009, November 13-15, 2009, Prestige Hotel, Znojmo, Czech Republic, 2009, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
27 | Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim |
Efficient large-scale model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-12, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Milan Ceska 0002, Tomas Lamr |
CUDA Accelerated LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 15th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2009, Shenzhen, China, December 8-11, 2009, pp. 34-41, 2009, IEEE Computer Society, 978-1-4244-5788-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 307-321, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Pavel Simecek |
Cluster-Based I/O-Efficient LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009, pp. 635-639, 2009, IEEE Computer Society, 978-0-7695-3891-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Verification and Grid Computing ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
27 | Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim |
Efficient Large-Scale Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Verification and Grid Computing ![In: Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
27 | Henri E. Bal, Lubos Brim, Martin Leucker |
08332 Abstracts Collection - Distributed Verification and Grid Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Verification and Grid Computing ![In: Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
27 | Henri E. Bal, Lubos Brim, Martin Leucker |
08332 Executive Summary - Distributed Verification and Grid Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Verification and Grid Computing ![In: Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France, pp. 77-78, 2008, IEEE Computer Society, 978-0-7695-3360-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim |
Squeeze All the Power Out of Your Hardware to Verify Your Software!. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 604-618, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Petr Rockai |
DiVinE Multi-Core - A Parallel LTL Model-Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings, pp. 234-239, 2008, Springer, 978-3-540-88386-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek |
Can Flash Memory Help in Model Checking? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 150-165, 2008, Springer, 978-3-642-03239-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska 0002, Jana Tumova |
Local Quantitative LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 53-68, 2008, Springer, 978-3-642-03239-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Pavel Simecek, M. Weber |
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: 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, pp. 48-62, 2008, Springer, 978-3-540-78799-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBTC@CONCUR ![In: Proceedings of the First Workshop `From Biology To Concurrency and back`, FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007, pp. 35-50, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Pavel Simecek |
I/O Efficient Accepting Cycle Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp. 281-293, 2007, Springer, 978-3-540-73367-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Barbora Zimmerová, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor |
Component-Interaction Automata Approach (CoIn). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoCoME ![In: The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007], pp. 146-176, 2007, Springer, 978-3-540-85288-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska 0002, Jana Tumova |
ProbDiVinE: A Parallel Qualitative LTL Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK, pp. 215-216, 2007, IEEE Computer Society, 0-7695-2883-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Petr Rockai |
Scalable Multi-core LTL Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, pp. 187-203, 2007, Springer, 978-3-540-73369-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Jiri Barnat |
Tutorial: Parallel Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, pp. 2-3, 2007, Springer, 978-3-540-73369-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS/PDMC ![Springer, 978-3-540-70951-0 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Mojmír Kretínský |
Model-Checking Large Finite-State Systems and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM (1) ![In: 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, pp. 9-28, 2007, Springer, 978-3-540-69506-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Martin Leucker |
Parallel Model Checking and the FMICS-jETI Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand, pp. 330-339, 2007, IEEE Computer Society, 978-0-7695-2895-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Martin Leucker |
Foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 29(2), pp. 115-116, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 31(2), 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 278-281, 2006, Springer, 3-540-37406-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim |
Distributed Verification: Exploring the Power of Raw Computing Power. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS/PDMC ![In: 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, pp. 23-34, 2006, Springer, 978-3-540-70951-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa |
On Combining Partial Order Reduction with Fairness Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS/PDMC ![In: 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, pp. 84-99, 2006, Springer, 978-3-540-70951-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCoord@COORDINATION ![Elsevier The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
27 | Lubos Brim, Isabelle Linden |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCoord@COORDINATION ![In: 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, pp. 1-2, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC@ICALP ![In: Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 3-18, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Karen Yorav, Jitka Zidkova |
Assumption-based distribution of CTL model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 7(1), pp. 61-73, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Many-valuated logics, Model checking, Distributed algorithms, Branching time logics |
27 | Lubos Brim, Orna Grumberg |
Introductory paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 7(1), pp. 1-3, 2005. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![Elsevier The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@ESEC/FSE ![In: Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005, pp. 4, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Radek Pelánek, Tomás Hanzl, Ivana Cerná, Lubos Brim |
Enhancing random walk state space exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005, pp. 98-105, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Ivana Cerná |
Cluster-Based LTL Model Checking of Large Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures, pp. 259-279, 2005, Springer, 3-540-36749-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Martin Leucker |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004, pp. 1-2, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa |
Distributed Partial Order Reduction of State Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004, pp. 63-74, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Jakub Chaloupka |
From Distributed Memory Cycle Detection to Parallel LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2004, Linz, Austria, September 20-21, 2004, pp. 21-39, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Scott W. Brim |
Guidelines for Working Groups on Intellectual Property Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 3669, pp. 1-17, February 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings, pp. 352-366, 2004, Springer, 3-540-23738-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Jitka Zidkova |
Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC@CAV ![In: 2nd International Workshop on Parallel and Distributed Model Checking, PDMC 2003, Satellite Workshop of CAV 2003, Boulder, Colorado, USA, July 13, 2003, pp. 17-32, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Orna Grumberg |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC@CAV ![In: 2nd International Workshop on Parallel and Distributed Model Checking, PDMC 2003, Satellite Workshop of CAV 2003, Boulder, Colorado, USA, July 13, 2003, pp. 1-2, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Jiri Barnat |
Distribution of Explicit-State LTL Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Eighth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2003, Roros, Norway, June 5-7, 2003, pp. 273-278, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC@CAV ![Elsevier The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![Elsevier The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
27 | Lubos Brim, Ivana Cerná, Lukás Hejtmánek |
Distributed Negative Cycle Detection Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARCO ![In: Parallel Computing: Software Technology, Algorithms, Architectures and Applications, PARCO 2003, Dresden, Germany, pp. 297-304, 2003, Elsevier, 0-444-51689-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Jakub Chaloupka |
Parallel Breadth-First Search LTL Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada, pp. 106-115, 2003, IEEE Computer Society, 0-7695-2035-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Jitka Crhová, Karen Yorav |
Using Assumptions to Distribute CTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC@CONCUR ![In: Parallel and Distributed Model Checking, PDMC 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002, pp. 559-574, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Orna Grumberg |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC@CONCUR ![In: Parallel and Distributed Model Checking, PDMC 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002, pp. 483, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA ![In: Foundations of Coordination Languages and Software Architectures, FOCLASA 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002, pp. 347-370, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Artif. Intell. ![In: Comput. Artif. Intell. 21(6), pp. 565-590, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
27 | Brian E. Carpenter, Scott W. Brim |
Middleboxes: Taxonomy and Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 3234, pp. 1-27, February 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Richard P. Swale, Philip A. Mart, Paul Sijben, Scott W. Brim, Melinda Shore |
Middlebox Communications (midcom) Protocol Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 3304, pp. 1-9, August 2002. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC@CONCUR ![Elsevier The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![Springer, 3-540-44043-7 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scalable Comput. Pract. Exp. ![In: Scalable Comput. Pract. Exp. 4(4), 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
27 | David L. Black 0001, Scott W. Brim, Brian E. Carpenter, Francois Le Faucheur |
Per Hop Behavior Identification Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 3140, pp. 1-8, June 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Ivana Cerná, Martin Necesal |
Randomization Helps in LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAPM-PROBMIV ![In: Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings, pp. 105-119, 2001, Springer, 3-540-42556-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Jitka Stríbrná |
Distributed LTL Model-Checking in SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 200-216, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Michael J. Brim, Al Geist, Brian Luethke, Jens Schwidder, Stephen L. Scott |
M3C: Managing and Monitoring Multiple Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: First IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2001), May 15-18, 2001, Brisbane, Australia, pp. 386-393, 2001, IEEE Computer Society, 0-7695-1010-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: 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, pp. 201-210, 2001, Springer, 3-540-42912-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: 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, pp. 191-200, 2001, Springer, 3-540-42912-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings, pp. 96-107, 2001, Springer, 3-540-43002-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Scott W. Brim, Brian E. Carpenter, Francois Le Faucheur |
Per Hop Behavior Identification Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 2836, pp. 1-7, May 2000. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![Springer, 3-540-64827-5 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings, pp. 165-178, 1996, Springer, 3-540-61735-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmír Kretínský |
Synchronisation in Scc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILPS ![In: Logic Programming, Proceedings of the 1995 International Symposium, Portland, Oregon, USA, December 4-7, 1995, pp. 641, 1995, MIT Press, 0-262-62099-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
27 | Lubos Brim |
Modal Logics in Timed Process Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAPAW ![In: NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992, pp. 13-26, 1992, Springer, 3-540-19822-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Liviu Ciortea, Cristian Zamfir, Stefan Bucur, Vitaly Chipounov, George Candea |
Cloud9: a software testing service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 43(4), pp. 5-10, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Xiaonong Ran, Nariman Farvardin |
A perceptually motivated three-component image model-part II: applications to image compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 4(4), pp. 430-447, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #193 of 193 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|