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
Boogie : A modular reusable verifier for object-oriented programs
Lecture notes in computer science, 2006, p.364-387
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Abstract interpretation with alien expressions and heap structures
Lecture notes in computer science, 2005, p.147-163
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Safe stream-based programming with refinement types
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.565-576
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Temporal Verification of Programs via First-Order Fixpoint Logic
Static Analysis, 2019, p.413-436
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Static Analysis, p.296-319
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Discriminating Traces with Time
Tools and Algorithms for the Construction and Analysis of Systems, p.21-37
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
DroidStar: callback typestates for Android classes
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.1160-1170
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programming by Examples: PL Meets ML
Programming Languages and Systems, p.3-20
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Sharper and Simpler Nonlinear Interpolants for Program Verification
Programming Languages and Systems, p.491-513
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Reduced Product Combination of Abstract Domains for Shapes
Verification, Model Checking, and Abstract Interpretation, p.375-395
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Construction of Abstract Domains for Heterogeneous Properties (Position Paper)
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, p.489-492
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets
Static Analysis, p.459-480
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Robustness Verification of Support Vector Machines
Static Analysis, p.271-295
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Revisiting Polyhedral Analysis for Hybrid Systems
Static Analysis, p.183-202
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection
Static Analysis, p.203-224
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Static Analysis of Data Science Software
Static Analysis, p.17-23
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Analysis of Software Patches Using Numerical Abstract Interpretation
Static Analysis, p.225-246
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Shape Analysis with Structural Invariant Checkers
Static Analysis, p.384-401
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Demanded abstract interpretation
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021, p.282-295
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Abstract Semantic Dependency
Static Analysis, p.389-410
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Black-Box Equivalence Checking Across Compiler Optimizations
Programming Languages and Systems, p.127-147
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
On the Monniaux Problem in Abstract Interpretation
Static Analysis, p.162-180
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Verifying Numerical Programs via Iterative Abstract Testing
Static Analysis, p.247-267
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Safety and Liveness of MCS Lock—Layer by Layer
Programming Languages and Systems, p.273-297
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Responsibility Analysis by Abstract Interpretation
Static Analysis, p.368-388
Volltextzugriff (PDF)
1 – 25 von 65
Suche als RSS-Feed
Aktive Filter
KollektionSpringerLINK Contemporary (Konsortium Baden-Württemberg)
PublikationsformTagungsberichte
Suchergebnisse filtern
Filter anzeigen