Radu Călinescu
- Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS)
2021/02/02 by Richard Hawkins, Colin Paterson, Hawkins, Richard +9 · 10 citations
Computer Science · Engineering · Decision Sciences · #Adversarial Robustness in Machine Learning #Safety Systems Engineering in Autonomy #Risk and Safety Analysis
- Uncertainty in Self-Adaptive Systems: A Research Community Perspective
2021/03/03 by Sara M. Hezavehi, Danny Weyns, Hezavehi, Sara M. +9 · 6 citations
Business, Management and Accounting · Computer Science · Engineering · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Product Development and Customization #Software Engineering (cs.SE) #Systems Engineering Methodologies and Applications
- Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study
2023/02/06 by Corina S. Păsăreanu, Ravi Mangal, Pasareanu, Corina S. +11 · 6 citations
Computer Science · #Adversarial Robustness in Machine Learning #Bayesian Modeling and Causal Inference #Explainable Artificial Intelligence (XAI)
- Large-scale Complex IT Systems
2011/09/15 by Ian Sommerville, Sommerville, Ian, Dave Cliff +15 · 2 citations
Computer Science · Decision Sciences · #Advanced Software Engineering Methodologies #Computers and Society (cs.CY) #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Scientific Computing and Data Management #Software Engineering (cs.SE) #cs.CY #cs.SE
- Normative Requirements Operationalization with Large Language Models
2024/04/18 by Nick Feng, Lina Marsso, Feng, Nick +21 · 6 citations
Business, Management and Accounting · #Business Process Modeling and Analysis #FOS: Computer and information sciences #Software Engineering (cs.SE)
- Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance\n Cases
2017/03/18 by Radu Călinescu, Calinescu, Radu, Danny Weyns +9 · 2 citations
Computer Science · Engineering · #Advanced Software Engineering Methodologies #D.2 #D.2.11 #D.2.18 #D.2.4.e #FOS: Computer and information sciences #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Reliability and Analysis Research
- Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents
2023/07/07 by Sinem Getir Yaman, Ana Cavalcanti, Yaman, Sinem Getir +9 · 4 citations
Computer Science · #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies #Software Engineering (cs.SE)
- Quantitative Verification with Adaptive Uncertainty Reduction
2021/09/07 by Naif Alasmari, Alasmari, Naif, Radu Călinescu +5 · 2 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Reliability and Analysis Research
- Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges
2019/05/10 by Rob Ashmore, Radu Călinescu, Ashmore, Rob +3 · 2 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Reliability and Analysis Research