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 […]
01/07/2024
Abstract Focus on developing solutions at a higher level of abstraction to avoid dealing withparticularities of the underlying technologies and ensure acceptance of the system byof […]
01/07/2024
Abstract Development of applications that facilitate the management and control of physical resources and provideDetailed information on location, traceability and status in real time. Scientific officer […]
01/07/2024
Abstract Design of solutions that automate the flow of information between physical objects and information systems.information for the elimination of unnecessary intermediaries that allow the appearance […]