default search action
19th ICTAC 2022: Tbilisi, Georgia
- Helmut Seidl, Zhiming Liu
, Corina S. Pasareanu:
Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings. Lecture Notes in Computer Science 13572, Springer 2022, ISBN 978-3-031-17714-9 - David A. Basin
VeriMon: A Formally Verified Monitoring Tool. 1-6 - Bernhard Beckert
Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems. 7-13 - Volker Diekert
Reachability Games and Parity Games. 14-35 - Miaomiao Zhang, Wanwei Liu, Xiaochen Tang, Bowen Du, Zhiming Liu:
Human-Cyber-Physical Automata and Their Synthesis. 36-41 - Yehia Abd Alrahman
A PO Characterisation of Reconfiguration. 42-59 - Sandra Alves, Mário Florido
Structural Rules and Algebraic Properties of Intersection Types. 60-77 - Sandra Alves
Quantitative Weak Linearisation. 78-95 - Musab A. Alturki, Tajana Ban Kirigin
On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems. 96-113 - Christopher Bischopink, Ernst-Rüdiger Olderog:
Spatial and Timing Properties in Highway Traffic. 114-131 - Ningning Chen, Huibiao Zhu:
Denotational and Algebraic Semantics for the CaIT Calculus. 132-150 - Luís Cruz-Filipe
Reconciling Communication Delays and Negation. 151-169 - Matthieu Dien, Antoine Genitrini
A Combinatorial Study of Async/Await Processes. 170-187 - Denis Firsov, Sven Laur, Ekaterina Zhuchko:
Unsatisfiability of Comparison-Based Non-malleability for Commitments. 188-194 - Ziyuan Gao, Sanjay Jain, Zeyong Li, Ammar Fathin Sabili
Alternating Automatic Register Machines. 195-211 - Luís Cruz-Filipe
Functional Choreographic Programming. 212-237 - Zhen Huang, Bo Li, Dehui Du, Qin Li
A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems. 238-254 - Kentaro Kikuchi:
Ground Confluence and Strong Commutation Modulo Alpha-Equivalence in Nominal Rewriting. 255-271 - Hai Lin
Local XOR Unification: Definitions, Algorithms and Application to Cryptography. 272-289 - Alexandru-Ioan Lungu, Dorel Lucanu:
A Matching Logic Foundation for Alk. 290-304 - Dylan McDermott
A Type System with Subtyping for WebAssembly's Stack Polymorphism. 305-323 - Niels Mündler
A Verified Implementation of B+-Trees in Isabelle/HOL. 324-341 - Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki:
Active Learning for Deterministic Bottom-Up Nominal Tree Automata. 342-359 - Nicolas Nalpon, Cyril Allignol
Towards a User Interface Description Language Based on Bigraphs. 360-368 - Raúl Pardo, Einar Broch Johnsen, Ina Schaefer
A Specification Logic for Programs in the Probabilistic Guarded Command Language. 369-387 - Hayato Shikata
Card-Minimal Protocols for Symmetric Boolean Functions of More than Seven Inputs. 388-406 - Niels F. W. Voorneveld
Runners for Interleaving Algebraic Effects. 407-424 - Tomoyuki Yamakami:
Formal Grammars for Turn-Bounded Deterministic Context-Free Languages. 425-441 - Xiyue Zhang, Xiaohong Chen, Meng Sun:
Towards a Unifying Logical Framework for Neural Networks. 442-461 - Pedro Ângelo, Mário Florido
Type Inference for Rank-2 Intersection Types Using Set Unification. 462-480
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-31 21:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: