Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | 2,41 | 14,45 | Partial Order Reduction for State/Event LTL
|
3,61 | 21,68 | On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking
|
4,82 | 14,45 | Quantitative Model Checking of Systems with Degradation
|
0,00 | 0,00 | A Case Study in Parallel Verification of Component-Based Systems
|
0,00 | 0,00 | Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems
|
4,02 | 20,12 | A Case Study in Parallel Verification of Component-Based Systems
|
3,28 | 13,10 | Formal verification of systems with an unlimited number of components
|
0,00 | 0,00 | Local Quantitative LTL Model Checking
|
0,00 | 0,00 | From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks
|
2,89 | 14,45 | Local Quantitative LTL Model Checking
|
0,00 | 0,00 | Under-Approximation Generation using Partial Order Reduction
|
0,00 | 0,00 | Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
|
5,03 | 20,12 | Distributed Partial Order Reduction of State Spaces
|
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
|
0,00 | 0,00 | Distributed Analysis of Large Systems
|
0,00 | 0,00 | Enhancing Random Walk State Space Exploration
|
8,28 | 16,57 | Distributed breadth-first search LTL model checking
|
12,04 | 72,24 | DiVinE Library
|
0,00 | 0,00 | Distributed Qualitative LTL Model Checking of Markov Decision Processes
|
10,06 | 30,19 | Cluster-Based LTL Model Checking of Large Systems
|
2,41 | 14,45 | DiVinE -- A Tool for Distributed Verification
|
4,82 | 14,45 | Cluster-Based LTL Model Checking of Large Systems
|
5,03 | 30,19 | DiVinE -- A Tool for Distributed Verification
|
0,00 | 0,00 | Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
|
0,00 | 0,00 | Component Substitutability via Equivalencies of Component-Interaction Automata
|
5,03 | 20,12 | How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
|
4,00 | 8,00 | Model Checking of RegCTL
|
3,61 | 14,45 | On Combining Partial Order Reduction with Fairness Assumptions
|
0,00 | 0,00 | On Combining Partial Order Reduction with Fairness Assumptions
|
0,00 | 0,00 | Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
|
7,22 | 14,45 | Model Checking of Control-User Component-Based Parametrised Systems
|
14,45 | 72,24 | ProbDiVinE-MC
|
2,89 | 14,45 | ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
|
6,71 | 20,12 | Component Substitutability via Equivalencies of Component-Interaction Automata
|
0,00 | 0,00 | Effective verification of systems with a dynamic number of components
|
0,00 | 0,00 | The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems
|
14,45 | 72,24 | DiVinE Cluster
|
0,00 | 0,00 | Component-Interaction Automata Approach (CoIn)
|
0,00 | 0,00 | BioDiVinE: A Framework for Parallel Analysis of Biological Models
|
10,32 | 72,24 | BioDiVinE
|
2,41 | 14,45 | Computational Analysis of Large-Scale Multi-Affine ODE Models
|
18,06 | 72,24 | CoIn Tool Set
|
2,89 | 14,45 | ProbDiVinE: A Parallel Qualitative LTL Model Checker
|
14,45 | 72,24 | ProbDiVinE
|
0,00 | 0,00 | Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
|
Back
(c) Michal Bulant, 2011