7 citations · 17 across the 8 of their papers we have counts for
5 papers · 1 filter
Can determinism and compositionality coexist in RML?
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Runtime verification (RV) consists in dynamically verifying that the event traces generated by single runs of a system under scrutiny (SUS) are compliant with the formal specificat…
Can determinism and compositionality coexist in RML? (extended version)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Runtime verification (RV) consists in dynamically verifying that the event traces generated by single runs of a system under scrutiny (SUS) are compliant with the formal specificat…
Flexible coinductive logic programming
Francesco Dagnino, Davide Ancona, Elena Zucca
Recursive definitions of predicates are usually interpreted either inductively or coinductively. Recently, a more powerful approach has been proposed, called flexible coinduction,…
Engineering Reliable Interactions in the Reality-Artificiality Continuum
Davide Ancona, Chiara Bassano, Manuela Chessa +2
Milgram's reality-virtuality continuum applies to interaction in the physical space dimension, going from real to virtual. However, interaction has a social dimension as well, that…
Sound Regular Corecursion in coFJ
Davide Ancona, Pietro Barbieri, Francesco Dagnino +1
The aim of the paper is to provide solid foundations for a programming paradigm natively supporting the creation and manipulation of cyclic data structures. To this end, we describ…