Pinned Loading

1. sw_development sw_development Public

   Forked from ITS-ICT-Academy/sw_development

   Dockerfile

2. data-release-scalingup-smc-jss-2024 data-release-scalingup-smc-jss-2024 Public

   Forked from RAISE-Sapienza/data-release-scalingup-smc-jss-2024

   Data release for the paper "Scaling Up Statistical Model Checking of Cyber-Physical Systems via Algorithm Ensemble and Parallel Simulations over HPC Infrastructures"

   Python

3. qg-design-tii-2025 qg-design-tii-2025 Public

   Forked from RAISE-Sapienza/qg-design-tii-2025

   Additional material (i.e., case study code and further experiments) from the paper "Simulation-Based Design of Industry-Size Control Systems with Formal Quality Guarantees" published in IEEE Transa…

   Modelica

4. molecular_synthesis_and_reconstruction molecular_synthesis_and_reconstruction Public

   Deep Learning And Applied Artificial Intelligence Project 2019/2020 - Molecular Synthesis & Reconstruction

   Jupyter Notebook 13 3

5. nusmv_grid_game_controller_synthesis nusmv_grid_game_controller_synthesis Public

   Formal Methods in Software Development Project 2019/2020 - Generation of a controller for a game grid with obstacle and goal cell. The controller is generated by interrogating NuSMV as a blackbox a…

   Python 4

6. mining_evolving_topics mining_evolving_topics Public

   Web And Social Information Extraction Project 2018/2019 - Trace and Identification of topics

   Python 2 1