:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Paul, Subrata, Das, Sukanta, Sikdar, Biplab K
Format:	Preprint
Published:	2025
Subjects:	Formal Languages and Automata Theory Hardware Architecture
Online Access:	https://arxiv.org/abs/2506.19379
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Temporally Non-Uniform Cellular Automata: Surjectivity, Reversibility and Cyclic Behavior
by: Paul, Subrata, et al.
Published: (2024)

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

Maximal Length Cellular Automata : A Survey
by: Adak, Sumit, et al.
Published: (2024)

A Survey of Cellular Automata: Types, Dynamics, Non-uniformity and Applications
by: Bhattacharjee, Kamalika, et al.
Published: (2016)

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)

Executable QR codes with Machine Learning for Industrial Applications
by: Scanzio, Stefano, et al.
Published: (2024)

Cayley Automatic Groups and Numerical Characteristics of Turing Transducers
by: Berdinsky, Dmitry
Published: (2016)

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

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

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

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

Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers
by: Gallot, Paul, et al.
Published: (2023)

Scalable Tree-based Register Automata Learning
by: Dierl, Simon, et al.
Published: (2024)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
by: Akshay, S., et al.
Published: (2024)

A Formal Approach for Tuning Stochastic Oscillators
by: Ballarini, Paolo, et al.
Published: (2024)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
by: Eichler, Paul, et al.
Published: (2024)

Simulations for Event-Clock Automata
by: Akshay, S, et al.
Published: (2022)

On the Complexity of Language Membership for Probabilistic Words
by: Amarilli, Antoine, et al.
Published: (2025)

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
by: Lehaut, Mathieu, et al.
Published: (2026)

Reversible Pebble Transducers
by: Dartois, Luc, et al.
Published: (2025)

TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
by: Akshay, S., et al.
Published: (2025)

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
by: Akshay, S, et al.
Published: (2023)

The Expansion Problem for Infinite Trees
by: Blumensath, Achim
Published: (2023)

Reversible Transducers over Infinite Words
by: Dartois, Luc, et al.
Published: (2024)

The Power-Set Construction for Tree Algebras
by: Blumensath, Achim
Published: (2022)

Global One-Counter Tree Automata
by: Herrmann, Luisa, et al.
Published: (2024)

Attributed Tree Transducers for Partial Functions
by: Maneth, Sebastian, et al.
Published: (2024)

Non-Global Parikh Tree Automata
by: Herrmann, Luisa, et al.
Published: (2024)

Resolving Nondeterminism by Chance
by: Paul, Soumyajit, et al.
Published: (2025)

A Tree Sampler for Bounded Context-Free Languages
by: Considine, Breandan
Published: (2024)

Regular Grammars for Sets of Graphs of Tree-Width 2
by: Bozga, Marius, et al.
Published: (2024)

Weighted Tree Automata -- May it be a little more?
by: Fülöp, Zoltán, et al.
Published: (2022)

Some Remarks on First-Order Definable Tree Languages
by: Blumensath, Achim
Published: (2024)

History-Deterministic Büchi Automata are Succinct
by: Casares, Antonio, et al.
Published: (2026)

Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
by: Hausmann, Daniel, et al.
Published: (2024)

When is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic?
by: Maneth, Sebastian, et al.
Published: (2025)