| One Size Does Not Fit All: Logic-Based Clustering For On-The-Fly Web Service Composition And Verification | 0 | 0.34 | 2018 |
| A Quality-Controlled Logic-Based Clustering Approach For Web Service Composition And Verification | 0 | 0.34 | 2017 |
| A bitwise-based indexing and heuristic-driven on-the-fly approach for Web service composition and verification. | 1 | 0.34 | 2017 |
| A Framework for Fast Congestion Detection in Wireless Sensor Networks Using Clustering and Petri-Net-based Verification. | 0 | 0.34 | 2016 |
| Heuristic-Guided Verification For Fast Congestion Detection On Wireless Sensor Networks | 0 | 0.34 | 2016 |
| WSCOVER: A Tool for Automatic Composition and Verification of Web Services Using Heuristic-Guided Model Checking and Logic-Based Clustering. | 0 | 0.34 | 2016 |
| Web Service Composition Automation Based on Term Rewriting System. | 0 | 0.34 | 2015 |
| A Lightweight Formal Approach for Component Reuse. | 0 | 0.34 | 2014 |
| A Multiple Refinement Approach In Abstraction Model Checking | 0 | 0.34 | 2014 |
| Model Checking Control Flow Petri Nets Using PAT | 1 | 0.41 | 2013 |
| MAFSE: A Model-Based Framework for Software Verification | 3 | 0.44 | 2010 |
| COMBINE: a tool on combined formal methods for bindingly verification | 1 | 0.35 | 2010 |
| Heuristic Sensitivity in Guided Random-Walk Based Model Checking | 1 | 0.36 | 2009 |
| Formal Verification Based on Guided Random Walks | 2 | 0.42 | 2009 |
| The spin on guided random search in verification | 1 | 0.35 | 2008 |
