Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Temporal Verification of Programs via First-Order Fixpoint Logic
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
On the Monniaux Problem in Abstract Interpretation
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Organization
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Abstracts of Invited Contributions
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Revisiting Polyhedral Analysis for Hybrid Systems
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Invited Contributions
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Pointers and Dataflow
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Abstract Interpretation of Indexed Grammars
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Direct Manipulation for Imperative Programs
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Languages and Decidability
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Responsibility Analysis by Abstract Interpretation
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Verifying Numerical Programs via Iterative Abstract Testing
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Rethinking Static Analysis by Combining Discrete and Continuous Reasoning
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Synthesis and Security
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Numerical
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Robustness Verification of Support Vector Machines
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Towards Semantic Adversarial Examples
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Temporal Logic for Higher-Order Functional Programs
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Syntactic and Semantic Soundnessof Structural Dataflow Analysis
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Temporal Properties and Termination
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
1 – 25 von 79
Suche als RSS-Feed
Aktive Filter
KollektionSpringerLINK Contemporary (Konsortium Baden-Württemberg)
Nur zeigenGeprüft (Peer-Review)
PublikationsformBuchkapitel
Suchergebnisse filtern
Filter anzeigen