( en | de | ru )

 

Disambiguation of "Schilling, Christian"

Author of the publication

copydeleteadd this publication to your clipboard
Semantic Fault Localization and Suspiciousness Ranking.

, , , , and . TACAS (1), volume 11427 of Lecture Notes in Computer Science, page 226-243. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christian Schilling

Christian Schilling

Christian Schilling

Christian Schilling

Christian Schilling

 

Other publications of authors with the same name

Membership-Based Synthesis of Linear Hybrid Automata., , , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 297-314. Springer, (2019)Into the unknown: active monitoring of neural networks (extended version)., , , and . Int. J. Softw. Tools Technol. Transf., 25 (4): 575-592 (August 2023)Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes., , , and . CoRR, (2022)Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies., , , , , and . CoRR, (2024)ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , , , and 3 other author(s). ARCH, volume 74 of EPiC Series in Computing, page 16-48. EasyChair, (2020)ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , and . ARCH@ADHS, volume 80 of EPiC Series in Computing, page 1-31. EasyChair, (2021)Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes., , , and . NFM, volume 13903 of Lecture Notes in Computer Science, page 16-36. Springer, (2023)ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 41-61. EasyChair, (2019)Reachability of Weakly Nonlinear Systems Using Carleman Linearization., and . RP, volume 13035 of Lecture Notes in Computer Science, page 85-99. Springer, (2021)JuliaReach: a toolbox for set-based reachability., , , , and . HSCC, page 39-44. ACM, (2019)