Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por autor "Villanueva García, Alicia"

Mostrando ítems 1-20 de 51

Página siguiente

A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp

Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Universitat Politècnica de València, 2013)

In this paper, we present a new compositional bottom-up semantics for the Timed Concurrent Constraint Language (tccp in short) which is defined for the full language. In particular, is able to deal with the non- monotonic ...
A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp

Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Universitat Politècnica de València, 2013-04-13)

In this paper, we present a new compositional bottom-up semantics for the Timed Concurrent Constraint Language (tccp in short). Such semantics is defined for the full language. In particular, is able to deal with the ...
A program analysis framework for tccp based on abstract interpretation

Comini, Marco; Gallardo, Maria-del-Mar; Titolo, Laura; Villanueva, Alicia (Springer-Verlag, 2017-05)

[EN] The timed concurrent constraint language (tccp) is a timed extension of the concurrent constraint paradigm. tccp was defined to model reactive systems, where infinite behaviors arise naturally. In previous works, a ...
Abstract Analysis of Universal Properties for tccp

Comini, Marco; Gallardo Melgarejo, Maria del Mar; Titolo, Laura; Villanueva, Alicia (Springer, 2015)

[EN] The Timed Concurrent Constraint Language (tccp) is a time extension of the concurrent constraint paradigm of Saraswat. tccp was defined to model reactive systems, where infinite behaviors arise naturally. In previous ...
Abstract Contract Synthesis and Verification in the Symbolic K Framework

Alpuente Frasnedo, María; Pardo Pont, Daniel; Villanueva García, Alicia (Universitat Politècnica de València, 2018-04-12)

[EN] In this article, we propose a symbolic technique that can be used for automatically inferring software contracts from programs that are written in a non-trivial fragment of C, called KernelC, that supports pointer-based ...
Abstract Contract Synthesis and Verification in the Symbolic K Framework

Alpuente Frasnedo, María; Pardo, Daniel; Villanueva, Alicia (IOS Press, 2020)

[EN] In this article, we propose a symbolic technique that can be used for automatically inferring software contracts from programs that are written in a non-trivial fragment of C, called KERNELC, that supports pointer-based ...
Abstract Diagnosis for tccp using a Linear Temporal Logic

Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Universitat Politècnica de València, 2014-02-15)

Automatic techniques for program verification usually suffer the well-known state explosion problem. Most of the classical approaches are based on browsing the structure of some form of model (which rep- resents the behavior ...
Abstract Diagnosis for tccp using a Linear Temporal Logic

Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Cambridge University Press, 2014-07)

[EN] Automatic techniques for program verification usually suffer the well-known state explosion problem. Most of the classical approaches are based on browsing the structure of some form of model (which represents the ...
Abstract diagnosis for timed concurrent constraint programs

Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Cambridge University Press, 2011)

The timed concurrent constraint language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat. In this paradigm, the notion of store-as-value is replaced ...
Análisis y detección de malware en documentos ofimáticos basado en reglas de Yara

Salinas Fernández, Marc (Universitat Politècnica de València, 2018-01-02)

[ES] Este proyecto ha consistido en el estudio de diferentes muestras de documentos maliciosos de los más comunes para poder obtener el máximo entendimiento sobre estos y, posteriormente, encontrar las mejores vías para ...
Aplicación web desarrollada en PHP para la gestión de objetivos empresariales

Herrero García, David (Universitat Politècnica de València, 2021-09-17)

[ES] En este TFG se plantea el desarrollo de una aplicación web con el framework Symfony cuya finalidad principal es la creación y modificación de objetivos y tareas para centralizar el enfoque al que se dirige una empresa. ...
Automatic Inference of Specifications in the K Framework

Alpuente Frasnedo, María; Pardo Pont, Daniel; Villanueva García, Alicia (Open Publishing Association, 2015)

[EN] Despite its many unquestionable benefits, formal specifications are not widely used in industrial software development. In order to reduce the time and effort required to write formal specifications, in this paper ...
Automatic inference of specifications using matching logic

Alpuente Frasnedo, María; Feliú Gabaldón, Marco Antonio; Villanueva García, Alicia (Association for Computing Machinery (ACM), 2013-01-21)

Formal specifications can be used for various software engineering activities ranging from finding errors to documenting software and automatic test-case generation. Automatically discovering specifications for heap-manipulating ...
Automatización de pruebas para aplicaciones web con Cypress

Martinis, Mario de (Universitat Politècnica de València, 2022-09-08)

[ES] En la actualidad los proyectos crecen con gran velocidad, muchas veces se ve comprometida la calidad del producto. La necesidad de cumplir con los requisitos, estándares de calidad y las fechas de entrega nos obliga ...
Compresión automática de contratos software

Orengo Faus, Sandra María (Universitat Politècnica de València, 2022-10-21)

[ES] En Ingeniería de Software, el concepto de contrato está relacionado con una especificación del comportamiento de los programas utilizando descripciones que típicamente incluyen precondiciones y postcondiciones. El ...
Contract-based Analysis and Dynamic Verification of C code

Coroban, Raul Ionut (Universitat Politècnica de València, 2018-09-11)

[EN] In Software Engineering, software contracts allow the program behavior to be specified using formal axioms such as preconditions, postconditions and invariants. The current state of the art makes it possible to ...
Creación de una aplicación web para la gestión y monitorización de los dispositivos y sensores de medida de resistencia del hormigón

Garcés Gallardo, Antoni (Universitat Politècnica de València, 2022-10-18)

[ES] El objetivo de este proyecto es la creación de un sistema que, a través del internet de las cosas, permita monitorizar, obtener y analizar datos sobre el hormigón a partir de la fase del vertido, permitiendo así ...
Creación de una solución de comunicación para el software médico Cosmed Omnia con el objetivo de ser integrado con aplicaciones en la nube

Tello García, Virgilio (Universitat Politècnica de València, 2019-09-16)

[ES] Ante la necesidad de importación de datos del software médico Cosmed OMNIA desde el portal de gestión y mantenimiento SportMediScore de Biit Solutions; se plantea y desarrolla una serie de soluciones para gestionar ...
Criterios de cobertura para el software testing

Villanueva García, Alicia (Universitat Politècnica de València, 2016-07-01)

Se introducen distintos criterios que sirven para evaluar la cobertura del software testing.
Datalog-Based program analysis with BES and RWL

Alpuente Frasnedo, María; Feliú Gabaldón, Marco Antonio; Joubert, Christophe; Villanueva García, Alicia (Springer Verlag (Germany), 2011)

This paper describes two techniques for Datalog query evaluation and their application to object-oriented program analysis. The first technique transforms Datalog programs into an implicit Boolean Equation System (Bes) ...