• Sign in
  • Sign up
conf.researchr.org / Pablo Castro
  • * ICSE 2018 * profile
  • ETAPS 2019 profile
  • ICSE 2024 profile
  • ICSE 2025 profile
  • ICSE 2026 profile
Pablo Castro

Registered user since Mon 11 Feb 2019

Name:Pablo Castro
Country:Argentina
Affiliation:Dept. of Computer Science FCEFQyN, University of Rio Cuarto
Personal website: https://pablofcastro.github.io/
Research interests:Formal Methods

Contributions

2026

FormaliSE

  • Author of Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications within the Research Track-track

2025

FormaliSE

  • Committee Member in Program Committee within the Research Track-track

2024

FormaliSE

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

2019

TACAS

  • Author of Measuring Masking Fault-Tolerance within the TACAS 2019-track

2018

ICSE

  • Author of Goal-Conflict Likelihood Assessment based on Model Counting within the Technical Papers -track
Share
xMon 13 Apr 22:12
using conf.researchr.org (v1.73.2)
Support page
Sign Up