15 citations · 15 across the 3 of their papers we have counts for
3 papers
cs.SE2025
Smart Contracts Formal Verification: A Systematic Literature Review
Rene Davila, Everardo Barcenas, Rocio Aldeco-Perez
Formal verification entails testing software to ensure it operates as specified. Smart contracts are self-executing contracts with the terms of the agreement directly written into…
cs.LO2014★ 15 cited
Global Numerical Constraints on Trees
Everardo Bárcenas, Jesús Lavalle
We introduce a logical foundation to reason on tree structures with constraints on the number of node occurrences. Related formalisms are limited to express occurrence constraints…
cs.DB2010
On the Count of Trees
Everardo Barcenas, Pierre Geneves, Nabil Layaida +1
Regular tree grammars and regular path expressions constitute core constructs widely used in programming languages and type systems. Nevertheless, there has been little research so…