research
∙
07/20/2022
RV4JaCa – Runtime Verification for Multi-Agent Systems
This paper presents a Runtime Verification (RV) approach for Multi-Agent...
share
research
∙
02/14/2022
Enhancing expressivity of checked corecursive streams (extended version)
We propose a novel approach to stream definition and manipulation. Our s...
research
∙
07/31/2021
Enhanced Regular Corecursion for Data Streams
We propose a simple calculus for processing data streams (infinite flows...
research
∙
08/31/2020
Can determinism and compositionality coexist in RML?
Runtime verification (RV) consists in dynamically verifying that the eve...
research
∙
08/14/2020
Can determinism and compositionality coexist in RML? (extended version)
Runtime verification (RV) consists in dynamically verifying that the eve...
research
∙
08/05/2020
Flexible coinductive logic programming
Recursive definitions of predicates are usually interpreted either induc...
research
∙
07/23/2020
Engineering Reliable Interactions in the Reality-Artificiality Continuum
Milgram's reality-virtuality continuum applies to interaction in the phy...
research
∙
05/28/2020
Sound Regular Corecursion in coFJ
The aim of the paper is to provide solid foundations for a programming p...
research
∙
08/25/2019
Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution
This volume contains the post-proceedings of the second Workshop on Veri...
research
∙
10/12/2018
Semantic subtyping for non-strict languages
Semantic subtyping is an approach to define subtyping relations for type...
research
∙
02/06/2018
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things
In the last years Node.js has emerged as a framework particularly suitab...
research
∙
09/14/2017
Structural Resolution for Abstract Compilation of Object-Oriented Languages
We propose abstract compilation for precise static type analysis of obje...
research
∙
09/14/2017