| 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 |
| Unsatisfiability of Comparison-Based Non-malleability for Commitments
|
2022 |
Firsov, Denis |
| Functional Choreographic Programming
|
2022 |
Cruz-Filipe, Luís |
| A Specification Logic for Programs in the Probabilistic Guarded Command Language
|
2022 |
Pardo, Raúl |
| Runners for Interleaving Algebraic Effects
|
2022 |
Voorneveld, Niels F. W. |
| 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 |
Tag hinzufügen