Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por autor "Sapiña Sanchis, Julia"

Mostrando ítems 1-20 de 38

Página siguiente

A conditional slicing tool for Maude

Sapiña Sanchis, Julia (Universitat Politècnica de València, 2012-10-02)

In this work we develop Julienne, an online trace slicer for the high performance rewriting logic language Maude. Trace slicing is a widely used technique for execution trace analysis that is effectively used in program ...
A Partial Evaluation Methodology for Optimizing Rewrite Theories Incrementally

Alpuente Frasnedo, María; Ballis, Demis; Escobar Román, Santiago; Galán-Pascual, Daniel; Sapiña-Sanchis, Julia (Elsevier, 2022)

[EN] Partial evaluation (PE) is a branch of computer science that achieves code optimization via specialization. This article describes a PE methodology for optimizing rewrite theories that encode concurrent as well as ...
An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis

López-Rueda, Raúl; Escobar Román, Santiago; Sapiña-Sanchis, Julia (Elsevier, 2023-10)

[EN] Narrowing and unification are very useful tools for symbolic analysis of rewrite theories, and thus for any model that can be specified in that way. A very clear example of their application is the field of formal ...
An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA

Aparicio-Sánchez, Damián; Escobar Román, Santiago; Gutiérrez Gil, Raúl; Sapiña-Sanchis, Julia (Springer Nature, 2020-09-18)

[EN] Maude-NPA is an analysis tool for cryptographic security protocols that takes into account the algebraic properties of the cryptosystem. Maude-NPA can reason about a wide range of cryptographic properties. However, ...
Análisis simbólico de planes de evolución para líneas de producto software

Cerveró Gregori, Pere (Universitat Politècnica de València, 2021-01-21)

[ES] El objetivo de este trabajo es desarrollar una técnica de análisis simbólico para planes de evolución de líneas de producto software, una colección de productos estrechamente relacionados que satisfacen las necesidades ...
Aplicación web para el aprendizaje y resolución de mapas de Karnaugh

Sapiña Sanchis, Julia; Rivera Carrión, María Lorena (Universitat Politècnica de València, 2010-12-22)
Assertion-based Analysis via Slicing with ABETS

Alpuente Frasnedo, María; Frechina, F.; Sapiña Sanchis, Julia; Ballis, Demis (Cambridge University Press (CUP), 2016-09)

[EN] We present ABETS, an assertion-based, dynamic analyzer that helps diagnose errors in Maude programs. ABETS uses slicing to automatically create reduced versions of both a run's execution trace and executed program, ...
Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis

Alpuente Frasnedo, María; Ballis, Demis; Frechina Navarro, Francisco; Sapiña Sanchis, Julia (2015-08)

This paper introduces the idea of using assertion checking for enhancing the dynamic slicing of Maude computation traces. Since trace slicing can greatly simplify the size and complexity of the analyzed traces, our methodology ...
Debugging Maude programs via runtime assertion checking and trace slicing

Alpuente Frasnedo, María; Ballis, Demis; Frechina, F.; Sapiña-Sanchis, Julia (Elsevier, 2016-08)

In this paper we propose a dynamic analysis methodology for improving the diagnosis of erroneous Maude programs. The key idea is to combine runtime checking and dynamic trace slicing for automatically catching errors at ...
Desarrollo de una herramienta de escritorio para depuración de programas basada en fragmentación de trazas

Requena Casares, Cristina (Universitat Politècnica de València, 2016-09-30)

[ES] El concepto de aplicación web está relacionado con el almacenamiento en la nube y el acceso a la información vía Internet, quedando una copia temporal dentro de nuestro dispositivo. Sin embargo, las aplicaciones web ...
Diseño y Desarrollo de una Técnica y Sistema de Especialización Incremental en Maude

Galán Pascual, Daniel (Universitat Politècnica de València, 2021-09-15)

[ES] El estado del arte en el diseño de herramientas de especialización automática de código está enfocado a la construcción de herramientas monolíticas, donde se priman la automatización completa y la eficiencia frente a ...
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME system

Alpuente Frasnedo, María; Ballis, D.; Sapiña-Sanchis, Julia (Springer, 2020-09)

[EN] Program specialization is mainly recognized as a powerful technique for optimizing software systems. Nonetheless, it can also be productively employed in other application areas. This paper presents an assertion-guided ...
Exploring Conditional Rewriting Logic Computations

Alpuente Frasnedo, María; Ballis, Demis; Frechina Navarro, Francisco; Sapiña Sanchis, Julia (Elsevier, 2015)

[EN] Trace exploration is concerned with techniques that allow computation traces to be dynamically searched for specific contents. Depending on whether the exploration is carried backward or forward, trace exploration ...
Formal Analysis of Reddit Network Interactions

Padró Ferragut, Cristina (Universitat Politècnica de València, 2021-09-14)

[EN] With the rise in popularity of social media platforms in the last couple of decades, there is a demand for a more thorough and formal understanding of how these networks operate due to how quickly information is ...
Formal Modeling of Security Policies for Mobile Access Solutions

Roselló Gil, Guillermo (Universitat Politècnica de València, 2017-10-30)

[EN] Current technology allows us to have a great deal of computation power in the palm of our hand in the form of smartphones. Such powerful and versatile devices are the perfect tools to, e.g., authenticate users in ...
Generación de un simulador de datos de tráfico de red para la validación de equipos en vehículos ferroviarios

López Giménez, Pablo (Universitat Politècnica de València, 2021-10-06)

[ES] La empresa Stadler Rail Valencia diseña y fabrica vehículos ferroviarios destinados al transporte de pasajeros y mercancías. Entre otras tareas, Stadler diseña, desarrolla, verifica y valida el sistema de control y ...
Imposing Assertions in Maude via Program Transformation

Alpuente Frasnedo, María; Ballis, Demis; Sapiña-Sanchis, Julia (Elsevier, 2019)

[EN] Program transformation is widely used for producing correct mutations of a given program so as to satisfy the user's intent that can be expressed by means of some sort of specification (e.g. logical assertions, ...
Inspecting Maude Variants with GLINTS

Alpuente Frasnedo, María; Cuenca-Ortega, Angel; Escobar Román, Santiago; Sapiña-Sanchis, Julia (Cambridge University Press, 2017)

[EN] This paper introduces GLINTS, a graphical tool for exploring variant narrowing computations in Maude. The most recent version of Maude, version 2.7.1, provides quite sophisticated unification features, including ...
Inspecting rewriting logic computations (in a parametric and stepwise way)

Alpuente Frasnedo, María; Ballis, Demis; Frechina, F.; Sapiña Sanchis, Julia (Springer Verlag (Germany), 2014)

Trace inspection is concerned with techniques that allow the trace content to be searched for specific components. This paper presents a rich and highly dynamic, parameterized technique for the trace inspection of ...
Modelado y verificación del mecanismo de encapsulación de claves post-cuánticas KYBER usando Maude

García Valero, Víctor (Universitat Politècnica de València, 2022-09-23)

[ES] Las tecnologías de la información y la comunicación dan forma a los sistemas del mundo de hoy, y esos sistemas dan forma a la sociedad en la que vivimos. La seguridad de esos sistemas se basa en problemas matemáticos ...