Skip to contents

Bogomolov, Sergiy [Author] ; ACM Special Interest Group on Embedded Systems

Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems

View online
Schließen

Access

... to E-book via ACM Digital Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York,NY,United States: Association for Computing Machinery, 2021

Published in: ACM Conferences- ACM Digital Library
Bogomolov, Sergiy [Author] ; ACM Special Interest Group on Embedded Systems

Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control

View online
Schließen

Access

... to E-book via ACM Digital Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York,NY,United States: Association for Computing Machinery, 2021

Published in: ACM Conferences- ACM Digital Library
Bogomolov, Sergiy [Author]

Abstraction-based analysis of hybrid automata

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2015
Bogomolov, Sergiy [Author]

Abstraction-based analysis of hybrid automata ; Abstraktions-basierte Analyse von Hybrid-Automaten

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

University of Freiburg: FreiDok, 2015
Bogomolov, Sergiy [Editor]; Parker, David [Editor]

Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings - [1st ed. 2022.]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

Published in: Lecture Notes in Computer Science ; 13465
Nikitchenko, Mykola [Editor]; Bogomolov, Sergiy [Editor] ; ICTERI 16. 2020 Online

PhD Symposium : at the 16th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI 2020) : proceedings

View online
Schließen

Access

... to E-book via Resolving system (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Aachen, Germany]: [RWTH Aachen], 2020-12-28

Published in: ICTERI: ICT in Education, Research and Industrial Applications ; 3 - CEUR workshop proceedings ; 2791
Ábrahám, Erika [Editor]; Bogomolov, Sergiy [Editor] ; International Workshop on Symbolic and Numerical Methods for Reachability Analysis 3. 2017 Uppsala, Open Publishing Association

Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis : Uppsala, Sweden, 22nd April 2017

View online
Schließen

Access

... to E-book via DOI (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Waterloo, NSW]: [Open Publishing Association], 8th April 2017

Published in: Electronic proceedings in theoretical computer science ; 247
Bogomolov, Sergiy [Editor]; Tiwari, Ashish [Editor] ; International Workshop on Symbolic and Numerical Methods for Reachability Analysis 1. 2015 San Francisco, Calif

Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015

View online
Schließen

Access

... to E-book (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Manchester]: EasyChair, December 18, 2015

Published in: EPiC series in computing ; 37
Bogomolov, Sergiy [Editor]; Martel, Matthieu [Editor]; Prabhakar, Pavithra [Editor]

Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer, 2017

Published in: Lecture notes in computer science ; 10152
Bogomolov, Sergiy [Author]; Fränzle, Martin [Author]; Makino, Kyoko [Author]; Ramdani, Nacim [Author] ; Sergiy Bogomolov and Martin Fränzle and Kyoko Makino and Nacim Ramdani [Contributor]

Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Bak, Stanley [Author]; Beg, Omar Ali [Author]; Bogomolov, Sergiy [Author]; Johnson, Taylor T. [Author]; Nguyen, Luan Viet [Author]; Schilling, Christian [Author]

Hybrid automata: from verification to implementation

View online
Schließen

Links

... to article

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

University of Freiburg: FreiDok, 2019

Published in: International journal on software tools for technology transfer. - 21, 1 (2019) , 87-104, ISSN: 1433-2787
Bogomolov, Sergiy [Author] ; Podelski, Andreas [Degree supervisor]

Abstraction-based analysis of hybrid automata = Abstraktions-basierte Analyse von Hybrid-Automaten

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Freiburg: Universität, 2015
Almeida, Miguel [Contributor]; Soviev, Mikhail [Contributor]; San-Miguel, Jesus [Contributor]; Durrant, Tracy [Contributor]; Oom, Duarte [Contributor]; Branco, Alfredo [Contributor]; Ferrari, Davide [Contributor]; Boca, Roberto [Contributor]; Maianti, Pieralberto [Contributor]; De Rigo, Daniele [Contributor]; Suarez-Moreno, Maria [Contributor]; Roglia, Elena [Contributor]; Scionti, Nicola [Contributor]; Broglia, Marco [Contributor]; Alves, Daniela [Contributor]; Matos, Catarina [Contributor]; Ribeiro, Luis Mario [Contributor]; Viegas, Domingos X. [Contributor]; Ribeiro, Carlos [Contributor]; Rodrigues, Tiago [Contributor]; Chuvieco, Emilio [Contributor]; Oliva, Patricia [Contributor]; Garcia, Mariano [Contributor]; Velea, Ramona [Contributor]; [...] ; European Commission Joint Research Centre

Report on the large wildfires of 2022 in Europe

View online
Schließen

Access

... to E-book via DOI (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Luxembourg: Publications Office, 2024
Ábrahám, Erika; Bogomolov, Sergiy

Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis : Preface : Preface

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Open Publishing Association, 2017

Published in: Electronic Proceedings in Theoretical Computer Science, 247 (2017)
Bogomolov, Sergiy; Martel, Matthieu

Preface

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2015

Published in: Electronic Notes in Theoretical Computer Science, 317 (2015), Seite 1-2
Bogomolov, Sergiy; Forets, Marcelo; Potomkin, Kostiantyn

Lecture Notes in Computer Science: Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2020

Published in: Lecture Notes in Computer Science (2020), Seite 52-66
Li, Dongxu; Bak, Stanley; Bogomolov, Sergiy

Lecture Notes in Computer Science: Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2020

Published in: Lecture Notes in Computer Science (2020), Seite 265-282
Feketa, Petro; Bogomolov, Sergiy; Meurer, Thomas

Safety Verification for Impulsive Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2020

Published in: IFAC-PapersOnLine, 53 (2020) 2, Seite 1949-1954
Bak, Stanley; Bogomolov, Sergiy; Althoff, Matthias

Lecture Notes in Computer Science: Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2017

Published in: Lecture Notes in Computer Science (2017), Seite 133-150
Bogomolov, Sergiy; Mitrohin, Corina; Podelski, Andreas

Automated Technology for Verification and Analysis: Composing Reachability Analyses of Hybrid Systems for Safety and Stability

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2010

Published in: Automated Technology for Verification and Analysis (2010), Seite 67-81

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication