Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Christian Schilling 0001

Christian-Matthias Schilling

> Home > Persons

Person information

affiliation: Aalborg University, Denmark
affiliation (former): University of Konstanz, Konstanz, Germany
affiliation (former): IST Austria
affiliation (Ph.D., 2012): University of Freiburg, Freiburg im Breisgau, Germany

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2018
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Schilling18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Schilling18
Christian-Matthias Schilling:
Fundamental techniques for the scalable analysis of systems. University of Freiburg, Freiburg im Breisgau, Germany, 2018

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ijar/GrayFSFB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijar/GrayFSFB24
Ander Gray, Marcelo Forets, Christian Schilling, Scott Ferson, Luis Benet:
Verified propagation of imprecise probabilities in non-linear ODEs. Int. J. Approx. Reason. 164: 109044 (2024)
2023
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/KueffnerLSH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/KueffnerLSH23
Konstantin Kueffner, Anna Lukina, Christian Schilling, Thomas A. Henzinger:
Into the unknown: active monitoring of neural networks (extended version). Int. J. Softw. Tools Technol. Transf. 25(4): 575-592 (2023)
2022
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BogomolovFFPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BogomolovFFPS22
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling:
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version). Inf. Comput. 289(Part): 104937 (2022)
2020
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/BogomolovFFPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/BogomolovFFPS20
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling:
Reachability Analysis of Linear Hybrid Systems via Block Decomposition. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 4018-4029 (2020)
2019
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BakBBJNS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BakBBJNS19
Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling:
Hybrid automata: from verification to implementation. Int. J. Softw. Tools Technol. Transf. 21(1): 87-104 (2019)
2016
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/biosystems/SchillingBHPR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/biosystems/SchillingBHPR16
Christian Schilling, Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess:
Adaptive moment closure for parameter inference of biochemical reaction networks. Biosyst. 149: 15-25 (2016)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BauerMarquartLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BauerMarquartLS23
Fabian Bauer-Marquart, Stefan Leue, Christian Schilling:
symQV: Automated Symbolic Verification of Quantum Programs. FM 2023: 181-198
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/Kochdumper0AB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/Kochdumper0AB23
Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak:
Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes. NFM 2023: 16-36
[c42]
- view
  - electronic edition @ nips.cc (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nips/0001LDL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/0001LDL23
Christian Schilling, Anna Lukina, Emir Demirovic, Kim Guldstrand Larsen:
Safety Verification of Decision-Tree Policies in Continuous Time. NeurIPS 2023
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/BrorholtJLLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/BrorholtJLLS23
Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling:
Shielded Reinforcement Learning for Hybrid Systems. AISoLA 2023: 33-54
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/ForetsS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/ForetsS23
Marcelo Forets, Christian Schilling:
The Inverse Problem for Neural Networks. AISoLA 2023: 241-255
2022
[c39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/0001FG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/0001FG22
Christian Schilling, Marcelo Forets, Sebastián Guadalupe:
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes. AAAI 2022: 8169-8177
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/SotoHS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/SotoHS22
Miriam García Soto, Thomas A. Henzinger, Christian Schilling:
Synthesis of Parametric Hybrid Automata from Time Series. ATVA 2022: 337-353
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LarsenSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LarsenSS22
Kim G. Larsen, Christian Schilling, Jirí Srba:
Simulation Relations and Applications in Formal Methods. Principles of Systems Design 2022: 272-291
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/ForetsS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/ForetsS22
Marcelo Forets, Christian Schilling:
Conservative Time Discretization: A Comparative Study. IFM 2022: 149-167
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/Bauer-MarquartB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/Bauer-MarquartB22
Fabian Bauer-Marquart, David Boetius, Stefan Leue, Christian Schilling:
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks. SPIN 2022: 79-96
2021
[c34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/arch/AlthoffAFFF0SW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/AlthoffAFFF0SW21
Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger:
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS 2021: 1-31
[c33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/arch/GerettiSABCCDFK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/GerettiSABCCDFK21
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling, Mark Wetzlinger:
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS 2021: 32-54
[c32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/arch/JohnsonLBFG0ICW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/JohnsonLBFG0ICW21
Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee:
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@ADHS 2021: 90-119
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/SotoH021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/SotoH021
Miriam García Soto, Thomas A. Henzinger, Christian Schilling:
Synthesis of hybrid automata with affine dynamics from time-series data. HSCC 2021: 2:1-2:11
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/ForetsS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/ForetsS21
Marcelo Forets, Christian Schilling:
Reachability of Weakly Nonlinear Systems Using Carleman Linearization. RP 2021: 85-99
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/LukinaSH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/LukinaSH21
Anna Lukina, Christian Schilling, Thomas A. Henzinger:
Into the Unknown: Active Monitoring of Neural Networks. RV 2021: 42-61
2020
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/arch/AlthoffBBFFFKLM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/AlthoffBBFFFKLM20
Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, Mark Wetzlinger:
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH 2020: 16-48
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/arch/GerettiSABCCCFF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/GerettiSABCCCFF20
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling:
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH 2020: 49-75
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecai/HenzingerL020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/HenzingerL020
Thomas A. Henzinger, Anna Lukina, Christian Schilling:
Outside the Box: Abstraction-Based Monitoring of Neural Networks. ECAI 2020: 2433-2440
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/ForetsF020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/ForetsF020
Marcelo Forets, Daniel Freire, Christian Schilling:
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. MEMOCODE 2020: 1-6
2019
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/SotoHSZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/SotoHSZ19
Miriam García Soto, Thomas A. Henzinger, Christian Schilling, Luka Zeleznik:
Membership-Based Synthesis of Linear Hybrid Automata. CAV (1) 2019: 297-314
[c23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cpsweek/AlthoffBFFK0SS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/AlthoffBFFK0SS19
Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp:
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@CPSIoTWeek 2019: 14-40
[c22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cpsweek/ImmlerABC0FGKSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/ImmlerABC0FGKSS19
Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling:
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@CPSIoTWeek 2019: 41-61
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BogomolovFFPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BogomolovFFPS19
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling:
JuliaReach: a toolbox for set-based reachability. HSCC 2019: 39-44
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChristakisHMSW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChristakisHMSW19
Maria Christakis, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, Valentin Wüstholz:
Semantic Fault Localization and Suspiciousness Ranking. TACAS (1) 2019: 226-243
2018
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/adhs/AlthoffB0FFFKLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/AlthoffB0FFFKLM18
Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp:
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS 2018: 23-52
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BogomolovFFVPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BogomolovFFVPS18
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Frédéric Viry, Andreas Podelski, Christian Schilling:
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. HSCC 2018: 41-50
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HeizmannCDGHLNM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HeizmannCDGHLNM18
Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski:
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). TACAS (2) 2018: 447-451
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/DietschGHHNPSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DietschGHHNPSS18
Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler:
Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). TACAS (2) 2018: 452-456
2017
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/KongBSJH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/KongBSJH17
Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger:
Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters. HSCC 2017: 163-172
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/HeizmannCDGNMSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HeizmannCDGNMSS17
Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski:
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). TACAS (2) 2017: 394-398
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/GreitschusDHNSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/GreitschusDHNSS17
Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski:
Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). TACAS (2) 2017: 399-403
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/HeizmannST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HeizmannST17
Matthias Heizmann, Christian Schilling, Daniel Tischner:
Minimization of Visibly Pushdown Automata Using Partial Max-SAT. TACAS (1) 2017: 461-478
2016
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcca/DuggiralaFPQM0B16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcca/DuggiralaFPQM0B16
Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang:
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA 2016: 1024-1029
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cpsweek/BakBS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/BakBS16
Stanley Bak, Sergiy Bogomolov, Christian Schilling:
High-level Hybrid Systems Analysis with Hypy. ARCH@CPSWeek 2016: 80-90
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/hsb/KongBBGHJS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hsb/KongBBGHJS16
Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A. Henzinger, Yu Jiang, Christian Schilling:
Discrete Abstraction of Multiaffine Systems. HSB 2016: 128-144
2015
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/BogomolovHPRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/BogomolovHPRS15
Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess, Christian Schilling:
Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks. CMSB 2015: 77-89
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/BogomolovSBBKG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/BogomolovSBBKG15
Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, Radu Grosu:
Abstraction-Based Parameter Synthesis for Multiaffine Systems. Haifa Verification Conference 2015: 19-35
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/NguyenSBJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/NguyenSBJ15
Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson:
HyRG: a random generation tool for affine hybrid automata. HSCC 2015: 289-290
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/NguyenSBJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/NguyenSBJ15
Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson:
Runtime Verification for Hybrid Analysis Tools. RV 2015: 281-286
2014
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HeizmannCDHLMSWP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HeizmannCDHLMSWP14
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski:
Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). TACAS 2014: 418-420
2013
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/iwoca/SchillingSW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwoca/SchillingSW13
Christian Schilling, Jan-Georg Smaus, Fabian Wenzelmann:
A Pretty Complete Combinatorial Algorithm for the Threshold Synthesis Problem. IWOCA 2013: 458-462
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/HeizmannCDEHLNSP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HeizmannCDEHLNSP13
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski:
Ultimate Automizer with SMTInterpol - (Competition Contribution). TACAS 2013: 641-643
2012
[c1]
- view
  - electronic edition @ uic.edu (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/isaim/SmausSW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isaim/SmausSW12
Jan-Georg Smaus, Christian Schilling, Fabian Wenzelmann:
Implementations of two algorithms for the threshold synthesis problem. ISAIM 2012

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2023
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/2023
Georgiana Caltais, Christian Schilling:
Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings. Lecture Notes in Computer Science 13872, Springer 2023, ISBN 978-3-031-32156-6 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-13785
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-13785
Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowé, Guillermo A. Pérez:
Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies. CoRR abs/2402.13785 (2024)
2023
[i21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-03667
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-03667
Jan-Georg Smaus, Christian Schilling, Fabian Wenzelmann:
Implementations of two Algorithms for the Threshold Synthesis Problem. CoRR abs/2301.03667 (2023)
[i20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-14093
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-14093
Marcelo Forets, Christian Schilling:
The inverse problem for neural networks. CoRR abs/2308.14093 (2023)
[i19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-14424
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-14424
Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling:
Shielded Reinforcement Learning for Hybrid Systems. CoRR abs/2308.14424 (2023)
2022
[i18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-02715
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-02715
Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak:
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes. CoRR abs/2207.02715 (2022)
[i17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-06383
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-06383
Miriam García Soto, Thomas A. Henzinger, Christian Schilling:
Synthesis of Parametric Hybrid Automata from Time Series. CoRR abs/2208.06383 (2022)
[i16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-02267
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-02267
Fabian Bauer-Marquart, Stefan Leue, Christian Schilling:
symQV: Automated Symbolic Verification of Quantum Programs. CoRR abs/2212.02267 (2022)
2021
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-12734
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-12734
Miriam García Soto, Thomas A. Henzinger, Christian Schilling:
Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data. CoRR abs/2102.12734 (2021)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-01917
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-01917
Fabian Bauer-Marquart, Stefan Leue, Christian Schilling:
DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization. CoRR abs/2106.01917 (2021)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-10390
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-10390
Marcelo Forets, Christian Schilling:
Reachability of weakly nonlinear systems using Carleman linearization. CoRR abs/2108.10390 (2021)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-01711
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-01711
Marcelo Forets, Christian Schilling:
LazySets.jl: Scalable Symbolic-Numeric Set Computations. CoRR abs/2110.01711 (2021)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-01454
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-01454
Marcelo Forets, Christian Schilling:
Conservative Time Discretization: A Comparative Study. CoRR abs/2111.01454 (2021)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-09197
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-09197
Christian Schilling, Marcelo Forets, Sebastián Guadalupe:
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes. CoRR abs/2112.09197 (2021)
2020
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-12325
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-12325
Marcelo Forets, Daniel Freire, Christian Schilling:
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. CoRR abs/2006.12325 (2020)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-06429
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-06429
Anna Lukina, Christian Schilling, Thomas A. Henzinger:
Into the unknown: Active monitoring of neural networks. CoRR abs/2009.06429 (2020)
2019
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1901-10736
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-10736
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling:
JuliaReach: a Toolbox for Set-Based Reachability. CoRR abs/1901.10736 (2019)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-02458
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-02458
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling:
Reachability analysis of linear hybrid systems via block decomposition. CoRR abs/1905.02458 (2019)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-09032
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-09032
Thomas A. Henzinger, Anna Lukina, Christian Schilling:
Outside the Box: Abstraction-Based Monitoring of Neural Networks. CoRR abs/1911.09032 (2019)
2018
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1801-09526
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-09526
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling, Frédéric Viry:
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. CoRR abs/1801.09526 (2018)
2017
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HeizmannST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HeizmannST17
Matthias Heizmann, Christian Schilling, Daniel Tischner:
Minimization of Visibly Pushdown Automata Using Partial Max-SAT. CoRR abs/1701.05160 (2017)
2016
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KongBSJH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KongBSJH16
Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger:
Invariant Clusters for Hybrid Systems. CoRR abs/1605.01450 (2016)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BryceBHS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BryceBHS16
Daniel Bryce, Sergiy Bogomolov, Alexander Heinz, Christian Schilling:
Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems. CoRR abs/1609.03847 (2016)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.