49 citations · 71 across the 14 of their papers we have counts for
25 papers
Formal Verification of Access Control Model for My Health Record System
Victor Rivera
My Health Record system is the Australian Government's digital health record system that holds My Health Record. My Health Record is a secure online health record containing consum…
Code Review in the Classroom
Victor Rivera, Hamna Aslam, Alexandr Naumchev +3
This paper presents a case study to examine the affinity of the code review process among young developers in an academic setting. Code review is indispensable considering the posi…
Size Matters: Microservices Research and Applications
Manuel Mazzara, Antonio Bucchiarone, Nicola Dragoni +1
In this chapter we offer an overview of microservices providing the introductory information that a reader should know before continuing reading this book. We introduce the idea of…
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…