Dimitra Giannakopoulou -

Registered user since Wed 5 May 2021

Name:Dimitra Giannakopoulou

Affiliation:NASA Ames Research Center

Personal website: https://ti.arc.nasa.gov/profile/dimitra/

Contributions

2023

Requirements Engineering

Committee Member in Program Committee within the Industrial Innovation Papers-track

2022

FTSCS

Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track

CPP

Author of A Compositional Proof Framework for FRETish Requirements within the CPP 2022-track

2021

ESEC/FSE

ICSE

Committee Member in Program Committee within the Workshops-track

2019

ICSE

Committee Member in Program Board within the Technical Track-track

2018

ICSE