ICTAC

Keyphrases

Publications

2023

Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
A Game-Theoretic Approach to Indistinguishability of Winning Objectives as User Privacy. ICTAC (2023)
Karla Vanessa Morris Wright, Thai Son Hoang, Colin F. Snook, Michael J. Butler
Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling. ICTAC (2023)
Maurice H. ter Beek, Rolf Hennicker, José Proença
Realisability of Global Models of Interaction. ICTAC (2023)
Stepan L. Kuznetsov
On the Complexity of Reasoning in Kleene Algebra with Commutativity Conditions. ICTAC (2023)
Anna Stramaglia, Jeroen J. A. Keiren, Thomas Neele
Simplifying Process Parameters by Unfolding Algebraic Data Types. ICTAC (2023)
Marijn J. H. Heule
Without Loss of Satisfaction. ICTAC (2023)
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
Closure and Decision Properties for Higher-Dimensional Automata. ICTAC (2023)
Suthee Ruangwises
The Landscape of Computing Symmetric n-Variable Functions with 2n Cards. ICTAC (2023)
Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker
Synchronous Agents, Verification, and Blame - A Deontic View. ICTAC (2023)
Francesco Dagnino, Amin Farjudian, Eugenio Moggi
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. ICTAC (2023)
Pedro R. D'Argenio
Optimal Route Synthesis in Space DTN Using Markov Decision Processes. ICTAC (2023)
Marian Johannes Begemann, Hannes Kallwies, Martin Leucker, Malte Schmitz
TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems. ICTAC (2023)
Weihao Su, Rongchen Li, Chengyao Peng, Haiming Chen
Algorithms for Checking Intersection Non-emptiness of Regular Expressions. ICTAC (2023)
Jan Tusil, Péter Bereczky, Dániel Horpácsi
Interactive Matching Logic Proofs in Coq. ICTAC (2023)
Florian Dorfhuber, Julia Eisentraut, Jan Kretínský
Learning Attack Trees by Genetic Algorithms. ICTAC (2023)
Matteo Cimini
Towards the Complexity Analysis of Programming Language Proof Methods. ICTAC (2023)
Ziggy Attala, Ana Cavalcanti, Jim Woodcock
Modelling and Verifying Robotic Software that Uses Neural Networks. ICTAC (2023)
Tom T. P. Franken, Thomas Neele, Jan Friso Groote
An Autonomous Data Language. ICTAC (2023)
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
Strong Call-by-Value and Multi Types. ICTAC (2023)
Ella Gale, Leo Lobski, Fabio Zanasi
A Categorical Approach to Synthetic Chemistry. ICTAC (2023)
Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto
A Dynamic Temporal Logic for Quality of Service in Choreographic Models. ICTAC (2023)
Matías Brizzio, César Sánchez
Efficient Reactive Synthesis Using Mode Decomposition. ICTAC (2023)
Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen
Denotational Semantics for Symbolic Execution. ICTAC (2023)
Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din, Violet Ka I Pun, Volker Stolz
Modular Soundness Checking of Feature Model Evolution Plans. ICTAC (2023)
Nadine Karsten, Uwe Nestmann
Store Locally, Prove Globally. ICTAC (2023)

volume 14446, 2023

Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings ICTAC 14446 (2023)

2022

volume 13572, 2022

Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings ICTAC 13572 (2022)