HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Sergiy Bogomolov

Publications
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
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
Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015
Sergiy Bogomolov and Ashish Tiwari (editors)
EPiC Series in Computing, volume 37
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

Keyphrases

Academic, benchmark2, Clock Synchronization Algorithm, Flow*, generator, hybrid automata, hybrid systems2, Hypy, Hyst2, model checking, parameter identification, pseudo-invariant, quasi-dependent variables, reachability, SpaceEx, tank, tool, TTEthernet, verification2.

Copyright © 2012-2023 easychair.org. All rights reserved.