Radu Călinescu
Land Sea Air Autonomy (United States)(US)University of York(GB)
Publications by Year
Research Areas
Advanced Software Engineering Methodologies, Software Reliability and Analysis Research, Software System Performance and Reliability, Formal Methods in Verification, Service-Oriented Architecture and Web Services
Most-Cited Works
- → Dynamic QoS Management and Optimization in Service-Based Systems(2010)370 cited
- → Self-adaptive software needs quantitative verification at runtime(2012)252 cited
- → Large-scale complex IT systems(2012)213 cited
- → Assuring the Machine Learning Lifecycle(2021)197 cited
- → Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases(2017)177 cited
- → A deep learning-enhanced Digital Twin framework for improving safety and reliability in human–robot collaborative manufacturing(2023)136 cited
- → Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances