Cover Image

Executable QR codes with Machine Learning for Industrial Applications

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Scanzio, Stefano, Velluto, Francesco, Rosani, Matteo, Wisniewski, Lukasz, Cena, Gianluca
Format:	Preprint
Published:	2024
Subjects:	Networking and Internet Architecture Computation and Language Formal Languages and Automata Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Compression of executable QR codes or sQRy for Industry: an example for Wi-Fi access points
by: Scanzio, Stefano, et al.
Published: (2025)

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
by: Basin, David, et al.
Published: (2025)

Automata Size Reduction by Procedure Finding
by: Šedý, Michal, et al.
Published: (2024)

Tracer: A Tool for Race Detection in Software Defined Network Models
by: Caltais, Georgiana, et al.
Published: (2024)

QRscript: Embedding a Programming Language in QR codes to support Decision and Management
by: Scanzio, Stefano, et al.
Published: (2024)

Formally Discovering and Reproducing Network Protocols Vulnerabilities
by: Crochet, Christophe, et al.
Published: (2025)

NetAgentBench: A State-Centric Benchmark for Evaluating Agentic Network Configuration
by: Twabi, Ahmed, et al.
Published: (2026)

Proving DNSSEC Correctness: A Formal Approach to Secure Domain Name Resolution
by: Zhang, Qifan, et al.
Published: (2025)

QRtree -- Decision Tree dialect specification of QRscript
by: Scanzio, Stefano, et al.
Published: (2024)

QRscript specification
by: Scanzio, Stefano, et al.
Published: (2024)

Automated Formal Verification of a Highly-Configurable Register Generator
by: Zhang, Shuhang, et al.
Published: (2024)

In-Memory Sorting-Searching with Cayley Tree
by: Paul, Subrata, et al.
Published: (2025)

DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets
by: Christ, Derek, et al.
Published: (2026)

Reachability in symmetric VASS
by: Kamiński, Łukasz, et al.
Published: (2025)

Packet Steering Mechanisms for MLO in Wi-Fi 7
by: Cena, Gianluca, et al.
Published: (2024)

Execution and monitoring of HOA automata with HOAX
by: Di Stefano, Luca
Published: (2025)

Languages of Boundedly-Ambiguous Vector Addition Systems with States
by: Czerwiński, Wojciech, et al.
Published: (2025)

Robust and Attack Resilient Logic Locking with a High Application-Level Impact
by: Liu, Yuntao, et al.
Published: (2021)

Self-Replicating Mechanical Universal Turing Machine
by: Lano, Ralph P.
Published: (2024)

Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
by: Prabhu, Shreekanth M, et al.
Published: (2023)

Execution-time opacity problems in one-clock parametric timed automata
by: André, Étienne, et al.
Published: (2024)

Efficient Solving for Dynamic Data Structure Constraint Satisfaction Problem
by: Li, Nanbing, et al.
Published: (2026)

Analysis of the operation of a TSN switch and other devices using executable QR codes
by: Scanzio, Stefano, et al.
Published: (2025)

Binary codes that do not preserve primitivity
by: Holub, Štěpán, et al.
Published: (2022)

Finite maximal codes and factorizations of cyclic groups
by: De Felice, Clelia
Published: (2022)

Notes on Stack Machines and Quantum Stack Machines
by: Qiu, Daowen
Published: (2025)

CASP: An evaluation dataset for formal verification of C code
by: Hertzberg, Niclas, et al.
Published: (2025)

Networks of Moore Machines
by: Yodaiken, Victor
Published: (2015)

LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving
by: Pan, Muyu, et al.
Published: (2025)

Bridging the Empirical-Theoretical Gap in Neural Network Formal Language Learning Using Minimum Description Length
by: Lan, Nur, et al.
Published: (2024)

Tahr: The Generative Attribute Grammar Framework
by: Ciccaglione, Matteo, et al.
Published: (2025)

Digital Circuits as Moore Machines
by: Yodaiken, Victor
Published: (2010)

Reachability in VASS Extended with Integer Counters
by: Bizière, Clotilde, et al.
Published: (2026)

Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
by: Manini, Andrea, et al.
Published: (2025)

TARZAN: A Region-Based Library for Forward and Backward Reachability of Timed Automata (Extended Version)
by: Manini, Andrea, et al.
Published: (2026)

Bi-reachability in Petri nets with data
by: Kamiński, Łukasz, et al.
Published: (2024)

On Decidability Timed Automata with 2 Parametric Clocks
by: Bersani, Marcello M., et al.
Published: (2025)

Combinatorics of nondeterministic walks
by: de Panafieu, Élie, et al.
Published: (2023)

ToolGate: Contract-Grounded and Verified Tool Execution for LLMs
by: Liu, Yanming, et al.
Published: (2026)

Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
by: Mandrioli, Dino, et al.
Published: (2020)