| VeriMon: A Formally Verified Monitoring Tool
|
2022 |
Basin, David |
| Human-Cyber-Physical Automata and Their Synthesis
|
2022 |
Zhang, Miaomiao |
| Structural Rules and Algebraic Properties of Intersection Types
|
2022 |
Alves, Sandra |
| A Model Checking Based Approach to Detect Safety-Critical Adversarlal Examples on Autonomous Driving Systems
|
2022 |
Huang, Zhen |
| Local XOR Unification: Definitions, Algorithms and Application to Cryptography
|
2022 |
Lin, Hai |
| A Type System with Subtyping for WebAssembly’s Stack Polymorphism
|
2022 |
McDermott, Dylan |
| Ground Confluence and Strong Commutation Modulo Alpha-Equivalence in Nominal Rewriting
|
2022 |
Kikuchi, Kentaro |
| Active Learning for Deterministic Bottom-Up Nominal Tree Automata
|
2022 |
Nakanishi, Rindo |
| Type Inference for Rank-2 Intersection Types Using
|
2022 |
Ángelo, Pedro |
| A PO Characterisation of Reconfiguration
|
2022 |
Alrahman, Yehia Abd |
| Reconciling Communication Delays and Negation
|
2022 |
Cruz-Filipe, Luís |
| A Verified Implementation of B*-Trees in Isabelle/HOL
|
2022 |
Mündler, Niels |
| Towards a User Interface Description Language Based on Bigraphs
|
2022 |
Nalpon, Nicolas |
| Towards a Unifying Logical Framework for Neural Networks
|
2022 |
Zhang, Xiyue |
| Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems
|
2022 |
Beckert, Bernhard |
| Spatial and Timing Properties in Highway Traffic
|
2022 |
Bischopink, Christopher |
| On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems
|
2022 |
Alturki, Musab A. |
| A Combinatorial Study of Async/Await Processes
|
2022 |
Dien, Matthieu |
| Alternating Automatic Register Machines
|
2022 |
Gao, Ziyuan |
| A Matching Logic Foundation for AIk
|
2022 |
Lungu, Alexandru-Ioan |
Tag hinzufügen