• Sign in
  • Sign up
conf.researchr.org / Hugo A. López
  • ICSE 2020 profile
  • PLDI 2024 profile
  • POPL 2019 profile
  • Requirements Engineering 2023 profile
  • Requirements Engineering 2024 profile
  • Requirements Engineering 2025 profile
  • SPLASH 2015 profile
Hugo A. López

Registered user since Thu 27 Aug 2015

Name:Hugo A. López
Country:Denmark
Affiliation:Technical University of Denmark
Personal website: http://hugo.lopezacosta.net
Research interests:Business Process Management, Distributed Systems, Modelling and Verification,

Contributions

2025

Requirements Engineering

  • PC Member in Workshop Committee within the Workshops-track

2024

Requirements Engineering

  • PC Member in Workshop Committee within the Workshops-track

Choreographic Programming

  • Committee Member in Program Committee within the Choreographic Programming 2024-track

2023

Requirements Engineering

  • Committee Member in Workshop Committee within the Workshops-track

2020

ICSSP

  • Author of EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers within the ICSSP 2020-track

2019

BEAT

  • Author of Towards Legally Compliant Governmental Case Work with Dynamic Condition Response Graphs within the BEAT 2019-track

2015

SPLASH

  • Author of Protocol-Based Verification of Message-Passing Parallel Programs within the OOPSLA-track
  • Author of Protocol-Based Verification of Message-Passing Parallel Programs within the OOPSLA Artifacts-track
Share
xFri 16 May 22:06
using conf.researchr.org (v1.69.0)
Support page
Sign Up