KAIST SE Lab (@KAIST-SE-Lab)
Guthub

KAIST-SE-Lab

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    110
  • Global Org. Rank 55,279 (Top 18 %)
  • Registered over 3 years ago
  • Most used languages
    Java
         60.0 %
    Python
         30.0 %
    C++
         10.0 %
  • Location 🇰🇷 South Korea
  • Country Total Rank 1,635
  • Country Ranking
    C++
         236
    Java
         245
    Python
         955

Top repositories

1

Fault-Localization-of-SoS

Spectrum-based fault localization on collaboration graph of System-of-Systems
Python
30
star
2

SIMVA-SoS

SIMVA-SoS: Simulation-based Verification and Analysis for SoS
Java
28
star
3

StarPlateS

Statistical Verification Framework for Platooning SoS with Uncertainty
C++
28
star
4

SIMVA-SoS-Lite

SIMVA-SoS Lite
Java
13
star
5

Platooning-LEGOs

Platooning LEGOs: an open physical exemplar for engineering self-adaptive cyber-physical system-of-systems
Python
7
star
6

PASTA

PASTA: an efficient proactive adaptation approach based on statistical model checking for self-adaptive systems
Java
2
star
7

Toy-SoS

Java
1
star
8

SimEngine_for_SoSE

Java
1
star
9

AutoIntegrationMachine

Automated Integration Machine for fault tree and attack trees
Python
1
star
10

SIMVA-SoS-Lite-New

Java
1
star