Table of Contents: “...Research Track -- Generating Android Tests using Novelty Search -- Expound: A Black-box Approach for Generating Diversity-Driven Adversarial Examples -- Developer Views on Software Carbon Footprint and its Potential for Automated Reduction -- Search...”

Full text 

Table of Contents: “... -- TransCenter: Transformer in Heatmap and A New Form of Bounding Box -- Causal-Inspired Influence Maximization in Hypergraphs Under Temporal Constraints -- Enhanced Generation of Human Mobility Trajectory with Multiscale Model -- SRLI:Handling Irregular Time Series...”

Full text 

Table of Contents: “... by Fuzzing-based Pre-Analysis (Competition Contribution) -- Fizzer: New Gray-Box Fuzzer (Competition Contribution) -- KLEEF: Symbolic Execution Engine (Competition Contribution) -- TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition...”

Full text 

Table of Contents: “... -- Part 2. Mathematical models of flow Chapter. 2. Analysis of many-body particle systems by geometry and box-ball-system theory -- Chapter 3. Discrete Integrable Systems, LR transformations and Box-Ball Systems -- Part 3. Mathematical methods for huge data...”

Full text 

Table of Contents: “... -- From Substitution Box To Threshold -- Tight Security Bound of 2k-LightMAC Plus -- Designing Full-Rate Sponge based AEAD Modes -- Towards Minimizing Tweakable Blockcipher-based Generalized Feistel Net- works -- The Patching Landscape of Elisabeth-4...”

Full text 

Table of Contents: “...Assumption Generation for Learning-Enabled Autonomous Systems -- Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes -- Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking...”

Full text 

Table of Contents: “... Redundancy Learning for Unsupervised Multi-view Feature Selection -- Dynamic Feed-Forward LSTM -- Black-box Adversarial Attack on Graph Neural Networks Based on Node Domain Knowledge -- Role and Relationship-Aware Representation Learning for Complex Coupled...”

Full text 

Table of Contents: “... Non-Recurrent Letter -- Merging two Hierarchies of External Contextual Grammars with Subregular Selection -- A Tight Upper Bound on the Length of Maximal Bordered Box Repetition-Free Words....”

Full text 

Table of Contents: “... Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint...”

Full text 

Table of Contents: “...Transducers and the Power of Delay -- When the Map is More Exact than the Terrain -- Formal Languages and the NLP Black Box -- On Structural Tractability Parameters for Hard String Problems -- Jumping Automata over Infinite Words -- Isometric Words based...”

Full text 

Table of Contents: “... for Digital Content Understanding -- Desertification Detection in Satellite Images using Siamese Variational Autoencoder with Transfer Learning -- Speaker Identification Enhancement Using Emotional Features -- Classification of punches in Olympic boxing using...”

Full text 

Full text 

Table of Contents: “... of Reactive Plans Using Social Norms -- Self-Learning Governance of Black-Box Multi-Agent Systems -- Computational Theory of Mind for Human-Agent Coordination -- Computational Discovery of Transaction-Based Financial Crime via Grammatical Evolution: The Case...”

Full text 

Table of Contents: “...Process mining -- Decision Mining with Time Series Data Based on Automatic Feature Generation -- Inferring A Multi-Perspective Likelihood Graph from Black-Box Next Event Predictors -- Bootstrapping Generalization of Process Models Discovered From Event...”

Full text 

Table of Contents: “... on Rectangular Boards - Part 1: Partisan Col and Snort -- Solving Bicoloring-Graph Games on Rectangular Boards - Part 2: Impartial Col and Snort -- BoxOff is NP-Complete....”

Full text 

Table of Contents: “... -- The Skewed Kruskal algorithm -- Bounds for sparse solutions of K-SVCR multi-class classification model -- Integer Linear Programming in Solving an Optimization Problem at the Mixing Department of the Metallurgical Production -- Realtime Gray-Box Algorithm...”

Full text 

Table of Contents: “...Invited Paper -- Learning Monitorable Operational Design Domains for Assured Autonomy -- Reinforcement Learning -- Dynamic Shielding for Reinforcement Learning in Black-Box Environments -- An Impossibility Result in Automata-Theoretic Reinforcement...”

Full text 

Table of Contents: “... Temporal Logic -- Equivalence Checking 40 Years After: A Review of Bisimulation Tools -- Apartness and Distinguishing formulas in Using the parallel ATerm library for parallel model checking and state space generation -- Active Automata Learning as Black-Box...”

Full text 

Table of Contents: “... Points -- Collective Learning of Low-Memory Matrix Adaptation for Large-Scale Black-Box Optimization -- Evolutionary Time-Use Optimization for Improving Children's Health Outcomes -- Iterated Local Search for the eBuses Charging Location Problem -- Multi-view...”

Full text 

Table of Contents: “...Installation -- Networks 4 newbies -- Python Basics -- Layer 2 attacks -- TCP / IP Tricks -- WHO IS DNS? -- HTTP Hacks -- Wifi fun -- Feeling Bluetooth on the Tooth -- Bargain Box Kung Fu -- Scapy Reference -- Secondary Links -- Index....”

Full text