BALLIS, Demis
BALLIS, Demis
DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE
$$ extsf ACUOS^mathbf 2$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance
2019-01-01 Alpuente, M.; Ballis, D.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J.
A Fast Algebraic Web Verification Service
2007-01-01 Alpuente, M; Ballis, Demis; Falaschi, M; Ojeda, P; Romero, D.
A fold/unfold transformation framework for rewrite theories extended to CCT
2010-01-01 Alpuente, M; Ballis, Demis; Baggi, M; Falaschi, M.
A Minimalist Visual Notation for Design Patterns and Antipatterns
2008-01-01 Ballis, Demis; Baruzzo, Andrea; Comini, Marco
A Multiparadigm Automatic Correction Scheme
2002-01-01 Alpuente, M; Ballis, Demis; Correa, F. J.; Falaschi, M.
A partial evaluation methodology for optimizing rewrite theories incrementally
2022-01-01 Alpuente, María; Ballis, Demis; Escobara, Santiago; Galán Pascuala, Daniel; Sapiña, Julia
A Rewriting Logic Approach to the Formal Specification and Verification of Web Applications
2014-01-01 M., Alpuente; Ballis, Demis; D., Romero
A Rewriting-Based Framework for Web Sites Verification
2005-01-01 Alpuente, M; Ballis, Demis; Falaschi, M.
A rule-based method to match Software Patterns against UML Models
2008-01-01 Ballis, Demis; Baruzzo, A; Comini, Marco
A Rule-based System for Web Sites Verification
2006-01-01 Ballis, Demis; GARCIA VIVO, J.
A Semi-Automatic Methodology for Repairing Faulty Web Sites
2006-01-01 Alpuente, M; Ballis, Demis; Falaschi, M; Romero, D.
Abstract Correction of First-Order Functional Programs
2003-01-01 Alpuente, M; Ballis, Demis; Escobar, S; Falaschi, M; Lucas, S.
Abstract Correction of OBJ-like Programs
2003-01-01 Alpuente, M; Ballis, Demis; Escobar, S; Falaschi, M; Lucas, S.
An Abstract Generic Framework for Web Site Verification
2008-01-01 Alpuente, M; Ballis, Demis; Falaschi, M; Ojeda, P; Romero, D.
An Access Control Language based on Term Rewriting and Description Logic
2010-01-01 Baggi, M; Ballis, Demis; Falaschi, M.
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs
2010-01-01 Alpuente, M; Ballis, Demis; Correa, F; Falaschi, M.
Assertion-based analysis via slicing with ABETS (system description)
2016-01-01 Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia
Automated Verification of Web Sites Using Partial Rewriting
2004-01-01 Alpuente, M; Ballis, Demis; Falaschi, M.
Backward Trace Slicing for Conditional Rewrite Theories
2012-01-01 Alpuente, M; Ballis, Demis; Frechina, F; Romero, D.
Backward Trace Slicing for Rewriting Logic Theories
2011-01-01 Alpuente, M; Ballis, D; Espert, J; ROMERO ALLUE', Diego
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| $$ extsf ACUOS^mathbf 2$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance | 1-gen-2019 | Alpuente, M.; Ballis, D.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J. | |
| A Fast Algebraic Web Verification Service | 1-gen-2007 | Alpuente, M; Ballis, Demis; Falaschi, M; Ojeda, P; Romero, D. | |
| A fold/unfold transformation framework for rewrite theories extended to CCT | 1-gen-2010 | Alpuente, M; Ballis, Demis; Baggi, M; Falaschi, M. | |
| A Minimalist Visual Notation for Design Patterns and Antipatterns | 1-gen-2008 | Ballis, Demis; Baruzzo, Andrea; Comini, Marco | |
| A Multiparadigm Automatic Correction Scheme | 1-gen-2002 | Alpuente, M; Ballis, Demis; Correa, F. J.; Falaschi, M. | |
| A partial evaluation methodology for optimizing rewrite theories incrementally | 1-gen-2022 | Alpuente, María; Ballis, Demis; Escobara, Santiago; Galán Pascuala, Daniel; Sapiña, Julia | |
| A Rewriting Logic Approach to the Formal Specification and Verification of Web Applications | 1-gen-2014 | M., Alpuente; Ballis, Demis; D., Romero | |
| A Rewriting-Based Framework for Web Sites Verification | 1-gen-2005 | Alpuente, M; Ballis, Demis; Falaschi, M. | |
| A rule-based method to match Software Patterns against UML Models | 1-gen-2008 | Ballis, Demis; Baruzzo, A; Comini, Marco | |
| A Rule-based System for Web Sites Verification | 1-gen-2006 | Ballis, Demis; GARCIA VIVO, J. | |
| A Semi-Automatic Methodology for Repairing Faulty Web Sites | 1-gen-2006 | Alpuente, M; Ballis, Demis; Falaschi, M; Romero, D. | |
| 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. | |
| An Abstract Generic Framework for Web Site Verification | 1-gen-2008 | Alpuente, M; Ballis, Demis; Falaschi, M; Ojeda, P; Romero, D. | |
| An Access Control Language based on Term Rewriting and Description Logic | 1-gen-2010 | Baggi, M; Ballis, Demis; Falaschi, M. | |
| An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs | 1-gen-2010 | Alpuente, M; Ballis, Demis; Correa, F; Falaschi, M. | |
| Assertion-based analysis via slicing with ABETS (system description) | 1-gen-2016 | Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia | |
| Automated Verification of Web Sites Using Partial Rewriting | 1-gen-2004 | Alpuente, M; Ballis, Demis; Falaschi, M. | |
| Backward Trace Slicing for Conditional Rewrite Theories | 1-gen-2012 | Alpuente, M; Ballis, Demis; Frechina, F; Romero, D. | |
| Backward Trace Slicing for Rewriting Logic Theories | 1-gen-2011 | Alpuente, M; Ballis, D; Espert, J; ROMERO ALLUE', Diego |