Author:Sergiy Bogomolov

Publications
Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015 Sergiy Bogomolov and Ashish Tiwari (editors) EPiC Series in Computing, volume 37
Verification of Fault-Tolerant Clock Synchronization Algorithms Sergiy Bogomolov, Christian Herrera and Wilfried Steiner In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
High-level Hybrid Systems Analysis with Hypy Stanley Bak, Sergiy Bogomolov and Christian Schilling In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Benchmark Generator for Stratified Controllers of Tank Networks Stanley Bak, Sergiy Bogomolov, Marius Greitschus and Taylor T Johnson In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems