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
Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, the Netherlands, November 13-15, 2023, Proceedings
1, 2023
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Extending PlusCal for Modeling Distributed Algorithms
Integrated Formal Methods, Vol.14300, p.321-340
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings
2023
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation
Integrated Formal Methods, p.153-171
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Automatic Formal Verification of RISC-V Pipelined Microprocessors with Fault Tolerance by Spatial Redundancy at a High Level of Abstraction
Integrated Formal Methods, p.193-213
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Mission-Time LTL (MLTL) Formula Validation via Regular Expressions
Integrated Formal Methods, p.279-301
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Towards Formal Verification of a TPM Software Stack
Integrated Formal Methods, p.93-112
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Framework for Verifying the Collision Freeness of Collaborative Robots (Work in Progress)
Integrated Formal Methods, p.391-397
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Lifting the Reasoning Level in Generic Weak Memory Verification
Integrated Formal Methods, p.175-192
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Automated Sensitivity Analysis for Probabilistic Loops
Integrated Formal Methods, p.21-39
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
SMT: Something You Must Try
Integrated Formal Methods, p.3-18
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
CHC Model Validation with Proof Guarantees
Integrated Formal Methods, p.62-81
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Reasoning About Exceptional Behavior at the Level of Java Bytecode
Integrated Formal Methods, p.113-133
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Shuffling Posets on Trajectories
Integrated Formal Methods, p.384-390
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Symbolic Model Checking of Relative Safety LTL Properties
Integrated Formal Methods, p.302-320
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method
Integrated Formal Methods, p.237-256
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Reinforcement Learning Under Partial Observability Guided by Learned Environment Models
Integrated Formal Methods, p.257-276
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Refinement and Separation: Modular Verification of Wandering Trees
Integrated Formal Methods, p.214-234
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Integrated Formal Methods, p.343-363
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
CAN-verify: A Verification Tool For BDI Agents
Integrated Formal Methods, p.364-373
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Verify This: Memcached—A Practical Long-Term Challenge for the Integration of Formal Methods
Integrated Formal Methods, p.82-89
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Analysis and Formal Specification of OpenJDK’s BitSet
Integrated Formal Methods, p.134-152
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Scalable and Precise Refinement Types for Imperative Languages
Integrated Formal Methods, p.377-383
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions
Integrated Formal Methods, p.40-61
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Ernst Denert Award for Software Engineering 2022: Practice Meets Foundations
2024
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 390
Suche als RSS-Feed
Aktive Filter
PublikationsformBerichte
KollektioneBooks on EBSCOhost
Suchergebnisse filtern
Filter anzeigen