Zum Inhalt springen

  2. Bogomolov, Sergiy [Verfasser:in] ; ACM Special Interest Group on Embedded Systems

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: ACM Conferences- ACM Digital Library

  3. Bogomolov, Sergiy [Verfasser:in] ; ACM Special Interest Group on Embedded Systems

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: ACM Conferences- ACM Digital Library

  6. Bogomolov, Sergiy [Herausgeber:in]; Parker, David [Herausgeber:in]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture Notes in Computer Science ; 13465

  7. Nikitchenko, Mykola [Herausgeber:in]; Bogomolov, Sergiy [Herausgeber:in] ; ICTERI 16. 2020 Online

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: ICTERI: ICT in Education, Research and Industrial Applications ; 3 - CEUR workshop proceedings ; 2791

  8. Ábrahám, Erika [Herausgeber:in]; Bogomolov, Sergiy [Herausgeber:in] ; 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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Electronic proceedings in theoretical computer science ; 247

  9. Bogomolov, Sergiy [Herausgeber:in]; Tiwari, Ashish [Herausgeber:in] ; 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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Manchester]: EasyChair, December 18, 2015

    Erschienen in: EPiC series in computing ; 37

  10. Bogomolov, Sergiy [Herausgeber:in]; Martel, Matthieu [Herausgeber:in]; Prabhakar, Pavithra [Herausgeber:in]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2017

    Erschienen in: Lecture notes in computer science ; 10152

  11. Bogomolov, Sergiy [Verfasser:in]; Fränzle, Martin [Verfasser:in]; Makino, Kyoko [Verfasser:in]; Ramdani, Nacim [Verfasser:in] ; Sergiy Bogomolov and Martin Fränzle and Kyoko Makino and Nacim Ramdani [Mitwirkende:r]

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

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  12. Bak, Stanley [Verfasser:in]; Beg, Omar Ali [Verfasser:in]; Bogomolov, Sergiy [Verfasser:in]; Johnson, Taylor T. [Verfasser:in]; Nguyen, Luan Viet [Verfasser:in]; Schilling, Christian [Verfasser:in]

    Hybrid automata: from verification to implementation

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    University of Freiburg: FreiDok, 2019

    Erschienen in: International journal on software tools for technology transfer. - 21, 1 (2019) , 87-104, ISSN: 1433-2787

  14. Bogomolov, Sergiy; Martel, Matthieu

    Preface

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Elsevier BV, 2015

    Erschienen in: Electronic Notes in Theoretical Computer Science, 317 (2015), Seite 1-2