Books+ Search Results
Theoretical Aspects of Computing - ICTAC 2022 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings
Title
Theoretical Aspects of Computing - ICTAC 2022 [electronic resource] : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings / edited by Helmut Seidl, Zhiming Liu, Corina S. Pasareanu.
ISBN
9783031177156
Edition
1st ed. 2022.
Publication
Cham : Springer International Publishing : Imprint: Springer, 2022.
Physical Description
1 online resource (XIII, 482 p.) 89 illus., 28 illus. in color.
Local Notes
Access is available to the Yale community.
Access and use
Access restricted by licensing agreement.
Summary
This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022. The 23 papers presented in this volume together with 2 short papers were carefully reviewed and selected from 52 submissions. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
Variant and related titles
Springer ENIN.
Other formats
Printed edition:
Printed edition:
Format
Books / Online
Language
English
Added to Catalog
October 06, 2022
Series
Lecture Notes in Computer Science, 13572
Contents
VeriMon: A Formally Verified Monitoring Tool
Generalized Test Tables: A Domain-specific Specification Language for Automated Production
On Safety, Assurance and Reliability: A Software Engineering Perspective
Reachability Games and Parity Games
A PO Characterisation of Reconfiguration
Structural Rules and Algebraic Properties of Intersection Types
Florido Quantitative Weak Linearisation
On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems
Spatial and Timing Properties in Highway Traffic
Denotational and Algebraic Semantics for the CaIT calculus
Reconciling communication delays and negation
A Combinatorial Study of Async/Await Processes
Unsatisfiability of Comparison-Based Non-Malleability for Commitments
Alternating Automatic Register Machines
Functional Choreographic Programming
A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems
Ground Confluence and Strong Commutation modulo Alpha-Equivalence in Nominal Rewriting
Local XOR Unification: Definitions, Algorithms and Application to Cryptography
A Matching Logic Foundation for Alk
A Type System with Subtyping for WebAssembly's Stack Polymorphism
A Verified Implementation of B+-trees in Isabelle/HOL
Toward a user interface description language based on bigraphs
A Specification Logic for Programs in the Probabilistic Guarded Command Language.
Subjects
Also listed under
SpringerLink (Online service)
Bookmark As
Citation
