| Loop Verification with Invariants and Contracts
|
2022 |
Ernst, Gidon |
| Gradient-Descent for Randomized Controllers Under Partial Observability
|
2022 |
Heck, Linus |
| Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking
|
2022 |
Jensen, Peter Gjøl |
| A Flow-Insensitive-Complete Program Representation
|
2022 |
Mirliaz, Soléne |
| Venfying Pufferfish Privacy in Hidden Markov Models
|
2022 |
Liu, Depeng |
| Generalized Arrays for Stainless Frames
|
2022 |
Schmid, Georg Stefan |
| Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms
|
2022 |
Taylor, Landon |
| Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate
|
2022 |
Trimananda, Rahmadi |
| EPMC Gets Knowledge in Multi-agent Systems
|
2022 |
Fu, Chen |
| Fast Three-Valued Abstract Bit-Vector Arithmetic
|
2022 |
Onderka, Jan |
| Out of Control: Reducing Probabilistic Models by Control-State Elimination
|
2022 |
Winkler, Tobias |
| Relational String Abstract Domains
|
2022 |
Arceri, Vincenzo |
| High Assurance Software for Financial Regulation and Business Platforms
|
2022 |
Barr., Stephen Goldbaum, Attila Mihaly, Tosha Ellison, Earl T. |
| Satisfiability and Synthesis Modulo Oracles
|
2022 |
Polgreen, Elizabeth |
| NP Satisfiability for Arrays as Powers
|
2022 |
Raya, Rodrigo |
| Making PROGRESS in Property Directed Reachability
|
2022 |
Seufert, Tobias |
| Verifying Solidity Smart Contracts via Communication Abstraction im SmartACE
|
2022 |
Wesley, Scott |
| Flavors of Sequential Information Flow
|
2022 |
Bartocci, Ezio |
| Fanoos: Multi-resolution, Multi-strength, Interactive Explanations for Learned Systems
|
2022 |
Bayani, David |
| Lightweight Shape Analysis Based on Physical Types
|
2022 |
Nicole, Olivier |
Tag hinzufügen