190 citations · 225 across the 9 of their papers we have counts for
9 papers
Hybrid AI for Explainable and Accurate Conversational Agents in eGovernment
Ilias Chalkidis, Vlad Paul Cosma, Søren Debois +6
We present a so-called Conversational Hybrid AI (CHAI) architecture for building explainable and accurate conversational agents for eGovernment. We exemplify the architecture with…
Capturing Smart Contract Design with DCR Graphs
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho +2
Smart contracts manage blockchain assets and embody business processes. However, mainstream smart contract programming languages such as Solidity lack explicit notions of roles, ac…
DisCoveR: Accurate & Efficient Discovery of Declarative Process Models
Christoffer Olling Back, Tijs Slaats, Thomas Troels Hildebrandt +1
Declarative process modeling formalisms - which capture high-level process constraints - have seen growing interest, especially for modeling flexible processes. This paper presents…
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Søren Debois, Thomas Hildebrandt, Tijs Slaats +1
We present the first session typing system guaranteeing request-response liveness properties for possibly non-terminating communicating processes. The types augment the branch and…
Concurrency Models with Causality and Events as Psi-calculi
Håkon Normann, Cristian Prisacariu, Thomas Hildebrandt
Psi-calculi are a parametric framework for nominal calculi, where standard calculi are found as instances, like the pi-calculus, or the cryptographic spi-calculus and applied-pi. P…
Refinement for Transition Systems with Responses
Marco Carbone, Thomas Hildebrandt, Gian Perrone +1
Motivated by the response pattern for property specifications and applications within flexible workflow management systems, we report upon an initial study of modal and mixed trans…
Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs
Thomas T. Hildebrandt, Raghava Rao Mukkamala
We present Dynamic Condition Response Graphs (DCR Graphs) as a declarative, event-based process model inspired by the workflow language employed by our industrial partner and conse…
A Logic for Choreographies
Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt +1
We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for specification and verifica…
Bigraphical Refinement
Gian Perrone, Søren Debois, Thomas Hildebrandt
We propose a mechanism for the vertical refinement of bigraphical reactive systems, based upon a mechanism for limiting observations and utilising the underlying categorical struct…