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 2021	Committee Member in Program Committee within the A-MOST 2021-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