Skip to content
View RandallYe's full-sized avatar

Block or report RandallYe

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
  • The mechanisation of the semantics of probabilistic designs in Isabelle/UTP

    Isabelle 1 Updated Jan 2, 2025
  • QANAD Public

    This repository is about the safety analysis of UML activity diagrams using Markov models in the SESAME project.

    D 1 BSD 3-Clause "New" or "Revised" License Updated Dec 12, 2024
  • This repository contains PRISM models used to analyse QoS (energy efficiency and service availability) in O-RAN xApps.

    1 BSD 3-Clause "New" or "Revised" License Updated Oct 11, 2024
  • This repository contains our work to use formally verified animation (automatically generated from Isabelle/HOL) to verify security protocols.

    Haskell 2 1 BSD 3-Clause "New" or "Revised" License Updated Sep 5, 2024
  • TeX BSD 3-Clause "New" or "Revised" License Updated Sep 5, 2024
  • academic-kickstart Public template

    Forked from HugoBlox/theme-academic-cv

    📝 Easily create a beautiful website using Academic, Hugo, and Netlify

    TeX MIT License Updated Jun 29, 2022
  • Kangfeng (Randall) Ye's Home Page

    HTML Updated May 14, 2021
  • Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP

    Isabelle Updated Feb 25, 2021
  • A parser and type checker for ISO Standard Z (ISO/IEC 13568:2002, available at https://www.iso.org/standard/21573.html).

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jul 15, 2017
  • Circus2ZCSP Public

    A translator from a Circus model to CSP ||b Z in terms of CSP || B

    Java Updated Oct 5, 2016
  • This is a personal repository for me to keep the Circus (https://www.cs.york.ac.uk/circus/) specifications and programs which are used in my research, as well as corresponding experimental tools.

    TeX Updated Jul 20, 2016