:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Christ, Derek, Zimmermann, Thomas, Barbie, Philippe, Saberi, Dmitri, Yin, Yao, Jung, Matthias
Format:	Preprint
Publié:	2026
Sujets:	Hardware Architecture Formal Languages and Automata Theory
Accès en ligne:	https://arxiv.org/abs/2602.10654
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Automated Formal Verification of a Highly-Configurable Register Generator
par: Zhang, Shuhang, et autres
Publié: (2024)

In-Memory Sorting-Searching with Cayley Tree
par: Paul, Subrata, et autres
Publié: (2025)

Robust and Attack Resilient Logic Locking with a High Application-Level Impact
par: Liu, Yuntao, et autres
Publié: (2021)

Efficient Solving for Dynamic Data Structure Constraint Satisfaction Problem
par: Li, Nanbing, et autres
Publié: (2026)

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
par: Basin, David, et autres
Publié: (2025)

Formally Discovering and Reproducing Network Protocols Vulnerabilities
par: Crochet, Christophe, et autres
Publié: (2025)

Synthesizing Petri Nets from Labelled Petri Nets using Token Trail Regions
par: Bergenthum, Robin, et autres
Publié: (2026)

Correctness Notions for Petri Nets with Identifiers
par: van der Werf, Jan Martijn E. M., et autres
Publié: (2022)

Invariants and Home Spaces in Transition Systems and Petri Nets
par: Memmi, Gerard
Publié: (2023)

Well-Formed Free-Choice Petri Nets Revisited
par: Jancar, Petr, et autres
Publié: (2026)

Collaboration Miner: Discovering Collaboration Petri Nets (Extended Version)
par: Benzin, Janik-Vasily, et autres
Publié: (2024)

Efficient Construction of Reachability Graphs for Petri Net Product Lines
par: Gómez-Martínez, Elena, et autres
Publié: (2026)

Semiflows, Home Spaces, and Home States, Applications to the Analysis of Parameterized Petri Nets
par: Memmi, Gerard
Publié: (2025)

Secret Protection in Labeled Petri Nets
par: Haar, Stefan, et autres
Publié: (2025)

Persistent Permutability in Choice Petri Nets
par: Best, Eike, et autres
Publié: (2026)

Proving DNSSEC Correctness: A Formal Approach to Secure Domain Name Resolution
par: Zhang, Qifan, et autres
Publié: (2025)

Separators in Continuous Petri Nets
par: Blondin, Michael, et autres
Publié: (2022)

Extended time Petri nets
par: Radom, Marcin, et autres
Publié: (2024)

NetAgentBench: A State-Centric Benchmark for Evaluating Agentic Network Configuration
par: Twabi, Ahmed, et autres
Publié: (2026)

Automata Size Reduction by Procedure Finding
par: Šedý, Michal, et autres
Publié: (2024)

You May Delay, but Time Will Not: Timed Games Under Delayed Control
par: Larsen, Kim G., et autres
Publié: (2025)

Non-interference analysis of bounded labeled Petri nets
par: Ran, Ning, et autres
Publié: (2025)

Modelling and Analysis of Supply Chains using Product Time Petri Nets
par: Lubat, Eric, et autres
Publié: (2026)

Time for Timed Monitorability
par: Grosen, Thomas M., et autres
Publié: (2025)

Relating Reversible Petri Nets and Reversible Event Structures, categorically
par: Melgratti, Hernán, et autres
Publié: (2023)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
par: Zhang, Kaiwen, et autres
Publié: (2026)

Formalized Run-Time Analysis of Active Learning -- Coalgebraically in Agda
par: Wißmann, Thorsten
Publié: (2026)

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
par: Fränzle, Martin, et autres
Publié: (2024)

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
par: Modesti, Paolo, et autres
Publié: (2021)

Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability
par: Cimatti, Alessandro, et autres
Publié: (2024)

Tracer: A Tool for Race Detection in Software Defined Network Models
par: Caltais, Georgiana, et autres
Publié: (2024)

Executable QR codes with Machine Learning for Industrial Applications
par: Scanzio, Stefano, et autres
Publié: (2024)

Maximal and minimal dynamic Petri net slicing
par: Llorens, Marisa, et autres
Publié: (2021)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
par: Zhang, Kaiwen, et autres
Publié: (2022)

WEX: Formal Specifications for Windows in Stream Processing
par: Hitarth, S, et autres
Publié: (2022)

A Formal Approach for Tuning Stochastic Oscillators
par: Ballarini, Paolo, et autres
Publié: (2024)

Closure Properties of General Grammars -- Formally Verified
par: Dvorak, Martin, et autres
Publié: (2023)

Formally Verified Linear-Time Invertible Lexing
par: Chassot, Samuel, et autres
Publié: (2025)

A General Information Extraction Framework Based on Formal Languages
par: Schmid, Markus L.
Publié: (2025)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
par: Kan, Shuanglong, et autres
Publié: (2025)