![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
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
, Thibault Dardinier
, Nico Hauser, Lukas Heimes, Jonathan Julián Huerta y Munive
, Nicolas Kaletsch, Srdan Krstic
, Emanuele Marsicano, Martin Raszyk
, Joshua Schneider
, Dawit Legesse Tirore
, Dmitriy Traytel
, Sheila Zingg:
VeriMon: A Formally Verified Monitoring Tool. 1-6 - Bernhard Beckert
, Mattias Ulbrich
, Birgit Vogel-Heuser
, Alexander Weigl
:
Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems. 7-13 - Volker Diekert
, Manfred Kufleitner
:
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
, Mauricio Martel
, Nir Piterman
:
A PO Characterisation of Reconfiguration. 42-59 - Sandra Alves, Mário Florido
:
Structural Rules and Algebraic Properties of Intersection Types. 60-77 - Sandra Alves
, Daniel Ventura
:
Quantitative Weak Linearisation. 78-95 - Musab A. Alturki, Tajana Ban Kirigin
, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
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
, Graça Gaspar
, Isabel Nunes
:
Reconciling Communication Delays and Negation. 151-169 - Matthieu Dien, Antoine Genitrini
, Frédéric Peschanski
:
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, Frank Stephan
:
Alternating Automatic Register Machines. 195-211 - Luís Cruz-Filipe
, Eva Graversen
, Lovro Lugovic
, Fabrizio Montesi
, Marco Peressotti
:
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
, Christopher Lynch
:
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
, Yasuaki Morita
, Tarmo Uustalu
:
A Type System with Subtyping for WebAssembly's Stack Polymorphism. 305-323 - Niels Mündler
, Tobias Nipkow
:
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
, Célia Picard
:
Towards a User Interface Description Language Based on Bigraphs. 360-368 - Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski
:
A Specification Logic for Programs in the Probabilistic Guarded Command Language. 369-387 - Hayato Shikata
, Kodai Toyoda
, Daiki Miyahara
, Takaaki Mizuki
:
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
![](https://dblp.org/img/cog.dark.24x24.png)
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.