| RoboWorld: Where Can My Robot Work?
|
2021 |
Cavalcanti, Ana |
| Validating Safety Arguments with Lean
|
2021 |
Murphy, Logan |
| nfer – A Tool for Event Stream Abstraction
|
2021 |
Kauffman, Sean |
| Exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines
|
2021 |
Krafczyk, Niklas |
| Upper Bound Computation of Information Leakages for Unbounded Recursion
|
2021 |
Bechberger, Johannes |
| On the Security and Safety of AbU Systems
|
2021 |
Pasqua, Michele |
| TACoS: A Tool for MTL Controller Synthesis
|
2021 |
Hofmann, Till |
| OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks
|
2021 |
Hashemi, Vahid |
| Refining Privacy-Aware Data Flow Diagrams
|
2021 |
Alshareef, Hanaa |
| Hybrid Information Flow Control for Low-Level Code
|
2021 |
Geraldo, Eduardo |
| Translation of CCS into CSP, Correct Up to Strong Bisimulation
|
2021 |
Ngondi, Gerard Ekembe |
| Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis
|
2021 |
Cimatti, Alessandro |
| Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction
|
2021 |
Dorff, Sebastian vom |
| Runtime Enforcement with Reordering, Healing, and Suppression
|
2021 |
Falcone, Yliès |
| Parallelized Sequential Composition and Hardware Weak Memory Models
|
2021 |
Colvin, Robert J. |
| Checking Opacity and Durable Opacity with FDR
|
2021 |
Dongol, Brijesh |
| Verification of Programs with Exceptions Through Operator Precedence Automata
|
2021 |
Pontiggia, Francesco |
| A Debugger for Probabilistic Programs
|
2021 |
Hoppen, Alexander |
| Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines
|
2021 |
Dubslaff, Clemens |
| A Denotational Semantics of Solidity in Isabelle/HOL
|
2021 |
Marmsoler, Diego |
Tag hinzufügen