Skip to content

@KAIST-SE-Lab KAIST SE Lab

Change the repository type filter

All

    Repositories list

    15 repositories

    • StarPlateS

      Public
      Statistical Verification Framework for Platooning SoS with Uncertainty
      C++
      •
      GNU General Public License v3.0
      •2•28•0•0•Updated Oct 12, 2022Oct 12, 2022

    • Platooning-SoS-Archive

      Public
      Archive for investigated platooning SoS experimental data and fault knowledge base
      0•0•0•0•Updated Jul 29, 2021Jul 29, 2021

    • SimEngine_with_ScenarioManager

      Public
      0•0•0•0•Updated Jun 18, 2021Jun 18, 2021

    • SimEngine_with_PolicyManager

      Public
      0•0•0•0•Updated Jun 18, 2021Jun 18, 2021

    • SimEngine_for_SoSE

      Public
      Java
      •0•1•0•0•Updated Jun 3, 2021Jun 3, 2021

    • Platooning-LEGOs

      Public
      Platooning LEGOs: an open physical exemplar for engineering self-adaptive cyber-physical system-of-systems
      Python
      •
      Apache License 2.0
      •2•7•0•0•Updated May 22, 2021May 22, 2021

    • SIMVA-SoS-Lite-New

      Public
      Java
      •0•1•0•0•Updated Mar 10, 2021Mar 10, 2021

    • GeoMapBuilder-for-SoS

      Public
      Java
      •0•0•0•0•Updated Feb 25, 2021Feb 25, 2021

    • SIMVA-SoS-Lite-Example

      Public
      Java
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Feb 24, 2021Feb 24, 2021

    • PASTA

      Public
      PASTA: an efficient proactive adaptation approach based on statistical model checking for self-adaptive systems
      software-engineeringself-adaptive-systems
      Java
      •0•2•0•0•Updated Jan 8, 2021Jan 8, 2021

    • Toy-SoS

      Public
      Java
      •0•1•0•0•Updated Jan 5, 2021Jan 5, 2021

    • SIMVA-SoS-Lite

      Public
      SIMVA-SoS Lite
      Java
      •
      Apache License 2.0
      •2•13•0•0•Updated Nov 26, 2020Nov 26, 2020

    • SIMVA-SoS

      Public
      SIMVA-SoS: Simulation-based Verification and Analysis for SoS
      Java
      •
      Apache License 2.0
      •10•28•0•0•Updated Nov 17, 2020Nov 17, 2020

    • AutoIntegrationMachine

      Public
      Automated Integration Machine for fault tree and attack trees
      Python
      •0•1•0•0•Updated Jan 20, 2020Jan 20, 2020

    • Fault-Localization-of-SoS

      Public
      Spectrum-based fault localization on collaboration graph of System-of-Systems
      Python
      •1•30•0•0•Updated Aug 14, 2019Aug 14, 2019