Imagen de Portada

Software artifact for "Execution and monitoring of HOA automata with HOAX"

Fuente: Zenodo

Guardado en:

Detalles Bibliográficos
Autor principal:	Di Stefano, Luca
Formato:	Recurso digital
Publicado:	Zenodo 2025
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Execution and monitoring of HOA automata with HOAX
por: Di Stefano, Luca
Publicado: (2025)

Symbolic ω-automata with obligations
por: Di Stefano, Luca
Publicado: (2025)

Execution-time opacity control for timed automata
por: André, Étienne, et al.
Publicado: (2024)

Thrust force requirement prediction using HOA‐XGBoost for TBM tunneling in squeezing ground
por: Rongwen Chen, et al.
Publicado: (2025)

Execution-time opacity problems in one-clock parametric timed automata
por: André, Étienne, et al.
Publicado: (2024)

100 NĂM NỮA – SIÊU AI TRỞ THÀNH NỀN TẢNG CÁ NHÂN HÓA
por: Trần, Đức
Publicado: (2025)

Completeness for categories of generalized automata
por: Boccali, Guido, et al.
Publicado: (2023)

Reasoning-Based Software Testing
por: Giamattei, Luca, et al.
Publicado: (2023)

AIGROW-artifact
por: Dong, Yibo
Publicado: (2025)

Vaddr-artifact
por: HU, YUHANG
Publicado: (2025)

Nondeterminism makes unary 1-limited automata concise
por: Guillon, Bruno, et al.
Publicado: (2025)

Executable Multi-Layered Software
por: Radosky, Lukas, et al.
Publicado: (2025)

On the transversals of Latin squares generated by nonlinear bipermutive cellular automata
por: Dennunzio, Alberto, et al.
Publicado: (2026)

Twinning automata and regular expressions for string static analysis
por: Negrini, Luca, et al.
Publicado: (2020)

Chapter 3D digital tools for the archaeological massive artifacts documentation
por: Di Paola, Francesco, et al.
Publicado: (2022)

EditFlow-artifacts
por: Liu, Chenyan
Publicado: (2026)

AgentRaft_artifacts
por: anonymous, anonymous
Publicado: (2026)

Trusted Execution Environment for Decentralized Process Mining
por: Goretti, Valerio, et al.
Publicado: (2023)

Tarsis: An effective automata‐based abstract domain for string analysis
por: Luca Negrini, et al.
Publicado: (2024)

Investigating Execution-Aware Language Models for Code Optimization
por: Di Menna, Federico, et al.
Publicado: (2025)

AgentBound: Securing Execution Boundaries of AI Agents
por: Bühler, Christoph, et al.
Publicado: (2025)

Cluster automata
por: Kornai, András
Publicado: (2025)

Stallings automata
por: Delgado, Jordi, et al.
Publicado: (2024)

Presheaf automata
por: Struth, Georg, et al.
Publicado: (2024)

Drinking artifact on scalp‐ EEG
por: Saeideh Salehizadeh, et al.
Publicado: (2025)

EEG artifact caused by earthquake
por: Maria A. Montenegro
Publicado: (2025)

Software Space Analytics: Towards Visualization and Statistics of Internal Software Execution
por: Saito, Shinobu
Publicado: (2026)

Topoi of automata I: Four topoi of automata and regular languages
por: Hora, Ryuya
Publicado: (2024)

Scaling Symbolic Execution to Large Software Systems
por: Horvath, Gabor, et al.
Publicado: (2024)

Layered automata: A canonical model for automata over infinite words
por: Casares, Antonio, et al.
Publicado: (2026)

Causal Reasoning in Software Quality Assurance: A Systematic Review
por: Giamattei, Luca, et al.
Publicado: (2024)

BOUDDHISME HÒA HẢO, D'UN ROYAUME L'AUTRE: RELIGION ET RÉVOLUTION AU SUD VIÊT NAM (1935–1955). [HOA HẢO BUDDHISM, FROM ONE KINGDOM TO ANOTHER: RELIGION AND REVOLUTION IN SOUTH VIETNAM 1935–1955]. By PascalBourdeaux. Paris: Les Indes Savantes, 2022. Pp. 475. Paperback, €35.00.
por: Grzegorz Frąszczak
Publicado: (2025)

Emergent knowledge patterns in verification artifacts
por: Sukhwan Jung, et al.
Publicado: (2024)

Toward a formalization of artifacts in GFO
por: Fiegenbaum, Hanna
Publicado: (2024)

Causal Software Engineering: A Vision and Roadmap
por: Pietrantuono, Roberto, et al.
Publicado: (2026)

Comment on "electrostaic sampler for semivolatile aerosols: chemical artifacts" and "filter and electrostatic samplers for semivolatile aerosols: physical artifacts"
Publicado: (2003)

Efficient Symbolic Execution of Software under Fault Attacks
por: Fang, Yuzhou, et al.
Publicado: (2025)

Deployment and Operation of Complex Software in Heterogeneous Execution Environments
Publicado: (2022)

Detecting Anomalies in Software Execution Logs with Siamese Network
por: Hashemi, Shayan, et al.
Publicado: (2021)

Response to comment of "Electrostatic sampler for semivolatile aerosols: chemical artifacts" and "filter and elctrostatic samplers for semivolatile aerosols: physical artifacts"
Publicado: (2003)