Find research datasets worth reusing
Search datasets from major research repositories and use ShareScore to quickly assess how well each record supports discovery, access, and reuse.
11
datasets available to search
ShareScore release 0.9.0
Dataset results
11 results for “Temporal logic”
Additional material for "Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities"
<p>Complementary material including the proofs of all theorems presented at TACAS 2020, a detailed description of the RERS 2019 experiment, and the actual data used for the RERS 2018,RERS 2019, and TFTP experiments.</p>
Towards the formal verification of data-intensive applications through metric temporal logic
p>The dataset consists of a set of model descriptions representingnbsp;span>Storm topologies. It is designed on purpose to show the approach presented in the paper quot;/span>span>Towards the formal verification of data-intensive applications through m/span>span>etric/span>span>nbsp;temporalnbsp;/span>span>logicquot; (F. Marconi, M.M. Bersani, M. Erascu and M. Rossi) which focuses on the analysisnbsp;/span>span>of bottleneck nodes of data intensive applications implemented with Storm./span>/p>
Artifact for Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic
<p>Welcome!</p> <p>This artifact contains the survey instruments, final catalog, and labeled responses from our FM 2024 paper:</p> <p><em>Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic</em></p> <ul> <li>The artifact is primarily a dataset. There is no required software to run.</li> <li>The instruments and catalog are PDF files.</li> <li>The labeled responses are in spreadsheets, which we provide as open document files (`.ods`) with HTML as a backup.</li> </ul>
A Unified Translation of Linear Temporal Logic to ω-Automata: Supplemental Material for the Experimental Evaluation
<p>This dataset contains the evaluated tools and the data on which the experimental evaluation section of the article "A Unified Translation of Linear Temporal Logic to ω-Automata" by Javier Esparza, Jan Křetínský, and Salomon Sickert is based on. Further, we include instructions on how to recreate the results.</p>
Comparison between Parma Polyhedra Library and ParetoLib for computing the validity domain of a parametric Signal Temporal Logic (STL) expression
<p>Comparison between Parma Polyhedra Library and ParetoLib for computing the validity domain of a parametric Signal Temporal Logic (STL) expression. The code and dataset in this folder is related to the example 5 in section 2 of paper "Mining of Extended Signal Temporal Logic Specifications with ParetoLib 2.0" in the journal Formal Methods and System Design.</p>
Modeling Compliance Specifications in Linear Temporal Logic, Event Processing Language and Property Specification Patterns
<p>Experimental material & data</p>
Probabilistic Model Checking for Temporal Logics in Weighted Structures - Experiments
<p>Supplementary material for the thesis</p> <p>Probabilistic Model Checking for Temporal Logics in Weighted Structures</p> <ul> <li>data set for the experiments</li> <li>results of the experiments</li> <li>evaluation scripts</li> </ul>
Data from: Temporal transcriptional logic of dynamic regulatory networks underlying nitrogen signaling and use in plants
Open the record for dataset details and reuse information.
On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language
<p>Experimental material & data</p>
The cis-regulatory logic integrating spatial and temporal patterning in the vertebrate neural tube
GEO Series GSE264172. Mus musculus. 184 samples. Type: Genome binding/occupancy profiling by high throughput sequencing; Expression profiling by high throughput sequencing.
Linear-time Temporal Logic guided Greybox Fuzzing
<p>The LTL-Fuzzer tool, built on top of the AFL fuzzer, is found to be effective in detecting bugs in well-known protocol implementations, such as OpenSSL and Telnet. We use LTL-Fuzzer to reproduce known vulnerabilities (CVEs), to find new or zero-day bugs by checking properties extracted from RFCs (for which CVEs have been assigned), and to find violations of both safety as well as liveness properties in real-world protocol implementations.</p> <p>This package contains the LTL-Fuzzer tool and data-set in our experiments.</p>
ScienceDex guides
Understand access before you commit
These curated guides explain access requirements, typical timelines, costs, and reuse considerations for widely used research datasets.
Allen Brain Atlas
Allen Brain Atlas is an Allen Institute collection of brain map atlases, datasets, APIs, and analysis tools covering mouse, human, and non-human primate brain resources.
Annotated Behaviour and Observability Dataset (ABODe)
ABODe is a University of Edinburgh DataShare dataset for behavior classification in group-housed mice using home-cage video, identities, bounding boxes, ground-plate positions, and annotator labels.
DANDI Archive for NWB datasets
DANDI is a BRAIN Initiative archive for publishing and sharing neurophysiology data, including electrophysiology, optophysiology, and behavioral data packaged as NWB and related standards.
International Brain Laboratory public data
The International Brain Laboratory public data releases expose standardized mouse decision-making experiments, including Neuropixels recordings, widefield calcium imaging, behavior, and session metadata accessed through the ONE API.
OpenNeuro
OpenNeuro is a free, open platform for sharing neuroimaging datasets, with public search, dataset pages, and download paths for web, S3, DataLad, and the OpenNeuro CLI.