| Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | | 14,45 | 14,45 | Fighting State Space Explosion: Review and Evaluation
|
| 0,00 | 0,00 | Fighting State Space Explosion: Review and Evaluation
|
| 7,22 | 14,45 | EMMA: Explicit Model Checking Manager (Tool Presentation)
|
| 0,00 | 0,00 | Test input generation for red-black trees using abstraction
|
| 0,00 | 0,00 | Test input generation for red-black trees using abstraction
|
| 7,22 | 14,45 | On Sampled Semantics of Timed Systems
|
| 6,16 | 12,32 | Deeper Connections between LTL and Alternating Automata
|
| 7,22 | 14,45 | Deeper Connections between LTL and Alternating Automata
|
| 0,00 | 0,00 | Enhancing Random Walk State Space Exploration
|
| 14,45 | 14,45 | Concrete Search with Abstract Matching and Refinement
|
| 20,12 | 20,12 | Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata
|
| 14,45 | 14,45 | Model Classifications and Automated Verification
|
| 20,12 | 20,12 | Properties of State Spaces and Their Applications
|
| 14,45 | 14,45 | BEEM: Benchmarks for Explicit Model Checkers
|
| 0,00 | 0,00 | Complementarity of Error Detection Techniques
|
| 0,00 | 0,00 | Predicate Abstraction with Under-Approximation Refinement
|
| 0,00 | 0,00 | Test Input Generation for Java Containers using State Matching
|
Back
(c) Michal Bulant, 2011