G
Giuseppe De Giacomo
Researcher at Sapienza University of Rome
Publications - 383
Citations - 18961
Giuseppe De Giacomo is an academic researcher from Sapienza University of Rome. The author has contributed to research in topics: Description logic & Decidability. The author has an hindex of 69, co-authored 355 publications receiving 17920 citations. Previous affiliations of Giuseppe De Giacomo include Rice University.
Papers
More filters
ACSI - Artifact-Centric Service Interoperation
Pavel Gonzalez,Andreas Griesmayer,Francesco Belardinelli,Alessio Lomuscio,Fabio Patrizi,Dirk Fahland,Giuseppe De Giacomo,Marco Montali +7 more
TL;DR: This report outlines a methodology to model check declarative models of artifact-centric systems by translating GSM-based artifacts into a symbolic transition system used for symbolic model checking and implements the methodology in the GSMC model checker.
Journal Article
Representing SGML Documents in Description Logics.
TL;DR: A method for verifying structural equivalence of DTDs is provided, which works in worst case deterministic exponential time, in contrast to the known algorithms for this problem which are double exponential.
Book ChapterDOI
Automatic Business Process Model Extension to Repair Constraint Violations
TL;DR: This work proposes an approach to automatically generate an extension to the original business process model that, when executed after a constraint violation, repairs the contents of the data leaving it in a new consistent state.
Posted Content
LTLf and LDLf monitoring : a technical report
TL;DR: It is shown that LDLf is able to capture, in the logic itself, not only the constraints to be monitored, but also the de-facto standard RV-LTL monitors, which makes it possible to declaratively capture monitoring metaconstraints, and check them by relying on usual logical services instead of ad-hoc algorithms.
Proceedings Article
Online situation-determined agents and their supervision
TL;DR: This work investigates supervision of an agent that may acquire new knowledge about her environment during execution, for example, by sensing, and defines a notion of online situation-determined agent which ensures that for any sequence of actions the agent can perform online, the resulting agent configuration is unique.