200 citations · 318 across the 12 of their papers we have counts for
3 papers · 1 filter
A Reference Architecture for Smart and Software-defined Buildings
Manuel Mazzara, Ilya Afanasyev, Smruti R. Sarangi +2
The vision encompassing Smart and Software-defined Buildings (SSDB) is becoming more and more popular and its implementation is now more accessible due to the widespread adoption o…
Towards blockchain-based robonomics: autonomous agents behavior validation
Konstantin Danilov, Ruslan Rezin, Alexander Kolotov +1
The decentralized trading market approach, where both autonomous agents and people can consume and produce services expanding own opportunities to reach goals, looks very promising…
Model Checking in multiplayer games development
Ruslan Rezin, Ilya Afanasyev, Manuel Mazzara +1
Multiplayer computer games play a big role in the ever-growing entertainment industry. Being competitive in this industry means releasing the best possible software, and reliabilit…