Concepedia

Demis Ballis

DB

13

Publications

221

Citations

12

H-Index

2004

Active since

Affiliations

Universitat Politècnica de València(Current)

University of Udine

Demis Ballis is an author at Universitat Politècnica de València specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsFormal VerificationComputer ScienceSoftware AnalysisProgram AnalysisAutomated ReasoningVerificationSoftware EngineeringSemantic Web

Publications per year

2004–2019

13

Publications

13

A Rewriting-based Framework for Web Sites Verification

Marı́a Alpuente, Demis Ballis, Moreno Falaschi · Electronic Notes in Theoretical Computer Science · 2005 · 29 citations · Full text

Engineering, Verification, Partial Rewriting +18

Rule-based verification of Web sites

Marı́a Alpuente, Demis Ballis, Moreno Falaschi · International Journal on Software Tools for Technology Transfer · 2006 · 23 citations

Rule-based Verification, Engineering, Information Security +9

Using conditional trace slicing for improving Maude programs

Marı́a Alpuente, Demis Ballis, Francisco Frechina et al. · Science of Computer Programming · 2013 · 21 citations · Full text

Engineering, Automated Reasoning, Program Analysis +8

Debugging Maude programs via runtime assertion checking and trace slicing

Marı́a Alpuente, Demis Ballis, Francisco Frechina et al. · Journal of Logical and Algebraic Methods in Programming · 2016 · 19 citations · Full text

Engineering, Runtime Verification, Program Analysis +13

A fold/unfold transformation framework for rewrite theories extended to CCT

Marı́a Alpuente, Demis Ballis, Michele Baggi et al. · 2010 · 18 citations

Engineering, Verification, Rewrite Theories +20

Rows per page

1–5 of 13