13 citations · 16 across the 5 of their papers we have counts for
5 papers
Formal Synthesis of Uncertainty Reduction Controllers
Marc Carwehl, Calum Imrie, Thomas Vogel +3
In its quest for approaches to taming uncertainty in self-adaptive systems (SAS), the research community has largely focused on solutions that adapt the SAS architecture or behavio…
Analyzing and Debugging Normative Requirements via Satisfiability Checking
Nick Feng, Lina Marsso, Sinem Getir Yaman +11
As software systems increasingly interact with humans in application domains such as transportation and healthcare, they raise concerns related to the social, legal, ethical, empat…
Out-of-distribution Object Detection through Bayesian Uncertainty Estimation
Tianhao Zhang, Shenglin Wang, Nidhal Bouaynaya +2
The superior performance of object detectors is often established under the condition that the test samples are in the same distribution as the training data. However, in many prac…
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath +4
Deep neural networks (DNNs) are increasingly used in safety-critical autonomous systems as perception components processing high-dimensional image data. Formal analysis of these sy…
Software Performability Analysis Using Fast Parametric Model Checking
Xinwei Fang, Radu Calinescu, Simos Gerasimou +1
We present an efficient parametric model checking (PMC) technique for the analysis of software performability, i.e., of the performance and dependability properties of software sys…