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...
Open Access
    Datensatz exportieren als...
  • BibTeX
Automatic Quantification of Cache Side-Channels
Computer Aided Verification, p.564-580
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Trace Partitioning in Abstract Interpretation Based Static Analyzers
Lecture notes in computer science, 2005, p.5-20
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The ASTREÉ Analyzer
Lecture notes in computer science, 2005, p.21-30
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Towards Zero Alarms in Sound Static Analysis of Finite State Machines
Computer Safety, Reliability, and Security, p.3-18
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
On Software Safety, Security, and Abstract Interpretation
Formal Methods, p.662-665
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Scalable Segmented Decision Tree Abstract Domain
Time for Verification, p.72-95
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Binary Decision Graphs
Lecture notes in computer science, 1999, p.101-116
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software
The Essence of Computation, p.85-108
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Safety-Critical Software Development in C++
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, p.98-110
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Leakage Resilience against Concurrent Cache Attacks
Principles of Security and Trust, p.140-158
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Combination of Abstractions in the ASTRÉE Static Analyzer
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, p.272-300
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The Reduced Product of Abstract Domains and the Combination of Decision Procedures
Foundations of Software Science and Computational Structures, p.456-472
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Improving the Representation of Infinite Trees to Deal with Sets of Trees
Programming Languages and Systems, p.275-289
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Tree Schemata and Fair Termination
Lecture notes in computer science, 2000, p.302-319
2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
On the Strength of Owicki-Gries for Resources
Programming Languages and Systems, p.172-187
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Abstract interpretation using TDGs
Static Analysis, 2005, p.363-379
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software
Lecture notes in computer science, 2002, p.85-108
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Sound Non-interference Analysis for C/C++
Computer Safety, Reliability, and Security, p.267-282
Volltextzugriff (PDF)
1 – 18 von 18
Suche als RSS-Feed
Aktive Filter
KollektionElsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
KollektionSpringer Book Series
Suchergebnisse filtern
Filter anzeigen