• Sign in
  • Sign up
conf.researchr.org / Rong Gu
  • ECBS 2023 profile
  • ECBS 2024 profile
  • ECBS 2025 profile
  • FSEN 2025 profile
  • ICST 2023 profile
  • ICST 2024 profile
Rong Gu

Registered user since Mon 20 Mar 2023

Name:Rong Gu
Affiliation:Mälardalen University
Personal website: https://sites.google.com/view/ronggu
Research interests:Formal Methods, Testing, Machine Learning, Software Engineering

Contributions

2025

ECBS

  • Committee Member in Programm Committee

FSEN

  • Author of Modelling Cyber-Physical Systems for Verification and Synthesis within the Marjan Festschrift-track

2024

ECBS

  • Committee Member in Programm Committee within the Papers-track

TestADS

  • Committee Member in Program Committee within the TestADS 2024-track

2023

ECBS

  • Author of Learning in UPPAAL for Test Case Generation for Cyber-Physical Systems within the ECBS 2023-track
  • Tool Demo Chair in Organizing Committee
  • Session Chair of Formal Methods (part of ECBS 2023)
  • Committee Member in Program Committee

A-MOST

  • Author of Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems within the A-MOST 2023-track
Share
xThu 15 May 10:47
using conf.researchr.org (v1.69.0)
Support page
Sign Up