default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th 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
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 2025-04-22 21:11 CEST 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:
