• Sign in
  • Sign up
conf.researchr.org / Carlos Olarte
  • FLOPS 2024 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
Carlos Olarte

Registered user since Sun 3 Jul 2022

Name:Carlos Olarte
Country:France
Affiliation:CNRS; LIPN; Université Sorbonne Paris Nord
Personal website: https://sites.google.com/site/carlosolarte/
Research interests:Formal methods, logic

Contributions

2024

FLOPS

  • Committee Member in Programme Committee within the FLOPS 2024-track

2023

FTSCS

  • Committee Member in Program Committee within the FTSCS 2023-track

2022

FTSCS

  • Author of Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata within the Formal Techniques for Safety-Critical Systems-track
  • Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track
Share
xSun 25 May 07:40
using conf.researchr.org (v1.69.0)
Support page
Sign Up