Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes
them be identified with the whole AI by many non-computer-scientists and non-technical …

In the frame of Digital Forensic (DF) and Digital Investigations (DI), the “Evidence Analysis”
phase has the aim to provide objective data, and to perform suitable elaboration of these …

We seek for a small set of primitives that might serve as a basis for formalising and
programming service oriented applications over global computers. As an outcome of this …

Runtime verification (RV) is an approach to verification consisting in dynamically checking
that the event traces generated by single runs of a system under scrutiny (SUS) are …

Multiagent social commitments provide a principled basis for agent interactions, and serve
as a natural tool to resolve design ambiguities. Indeed, they have been the subject of …

This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS)
using the JaCaMo framework. Our objective is to bring a layer of security to the MAS. This is …

Constant growth in crime rates instigates computational resources for examination at a
robust rate. Whatever data being examined with the help of forensic tools needs to be stored …

Global session types are behavioral types designed for specifying in a compact way
multiparty interactions between distributed components, and verifying their correctness. We …

This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS)
using the JaCaMo framework. Our objective is to bring a layer of security to the MAS. This …

When applying formal verification to a system that interacts with the real world we must use a
model of the environment. This model represents an abstraction of the actual environment …