1 citations · 3 across the 4 of their papers we have counts for
9 papers · 1 filter
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…
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…
Microservices Science and Engineering
Manuel Mazzara, Kevin Khanda, Ruslan Mustafin +3
In this paper we offer an overview on the topic of Microservices Science and Engineering (MSE) and we provide a collection of bibliographic references and links relevant to underst…
Translating Event-B machines to Eiffel programs
Victor Rivera, JooYoung Lee, Manuel Mazzara +1
Formal modelling languages play a key role in the development of software since they enable users to prove correctness of system properties. However, there is still not a clear und…