Radu Calinescu

Registered user since Thu 25 Jan 2018

Name:Radu Calinescu
Country:United Kingdom
Affiliation:University of York, UK
Research interests:software engineering, formal methods, self-adaptive systems

Contributions

SEAMS 2022 Steering Committee Member in Steering Committee within the -track
Committee Member in Program Committee within the -track
ASE 2021 Committee Member in Program Committee within the Student Research Competition-track
ECSA 2021 Doctoral Symposium Co-Chair in Organizing Committee
Co-chair in Program Committee within the Doctoral Symposium-track
SEAMS 2021 Session Chair of Session 3: Decentralisation and Distribution (part of SEAMS 2021)
Author of Maintaining driver attentiveness in shared-control autonomous driving within the SEAMS 2021-track
Committee Member in Steering Committee within the SEAMS 2021-track
Author of RoboMAX: Robotic Mission Adaptation eXemplars within the SEAMS 2021-track
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)
ICSE 2021 Author of Fast Parametric Model Checking through Model Fragmentation within the Technical Track-track
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