| Towards Refactoring FRETish Requirements
|
2022 |
Farrell, Marie |
| Automating Program Transformation with Coccinelle
|
2022 |
Lawall, Julia |
| The Prusti Project: Formal Verification for Rust
|
2022 |
Astrauskas, Vytautas |
| ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs
|
2022 |
Strong, Christopher A. |
| From Verified Scala to STIX File System Embedded Code Using Stainless
|
2022 |
Hamza, Jad |
| Asynchronous Composition of Local Interface LTL Properties
|
2022 |
Bombardelli, Alberto |
| Proof Mate: An Interactive Proof Helper for PVS (Tool Paper)
|
2022 |
Masci, Paolo |
| NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing
|
2022 |
Santa Cruz, Ulices |
| Quantification of Battery Depletion Risk Made Efficient
|
2022 |
Hermanns, Holger |
| Permutation Invariance of Deep Neural Networks with ReLUs
|
2022 |
Mukhopadhyay, Diganta |
| Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning
|
2022 |
Pferscher, Andrea |
| DSV: Disassembly Soundness Validation Without Assuming a Ground Truth
|
2022 |
An, Xiaoxin |
| Requirements-Driven Model Checking and Test Generation for Comprehensive Verification
|
2022 |
Bhatt, Devesh |
| More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme
|
2022 |
Noble, James |
| Operational Annotations
|
2022 |
Attie, Paul C. |
| Robust Computation Tree Logic
|
2022 |
Nayak, Satya Prakash |
| Probabilistic Hyperproperties with Rewards
|
2022 |
Dobe, Oyendrila |
| Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT
|
2022 |
Meng, Baoluo |
| Concept Design Moves
|
2022 |
Jackson, Daniel |
| Formal Methods for Trusted Space Autonomy: Boon or Bane?
|
2022 |
Chien, Steve A. |
Tag hinzufügen