• Sign in
  • Sign up
conf.researchr.org / Cristina Seceleanu
  • * ICSE 2018 * profile
  • ICSE 2019 profile
  • ICSE 2020 profile
  • ICST 2020 profile
  • ICST 2021 profile
  • ISSTA 2019 profile
  • MODELS 2020 profile
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

Share
xMon 25 Jan 17:23
using conf.researchr.org (v1.40.2)
Support page
Sign Up