| 1 |
Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation
|
reliability engineering and system safety
|
| 2 |
Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation
|
RELIAB ENG SYST SAFE
|
| 3 |
Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations
|
information and software technology
|
| 4 |
Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm
|
System and Software
|
| 5 |
Deployment of Wireless Intrusion Detection Systems to Provide the Most Possible Coverage in Wireless Sensor Networks Without Infrastructures
|
WIRELESS PERS COMMUN
|
| 6 |
EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles
|
Applied Soft Computing
|
| 7 |
A hybrid optimization algorithm based on harmony search and differential evolution for continuous domain
|
journal of intelligent and fuzzy systems
|
| 8 |
A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations
|
Applied Soft Computing
|
| 9 |
Galoan: a multi-agent approach to herd cows
|
Annals of Mathematics and Artificial Intelligence
|