Search filters

List of works by Sergiy Bogomolov

A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx

scientific article published in 2012

Abstraction-Based Parameter Synthesis for Multiaffine Systems

scientific article published in 2015

Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks

scientific article published in 2015

Adaptive moment closure for parameter inference of biochemical reaction networks

scientific article published on 23 July 2016

Composing Reachability Analyses of Hybrid Systems for Safety and Stability

scientific article published in 2010

Counterexample-Guided Refinement of Template Polyhedra

scientific article published in 2017

Discrete Abstraction of Multiaffine Systems

scientific article published in 2016

Eliminating spurious transitions in reachability with support functions

scientific article published in 2015

Falsification using Reachability of Surrogate Koopman Models

scientific article published on 02 May 2024

Guided search for hybrid systems based on coarse-grained space abstractions

scientific article published on 7 August 2015

HYST

scientific article published in 2015

HyRG

scientific article published in 2015

Hybrid automata: from verification to implementation

scientific article published on 12 June 2017

Parallel reachability analysis for hybrid systems

scientific article published in November 2016

Parallel reachability analysis of hybrid systems in XSpeed

scientific article published on 19 February 2018

Preface

scientific article published in November 2015

Quasi-dependent variables in hybrid automata

scientific article published in 2014

Runtime Verification for Hybrid Analysis Tools

scientific article published in 2015

Safety Verification for Random Ordinary Differential Equations

scientific article published in 2020

Scalable Static Hybridization Methods for Analysis of Nonlinear Systems

scientific article published in 2016

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP

scientific article published in September 2016

XSpeed: Accelerating Reachability Analysis on Multi-core Processors

scientific article published in 2015