IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 61
Titolo Data di pubblicazione Autore(i) File
A Multiparadigm Automatic Correction Scheme 1-gen-2002 Alpuente, M; Ballis, Demis; Correa, F. J.; Falaschi, M.
Abstract Correction of First-Order Functional Programs 1-gen-2003 Alpuente, M; Ballis, Demis; Escobar, S; Falaschi, M; Lucas, S.
Abstract Correction of OBJ-like Programs 1-gen-2003 Alpuente, M; Ballis, Demis; Escobar, S; Falaschi, M; Lucas, S.
Correction of Functional Logic Programs 1-gen-2003 Alpuente, M; Ballis, Demis; Correa, F. J.; Falaschi, M.
Cost-Sensitive Debugging of Declarative Programs 1-gen-2003 Ballis, Demis; Falaschi, M; Ferri, C; HERNANDEZ ORALLO, J; Ramirez, M. J.
Automated Verification of Web Sites Using Partial Rewriting 1-gen-2004 Alpuente, M; Ballis, Demis; Falaschi, M.
VERDI: an Automated Tool for Web sites Verification 1-gen-2004 Alpuente, M; Ballis, Demis; Falaschi, M.
A Rewriting-Based Framework for Web Sites Verification 1-gen-2005 Alpuente, M; Ballis, Demis; Falaschi, M.
GVERDI-R: A Tool for Repairing Faulty Web Sites 1-gen-2006 Alpuente, M; Ballis, Demis; Falaschi, M; Ojeda, P; Romero, D.
A Semi-Automatic Methodology for Repairing Faulty Web Sites 1-gen-2006 Alpuente, M; Ballis, Demis; Falaschi, M; Romero, D.
A Rule-based System for Web Sites Verification 1-gen-2006 Ballis, Demis; GARCIA VIVO, J.
Rule-based Verification of Web sites 1-gen-2006 Alpuente, Maria; Ballis, Demis; Falaschi, Moreno
The Web Verification Service WebVerdi-M 1-gen-2007 Alpuente, M; Ballis, Demis; Falaschi, M; Ojeda, P; Romero, D.
Filtering of XML Documents 1-gen-2007 Ballis, Demis; Romero, D.
Fixing Web Sites Using Correction Stategies 1-gen-2007 Ballis, Demis; Romero, D.
A Fast Algebraic Web Verification Service 1-gen-2007 Alpuente, M; Ballis, Demis; Falaschi, M; Ojeda, P; Romero, D.
Proc. of 3rd Int'l Workshop on Automated Specification and Verification of Web Sites 1-gen-2008 Ballis, Demis; Escobar, S; Marchiori, M.
XML Semantic Filtering via Ontology Reasoning 1-gen-2008 Baggi, M; Ballis, Demis; Falaschi, M.
An Abstract Generic Framework for Web Site Verification 1-gen-2008 Alpuente, M; Ballis, Demis; Falaschi, M; Ojeda, P; Romero, D.
A rule-based method to match Software Patterns against UML Models 1-gen-2008 Ballis, Demis; Baruzzo, A; Comini, Marco
A Minimalist Visual Notation for Design Patterns and Antipatterns 1-gen-2008 Ballis, Demis; Baruzzo, Andrea; Comini, Marco
PHIL: A Lazy Implementation of a Language for Approximate Filtering of XML Documents 1-gen-2008 Baggi, M; Ballis, Demis
Semantic Verification of Web System Contents 1-gen-2008 Alpuente, M; Baggi, M; Ballis, Demis; Falaschi, M.
Quantitative Pathway Logic for Computational Biology 1-gen-2009 Baggi, M; Ballis, Demis; Falaschi, M.
Specification and Verification of Web Applications in Rewriting Logic 1-gen-2009 Alpuente, M; Ballis, Demis; Romero, D.
Proc. of 4th Int'l Workshop on Automated Specification and Verification of Web Sites 1-gen-2009 Ballis, Demis; Escobar, S.
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs 1-gen-2010 Alpuente, M; Ballis, Demis; Correa, F; Falaschi, M.
An Access Control Language based on Term Rewriting and Description Logic 1-gen-2010 Baggi, M; Ballis, Demis; Falaschi, M.
Transformation and Debugging of Functional Logic Programs 1-gen-2010 Alpuente, Maria; Ballis, Demis; Falaschi, Moreno
A fold/unfold transformation framework for rewrite theories extended to CCT 1-gen-2010 Alpuente, M; Ballis, Demis; Baggi, M; Falaschi, M.
Completeness of Unfolding for Rewriting Logic Theories 1-gen-2010 Alpuente, M; Baggi, M; Ballis, Demis; Falaschi, M.
Model-Checking Web Applications with Web-TLR 1-gen-2010 Alpuente, M; Ballis, Demis; Espert, J; Romero, D.
Debugging of Web Applications with Web-TLR 1-gen-2011 Alpuente, M; Ballis, Demis; Espert, J; Frechina, F; Romero, D.
Backward Trace Slicing for Rewriting Logic Theories 1-gen-2011 Alpuente, M; Ballis, D; Espert, J; ROMERO ALLUE', Diego
Special issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems 1-gen-2011 Ballis, Demis; Kutsia, Temur
Julienne: a Trace Slicer for Conditional Rewrite Theories 1-gen-2012 Alpuente, M; Ballis, Demis; Frechina, F; Romero, D.
Backward Trace Slicing for Conditional Rewrite Theories 1-gen-2012 Alpuente, M; Ballis, Demis; Frechina, F; Romero, D.
Parametric Exploration of Rewriting Logic Computations 1-gen-2013 M., Alpuente; Ballis, Demis; F., Frechina; J., Sapiña
Slicing-based Trace Analysis of Rewriting Logic Specifications with iJulienne 1-gen-2013 Alpuente, M; Ballis, Demis; Frechina, F; Sapiña, J.
Rewriting-based Repairing Strategies for XML Repositories 1-gen-2013 M., Alpuente; Ballis, Demis; M., Falaschi; F., Frechina; D., Romero
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) 1-gen-2014 M., Alpuente; Ballis, Demis; F., Frechina; J., Sapiña
A Rewriting Logic Approach to the Formal Specification and Verification of Web Applications 1-gen-2014 M., Alpuente; Ballis, Demis; D., Romero
Using Conditional Trace Slicing for Improving Maude Programs 1-gen-2014 M., Alpuente; Ballis, Demis; F., Frechina; D., Romero
Combining runtime checking and slicing to improve Maude error diagnosis 1-gen-2015 Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia
Exploring conditional rewriting logic computations 1-gen-2015 Alpuente, M.; Ballis, Demis; Frechina, F.; Sapiña, J.
Assertion-based analysis via slicing with ABETS (system description) 1-gen-2016 Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia
Debugging Maude programs via runtime assertion checking and trace slicing 1-gen-2016 Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia
Inferring Safe Maude Programs with ÁTAME 1-gen-2018 Alpuente, María; Ballis, Demis; Sapiña, Julia
Imposing assertions in Maude via program transformation 1-gen-2019 Alpuente, M.; Ballis, D.; Sapina, J.
Symbolic Analysis of Maude Theories with Narval 1-gen-2019 Alpuente, M.; Escobar, S.; Sapina, J.; Ballis, D.
Mostrati risultati da 1 a 50 di 61
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile