Copertina

Artifact for TOSEM paper: Exploring Development Methods for Reactive Synthesis Specifications

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autori principali:	Ma'ayan, Dor, Maoz, Shahar, Ringert, Jan Oliver
Natura:	Recurso digital
Pubblicazione:	Zenodo 2025
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

DeepEval/DeepEval: Artifacts Associated with the Paper Under Review in TOSEM
di: Xiangyue, Ma, et al.
Pubblicazione: (2026)

How Far Are LLMs from Symbolic Planners? An NLP-Based Perspective
di: Armony, Ma'ayan, et al.
Pubblicazione: (2025)

Table 3 in Squamates and amphibians from the Natufian cemetery of Raqefet Cave, Israel: taphonomy, paleoenvironments and paleoclimate
di: Ma'ayan Lev, Dani Nadel, Mina Weinstein-Evron, et al.
Pubblicazione: (2021)

trans ‐2‐Octenal controls Fusarium oxysporum f. sp. lycopersici , the causal agent of tomato wilt in vitro , in soil and in the field
di: Orna Liarzi, et al.
Pubblicazione: (2025)

A protocol for treating atelectasis in the chronically ventilated pediatric patient
di: Eliezer Be'eri, et al.
Pubblicazione: (2024)

Model Predictive Control for Crowd Navigation via Learning-Based Trajectory Prediction
di: Aslam, Mohamed Parvez, et al.
Pubblicazione: (2025)

The Double-White-Dwarf Merger Rate from ZTF
di: Maoz, Dan
Pubblicazione: (2024)

Asymptotic independence for random permutations from surface groups
di: Maoz, Yotam
Pubblicazione: (2023)

Smooth linear eigenvalue statistics on random covers of compact hyperbolic surfaces -- A central limit theorem and almost sure RMT statistics
di: Maoz, Yotam
Pubblicazione: (2023)

Backpackers’ motivations the role of culture and nationality / Darya Maoz
di: Maoz, Darya
Pubblicazione: (2007)

Artifact to IncreGR1: An Incremental Reactive Synthesis Framework for GR(1) Formulae
di: wu, ziji, et al.
Pubblicazione: (2025)

Quantum Entanglement Entropy of the Ghost Cell: A 5-Qubit Formalization of Geometric Transition in a 25-Point Voronoi Tessellation
di: Keynan, Maayan
Pubblicazione: (2026)

Toward effective KMS measurement: Usage statistics vs. perceived value
di: Maayan Nakash
Pubblicazione: (2024)

MarijaJovanovic, State Responsibility for ‘Modern Slavery’ in Human Rights Law: A Right Not to Be Trafficked, Oxford: Oxford University Press, 2023, 240 pp, hb, £90.00
di: Maayan Niezna
Pubblicazione: (2024)

Sincere critique in Israeli filmmaking
di: Maayan Cohen
Pubblicazione: (2024)

Artifact: PyCaliper: Python-embedded Infrastructure for RTL Verification and Specification Synthesis
di: Godbole, Adwait, et al.
Pubblicazione: (2025)

Automated triage of COVID-19 from various lung abnormalities using chest CT features
di: Amran, Dor, et al.
Pubblicazione: (2020)

The Artifact of TEE Formal Specification and Analysis
di: Yu, Geunyeol
Pubblicazione: (2026)

Programming a Ferroptosis‐to‐Apoptosis Transition Landscape Revealed Ferroptosis Biomarkers and Repressors for Cancer Therapy
di: Yaron Vinik, et al.
Pubblicazione: (2024)

Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
di: Murphy, William, et al.
Pubblicazione: (2024)

Synthesis and Reactivity of Iodepinium Salts
di: Jan Rick Koch, et al.
Pubblicazione: (2026)

From Specificity to Generality: Revisiting Generalizable Artifacts in Detecting Face Deepfakes
di: Ma, Long, et al.
Pubblicazione: (2025)

Artifact of the paper: CSGC: Collaborative File System Garbage Collection with Computational Storage
di: Pu, Jin, et al.
Pubblicazione: (2025)

Artifact for paper: Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
di: Nicola, Mihai, et al.
Pubblicazione: (2025)

Artifact of the paper 'Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation'
di: Schuster, Philipp, et al.
Pubblicazione: (2025)

Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems
di: Heim, Philippe, et al.
Pubblicazione: (2025)

Synaptic motility and functional stability in the whisker cortex
di: Sherf, Nimrod, et al.
Pubblicazione: (2024)

The neutron-star merger delay-time distribution, r-process "knees", and the metal budget of the Galaxy
di: Maoz, Dan, et al.
Pubblicazione: (2024)

Exploring the Reactivity of Amines with Cyclic Carbonates for Tailored Urethandiol Synthesis
di: Pavel Chapala, et al.
Pubblicazione: (2026)

International Development Financing in the Second Cold War: The Miserly Convergence of Western Donors and China
di: Shahar Hameiri, et al.
Pubblicazione: (2025)

Intent Preserving Generation of Diverse and Idiomatic (Code-)Artifacts
di: Westphal, Oliver
Pubblicazione: (2025)

Paper-Artifacts/aurora_paper_SC25_artifacts: v1.0.0
di: Marta Garcia Martinez, et al.
Pubblicazione: (2025)

Monitoring Component Artifact from the paper Spanergy: Energy-aware Distributed Tracing for Microservices
di: Perdigao Batista, César Augusto
Pubblicazione: (2026)

Wartime Leadership as a Bridge Over Troubled Waters: A Representative Bureaucracy Perspective on Ethnically Homogeneous and Heterogeneous Schools
di: Maayan Davidovitz, et al.
Pubblicazione: (2025)

Exploring the Chemical Reactivity of Triisopropylsilyl Dialkynylmethanol for the Synthesis of Dialkynylcarbinol‐Related Compounds
di: Maria Vieira de Brito, et al.
Pubblicazione: (2025)

Synthesis and Reactivity of Tricoordinate Organoberyllium Azides
di: Corinna Czernetzki, et al.
Pubblicazione: (2024)

Multi-Lingual Development & Programming Languages Interoperability: An Empirical Study
di: Cherny-Shahar, Tsvi, et al.
Pubblicazione: (2024)

Speculate: Generating REST API Specifications Using LLMs — Artifact
di: Singh, Krishanu
Pubblicazione: (2026)

Shelving it rather than Ditching it: Dynamically Debloating DEX and Native Methods of Android Applications without APK Modification
di: Zhang, Zicheng, et al.
Pubblicazione: (2025)

DIRNT Artifact: corresponding to our SPIN 2026 paper "Recurrence-seeking Tests for Non-termination"
di: Metta, Ravindra, et al.
Pubblicazione: (2026)