Ernest Teniente

Papers

Total Citations

H-Index

About

Ernest Teniente is a leading figure in the fields of information systems engineering, database theory, and conceptual modeling. His most influential work centers on the validation and verification of active database rules and, more broadly, on the development of formal methods for ensuring the correctness of complex information systems. A cornerstone of his research is the innovative application of artificial intelligence planning techniques to validate active rules, a contribution that has shaped how researchers approach the dynamic behavior of databases. While his 1997 paper "Validating active rules by planning" has garnered 2 citations, it represents a foundational step in a career dedicated to rigorous system design. Teniente’s broader impact is evident in his extensive body of work on model-driven development and the automatic generation of system specifications, which has been widely cited by peers in software engineering and database communities. His achievements include leading major research projects and contributing to the development of the OO-Method, a conceptual modeling approach that bridges theory and practice. For students and researchers, Teniente’s work exemplifies the power of combining logical formalism with practical engineering to build reliable, verifiable systems.