IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Simulation coverage enhancement using test stimulus transformation
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
Hierarchical Reachability Graph Generation for Petri Nets
Formal Methods in System Design
Probability, Parallelism and the State Space Exploration Problem
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Handbook of automated reasoning
Enhancing random walk state space exploration
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Model Checking Abstract Components within Concrete Software Environments
SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
Resource-Aware Verification Using Randomized Exploration of Large State Spaces
SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
Complementarity of Error Detection Techniques
Electronic Notes in Theoretical Computer Science (ENTCS)
Fast, All-Purpose State Storage
Proceedings of the 16th International SPIN Workshop on Model Checking Software
Dynamic Incremental Hashing in Program Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Tackling large state spaces in performance modelling
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Parallel nested depth-first searches for LTL model checking
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Enhanced probabilistic verification with 3spin and 3murphi
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
Research: Designing bug-free protocols with SPIN
Computer Communications
Verification of complex dynamic data tree with mu-calculus
Automated Software Engineering
| Hi-index | 0.00 |