2 citations · 2 across the 2 of their papers we have counts for
5 papers
DApp for Rating
Andreea Buterchi, Andrei Arusoaie
Lots of existing web applications include a component for rating internet resources (e.g., social media platforms include mechanisms for rating videos or posts). Based on the obtai…
Certifying Findel Derivatives for Blockchain
Andrei Arusoaie
Derivatives are a special type of financial contracts used to hedge risks or to speculate on the market fluctuations. In order to avoid ambiguities and misinterpretations, several…
A Formal Semantics of Findel in Coq (Short Paper)
Andrei Arusoaie
We present the first formal semantics of Findel - a DSL for specifying financial derivatives. The semantics is encoded in Coq, and we use it to prove properties of several Findel c…
Using SMT Solvers to Validate Models for AI Problems
Andrei Arusoaie, Ionut Pistol
Artificial Intelligence problems, ranging form planning/scheduling up to game control, include an essential crucial step: describing a model which accurately defines the problem's…
Unification in Matching Logic - Extended Version
Andrei Arusoaie, Dorel Lucanu
Matching Logic is a framework for specifying programming language semantics and reasoning about programs. Its formulas are called patterns and are built with variables, symbols, co…