Software
Use Case Verificator, UC2 v0.1 (Prolog).
F. Bautista & C. Cares: . Referred in "A logic-based Service for Verifying Use Case Models", COMPUTATION TOOLS 2017, Athens, Greece.
Optimal Security Controls, ACSUFRO v01171 (ASP - Clingo).
C. Cares & M. Diéguez:. Referred in "An Answer Set Solution for Information Security Management", COMPUTATION TOOLS 2017, Athens, Greece.
Analizador de licitaciones de software (Java).
C. Cares, J. Hochstetter & C. Ponce.