Cristina Seceleanu -

Registered user since Tue 17 Dec 2019

Name:Cristina Seceleanu

Country:Sweden

Affiliation:Mälardalen University

Personal website:http://www.es.mdh.se/staff/173-Cristina_Seceleanu

Contributions

A-MOST 2022	Co-chair in Organizing Committee within the A-MOST 2022-track
A-MOST 2021	Committee Member in Program Committee within the A-MOST 2021-track
RE2021	Author of Security Requirements as Code: Example from VeriDevOps Project within the Workshops-track
ITEQS 2020	PC Chair in Program Committee within the ITEQS 2020-track
MODELS 2020	Author of Specification and Automated Verification of Atomic Concurrent Real-Time Transactions within the Technical Track-track
AST 2020	Program Committee in Program Committee within the AST 2020-track
SPIN 2019	Author of Statistical Model Checking of Complex Robotic Systems within the 26th International SPIN Symposium on Model Checking of Software-track
ICSE 2019	Committee Member in Program Committee within the Software Engineering Education and Training -track
* ICSE 2018 *	Committee Member in SEET Program committee within the SEET - Software Engineering Education and Training -track Committee Member in Posters Program Committee within the Posters -track