2008 |
18 | EE | Enrique Alba,
J. Francisco Chicano:
Searching for liveness property violations in concurrent systems with ACO.
GECCO 2008: 1727-1734 |
17 | EE | Enrique Alba,
J. Francisco Chicano,
Marco Ferreira,
Juan Antonio Gómez Pulido:
Finding deadlocks in large concurrent Java programs using genetic algorithms.
GECCO 2008: 1735-1742 |
16 | EE | J. Francisco Chicano,
Enrique Alba:
Finding liveness errors with ACO.
IEEE Congress on Evolutionary Computation 2008: 2997-3004 |
15 | EE | Enrique Alba,
J. Francisco Chicano:
Observations in using parallel and sequential evolutionary algorithms for automatic software testing.
Computers & OR 35(10): 3161-3183 (2008) |
14 | EE | J. Francisco Chicano,
Enrique Alba:
Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models.
Inf. Process. Lett. 106(6): 221-231 (2008) |
2007 |
13 | EE | Enrique Alba,
J. Francisco Chicano:
Ant Colony Optimization for Model Checking.
EUROCAST 2007: 523-530 |
12 | EE | Enrique Alba,
J. Francisco Chicano:
ACOhg: dealing with huge graphs.
GECCO 2007: 10-17 |
11 | EE | Enrique Alba,
J. Francisco Chicano:
Finding safety errors with ACO.
GECCO 2007: 1066-1073 |
10 | EE | José García-Nieto,
Enrique Alba,
J. Francisco Chicano:
Using metaheuristic algorithms remotely via ROS.
GECCO 2007: 1510 |
9 | EE | Antonio J. Nebro,
Enrique Alba,
Guillermo Molina,
J. Francisco Chicano,
Francisco Luna,
Juan José Durillo:
Optimal antenna placement using a new multi-objective chc algorithm.
GECCO 2007: 876-883 |
8 | EE | Enrique Alba,
J. Francisco Chicano:
Software project management with GAs.
Inf. Sci. 177(11): 2380-2401 (2007) |
2006 |
7 | | Enrique Alba,
J. Francisco Chicano,
Stefan Janson:
Testeo de Software con dos Técnicas Metaheurísticas.
JISBD 2006: 109-118 |
6 | | Enrique Alba,
José García-Nieto,
J. Francisco Chicano:
ROS: Servicio de Optimización Remota.
JISBD 2006: 508-513 |
5 | EE | Enrique Alba,
Guillermo Molina,
J. Francisco Chicano:
Optimal Placement of Antennae Using Metaheuristics.
Numerical Methods and Applications 2006: 214-222 |
2005 |
4 | EE | Enrique Alba,
J. Francisco Chicano:
Software Testing with Evolutionary Strategies.
RISE 2005: 50-65 |
3 | EE | Enrique Alba,
J. Francisco Chicano:
On the behavior of parallel genetic algorithms for optimal placement of antennae in telecommunications.
Int. J. Found. Comput. Sci. 16(2): 343-359 (2005) |
2004 |
2 | EE | Enrique Alba,
J. Francisco Chicano:
Training Neural Networks with GA Hybrid Algorithms.
GECCO (1) 2004: 852-863 |
1 | EE | Enrique Alba,
J. Francisco Chicano:
Solving the error correcting code problem with parallel hybrid heuristics.
SAC 2004: 985-989 |