Skip to content
Change the repository type filter

All

    Repositories list

    • This repository contains an extension of the Athena library for reasoning about properties of Dynamic Data-Driven Aerospace Systems
      Python
      2301Updated Nov 19, 2024Nov 19, 2024
    • Python
      BSD 3-Clause "New" or "Revised" License
      1000Updated May 1, 2022May 1, 2022
    • Contains the Athena specifications and proofs for the algorithm described in the paper "Conflict-Aware Flight Planning for Avoiding NMACs"
      Python
      1000Updated May 14, 2021May 14, 2021
    • This repository contains the TLA+ specification and TLAPS proofs of correctness properties for a Distributed Knowledge Propagation Algorithm presented in Digital Avionics Systems Conference 2020
      TLA
      1000Updated Nov 16, 2020Nov 16, 2020
    • pilots

      Public
      PILOTS (ProgrammIng Language for spatiO-Temporal data Streaming applications)
      Java
      5801Updated May 27, 2020May 27, 2020
    • C
      MIT License
      1000Updated Apr 9, 2019Apr 9, 2019
    • Software for generating trajectories for fixed winged aircraft under NO-WIND conditions.
      C
      7000Updated Apr 9, 2019Apr 9, 2019
    • A software for generating WIND-AWARE aircraft trajectories for loss of thrust scenarios.
      C
      1000Updated Oct 12, 2018Oct 12, 2018
    • COS-in-C

      Public
      First generation Cloud Operating System implemented in C
      0000Updated Jun 7, 2014Jun 7, 2014
    • COS

      Public
      Cloud Operating System
      Java
      0000Updated Jul 27, 2013Jul 27, 2013
    • salsa

      Public
      salsa
      Java
      1000Updated Feb 13, 2013Feb 13, 2013
    • salsa2

      Public
      salsa2
      Java
      0000Updated Feb 13, 2013Feb 13, 2013
    • overview

      Public
      Overview for IOS
      Java
      Apache License 2.0
      0000Updated Feb 11, 2013Feb 11, 2013
    • IOS

      Public
      Internet Operating System
      Java
      0000Updated Feb 11, 2013Feb 11, 2013
    • The SALSA Programing Language
      Java
      4000Updated Dec 27, 2012Dec 27, 2012
    • An actor system for Common Lisp.
      Common Lisp
      BSD 2-Clause "Simplified" License
      15000Updated May 17, 2012May 17, 2012