Copertina

Reactive graphs in action (extended version)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Tinoco, David, Madeira, Alexandre, Martins, Manuel A., Proença, José
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Fully Generalized Reactivity(1) Synthesis
di: Ehlers, Rüdiger, et al.
Pubblicazione: (2024)

Characterizing Implementability of Global Protocols with Infinite States and Data
di: Li, Elaine, et al.
Pubblicazione: (2024)

V-Star: Learning Visibly Pushdown Grammars from Program Inputs
di: Jia, Xiaodong, et al.
Pubblicazione: (2024)

Equivalence and Similarity Refutation for Probabilistic Programs
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Synchronisability in Mailbox Communication
di: Di Giusto, Cinzia, et al.
Pubblicazione: (2024)

Verification under TSO with an infinite Data Domain
di: Abdulla, Parosh Aziz, et al.
Pubblicazione: (2024)

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
di: Nepeivoda, Antonina, et al.
Pubblicazione: (2025)

Saturating automata for game semantics
di: Dixon, Alex, et al.
Pubblicazione: (2023)

Decision Procedure for A Theory of String Sequences
di: Hu, Denghang, et al.
Pubblicazione: (2025)

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
di: Stutz, Felix, et al.
Pubblicazione: (2025)

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
di: Paul, Abhijit
Pubblicazione: (2025)

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

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

Synthesizing DSLs for Few-Shot Learning
di: Krogmeier, Paul, et al.
Pubblicazione: (2025)

Syntax Repair as Language Intersection
di: Considine, Breandan
Pubblicazione: (2025)

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking
di: Li, Elaine, et al.
Pubblicazione: (2026)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
di: Geißler, Dominik, et al.
Pubblicazione: (2025)

Refuting Equivalence in Probabilistic Programs with Conditioning
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2025)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
di: Geißler, Dominik, et al.
Pubblicazione: (2025)

Polyregular equivalence is undecidable in higher-order types
di: Bojańczyk, Mikołaj, et al.
Pubblicazione: (2026)

Linear Matching of JavaScript Regular Expressions
di: Barrière, Aurèle, et al.
Pubblicazione: (2023)

Formally Verified Linear-Time Invertible Lexing
di: Chassot, Samuel, et al.
Pubblicazione: (2025)

Verifying Asynchronous Hyperproperties in Reactive Systems
di: Beutner, Raven, et al.
Pubblicazione: (2025)

Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis
di: Yang, Dong, et al.
Pubblicazione: (2024)

Development of parallel programs on shared data-structures -- Revised version
di: Stølen, Ketil
Pubblicazione: (2024)

State estimation of timed automata under partial observation [Draft version]
di: Gao, Chao, et al.
Pubblicazione: (2024)

Duality-based Mode Operations and Pyramid Multilayer Mapping for Rhetorical Modes
di: Wu, Zi-Niu
Pubblicazione: (2025)

Automating the Analysis and Improvement of Dynamic Programming Algorithms with Applications to Natural Language Processing
di: Vieira, Tim
Pubblicazione: (2026)

DTMC Model Checking by Path Abstraction Revisited (extended version)
di: Hartmanns, Arnd, et al.
Pubblicazione: (2025)

Engineering an LTLf Synthesis Tool
di: Duret-Lutz, Alexandre, et al.
Pubblicazione: (2025)

Completely Reachable Almost Group Automata
di: Torres, David Fernando Casas
Pubblicazione: (2024)

Cost Automata, Safe Schemes, and Downward Closures
di: Barozzini, David, et al.
Pubblicazione: (2020)

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

History-Constrained Systems
di: Kuijer, Louwe B., et al.
Pubblicazione: (2026)

Detecting and Explaining (In-)equivalence of Context-Free Grammars
di: Schmellenkamp, Marko, et al.
Pubblicazione: (2024)

Type-safe Monitoring of Parameterized Streams
di: Baumeister, Jan, et al.
Pubblicazione: (2026)

Productive Quantum Programming Needs Better Abstract Machines
di: Núñez-Corrales, Santiago, et al.
Pubblicazione: (2025)

Automated Formalization of Probabilistic Requirements from Structured Natural Language
di: Mavridou, Anastasia, et al.
Pubblicazione: (2025)

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

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