ICTAC2023: 20TH INTERNATIONAL COLLOQUIUM ON THEORETICAL ASPECTS OF COMPUTING

A
Accattoli, Beniamino	Strong Call-by-Value and Multi Types
Amrane, Amazigh	Closure and Decision Properties for Higher-Dimensional Automata
Azzopardi, Shaun	Synchronous Agents, Verification, and Blame — A Deontic View
B
Bazille, Hugo	Closure and Decision Properties for Higher-Dimensional Automata
Begemann, Marian Johannes	TOOL PAPER: Tessla-ROS-Bridge - Runtime Verification of Robotic Systems
Bereczky, Péter	Interactive Matching Logic Proofs in Coq
Brizzio, Matías	Efficient Reactive Synthesis Using Mode Decomposition
Butler, Michael	Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling
C
Chen, Haiming	Algorithms for Checking Intersection Non-emptiness of Regular Expressions
Cimini, Matteo	Towards the Complexity Analysis of Programming Language Proof Methods
D
Dagnino, Francesco	Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad
Din, Crystal Chang	Modular Soundness Checking of Feature Model Evolution Plans
Dorfhuber, Florian	Learning Attack Trees by Genetic Algorithms
E
Eisentraut, Julia	Learning Attack Trees by Genetic Algorithms
F
Fahrenberg, Uli	Closure and Decision Properties for Higher-Dimensional Automata
Farjudian, Amin	Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad
Franken, Tom T.P.	An Autonomous Data Language
G
Gale, Ella	A Categorical Approach to Synthetic Chemistry
Groote, Jan Friso	An Autonomous Data Language
Guerrieri, Giulio	Strong Call-by-Value and Multi Types
H
Hennicker, Rolf	Realisability of Global Models of Interaction
Hoang, Thai Son	Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling
Horpácsi, Dániel	Interactive Matching Logic Proofs in Coq
J
Johnsen, Einar Broch	Denotational Semantics for Symbolic Execution
K
Kallwies, Hannes	TOOL PAPER: Tessla-ROS-Bridge - Runtime Verification of Robotic Systems
Karsten, Nadine	Store Locally, Prove Globally
Keiren, Jeroen J.A.	Simplifying process parameters by unfolding algebraic data types
Kharraz, Karam	Synchronous Agents, Verification, and Blame — A Deontic View
Kløvstad, Åsmund Aqissiaq Arild	Denotational Semantics for Symbolic Execution
Kretinsky, Jan	Learning Attack Trees by Genetic Algorithms
Kuznetsov, Stepan	On the complexity of reasoning in Kleene algebras with commutativity conditions
L
Leberle, Maico	Strong Call-by-Value and Multi Types
Leucker, Martin	Synchronous Agents, Verification, and Blame — A Deontic View TOOL PAPER: Tessla-ROS-Bridge - Runtime Verification of Robotic Systems
Li, Rongchen	Algorithms for Checking Intersection Non-emptiness of Regular Expressions
Lobski, Leo	A Categorical Approach to Synthetic Chemistry
Lopez Pombo, Carlos G.	A Dynamic Temporal Logic for Quality of Service in Choreographic Models
M
Martínez Suñé, Agustín E.	A Dynamic Temporal Logic for Quality of Service in Choreographic Models
Moggi, Eugenio	Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad
Morris, Karla	Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling
Motzfeldt, Ida Sandberg	Modular Soundness Checking of Feature Model Evolution Plans
N
Nakanishi, Rindo	A game-theoretic approach to indistinguishability of winning objectives as user privacy
Neele, Thomas	An Autonomous Data Language Simplifying process parameters by unfolding algebraic data types
Nestmann, Uwe	Store Locally, Prove Globally
P
Peng, Chengyao	Algorithms for Checking Intersection Non-emptiness of Regular Expressions
Proença, José	Realisability of Global Models of Interaction
Pun, Violet Ka I	Modular Soundness Checking of Feature Model Evolution Plans
R
Ruangwises, Suthee	The Landscape of Computing Symmetric $n$-Variable Functions with $2n$ Cards
S
Schmitz, Malte	TOOL PAPER: Tessla-ROS-Bridge - Runtime Verification of Robotic Systems
Schneider, Gerardo	Synchronous Agents, Verification, and Blame — A Deontic View
Seki, Hiroyuki	A game-theoretic approach to indistinguishability of winning objectives as user privacy
Snook, Colin	Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling
Stolz, Volker	Modular Soundness Checking of Feature Model Evolution Plans
Stramaglia, Anna	Simplifying process parameters by unfolding algebraic data types
Su, Weihao	Algorithms for Checking Intersection Non-emptiness of Regular Expressions
Sánchez, César	Efficient Reactive Synthesis Using Mode Decomposition
T
Takata, Yoshiaki	A game-theoretic approach to indistinguishability of winning objectives as user privacy
ter Beek, Maurice	Realisability of Global Models of Interaction
Tuosto, Emilio	A Dynamic Temporal Logic for Quality of Service in Choreographic Models
Tušil, Jan	Interactive Matching Logic Proofs in Coq
V
Voogd, Erik	Denotational Semantics for Symbolic Execution
Y
Yu, Ingrid Chieh	Modular Soundness Checking of Feature Model Evolution Plans
Z
Zanasi, Fabio	A Categorical Approach to Synthetic Chemistry
Ziemianski, Krzysztof	Closure and Decision Properties for Higher-Dimensional Automata

Disclaimer | Powered by EasyChair Smart Program