1. ARTINALI: Dynamic invariant detection for cyber-physical system security;Aliabadi,2017
2. Model predictive control for software systems with CobRA;Angelopoulos,2016
3. Selective path profiling;Apiwattanapong,2002
4. Hogna: A platform for self-adaptive applications in cloud environments;Barna,2015
5. Delivering elastic containerized cloud applications to enable devops;Barna,2017