Demis Ballis - RankMe

62 papers A 3B 7C 3Misc 1Journal 20Unranked 24

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Process Calculi and Rewriting Techniques for Analyzing Reaction Systems. CMSB Demis Ballis, Linda Brodo, Moreno Falaschi, Carlos Olarte
2024	J	`jnl`	ccReact: a rewriting framework for the formal analysis of reaction systems. Int. J. Softw. Tools Technol. Transf. Demis Ballis, Linda Brodo, Moreno Falaschi, Carlos Olarte
2023	—	`conf`	Optimizing Maude Programs via Program Specialization. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems María Alpuente, Demis Ballis, Santiago Escobar, José Meseguer, Julia Sapiña
2023	J	`jnl`	Safety enforcement via programmable strategies in Maude. J. Log. Algebraic Methods Program. María Alpuente, Demis Ballis, Santiago Escobar, D. Galán, Julia Sapiña
2022	J	`jnl`	Optimization of rewrite theories by equational partial evaluation. J. Log. Algebraic Methods Program. María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
2022	J	`jnl`	Symbolic Specialization of Rewriting Logic Theories with Presto. Theory Pract. Log. Program. María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis
2022	C	`conf`	Variant-Based Equational Anti-unification. LOPSTR María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
2021	J	`jnl`	Symbolic Specialization of Rewriting Logic Theories with Presto. CoRR María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
2020	J	`jnl`	Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System. Math. Comput. Sci. María Alpuente, Demis Ballis, Julia Sapiña
2019	B	`conf`	ACUOS JELIA María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2019	J	`jnl`	Static correction of Maude programs with assertions. J. Syst. Softw. María Alpuente, Demis Ballis, Julia Sapiña
2019	J	`jnl`	Symbolic Analysis of Maude Theories with Narval. CoRR María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
2019	J	`jnl`	Symbolic Analysis of Maude Theories with Narval. Theory Pract. Log. Program. María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis
2018	—	`conf`	Inferring Safe Maude Programs with ÁTAME. ICMS María Alpuente, Demis Ballis, Julia Sapiña
2016	J	`jnl`	Assertion-based Analysis via Slicing with ABETS (System Description). CoRR María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2016	J	`jnl`	Assertion-based analysis via slicing with ABETS. Theory Pract. Log. Program. María Alpuente, Francisco Frechina, Julia Sapiña, Demis Ballis
2016	J	`jnl`	Debugging Maude programs via runtime assertion checking and trace slicing. J. Log. Algebraic Methods Program. María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2015	—	`conf`	Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis. Logic, Rewriting, and Concurrency María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2015	J	`jnl`	Exploring conditional rewriting logic computations. J. Symb. Comput. María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2014	J	`jnl`	A rewriting logic approach to the formal specification and verification of web applications. Sci. Comput. Program. María Alpuente, Demis Ballis, Daniel Romero
2014	—	`conf`	Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way). Specification, Algebra, and Software María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2014	J	`jnl`	Using conditional trace slicing for improving Maude programs. Sci. Comput. Program. María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
2013	—	`conf`	Parametric Exploration of Rewriting Logic Computations. SCSS María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2013	J	`jnl`	Rewriting-based repairing strategies for XML repositories. J. Log. Algebraic Methods Program. María Alpuente, Demis Ballis, Moreno Falaschi, Francisco Frechina, Daniel Romero
2013	A	`conf`	Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. ESOP María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2012	B	`conf`	Backward Trace Slicing for Conditional Rewrite Theories. LPAR María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
2012	B	`conf`	Julienne: A Trace Slicer for Conditional Rewrite Theories. FM María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
2011	A	`conf`	Backward Trace Slicing for Rewriting Logic Theories. CADE María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
2011	—	`conf`	Debugging of Web Applications with Web-TLR WWV María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero
2011	J	`jnl`	Dynamic Backward Slicing of Rewriting Logic Computations CoRR María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
2011	J	`jnl`	Foreword. J. Symb. Comput. Demis Ballis, Temur Kutsia
2010	C	`conf`	A fold/unfold transformation framework for rewrite theories extended to CCT. PEPM María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi
2010	—	`conf`	An Access Control Language Based on Term Rewriting and Description Logic. WFLP Michele Baggi, Demis Ballis, Moreno Falaschi
2010	J	`jnl`	An integrated framework for the diagnosis and correction of rule-based programs. Theor. Comput. Sci. María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi
2010	Misc	`conf`	Completeness of Unfolding for Rewriting Logic Theories. SYNASC María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis
2010	B	`conf`	Model-Checking Web Applications with Web-TLR. ATVA María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
2010	—	`ch.`	Transformation and Debugging of Functional Logic Programs. 25 Years GULP María Alpuente, Demis Ballis, Moreno Falaschi
2009	—	`ed.`	Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, WWV 2008, Siena, Italy, July 4, 2008 WWV Demis Ballis, Santiago Escobar
2009	—	`conf`	Quantitative Pathway Logic for Computational Biology. CMSB Michele Baggi, Demis Ballis, Moreno Falaschi
2009	B	`conf`	Specification and Verification of Web Applications in Rewriting Logic. FM María Alpuente, Demis Ballis, Daniel Romero
2008	—	`conf`	A Minimalist Visual Notation for Design Patterns and Antipatterns. ITNG Demis Ballis, Andrea Baruzzo, Marco Comini
2008	—	`conf`	An Abstract Generic Framework for Web Site Verification. SAINT María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi
2008	—	`conf`	Preface. WWV Demis Ballis, Santiago Escobar
2008	—	`ed.`	Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, WWV 2007, Venice, Italy, December 14, 2007 WWV Demis Ballis, Santiago Escobar, Massimo Marchiori
2008	—	`conf`	Semantic Verification of Web System Contents. ER Workshops María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi
2008	C	`conf`	XML Semantic Filtering via Ontology Reasoning. ICIW Michele Baggi, Moreno Falaschi, Demis Ballis
2007	—	`conf`	A Fast Algebraic Web Verification Service. RR María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero
2007	—	`conf`	A Rule-based Method to Match Software Patterns Against UML Models. RULE@RDP Demis Ballis, Andrea Baruzzo, Marco Comini
2007	—	`conf`	Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents. WFLP@RDP Michele Baggi, Demis Ballis
2007	—	`conf`	Preface. WWV Demis Ballis, Santiago Escobar, Massimo Marchiori
2006	B	`conf`	A Semi-Automatic Methodology for Repairing FaultyWeb Sites. SEFM María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero
2006	J	`jnl`	Rule-based verification of Web sites. Int. J. Softw. Tools Technol. Transf. María Alpuente, Demis Ballis, Moreno Falaschi
2005	—	`conf`	A Rewriting-based system for Web site Verification. WWV Demis Ballis, Javier García-Vivó
2005	—	`conf`	A Rule-based System for Web site Verification. WWV Demis Ballis, Javier García-Vivó
2005	—	`—`	Rule-Based Software Verification and Correction. Demis Ballis
2004	—	`conf`	A Rewriting-based Framework for Web Sites Verification. RULE@RDP María Alpuente, Demis Ballis, Moreno Falaschi
2004	—	`conf`	Automated Verification of Web Sites Using Partial Rewriting. ISoLA (Preliminary proceedings) María Alpuente, Demis Ballis, Moreno Falaschi
2004	B	`conf`	Verdi: An Automated Tool for Web Sites Verification. JELIA María Alpuente, Demis Ballis, Moreno Falaschi
2003	—	`conf`	Abstract Correction of OBJ-like Programs. APPIA-GULP-PRODE María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas
2003	—	`conf`	Abstract correction of first-order functional programs. WFLP María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas
2003	A	`conf`	Correction of Functional Logic Programs. ESOP María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi
2003	—	`conf`	Cost-sensitive diagnosis of declarative programs. WFLP Demis Ballis, Moreno Falaschi, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana