pith. sign in

Victor Rivera

Identifiers

No identifiers captured yet.

Papers (21)

  1. Size Matters: Microservices Research and Applications cs.SE · 2019 · author #4
  2. AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs cs.SE · 2018 · author #1
  3. On M2M Micropayments : A Case Study of Electric Autonomous Vehicles cs.CY · 2018 · author #4
  4. Reputation in M2M Economy cs.CY · 2018 · author #5
  5. An architecture for distributed ledger-based M2M auditing for Electric Autonomous Vehicles cs.CY · 2018 · author #4
  6. Hikester - the event management application cs.SI · 2018 · author #4
  7. Towards dynamic interaction-based model cs.SI · 2018 · author #3
  8. Gene expression for simulation of biological tissue q-bio.QM · 2017 · author #5
  9. Model Checking in multiplayer games development cs.SE · 2017 · author #4
  10. Teaching Programming and Design-by-Contract cs.SE · 2017 · author #10
  11. Domain Objects and Microservices for Systems Development: a roadmap cs.SE · 2017 · author #5
  12. Microservices Science and Engineering cs.SE · 2017 · author #4
  13. Self-adaptive node-based PCA encodings cs.NE · 2017 · author #2
  14. Translating Event-B machines to Eiffel programs cs.SE · 2017 · author #1
  15. Initial steps towards assessing the usability of a verification tool cs.SE · 2017 · author #2
  16. Link Prediction using Top-$k$ Shortest Distances cs.SI · 2017 · author #3
  17. Jolie Community on the Rise cs.PL · 2016 · author #4
  18. Usability of AutoProof: a case study of software verification cs.SE · 2016 · author #2
  19. Refinement types in Jolie cs.SE · 2016 · author #6
  20. Unifying Requirements and Code: an Example cs.SE · 2016 · author #3
  21. Code Generation for Event-B cs.SE · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors