Skip to content
View bakirtzisg's full-sized avatar
26 followers · 30 following

Organizations

@coordinated-systems-lab

Block or report bakirtzisg

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. security-analyst-dashboard security-analyst-dashboard Public archive

    A security dashboard for analyzing cyber-physical system designs

    Java 15 12

  2. cybok-cli cybok-cli Public archive

    A vulnerability assessment tool for system models

    Python 13 2

  3. AlgebraicContracts.jl AlgebraicContracts.jl Public

    Specifying contracts compositionally

    Julia 4 1

  4. dynamic-certification dynamic-certification Public

    Python 2

  5. graphml_export graphml_export Public archive

    A GraphML exporter for MagicDraw SysML

    Groovy 1

  6. ComposeX ComposeX Public

    Compositional arm robot learning

    Python 1