Search filters

List of works by Radu Calinescu

Analyzing and Debugging Normative Requirements via Satisfiability Checking

scientific article published on 12 April 2024

CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems

scientific article published in 2009

Comparison of automated crystallographic model-building pipelines

scientific article published on 22 November 2019

Efficient synthesis of robust models for stochastic systems

scientific article published in September 2018

Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems

scientific article published in 2016

High-availability clusters: A taxonomy, survey, and future directions

scientific article published in 2022

Pairwise running of automated crystallographic model-building pipelines

scientific article published on 19 August 2020

Resilient strategies for socially compliant autonomous assistive dressing robots

scientific article published on 05 July 2023

Synthesis and Verification of Self-aware Computing Systems

scientific article published in 2017

Towards Autonomic Cloud Services Engineering via Intention Workflow Model

scientific article published in 2013

Paulina is supported by:

About Paulina

Help