98 citations · 385 across the 33 of their papers we have counts for
8 papers · 1 filter
Efficient Certified RAT Verification
Luís Cruz-Filipe, Marijn Heule, Warren Hunt +2
Clausal proofs have become a popular approach to validate the results of SAT solvers. However, validating clausal proofs in the most widely supported format (DRAT) is expensive eve…
Efficient Certified Resolution Proof Checking
Luís Cruz-Filipe, Joao Marques-Silva, Peter Schneider-Kamp
We present a novel propositional proof tracing format that eliminates complex processing, thus enabling efficient (formal) proof checking. The benefits of this format are demonstra…
The Paths to Choreography Extraction
Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi
Choreographies are global descriptions of interactions among concurrent components, most notably used in the settings of verification (e.g., Multiparty Session Types) and synthesis…
Active Integrity Constraints for Multi-Context Systems
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes +1
We introduce a formalism to couple integrity constraints over general-purpose knowledge bases with actions that can be executed to restore consistency. This formalism generalizes a…
Grounded Fixpoints and Active Integrity Constraints
Luís Cruz-Filipe
The formalism of active integrity constraints was introduced as a way to specify particular classes of integrity constraints over relational databases together with preferences on…
Choreographies in Practice
Luís Cruz-Filipe, Fabrizio Montesi
Choreographic Programming is a development methodology for concurrent software that guarantees correctness by construction. The key to this paradigm is to disallow mismatched I/O o…
A Language for the Declarative Composition of Concurrent Protocols
Luís Cruz-Filipe, Fabrizio Montesi
A recent study of bugs in real-world concurrent and distributed systems found that, while implementations of individual protocols tend to be robust, the composition of multiple pro…
Integrity Constraints for General-Purpose Knowledge Bases
Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp
Integrity constraints in databases have been studied extensively since the 1980s, and they are considered essential to guarantee database integrity. In recent years, several author…