01/07/2024
Abstract Cryptography offers tools to guarantee confidentiality, authenticity, integrityof information, the impossibility of repudiation of actions or decisions, as well as the availabilityof the services. Although […]
01/07/2024
Abstract Cyber attacks have increased significantly in recent years, both against companiesas organizations. VRAIN of the UPV is working on the use of intelligence techniquesartificial intelligence […]
01/07/2024
Abstract Currently there are many cyber-physical systems such as cars, planes or vehicles.aerial, with the capacity to make vital decisions. In this sense it is essential […]
01/07/2024
Abstract We develop tools for the analysis and verification of security properties(safety) and protection (security) in mobile code (for example Java or Python), in protocolscryptographic communications […]
01/07/2024
Abstract TESTAR is a software test automation tool that uses APIs fromaccessibility to connect and test systems through graphical user interface (GUI).TESTAR’s flexible architecture allows you […]
01/07/2024
Abstract From the VRAIN institute of the UPV we have developed different advanced techniques ofcode debugging, emphasizing automatic tools and/or stronglyassisted. We mainly consider techniques based […]
01/07/2024
Abstract For good software quality, it is necessary to use techniques that analyze thesoftware behavior and detect possible problems and solutions. But the cost of thesetools […]
01/07/2024
Abstract Implementation of autonomous computing capabilities in services and software elementsdeveloped that allow self-adaptation in real time against production scenarioschanging. This includes optimization, healing, protection, and […]
01/07/2024
Abstract Integration of algorithms and methodology that allows continuous real-time optimization ofproduction support processes that contribute to operational efficiency and decision makingdecisions based on updated data.Implementation […]