• Sign in
  • Sign up
conf.researchr.org / Paul Harvey
  • ECOOP and ISSTA 2021 profile
  • FM 2026 profile
  • ICSE 2019 profile
  • ICSE 2022 profile
Paul Harvey

Registered user since Mon 5 Jun 2017

Name:Paul Harvey
Country:Japan
Affiliation:Rakuten Mobile Innovation Studio
Personal website: http://www.paul-harvey.org
Research interests:Runtime Systems, Programming Languages, Self-Adaptation, HPC, Autonomous Networking

Contributions

2026

FM

  • Author of Formal Modelling and Analysis of the ORAN O2 Interface in Alloy: Implications for NTN Deployment within the ABZ-track

2021

ECOOP

  • Author of Multiparty Session Types for Safe Runtime Adaptation in an Actor Language within the ECOOP Artifacts-track
  • Author of Multiparty Session Types for Safe Runtime Adaptation in an Actor Language within the ECOOP Technical Papers-track
Share
xTue 18 Aug 10:55
using conf.researchr.org (v1.76.0)
Support page
Sign Up