Person:
Schilling, Christian

Profile Picture
Email Address
ORCID
Birth Date
Research Projects
Organizational Units
Job Title
Last Name
Schilling
First Name
Christian
Name

Filters

2013 - 2019242020 - 20237
247
Reset filters

Settings

Search Results

Now showing 1 - 10 of 31
  • Thumbnail Image
    Publication
    Contribution to a conference collection
    symQV : Automated Symbolic Verification of Quantum Programs
    (2023) Bauer-Marquart, Fabian; Leue, Stefan; Schilling, Christian
    Published in: Formal Methods : 25th International Symposium, FM 2023, Proceedings / Chechik, Marsha; Katoen, Joost-Pieter; Leucker, Martin (ed.). - Cham : Springer, 2023. - (Lecture Notes in Computer Science ; 14000). - pp. 181-198. - ISBN 978-3-031-27480-0
    Bauer-Marquart_2-43spemd6cbbe5.pdf
    (266.15 KB)
  • Thumbnail Image
    Publication
    Contribution to a conference collection
    SpecRepair : Counter-Example Guided Safety Repair of Deep Neural Networks
    (2022) Bauer-Marquart, Fabian; Boetius, David; Leue, Stefan; Schilling, Christian
    Published in: Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022 : Proceedings / Legunsen, Owolabi; Rosu, Grigore (ed.). - Cham : Springer, 2022. - (Lecture Notes in Computer Science ; 13255). - pp. 79-96. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-031-15076-0
    Bauer-Marquart_2-19tqdmlko0rgt3.PDF
    (441.19 KB)
  • No Thumbnail Available
    Publication
    Contribution to a conference collection
    Into the Unknown : Active Monitoring of Neural Networks
    (2021) Lukina, Anna; Schilling, Christian; Henzinger, Thomas A.
    Published in: Runtime Verification : 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, proceedings / Feng, Lu; Fisman, Dana (ed.). - Cham : Springer, 2021. - (Lecture Notes in Computer Science ; 12974). - pp. 42-61. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-030-88493-2
  • No Thumbnail Available
    Publication
    Journal article
    Reachability Analysis of Linear Hybrid Systems via Block Decomposition
    (2020) Bogomolov, Sergiy; Forets, Marcelo; Frehse, Goran; Potomkin, Kostiantyn; Schilling, Christian
    Published in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ; 39 (2020), 11. - pp. 4018-4029. - IEEE. - ISSN 0278-0070. - eISSN 1937-4151
  • No Thumbnail Available
    Publication
    Contribution to a conference collection
    ARCH-COMP20 Category Report : Continuous and Hybrid Systems with Linear Continuous Dynamics
    (2020) Althoff, Matthias; Bak, Stanley; Bao, Zongnan; Forets, Marcelo; Frehse, Goran; Freire, Daniel; Kochdumper, Niklas; Li, Yangge; Mitra, Sayan; Schilling, Christian et al.
    Published in: ARCH20 : 7th International Workshop on Applied Verification of Continuous and Hybrid Systems / Frehse, Goran; Althoff, Matthias (ed.). - Manchester : easychair, 2020. - (EPiC Series in Computing ; 74). - pp. 16-18. - ISSN 2398-7340
  • Thumbnail Image
    Publication
    Contribution to a conference collection
    Outside the Box : Abstraction-Based Monitoring of Neural Networks
    (2020) Henzinger, Thomas A.; Lukina, Anna; Schilling, Christian
    Published in: ECAI 2020 : 24th European Conference on Artificial Intelligence / De Giacomo, Giuseppe; Catala, Alejandro; Dilkina, Bistra et al. (ed.). - Amsterdam : IOS Press, 2020. - (Frontiers in Artificial Intelligence and Applications ; 325). - pp. 2433-2440. - ISSN 0922-6389. - eISSN 1879-8314. - ISBN 978-1-64368-100-9
    Henzinger_2-1gbobv4s6kgjt1.pdf
    (1.56 MB)
  • No Thumbnail Available
    Publication
    Contribution to a conference collection
    ARCH-COMP20 Category Report : Continuous and Hybrid Systems with Nonlinear Dynamics
    (2020) Geretti, Luca; dit Sandretto, Julien Alexandre; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Chen, Xin; Collins, Pieter; Forets, Marcelo; Freire, Daniel; Schilling, Christian et al.
    Published in: ARCH20 : 7th International Workshop on Applied Verification of Continuous and Hybrid Systems / Frehse, Goran; Althoff, Matthias (ed.). - Manchester : EasyChair, 2020. - (EPiC Series in Computing ; 74). - pp. 49-75. - ISSN 2398-7340
  • Thumbnail Image
    Publication
    Contribution to a conference collection
    Membership-Based Synthesis of Linear Hybrid Automata
    (2019) García Soto, Miriam; Henzinger, Thomas A.; Schilling, Christian; Zeleznik, Luka
    Published in: Computer Aided Verification : 31st International Conference, CAV 2019, Proceedings, Part I / Dillig, Isil; Tasiran, Serdar (ed.). - Cham : Springer International Publishing, 2019. - (Lecture Notes in Computer Science ; 11561). - pp. 297-314. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-030-25539-8
    Garcia-Soto_2-whx4g6z9ce374.pdf
    (580.11 KB)
  • Thumbnail Image
    Publication
    Contribution to a conference collection
    Semantic Fault Localization and Suspiciousness Ranking
    (2019) Christakis, Maria; Heizmann, Matthias; Mansur, Muhammad Numair; Schilling, Christian; Wüstholz, Valentin
    Published in: Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 / Vojnar, Tomáš; Zhang, Lijun (ed.). - Cham : Springer International Publishing, 2019. - (Lecture Notes in Computer Science ; 11427). - pp. 226-243. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-030-17461-3
    Christakis_2-9vuy5c6ldmfz0.pdf
    (694.25 KB)
  • No Thumbnail Available
    Publication
    Contribution to a conference collection
    JuliaReach : a Toolbox for Set-Based Reachability
    (2019) Bogomolov, Sergiy; Forets, Marcelo; Frehse, Goran; Potomkin, Kostiantyn; Schilling, Christian
    Published in: HSCC '19: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control / Ozay, Necmiye; Prabhakar, Pavithra (ed.). - New York, NY : ACM, 2019. - pp. 39-44. - ISBN 978-1-4503-6282-5