| Combining Forces: How to Formally Verify Informally Defined Embedded Systems
|
2021 |
Herber, Paula |
| Efficient Algorithms for Omega-Regular Energy Games
|
2021 |
Amram, Gal |
| Business Processes Meet Spatial Concerns: The sBPMN Verification Framework
|
2021 |
Saddem-Yagoubi, Rim |
| Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers
|
2021 |
Bugariu, Alexandra |
| Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies
|
2021 |
Wright, Daniel |
| Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs
|
2021 |
Foster, Simon |
| Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA
|
2021 |
Wolf, Felix A. |
| Formal Analysis of Neural Network-Based Systems in the Aircraft Domain
|
2021 |
Kouvaros, Panagiotis |
| Model Checking for Verification of Quantum Circuits
|
2021 |
Ying, Mingsheng |
| Verifying Secure Speculation in Isabelle/HOL
|
2021 |
Griffin, Matt |
| Two Mechanisations of WebAssembly 1.0
|
2021 |
Watt, Conrad |
| Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers
|
2021 |
Krishna, Shankara Narayanan |
| Verified Quadratic Virtual Substitution for Real Arithmetic
|
2021 |
Scharager, Matias |
| Gaussian Process-Based Confidence Estimation for Hybrid System Falsification
|
2021 |
Zhang, Zhenya |
| Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox
|
2021 |
Adelt, Julius |
| Z3str4: A Multi-armed String Solver
|
2021 |
Mora, Federico |
| Featured Team Automata
|
2021 |
Beek, Maurice H. ter |
| Trace Abstraction-Based Verification for Uninterpreted Programs
|
2021 |
Hong, Weijiang |
| Cabean 2.0: Efficient and Efficacious Control of Asynchronous Boolean Networks
|
2021 |
Su, Cui |
| On Lexicographic Proof Rules for Probabilistic Termination
|
2021 |
Chatterjee, Krishnendu |
Tag hinzufügen