The following pages link to Marco Montali (Q315289):
Displaying 31 items.
- Model checking Petri nets with names using data-centric dynamic systems (Q315291) (← links)
- First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus (Q1706163) (← links)
- Specification and verification of declarative open interaction models. A logic-based approach (Q1958400) (← links)
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
- Combination of uniform interpolants via Beth definability (Q2090132) (← links)
- Combined covers and Beth definability (Q2096445) (← links)
- CTL* model checking for data-aware dynamic systems with arithmetic (Q2104496) (← links)
- Data and process resonance. Identifier soundness for models of information systems (Q2165251) (← links)
- From model completeness to verification of data aware processes (Q2185467) (← links)
- Model completeness, covers and superposition (Q2305411) (← links)
- Optimising business process discovery using answer set programming (Q2694620) (← links)
- Reactive Event Calculus for Monitoring Global Computing Applications (Q2900475) (← links)
- Verification of Context-Sensitive Knowledge and Action Bases (Q2938518) (← links)
- (Q3005894) (← links)
- A Logic-Based, Reactive Calculus of Events (Q3084982) (← links)
- Social Commitments in Time: Satisfied or Compensated (Q3402251) (← links)
- (Q3457205) (← links)
- ${\cal B}$ -Tropos (Q3602948) (← links)
- Evaluating Compliance: From LTL to Abductive Logic Programming (Q4637879) (← links)
- Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning* (Q4686515) (← links)
- Description Logic Knowledge and Action Bases (Q4917617) (← links)
- Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge (Q4957188) (← links)
- (Q5013882) (← links)
- Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions (Q5025032) (← links)
- Semantic DMN: Formalizing Decision Models with Domain Knowledge (Q5086206) (← links)
- SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)
- Verification from Declarative Specifications Using Logic Programming (Q5504672) (← links)
- On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework (Q5747982) (← links)
- Correctness Notions for Petri Nets with Identifiers (Q6189321) (← links)
- There and back again. On the reconstructability and rediscoverability of typed Jackson nets (Q6535182) (← links)
- \textsc{delphic}: practical DEL planning via possibilities (Q6545564) (← links)
