Victor Rivera

51 papers B 4Journal 26Unranked 19
YearRankTypeTitle / Venue / Authors
2023 — conf
Cryptocurrency Payment System Model for B2C E-Commerce Platforms Using Blockchain Technology.
ICECET
Sebastian Luque, Victor Rivera, Nelly Huarcaya
2020 J jnl
AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs.
SN Comput. Sci.
Victor Rivera, Bertrand Meyer
2020 J jnl
Code Review in the Classroom.
CoRR
Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara
2020 B conf
Formal Verification of Access Control Model for My Health Record System.
ICECCS
Victor Rivera
2020 J jnl
Formal Verification of Access Control Model for My Health Record System.
CoRR
Victor Rivera
2020 — book
Microservices, Science and Engineering.
Antonio Bucchiarone, Nicola Dragoni, Schahram Dustdar, Patricia Lago, Manuel Mazzara, Victor Rivera, Andrey Sadovykh
2020 — ch.
Size Matters: Microservices Research and Applications.
Microservices, Science and Engineering
Manuel Mazzara, Antonio Bucchiarone, Nicola Dragoni, Victor Rivera
2019 — conf
An Architecture for Distributed Ledger-Based M2M Auditing for Electric Autonomous Vehicles.
AINA Workshops
Dragos Strugar, Rasheed Hussain, Manuel Mazzara, Victor Rivera, Ilya Afanasyev, Jooyoung Lee
2019 J jnl
Size Matters: Microservices Research and Applications.
CoRR
Manuel Mazzara, Antonio Bucchiarone, Nicola Dragoni, Victor Rivera
2019 — conf
Towards Code Review Guideline in a Classroom.
FISEE
Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara
2019 — conf
Towards Static Verification of Clojure Contract-Based Programs.
TOOLS
Gheorghe Pinzaru, Victor Rivera
2018 J jnl
AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs.
CoRR
Victor Rivera, Bertrand Meyer
2018 J jnl
AutoFrame: Automatic Frame Inference for Object-Oriented Languages.
CoRR
Victor Rivera, Bertrand Meyer
2018 — conf
GA-based Fractal and Neuroevolution Compressions.
IEEE Conf. on Intelligent Systems
Vladislav Tkachuk, Maria Koreneva, Ilya Afanasyev, Victor Rivera, Manuel Mazzara
2018 — conf
Gene Expression for Simulation of Biological Tissue.
AINA Workshops
Sadyk Sayfullin, Fedor Akhmetov, Manuel Mazzara, Ruslan Mustafin, Victor Rivera
2018 — conf
Hikester - The Event Management Application.
AINA Workshops
Rinat Khatipov, Aydar Negimatzhanov, Ilgiz Zamaleev, Anvar Zakirov, Manuel Mazzara, Victor Rivera
2018 J jnl
Hikester - the event management application.
CoRR
Rinat Khatipov, Manuel Mazzara, Aydar Negimatzhanov, Victor Rivera, Anvar Zakirov, Ilgiz Zamaleev
2018 J jnl
M2M Billing for Electric Autonomous Vehicles.
CoRR
Dragos Strugar, Rasheed Hussain, Manuel Mazzara, Victor Rivera
2018 — conf
Mapping Event-B Machines into Eiffel Programming Language.
SEDA
Victor Rivera, Jooyoung Lee, Manuel Mazzara
2018 B conf
Model Checking in Multiplayer Games Development.
AINA
Ruslan Rezin, Ilya Afanasyev, Manuel Mazzara, Victor Rivera
2018 J jnl
On M2M Micropayments : A Case Study of Electric Autonomous Vehicles.
CoRR
Dragos Strugar, Rasheed Hussain, Manuel Mazzara, Victor Rivera, Jooyoung Lee, Ruslan Mustafin
2018 — conf
On M2M Micropayments: A Case Study of Electric Autonomous Vehicles.
iThings/GreenCom/CPSCom/SmartData
Dragos Strugar, Rasheed Hussain, Manuel Mazzara, Victor Rivera, Jooyoung Lee, Ruslan Mustafin
2018 J jnl
Reputation in M2M Economy.
CoRR
Dragos Strugar, Rasheed Hussain, Jooyoung Lee, Manuel Mazzara, Victor Rivera
2018 J jnl
Second-level degree-based entity resolution in online social networks.
Soc. Netw. Anal. Min.
Jooyoung Lee, Rasheed Hussain, Victor Rivera, Davlatbek Isroilov
2018 — conf
Teaching Programming and Design-by-Contract.
ICL (1)
Daniel de Carvalho, Rasheed Hussain, Adil Khan, Mansur Khazeev, JooYong Lee, Sergey Masyagin, Manuel Mazzara, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera
2018 B conf
Towards Dynamic Interaction-Based Reputation Models.
AINA
Almaz Melnikov, Jooyoung Lee, Victor Rivera, Manuel Mazzara, Luca Longo
2018 J jnl
Towards dynamic interaction-based model.
CoRR
Almaz Melnikov, Manuel Mazzara, Victor Rivera, Jooyoung Lee, Luca Longo
2017 J jnl
Code generation for Event-B.
Int. J. Softw. Tools Technol. Transf.
Victor Rivera, Néstor Cataño, Tim Wahls, Camilo Rueda
2017 J jnl
Domain Objects and Microservices for Systems Development: a roadmap.
CoRR
Kizilov Mikhail, Antonio Bucchiarone, Manuel Mazzara, Larisa Safina, Victor Rivera
2017 J jnl
Initial steps towards assessing the usability of a verification tool.
CoRR
Mansur Khazeev, Victor Rivera, Manuel Mazzara
2017 — conf
Introducing ADegree: Anonymisation of Social Networks Through Constraint Programming.
MATES@VLDB
Sergei Solonets, Victor Drobny, Victor Rivera, Jooyoung Lee
2017 — conf
Link Prediction Using Top-k Shortest Distances.
BICOD
Andrei Lebedev, Jooyoung Lee, Victor Rivera, Manuel Mazzara
2017 J jnl
Link Prediction using Top-$k$ Shortest Distances.
CoRR
Andrei Lebedev, Jooyoung Lee, Victor Rivera, Manuel Mazzara
2017 J jnl
Microservices Science and Engineering.
CoRR
Manuel Mazzara, Kevin Khanda, Ruslan Mustafin, Victor Rivera, Larisa Safina, Alberto Sillitti
2017 J jnl
Model Checking in multiplayer games development.
CoRR
Ruslan Rezin, Ilya Afanasyev, Manuel Mazzara, Victor Rivera
2017 J jnl
Self-adaptive node-based PCA encodings.
CoRR
Leonard Johard, Victor Rivera, Manuel Mazzara, Jooyoung Lee
2017 J jnl
Teaching Programming and Design-by-Contract.
CoRR
Daniel de Carvalho, Jooyoung Lee, Adil Khan, Manuel Mazzara, Mansur Khazeev, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera
2017 J jnl
Translating Event-B machines to Eiffel programs.
CoRR
Victor Rivera, Jooyoung Lee, Manuel Mazzara, Leonard Johard
2016 J jnl
Code Generation for Event-B.
CoRR
Victor Rivera
2016 B conf
Data-Driven Workflows for Microservices: Genericity in Jolie.
AINA
Larisa Safina, Manuel Mazzara, Fabrizio Montesi, Victor Rivera
2016 — conf
Domain Objects and Microservices for Systems Development: A Roadmap.
SEDA
Kizilov Mikhail, Antonio Bucchiarone, Manuel Mazzara, Larisa Safina, Victor Rivera
2016 — conf
EventB2Java: A Code Generator for Event-B.
NFM
Néstor Cataño, Victor Rivera
2016 — conf
Initial Steps Towards Assessing the Usability of a Verification Tool.
SEDA
Mansur Khazeev, Victor Rivera, Manuel Mazzara, Leonard Johard
2016 — conf
Jolie Community on the Rise.
SOCA
Alexey Bandura, Nikita Kurilenko, Manuel Mazzara, Victor Rivera, Larisa Safina, Alexander Tchitchigin
2016 J jnl
Jolie Community on the Rise.
CoRR
Alexey Bandura, Nikita Kurilenko, Manuel Mazzara, Victor Rivera, Larisa Safina, Alexander Tchitchigin
2016 — conf
Microservices Science and Engineering.
SEDA
Manuel Mazzara, Kevin Khanda, Ruslan Mustafin, Victor Rivera, Larisa Safina, Alberto Sillitti
2016 J jnl
Refinement types in Jolie.
CoRR
Alexander Tchitchigin, Larisa Safina, Manuel Mazzara, Mohamed Elwakil, Fabrizio Montesi, Victor Rivera
2016 — conf
Self-adaptive Node-Based PCA Encodings.
SEDA
Leonard Johard, Victor Rivera, Manuel Mazzara, Jooyoung Lee
2016 — conf
Undertaking the tokeneer challenge in event-b.
FormaliSE@ICSE
Victor Rivera, Sukriti Bhattacharya, Néstor Cataño
2016 J jnl
Unifying Requirements and Code: an Example.
CoRR
Alexandr Naumchev, Bertrand Meyer, Victor Rivera
2016 J jnl
Usability of AutoProof: a case study of software verification.
CoRR
Mansur Khazeev, Victor Rivera, Manuel Mazzara, Alexander Tchitchigin