| 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 |
| Card-Minimal Protocols for Symmetric Boolean Functions of More than Seven Inputs
|
2022 |
Shikata, Hayato |
| Formal Grammars for Turn-Bounded Deterministic Context-Free Languages
|
2022 |
Yamakamni, Tomoyuki |
| 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 |
| Reachability Games and Parity Games
|
2022 |
Diekert, Volker |
| Quantitative Weak Linearisation
|
2022 |
Alves, Sandra |
| Denotational and Algebraic Semantics for the CaIT Calculus
|
2022 |
Chen, Ningning |
Tag hinzufügen