- -

Browsing by Author "Sapiña Sanchis, Julia"

RiuNet: Institutional repository of the Polithecnic University of Valencia

Browsing by Author "Sapiña Sanchis, Julia"

Sort by: Order: Results:

  • thumb
    A conditional slicing tool for Maude 
    Sapiña Sanchis, Julia (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 ...
  • Icon
    Aplicación web para el aprendizaje y resolución de mapas de Karnaugh 
    Sapiña Sanchis, Julia; Rivera Carrión, María Lorena (2010-12-22)
  • thumb
    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, ...
  • thumb
    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 ...
  • thumb
    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 ...
  • thumb
    Desarrollo de una herramienta de escritorio para depuración de programas basada en fragmentación de trazas. 
    Requena Casares, Cristina (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 ...
  • thumb
    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 ...
  • thumb
    Formal Modeling of Security Policies for Mobile Access Solutions 
    Roselló Gil, Guillermo (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 ...
  • thumb
    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 ...
  • thumb
    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 ...
  • thumb
    Rewriting Logic Techniques for Program Analysis and Optimization 
    Sapiña Sanchis, Julia (2018-01-08)
    Esta tesis propone una metodología de análisis dinámico que mejora el diagnóstico de programas erróneos escritos en el lenguaje Maude. La idea clave es combinar técnicas de verificación de aserciones en tiempo de ejecución ...
  • thumb
    Slicing slices, an incremental backward trace slicing methodology for rwl computations 
    Sapiña Sanchis, Julia (2014-11-28)
    [EN] Execution traces are an important source of information for program understanding and debugging. However, they have as an important drawback that they are commonly huge and complex, making their manual analysis ...
  • thumb
    Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne 
    Alpuente Frasnedo, María; Ballis, Demis; Frechina, F.; Sapiña Sanchis, Julia (Springer, 2013)
    We present iJulienne, a trace analyzer for conditional rewriting logic theories that can be used to compute abstract views of Maude executions that help users understand and debug programs. Given a Maude execution trace ...
  • thumb
    Static Correction of Maude Programs with Assertions 
    Alpuente Frasnedo, María; Ballis, D.; Sapiña Sanchis, Julia (2018-04-12)
    In this paper, we present a novel transformation method for Maude programs featuring both automatic program diagnosis and correction. The input of our method is a reference specification A of the program behavior that ...
  • thumb
    Verificacion Automática del Comportamiento de un Robot Asistente 
    León Guerrero, Alejandro (2019-09-09)
    [ES] Los asistentes robóticos autónomos están diseñados para ofrecer compañía a personas que viven en un ambiente doméstico. Este tipo de robot usa diversos sensores para detectar y adaptarse a cualquier imprevisto en el ...