52 results on '"Schilling, Christian"'
Search Results
2. The Inverse Problem for Neural Networks
3. Shielded Reinforcement Learning for Hybrid Systems
4. Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes
5. symQV: Automated Symbolic Verification of Quantum Programs
6. Simulation Relations and Applications in Formal Methods
7. Synthesis of Parametric Hybrid Automata from Time Series
8. SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks
9. Conservative Time Discretization: A Comparative Study
10. Reachability of Weakly Nonlinear Systems Using Carleman Linearization
11. Into the Unknown: Active Monitoring of Neural Networks
12. Low Power Wide Area Networks: The Game Changer for the Internet of Things
13. Membership-Based Synthesis of Linear Hybrid Automata
14. Semantic Fault Localization and Suspiciousness Ranking
15. Ultimate Automizer and the Search for Perfect Interpolants : (Competition Contribution)
16. Ultimate Taipan with Dynamic Block Encoding : (Competition Contribution)
17. Ultimate Taipan: Trace Abstraction and Abstract Interpretation : (Competition Contribution)
18. Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata : (Competition Contribution)
19. Minimization of Visibly Pushdown Automata Using Partial Max-SAT
20. Discrete Abstraction of Multiaffine Systems
21. Abstraction-Based Parameter Synthesis for Multiaffine Systems
22. Runtime Verification for Hybrid Analysis Tools
23. Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks
24. A Pretty Complete Combinatorial Algorithm for the Threshold Synthesis Problem
25. Ultimate Automizer with Unsatisfiable Cores : (Competition Contribution)
26. Ultimate Automizer with SMTInterpol : (Competition Contribution)
27. DIBA — der digitale Bildarbeitsplatz für die Medizin
28. Die Regulierungsaufgaben des Bundesministers für Post und Telekommunikation im Kontext des europäischen Binnenmarktes
29. Radiologists Start Designing their Digital Workplace: Prototyping with a Digital Image Workstation in the Radiology
30. Partizipative und prospektive Technikgestaltung des digitalen Bildarbeitsplatzes für die Medizin
31. Eröffnungsvortrag: Die Zukunft der Telekommunikation in der Bundesrepublik Deutschland
32. ISDN — Die Antwort der Deutschen Bundespost auf die Anforderungen der Telekommunikation von morgen
33. A Preliminary Study to Examining Per-class Performance Bias via Robustness Distributions
34. Iterative Counter-Example Guided Robustness Verification for Neural Networks
35. Verification of Neural Network Control Systems in Continuous Time
36. Provable Repair of Vision Transformers
37. Clover: Closed-Loop Verifiable Code Generation
38. Concept-Based Analysis of Neural Networks via Vision-Language Models
39. Parallel Verification for -Equivalence of Neural Network Quantization
40. Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
41. Error Analysis of Shapley Value-Based Model Explanations: An Informative Perspective
42. Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties
43. GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data
44. Elimination of Detached Regions in Dependency Graph Verification
45. Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks
46. Sound Concurrent Traces for Online Monitoring
47. ParaGnosis: A Tool for Parallel Knowledge Compilation
48. Accelerating Black Box Testing with Light-Weight Learning
49. WikiCoder: Learning to Write Knowledge-Powered Code
50. Model Checking Futexes
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.