
Registered user since Thu 25 Jan 2018
Name: Radu Calinescu
Country: United Kingdom
Affiliation: University of York, UK
Personal website: https://www-users.cs.york.ac.uk/raduc/
Research interests: software engineering, formal methods, self-adaptive systems
Contributions
ASE 2020 | Author of Interval Change-Point Detection for Runtime Probabilistic Model Checking within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ASE 2020-profile
View general profile
View general profile