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
Automatic Analysis of Open Objects in Dynamic Language Programs
Static Analysis, 2014, p.134-150
2014
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Selectively-Amortized Resource Bounding
Static Analysis, 2021, Vol.12913, p.286-307
2021
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
An Abstract Domain Combinator for Separately Conjoining Memory Abstractions
Static Analysis, 2014, p.285-301
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Lifting On-Demand Analysis to Higher-Order Languages
Static Analysis, p.460-484
Link zum Volltext
Verfügbarkeit prüfen
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
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Discriminating Traces with Time
Tools and Algorithms for the Construction and Analysis of Systems, p.21-37
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Shape Analysis for Unstructured Sharing
Static Analysis, 2015, Vol.9291, p.90-108
2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages
Programming Languages and Systems, p.483-509
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Refuting Heap Reachability
Verification, Model Checking, and Abstract Interpretation, p.137-141
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
QUIC Graphs: Relational Invariant Generation for Containers
ECOOP 2013 – Object-Oriented Programming, p.401-425
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers
Computer Aided Verification, p.866-873
Link zum Volltext
Verfügbarkeit prüfen
    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
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A Bit Too Precise? Bounded Verification of Quantized Digital Filters
Tools and Algorithms for the Construction and Analysis of Systems, p.33-47
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Analysis of Low-Level Code Using Cooperating Decompilers
Lecture notes in computer science, 2006, p.318-335
2006
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
The Flow-Insensitive Precision of Andersen’s Analysis in Practice
Static Analysis, p.60-76
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Separating Shape Graphs
Programming Languages and Systems, p.387-406
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Access Nets: Modeling Access to Physical Spaces
Verification, Model Checking, and Abstract Interpretation, p.184-198
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Numerical
Static Analysis, 2019, Vol.11822
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Synthesis and Security
Static Analysis, 2019, Vol.11822
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Languages and Decidability
Static Analysis, 2019, Vol.11822
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Invited Contributions
Static Analysis, 2019, Vol.11822
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Organization
Static Analysis, 2019, Vol.11822
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Abstract Semantic Dependency
Static Analysis, 2019, Vol.11822
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Towards Semantic Adversarial Examples
Static Analysis, 2019, Vol.11822
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On the Monniaux Problem in Abstract Interpretation
Static Analysis, 2019, Vol.11822
2019
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 95
Suche als RSS-Feed
Aktive Filter
KollektionSpringerLINK Contemporary (Konsortium Baden-Württemberg)
PublikationsformBuchkapitel
Suchergebnisse filtern
Filter anzeigen