Radu Calinescu -

Registered user since Thu 25 Jan 2018

Name: Radu Calinescu

Country: United Kingdom

Affiliation: University of York, UK

Personal website: https://www-users.cs.york.ac.uk/raduc/

Research interests: software engineering, formal methods, self-adaptive systems

Contributions

ECSA 2021	Doctoral Symposium Co-Chair in Organizing Committee
SEAMS 2021	Committee Member in Program Committee within the SEAMS 2021-track
ASE 2020	Author of Interval Change-Point Detection for Runtime Probabilistic Model Checking within the Research Papers-track
ACSOS 2020	Author of Understanding Uncertainty in Self-adaptive Systems within the Research Papers-track
ECSA 2020	Author of Going the extra mile to publish your research in a top venue within the Keynotes-track
SEAMS 2020	Program Co-Chair in Program Committee within the SEAMS 2020-track Session Chair of Opening & Keynote 1 (part of SEAMS 2020) Presenter of SEAMS 2020 Best Paper Awards, SEAMS 2021 Presentation, Closing Remarks within the SEAMS 2020-track Session Chair of Closing (part of SEAMS 2020) Program Co-Chair in Organizing Committee within the SEAMS 2020-track Co-chair of SEAMS Opening within the SEAMS 2020-track Session Chair of Keynote 1 (part of SEAMS 2020)
SEAMS 2019	Author of Modelling and Analysing ResilientCyber-Physical Systems within the SEAMS 2019-track Author of Using Unstructured Data to Improve the Continuous Planning of Critical Processes Involving Humans within the SEAMS 2019-track Session Chair of Assurance (part of SEAMS 2019) Program Committee in Program Committee within the SEAMS 2019-track
SEAMS 2018	Committee Member in Doctoral Projects Program Committee within the SEAMS 2018-track Committee Member in Program Committee within the SEAMS 2018-track Session Chair of Qualities & Verification (part of SEAMS 2018)
* ICSE 2018 *	Author of Efficient Parametric Model Checking Using Domain-Specific Modelling Patterns within the NIER - New Ideas and Emerging Results -track Author of ENTRUST: Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases within the Journal first papers-track