Imagen de Portada

DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Christ, Derek, Zimmermann, Thomas, Barbie, Philippe, Saberi, Dmitri, Yin, Yao, Jung, Matthias
Formato:	Preprint
Publicado:	2026
Materias:	Hardware Architecture Formal Languages and Automata Theory
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

Synthesizing Petri Nets from Labelled Petri Nets using Token Trail Regions
por: Bergenthum, Robin, et al.
Publicado: (2026)

Correctness Notions for Petri Nets with Identifiers
por: van der Werf, Jan Martijn E. M., et al.
Publicado: (2022)

Invariants and Home Spaces in Transition Systems and Petri Nets
por: Memmi, Gerard
Publicado: (2023)

Well-Formed Free-Choice Petri Nets Revisited
por: Jancar, Petr, et al.
Publicado: (2026)

Collaboration Miner: Discovering Collaboration Petri Nets (Extended Version)
por: Benzin, Janik-Vasily, et al.
Publicado: (2024)

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

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

Secret Protection in Labeled Petri Nets
por: Haar, Stefan, et al.
Publicado: (2025)

Persistent Permutability in Choice Petri Nets
por: Best, Eike, et al.
Publicado: (2026)

Extended time Petri nets
por: Radom, Marcin, et al.
Publicado: (2024)

Separators in Continuous Petri Nets
por: Blondin, Michael, et al.
Publicado: (2022)

You May Delay, but Time Will Not: Timed Games Under Delayed Control
por: Larsen, Kim G., et al.
Publicado: (2025)

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

Non-interference analysis of bounded labeled Petri nets
por: Ran, Ning, et al.
Publicado: (2025)

Time for Timed Monitorability
por: Grosen, Thomas M., et al.
Publicado: (2025)

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

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

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

Modelling and Analysis of Supply Chains using Product Time Petri Nets
por: Lubat, Eric, et al.
Publicado: (2026)

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

Relating Reversible Petri Nets and Reversible Event Structures, categorically
por: Melgratti, Hernán, et al.
Publicado: (2023)

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

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
por: Modesti, Paolo, et al.
Publicado: (2021)

Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability
por: Cimatti, Alessandro, et al.
Publicado: (2024)

WEX: Formal Specifications for Windows in Stream Processing
por: Hitarth, S, et al.
Publicado: (2022)

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

Closure Properties of General Grammars -- Formally Verified
por: Dvorak, Martin, et al.
Publicado: (2023)

Maximal and minimal dynamic Petri net slicing
por: Llorens, Marisa, et al.
Publicado: (2021)

A General Information Extraction Framework Based on Formal Languages
por: Schmid, Markus L.
Publicado: (2025)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
por: Kan, Shuanglong, et al.
Publicado: (2025)

Descriptional Complexity of Finite Automata -- Selected Highlights
por: Salomaa, Arto, et al.
Publicado: (2023)

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
por: Zhang, Shuhang, et al.
Publicado: (2025)

Waiting Nets: State Classes and Taxonomy
por: Hélouët, Loïc, et al.
Publicado: (2022)

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