| Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | | 3,61 | 21,68 | On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking
|
| 2,41 | 14,45 | Partial Order Reduction for State/Event LTL
|
| 20,12 | 20,12 | Assumption-based distribution of CTL model checking
|
| 0,00 | 0,00 | Local Quantitative LTL Model Checking
|
| 2,89 | 14,45 | Local Quantitative LTL Model Checking
|
| 0,00 | 0,00 | From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks
|
| 7,22 | 14,45 | Efficient Large-Scale Model Checking
|
| 0,00 | 0,00 | Faster Algorithm for Mean-Payoff Games
|
| 0,00 | 0,00 | Faster Algorithm for Mean-Payoff Games
|
| 0,00 | 0,00 | Under-Approximation Generation using Partial Order Reduction
|
| 20,12 | 20,12 | Introductory paper: Parallel and Distributed Model Checking
|
| 0,00 | 0,00 | Proceedings of the 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems
|
| 0,00 | 0,00 | Distributed Analysis of Large Systems
|
| 5,03 | 20,12 | Distributed Partial Order Reduction of State Spaces
|
| 0,00 | 0,00 | Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
|
| 0,00 | 0,00 | Enhancing Random Walk State Space Exploration
|
| 0,00 | 0,00 | How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
|
| 0,00 | 0,00 | DIVINE - The Distributed Verification Environment
|
| 6,71 | 20,12 | From Distributed Memory Cycle Detection to Parallel LTL Model Checking
|
| 2,41 | 14,45 | DiVinE -- A Tool for Distributed Verification
|
| 0,00 | 0,00 | Distributed Qualitative LTL Model Checking of Markov Decision Processes
|
| 0,00 | 0,00 | Distributed Verification: Exploring the Power of Raw Computing Power
|
| 0,00 | 0,00 | Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
|
| 5,03 | 30,19 | DiVinE -- A Tool for Distributed Verification
|
| 12,04 | 72,24 | DiVinE Library
|
| 4,82 | 14,45 | Cluster-Based LTL Model Checking of Large Systems
|
| 10,06 | 30,19 | Cluster-Based LTL Model Checking of Large Systems
|
| 5,03 | 20,12 | How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
|
| 0,00 | 0,00 | On Combining Partial Order Reduction with Fairness Assumptions
|
| 3,61 | 14,45 | On Combining Partial Order Reduction with Fairness Assumptions
|
| 0,00 | 0,00 | Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
|
| 14,45 | 72,24 | ProbDiVinE-MC
|
| 7,22 | 14,45 | Squeeze All the Power Out of Your Hardware to Verify Your Software!
|
| 4,82 | 14,45 | Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking
|
| 2,89 | 14,45 | ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
|
| 24,08 | 72,24 | DiVinE Multi-Core
|
| 4,82 | 14,45 | I/O Efficient Accepting Cycle Detection
|
| 14,45 | 72,24 | DiVinE Cluster
|
| 0,00 | 0,00 | Component-Interaction Automata Approach (CoIn)
|
| 0,00 | 0,00 | The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems
|
| 0,00 | 0,00 | Can Flash Memory Help in Model Checking?
|
| 4,82 | 14,45 | DiVinE Multi-Core -- A Parallel LTL Model-Checker
|
| 0,00 | 0,00 | BioDiVinE: A Framework for Parallel Analysis of Biological Models
|
| 10,32 | 72,24 | BioDiVinE
|
| 4,82 | 14,45 | Cluster-Based I/O-Efficient LTL Model Checking
|
| 0,00 | 0,00 | DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
|
| 24,08 | 72,24 | BIOMS: Biological Models Specification Tool
|
| 0,00 | 0,00 | CUDA Accelerated LTL Model Checking
|
| 4,82 | 14,45 | Can Flash Memory Help in Model Checking?
|
| 14,45 | 72,24 | DiVinE Cuda
|
| 4,82 | 14,45 | DiVinE 2.0: High-Performance Model Checking
|
| 18,06 | 72,24 | DiVinE 2.0
|
| 2,41 | 14,45 | Computational Analysis of Large-Scale Multi-Affine ODE Models
|
| 4,82 | 14,45 | A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties
|
| 7,22 | 14,45 | Model Checking Large Finite-State Systems and Beyond
|
| 14,45 | 72,24 | ProbDiVinE
|
| 2,89 | 14,45 | ProbDiVinE: A Parallel Qualitative LTL Model Checker
|
| 4,82 | 14,45 | Parallel Model Checking and the FMICS-jETI Platform
|
| 0,00 | 0,00 | Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
|
| 15,09 | 30,19 | Tutorial: Parallel Model Checking
|
| 7,22 | 14,45 | Tutorial: Parallel Model Checking
|
| 4,82 | 14,45 | Scalable Multi-core LTL Model-Checking
|
| 10,06 | 30,19 | Scalable Multi-core LTL Model-Checking
|
Back
(c) Michal Bulant, 2011