Repositories list

• gh-pages-890-ros-f24

  Public
  GitHub pages hosting for John's 890 ROS course

  HTML

  •0•0•0•0•Updated Oct 17, 2025Oct 17, 2025

• hamr-tutorials

  Public
  Scala

  •0•0•0•0•Updated Oct 12, 2025Oct 12, 2025

• gh-pages-robby

  Public
  HTML

  •0•0•0•0•Updated Sep 9, 2025Sep 9, 2025

• hamr-examples

  Public
  Scala

  •0•2•0•0•Updated Jun 30, 2025Jun 30, 2025

• rts-showcase

  Public
  C

  •1•5•0•0•Updated Jun 30, 2025Jun 30, 2025

• gumbox-case-studies

  Public
  Scala

  •1•0•0•0•Updated Jun 30, 2025Jun 30, 2025

• sysmlv2-models

  Public
  Batchfile

  •0•3•0•0•Updated Jun 2, 2025Jun 2, 2025

• sysml-rts

  Public
  Scala

  •0•0•0•0•Updated May 28, 2025May 28, 2025

• logika-proof-language-case-studies

  Public
  Repository to hold examples and data for Logika manual proof language paper

  Scala

  •0•0•0•0•Updated Apr 26, 2025Apr 26, 2025

• sysml-aadl-libraries

  Public
  0•0•0•0•Updated Apr 19, 2025Apr 19, 2025

• gh-pages-isolette

  Public
  Github pages hosting for the Isolette website

  HTML

  •0•0•0•0•Updated Mar 27, 2025Mar 27, 2025

• gh-pages-890-s21

  Public
  HTML

  •0•0•0•0•Updated Feb 11, 2025Feb 11, 2025

• logika-overview-case-studies

  Public
  Scala

  •0•0•0•0•Updated Feb 7, 2025Feb 7, 2025

• isolette-artifacts

  Public
  Scala

  •0•0•0•0•Updated Jan 24, 2025Jan 24, 2025

• AADL-HSM

  Public
  Formal semantics of AADL (as implemented by HAMR) in the Isabelle theorem prover

  Isabelle

  •0•1•0•0•Updated Jan 14, 2025Jan 14, 2025

• sysml-isolette

  Public
  0•0•0•0•Updated Dec 16, 2024Dec 16, 2024

• 890-ros-f24-project-articubot

  Public
  Repository for F24 ROS Articubot project

  Python

  •0•1•0•0•Updated Dec 11, 2024Dec 11, 2024

• gh-pages-841-f23

  Public
  Web page deployment for CS 841 Verification and Validation (Fall 23)

  HTML

  •0•0•0•0•Updated Dec 9, 2024Dec 9, 2024

• stress24

  Public
  Github for materials for STRESS 2024

  Scala

  •0•0•0•0•Updated Nov 19, 2024Nov 19, 2024

• sysml-temp-control-mixed-sel4-camkes

  Public
  C

  •0•0•0•0•Updated Oct 29, 2024Oct 29, 2024

• sysml-temp-control-periodic

  Public
  0•0•0•0•Updated Oct 16, 2024Oct 16, 2024

• sysml-temp-control-mixed

  Public
  0•0•0•0•Updated Oct 11, 2024Oct 11, 2024

• case-tool-assessment-4

  Public
  case-tool-assessment-4

  C

  •0•0•0•0•Updated Sep 30, 2024Sep 30, 2024

• isolette-automated-system-testing

  Public
  Scala

  •0•0•0•0•Updated Jul 18, 2024Jul 18, 2024

• software-correctness-course-materials

  Public
  0•0•0•0•Updated Jun 11, 2024Jun 11, 2024

• isabelle_codegen

  Public
  isabelle_codegen

  Scala

  •0•0•0•0•Updated Apr 2, 2024Apr 2, 2024

• hamr-system-testing-artifact-generator

  Public
  Prototype of a HAMR system test artifact generator

  Scala

  •0•0•0•0•Updated Mar 25, 2024Mar 25, 2024

• hamr-system-testing-case-studies

  Public
  hamr-system-testing-case-studies

  Scala

  •0•0•0•0•Updated Mar 4, 2024Mar 4, 2024

• gh-pages-openpcapump

  Public
  Web hosting for Open PCA Pump web pages

  HTML

  •0•0•0•0•Updated Jan 25, 2024Jan 25, 2024

• embedded-examples

  Public
  C

  •0•0•0•0•Updated Jan 24, 2024Jan 24, 2024