Explore projects
-
SaToSS / HPC Tamarin
Creative Commons Zero v1.0 UniversalTamarin Prover on the Luxembourg HPC
Updated -
Konstantinos Papadopoulos / DeepVI
BSD 2-Clause "Simplified" LicenseUpdated -
-
Unlinkable Updatable Hiding Databases and Privacy-Preserving Loyalty Programs
Updated -
Updated
-
Repository to store the utility source code for the SPARK Challenge 2021.
UpdatedUpdated -
IRiSC Open Data and Software / 2021-nofakes
MIT LicenseUpdated -
Melusina / vDHd Volume / burghardt_embed
GNU General Public License v3.0 or laterUpdated -
Anomaly detection using time series auto encoder on geolocation data.
Updated -
Sallam Abualhaija / Anaphoric Ambiguity
GNU Affero General Public License v3.0Multi-solution for detecting and resolving anaphoric ambiguity in requirements
Updated -
Fabrizio Pastore / FUNTASY-SimulatorBasedExplanations
Apache License 2.0Updated -
-
Sallam Abualhaija / TAPHSIR
GNU Affero General Public License v3.0The artifact tool: Towards AnaPHoric ambiguity detection and reSolution In Requirements". This tool is associated with the ICSE22 technical paper titled "Automated Handling of Anaphoric Ambiguity in Requirements: A Multi-solution Study"
Updated -
IRiSC Open Data and Software / 2022-02-Decepticon_Pseudonymizer
GNU General Public License v2.0 or laterUpdated -
Code for the paper "FastCycle: A Message Sharing Framework for Modular Automated Driving Systems"
Updated -
Repository to store the utility source code for the SPARK Challenge 2022.
Updated