49 citations · 71 across the 14 of their papers we have counts for
7 papers · 1 filter
AutoFrame: Automatic Frame Inference for Object-Oriented Languages
Victor Rivera, Bertrand Meyer
Automatic program verification has made tremendous strides, but is not yet for the masses. How do we make it less painful? This article addresses one of the obstacles: the need to…
AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs
Victor Rivera, Bertrand Meyer
The aliasing question (can two reference expressions point, during an execution, to the same object?) is both one of the most critical in practice, for applications ranging from co…
Reputation in M2M Economy
Dragos Strugar, Rasheed Hussain, JooYoung Lee +2
Triggered by modern technologies, our possibilities may now expand beyond the unthinkable. Cars externally may look similar to decades ago, but a dramatic revolution happened insid…
On M2M Micropayments : A Case Study of Electric Autonomous Vehicles
Dragos Strugar, Rasheed Hussain, Manuel Mazzara +3
The proliferation of electric vehicles has spurred the research interest in technologies associated with it, for instance, batteries, and charging mechanisms. Moreover, the recent…
An architecture for distributed ledger-based M2M auditing for Electric Autonomous Vehicles
Dragos Strugar, Rasheed Hussain, Manuel Mazzara +3
Electric Autonomous Vehicles (EAVs) promise to be an effective way to solve transportation issues such as accidents, emissions and congestion, and aim at establishing the foundatio…
Hikester - the event management application
Rinat Khatipov, Manuel Mazzara, Aydar Negimatzhanov +3
Today social networks and services are one of the most important part of our everyday life. Most of the daily activities, such as communicating with friends, reading news or dating…
Towards dynamic interaction-based model
Almaz Melnikov, Manuel Mazzara, Victor Rivera +2
In this paper, we investigate how dynamic properties of reputation can influence the quality of users ranking. Reputation systems should be based on rules that can guarantee a high…