Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Radu Calinescu
Map detail
Radu Calinescu7 visible / 7 total nodes / 6 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRadu CalinescuARadu CalinescuResearcherPRESTO: Predicting System-level Disruptions through Parametric Model CheckingWPRESTO: Predicting Syst...preprint / 2022Fast Parametric Model Checking through Model FragmentationWFast Parametric Model C...preprint / 2021Large-scale Complex IT SystemsWLarge-scale Complex IT ...preprint / 2011Uncertainty in Self-Adaptive Systems: A Research Community PerspectiveWUncertainty in Self-Ada...preprint / 2021DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image ClassifiersWDeepCert: Verification ...preprint / 2021Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS)WGuidance on the Assuran...preprint / 2021
Person6 links

Radu Calinescu

Researcher