3 citations · 3 across the 1 of their papers we have counts for
5 papers
Verified type checker for Jolie programming language
Evgenii Akentev, Alexander Tchitchigin, Larisa Safina +1
Jolie is a service-oriented programming language which comes with the formal specification of its type system. However, there is no tool to ensure that programs in Jolie are well-t…
A Cognitive Architecture for the Implementation of Emotions in Computing Systems
Jordi Vallverdú, Max Talanov, Salvatore Distefano +3
In this paper we present a new neurobiologically-inspired affective cognitive architecture: NEUCOGAR (NEUromodulating COGnitive ARchitecture). The objective of NEUCOGAR is the iden…
Usability of AutoProof: a case study of software verification
Mansur Khazeev, Victor Rivera, Manuel Mazzara +1
Many verification tools come out of academic projects, whose natural constraints do not typically lead to a strong focus on usability. For widespread use, however, usability is ess…
Robot Dream
Alexander Tchitchigin, Max Talanov, Larisa Safina +1
In this position paper we present a novel approach to neurobiologically plausible implementation of emotional reactions and behaviors for real-time autonomous robotic systems. The…
Refinement types in Jolie
Alexander Tchitchigin, Larisa Safina, Manuel Mazzara +3
Jolie is the first language for microservices and it is currently dynamically type checked. This paper considers the opportunity to integrate dynamic and static type checking with…