45 citations · 48 across the 4 of their papers we have counts for
8 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…
Jolie Static Type Checker: a prototype
Daniel de Carvalho, Manuel Mazzara, Bogdan Mingela +3
Static verification of a program source code correctness is an important element of software reliability. Formal verification of software programs involves proving that a program s…
Jolie Community on the Rise
Alexey Bandura, Nikita Kurilenko, Manuel Mazzara +3
Jolie is a programming language that follows the microservices paradigm. As an open source project, it has built a community of developers worldwide - both in the industry as well…
Neuromorphic Robot Dream
Alexander Tchitchigin, Max Talanov, Larisa Safina +1
In this paper we present the next step in our approach to neurobiologically plausible implementation of emotional reactions and behaviors for real-time autonomous robotic systems.…
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…