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
Open Access
    Datensatz exportieren als...
  • BibTeX
Selectively-Amortized Resource Bounding
Static Analysis, 2021, Vol.12913, p.286-307
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Lifting On-Demand Analysis to Higher-Order Languages
Static Analysis, p.460-484
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Type-Directed Bounding of Collections in Reactive Programs
Verification, Model Checking, and Abstract Interpretation, 2019, Vol.11388, p.275-296
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Shape Analysis for Unstructured Sharing
Static Analysis, 2015, Vol.9291, p.90-108
2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Abstract Domains and Solvers for Sets Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.356-371
2015
Volltextzugriff (PDF)
    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)
1 – 25 von 80
Suche als RSS-Feed
Aktive Filter
KollektionSpringerLINK Contemporary (Konsortium Baden-Württemberg)
KollektionEbook Central Perpetual and DDA
PublikationsformBuchkapitel
Suchergebnisse filtern
Filter anzeigen