Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixed points, POPL ,
Long: Model checking and abstraction, ACM Trans. Program. Lang. Syst, 1994. ,
C-Phrase: A system for buidling robust natural kanguage interfaces to databases, DKE, 2010. ,
Enterprise Architecture: Models an analysis for information systems decision making, 2007. ,
Enterprise Architecture dependency analysis using fault trees and Bayesian networks, 2009. ,
Zhu: Enterprise Architecture analysis using Fault Trees and MODAF, CAiSE Forum, 2009. ,
Wolter: Did I damage my Ontology? A case for conservatve extensions in description logics, 2006. ,
Semantics for Mapping Relations in SKOS, 2013. ,
DOI : 10.1007/978-3-642-39666-3_19