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
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Static Analyses of the Precision of Floating-Point Operations
Lecture notes in computer science, 2001, p.234-259
2001
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Probabilistic Abstract Interpretation
Programming Languages and Systems, p.169-193
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automatic Inference of Necessary Preconditions
Verification, Model Checking, and Abstract Interpretation, p.128-148
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The ASTREÉ Analyzer
Lecture notes in computer science, 2005, p.21-30
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Binary Decision Tree Abstract Domain Functor
Static Analysis, 2015, Vol.9291, p.36-53
2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Abstract Interpretation-Based Static Analysis of Mobile Ambients
Lecture notes in computer science, 2001, p.412-430
2001
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Modular Static Program Analysis
Compiler Construction, 2002, p.159-179
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses
Lecture notes in computer science, 2001, p.127-145
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Sound Floating-Point Polyhedra Abstract Domain
Programming Languages and Systems, p.3-18
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An abstract domain to discover interval linear equalities
Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation, 2010, p.112-128
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Abstract interpretation based static analysis parameterized by semantics
Lecture notes in computer science, 2005, p.388-394
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The Verification Grand Challenge and Abstract Interpretation
Verified Software: Theories, Tools, Experiments, p.189-201
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
Static Analysis, p.309-325
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Linear Absolute Value Relation Analysis
Programming Languages and Systems, p.156-175
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
On Abstraction in Software Verification
Computer Aided Verification, 2002, p.37-56
2002
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Verification by Abstract Interpretation
Verification: Theory and Practice, p.243-268
Volltextzugriff (PDF)
1 – 16 von 16
Suche als RSS-Feed
Aktive Filter
ThemaAbstract Domain
Suchergebnisse filtern
Filter anzeigen