| 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 |
| Mining Shape Expressions with Shapelt
|
2021 |
Bartocci, Ezio |
| Monitoring First-Order Interval Logic
|
2021 |
Havelund, Klaus |
| Probabilistic BDI Agents: Actions, Plans, and Intentions
|
2021 |
Archibald, Blair |
| Counterexample Classification
|
2021 |
Vick, Cole |
| Configuration Space Exploration for Digital Printing Systems
|
2021 |
Denkers, Jasper |
| 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. |
Tag hinzufügen