Research Projects

Analysis and Development of Fault-Tolerant Systems

Principal Investigator: Pablo Castro
 Funding: Secretary of Science and Technology, University of Rio Cuarto

Applying Automated Analysis Techniques on Software Specifications for Educational Contexts

Principal Investigator: María Marta Novaira
 Funding: Ministry of Science and Technology of the Cordoba Province

Automated Analysis of Models of Software using SAT Solving

Principal Investigator: Marcelo Frias
 Funding: National Agency for the Promotion of Science and Technology (ANPCyT)

Constraint Solving Techniques applied to Software Validation and Verification

Principal Investigator: Nazareno Aguirre
 Funding: Secretary of Science and Technology, University of Rio Cuarto

Computational Thinking and Teaching Practices in Science

Principal Investigator: Francisco Bavera
 Funding: Secretary of Science and Technology, University of Rio Cuarto - Ministry of Science and Technology of the Cordoba Province

Developing and Applying Static Analysis Techniques to Software Defect Detection

Principal Investigator: Marcelo Arroyo
 Funding: Secretary of Science and Technology, University of Rio Cuarto

Exploiting SAT Solving’s Versatility for an Integral and Effective Automated Software Analysis

Principal Investigator: Nazareno Aguirre
 Funding: National Agency for the Promotion of Science and Technology (ANPCyT)

Goal-Conflict Analysis on Software Requirements Specifications

Principal Investigator: Renzo Degiovanni
 Funding: Ministry of Science and Technology of the Cordoba Province

Modeling and Automated Verification of Concurrent Systems

Principal Investigator: Germán Regis
 Funding: Secretary of Science and Technology, University of Rio Cuarto

Resilience Analysis for Fault Tolerant Systems

Principal Investigator: Pedro D’Argenio
 Funding: National Agency for the Promotion of Science and Technology (ANPCyT)

Risk Analysis on Software Requirements Specifications

Principal Investigator: Renzo Degiovanni
 Funding: National Agency for the Promotion of Science and Technology (ANPCyT)