conf.researchr.org / 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
2025
International Conference on Software Engineering for Adaptive and Self-Managing Systems
2024
ACSOS
ESEC/FSE
Requirements Engineering
NFM
International Conference on Software Engineering for Adaptive and Self-Managing Systems
- Committee Member in Program Committee within the Research Track-track
- Author of Formal Synthesis of Uncertainty Reduction Controllers within the Research Track-track
- Author of Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems within the Research Track-track
2023
FormaliSE
ASE
International Conference on Software Engineering for Adaptive and Self-Managing Systems
2022
International Conference on Software Engineering for Adaptive and Self-Managing Systems
- Steering Committee Member in Steering Committee within the SEAMS 2022-track
- Ordinary PC member in Doctoral Symposium Committee within the SEAMS 2022-track
- Author of PRESTO: Predicting System-level Disruptions through Parametric Model Checking within the SEAMS 2022-track
- Committee Member in Program Committee within the SEAMS 2022-track
2021
ASE
ECSA
International Conference on Software Engineering for Adaptive and Self-Managing Systems
- 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
2020
ECSA
International Conference on Software Engineering for Adaptive and Self-Managing Systems
- 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)
2019
International Conference on Software Engineering for Adaptive and Self-Managing Systems
- 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