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
Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example
Electronic proceedings in theoretical computer science, 2015-08, Vol.187 (Proc. F-IDE 2015), p.86-96
2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Frama-C: A software analysis perspective
Formal aspects of computing, 2015-05, Vol.27 (3), p.573-609
2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Efficient Runtime Assertion Checking for Properties over Mathematical Numbers
Lecture notes in computer science, 2020, Vol.12399, p.310-322
2020
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Runtime Abstract Interpretation for Numerical Accuracy and Robustness
Lecture notes in computer science, 2021, Vol.12597, p.243-266
2021
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Sound Runtime Assertion Checking for Memory Properties via Program Transformation
Formal aspects of computing, 2024-03, Vol.36 (1), p.1-46, Article 4
2024
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Frama-C: A Software Analysis Perspective
Lecture notes in computer science, 2012, Vol.7504, p.233-247
2012
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking
Tests and Proofs, p.168-186
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Runtime Detection of Temporal Memory Errors
Lecture notes in computer science, 2017, Vol.10548 LNCS, p.294-311
2017
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Runtime Assertion Checking and Static Verification: Collaborative Partners
Lecture notes in computer science, 2018, Vol.11245 (Part 2), p.75-91
2018
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
International journal on software tools for technology transfer, 2019-02, Vol.21 (1), p.31-70
2019
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A survey of challenges for runtime verification from advanced application domains (beyond software)
Formal methods in system design, 2019-11, Vol.54 (3), p.279-335
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report
Tests and Proofs, p.139-156
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Verified Runtime Assertion Checking for Memory Properties
Tests and Proofs, p.100-121
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Soundness of a Dataflow Analysis for Memory Monitoring
Ada Letters, 2019-12, Vol.38 (2), p.97-108
2019
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Soundness of a Dataflow Analysis for Memory Monitoring
ACM SIGAda Ada Letters, 2019-12, Vol.38 (2), p.97-108
2019
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Hybrid Information Flow Analysis for Real-World C Code
Tests and Proofs, p.23-40
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Context Generation from Formal Specifications for C Analysis Tools
Logic-Based Program Synthesis and Transformation, p.93-111
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Context Specification Language for Formally Verifying Consent Properties on Models and Code
Tests and Proofs, p.68-93
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.461-478
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Frama-C, A Collaborative Framework for C Code Verification: Tutorial Synopsis
Runtime Verification, p.92-115
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Combining Analyses for C Program Verification
Formal Methods for Industrial Critical Systems, p.108-130
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Verification Coverage for Combining Test and Proof
Tests and Proofs, p.120-138
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Lesson on Runtime Assertion Checking with Frama-C
Runtime Verification, p.386-399
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)
Formal methods in system design, 2019, Vol.55 (1), p.72-72
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs
Runtime Verification, p.167-182
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 43
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen