| Concept Design Moves
|
2022 |
Jackson, Daniel |
| Formal Methods for Trusted Space Autonomy: Boon or Bane?
|
2022 |
Chien, Steve A. |
| The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS
|
2022 |
Mehmood, Usama |
| An Essence of Domain Engineering
|
2022 |
Bjørner, Dines |
| Reachability Analysis for Cyber-Physical Systems: Are We There Yet?
|
2022 |
Chen, Xin |
| Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems[dagger sign]
|
2022 |
Graebener, Josefine B. |
| Verified Probabilistic Policies for Deep Reinforcement Learning
|
2022 |
Bacci, Edoardo |
| Zone Extrapolations in Parametric Timed Automata
|
2022 |
Arcile, Johan |
| Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry
|
2022 |
Luppen, Zachary |
| Assume-Guarantee Reasoning with Scheduled Components
|
2022 |
Liu, Cong |
| Configurable Benchmarks for C Model Checkers
|
2022 |
Fink, Xaver |
| Hypercontracts
|
2022 |
Incer, Inigo |
| Incremental Transitive Closure for Zonal Abstract Domain
|
2022 |
Ballou, Kenny |
| Approximate Translation from Floating-Point to Real-Interval Arithmetic
|
2022 |
Ishii, Daisuke |
| 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 |
Tag hinzufügen