:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Christ, Derek, Zimmermann, Thomas, Barbie, Philippe, Saberi, Dmitri, Yin, Yao, Jung, Matthias
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Hardware Architecture Formal Languages and Automata Theory
Online-Zugang:	https://arxiv.org/abs/2602.10654
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Automated Formal Verification of a Highly-Configurable Register Generator
von: Zhang, Shuhang, et al.
Veröffentlicht: (2024)

In-Memory Sorting-Searching with Cayley Tree
von: Paul, Subrata, et al.
Veröffentlicht: (2025)

Robust and Attack Resilient Logic Locking with a High Application-Level Impact
von: Liu, Yuntao, et al.
Veröffentlicht: (2021)

Efficient Solving for Dynamic Data Structure Constraint Satisfaction Problem
von: Li, Nanbing, et al.
Veröffentlicht: (2026)

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

Formally Discovering and Reproducing Network Protocols Vulnerabilities
von: Crochet, Christophe, et al.
Veröffentlicht: (2025)

Synthesizing Petri Nets from Labelled Petri Nets using Token Trail Regions
von: Bergenthum, Robin, et al.
Veröffentlicht: (2026)

Correctness Notions for Petri Nets with Identifiers
von: van der Werf, Jan Martijn E. M., et al.
Veröffentlicht: (2022)

Invariants and Home Spaces in Transition Systems and Petri Nets
von: Memmi, Gerard
Veröffentlicht: (2023)

Well-Formed Free-Choice Petri Nets Revisited
von: Jancar, Petr, et al.
Veröffentlicht: (2026)

Collaboration Miner: Discovering Collaboration Petri Nets (Extended Version)
von: Benzin, Janik-Vasily, et al.
Veröffentlicht: (2024)

Efficient Construction of Reachability Graphs for Petri Net Product Lines
von: Gómez-Martínez, Elena, et al.
Veröffentlicht: (2026)

Semiflows, Home Spaces, and Home States, Applications to the Analysis of Parameterized Petri Nets
von: Memmi, Gerard
Veröffentlicht: (2025)

Secret Protection in Labeled Petri Nets
von: Haar, Stefan, et al.
Veröffentlicht: (2025)

Persistent Permutability in Choice Petri Nets
von: Best, Eike, et al.
Veröffentlicht: (2026)

Proving DNSSEC Correctness: A Formal Approach to Secure Domain Name Resolution
von: Zhang, Qifan, et al.
Veröffentlicht: (2025)

Separators in Continuous Petri Nets
von: Blondin, Michael, et al.
Veröffentlicht: (2022)

Extended time Petri nets
von: Radom, Marcin, et al.
Veröffentlicht: (2024)

NetAgentBench: A State-Centric Benchmark for Evaluating Agentic Network Configuration
von: Twabi, Ahmed, et al.
Veröffentlicht: (2026)

Automata Size Reduction by Procedure Finding
von: Šedý, Michal, et al.
Veröffentlicht: (2024)

You May Delay, but Time Will Not: Timed Games Under Delayed Control
von: Larsen, Kim G., et al.
Veröffentlicht: (2025)

Non-interference analysis of bounded labeled Petri nets
von: Ran, Ning, et al.
Veröffentlicht: (2025)

Modelling and Analysis of Supply Chains using Product Time Petri Nets
von: Lubat, Eric, et al.
Veröffentlicht: (2026)

Time for Timed Monitorability
von: Grosen, Thomas M., et al.
Veröffentlicht: (2025)

Relating Reversible Petri Nets and Reversible Event Structures, categorically
von: Melgratti, Hernán, et al.
Veröffentlicht: (2023)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2026)

Formalized Run-Time Analysis of Active Learning -- Coalgebraically in Agda
von: Wißmann, Thorsten
Veröffentlicht: (2026)

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
von: Fränzle, Martin, et al.
Veröffentlicht: (2024)

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
von: Modesti, Paolo, et al.
Veröffentlicht: (2021)

Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability
von: Cimatti, Alessandro, et al.
Veröffentlicht: (2024)

Tracer: A Tool for Race Detection in Software Defined Network Models
von: Caltais, Georgiana, et al.
Veröffentlicht: (2024)

Executable QR codes with Machine Learning for Industrial Applications
von: Scanzio, Stefano, et al.
Veröffentlicht: (2024)

Maximal and minimal dynamic Petri net slicing
von: Llorens, Marisa, et al.
Veröffentlicht: (2021)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2022)

WEX: Formal Specifications for Windows in Stream Processing
von: Hitarth, S, et al.
Veröffentlicht: (2022)

A Formal Approach for Tuning Stochastic Oscillators
von: Ballarini, Paolo, et al.
Veröffentlicht: (2024)

Closure Properties of General Grammars -- Formally Verified
von: Dvorak, Martin, et al.
Veröffentlicht: (2023)

Formally Verified Linear-Time Invertible Lexing
von: Chassot, Samuel, et al.
Veröffentlicht: (2025)

A General Information Extraction Framework Based on Formal Languages
von: Schmid, Markus L.
Veröffentlicht: (2025)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
von: Kan, Shuanglong, et al.
Veröffentlicht: (2025)