Repositories list

• pistarGODA-MDP

  Public
  JavaScript

  •6•3•3•1•Updated Aug 16, 2024Aug 16, 2024

• diagnosis

  Public
  Diagnosis

  Python

  •1•0•0•0•Updated Jun 25, 2024Jun 25, 2024

• hmrs_mission_control

  Public
  Heterogeneous Multi-Robots Mission Control is an architecture for the development of applications, capable of coordinating multi-robot missions subject to uncertainty in properties of the available robots in the Software Engineering Lab (LES) at University of Brasilia.

  Python

  •5•5•2•0•Updated Jun 23, 2024Jun 23, 2024

• bsn

  Public
  Body Sensor Network (BSN): a prototype for exercising dependable adaptation in healthcare domain.

  roshealthcareself-adaptive

  C++

  •

  MIT License

  •21•12•1•1•Updated May 8, 2024May 8, 2024

• RoME

  Public
  TypeScript

  •0•0•0•0•Updated Mar 5, 2024Mar 5, 2024

• rome2024_tutorials

  Public
  C++

  •1•4•1•0•Updated Feb 26, 2024Feb 26, 2024

• bsn_rome_24

  Public
  Body Sensor Network (BSN): a prototype for exercising dependable adaptation in healthcare domain.

  Jupyter Notebook

  •

  MIT License

  •21•1•0•0•Updated Feb 21, 2024Feb 21, 2024

• HMRSsim

  Public
  Simulator for research in Heterogeneous Multi-Robots Environment. The intention is to provide extensible, lightweight, portable, low fidelity, visualizable simulations for testing task allocation approaches in a heterogeneous, multi-robot environment. The priority is to provide the researcher with the capability to easily implement new maps by i…

  Python

  •

  GNU General Public License v3.0

  •8•14•13•3•Updated Feb 21, 2024Feb 21, 2024

• bsn_seams24

  Public
  Body Sensor Network (BSN): a prototype for exercising dependable adaptation in healthcare domain.

  Jupyter Notebook

  •

  MIT License

  •21•0•11•0•Updated Feb 19, 2024Feb 19, 2024

• xpnsa

  Public
  Jupyter Notebook

  •0•0•0•0•Updated Jan 29, 2024Jan 29, 2024

• goald

  Public
  Java

  •

  GNU General Public License v2.0

  •2•1•0•17•Updated Jul 16, 2023Jul 16, 2023

• MutRoSe-Artifacts

  Public
  Collection of artifacts for the MutRoSe framework

  Go

  •1•1•0•0•Updated Nov 15, 2022Nov 15, 2022

• lesunb.github.io

  Public
  TeX

  •0•0•0•0•Updated Jun 1, 2022Jun 1, 2022

• calls

  Public
  0•0•0•0•Updated May 18, 2022May 18, 2022

• PiStar-PGOM

  Public
  JavaScript

  •1•0•0•0•Updated May 14, 2022May 14, 2022

• jss-2022-replication-package

  Public
  Replication package of the paper titled "An Architecture for Mission Coordination of Heterogeneous Robots"

  roboticsrosheterogeneous+ 2multi-robotreplication-package

  Jupyter Notebook

  •

  MIT License

  •0•0•0•0•Updated May 3, 2022May 3, 2022

• morse_simulation

  Public
  Python

  •2•3•0•0•Updated May 3, 2022May 3, 2022

• pistargodaintegration

  Public
  JavaScript

  •6•2•3•0•Updated Apr 4, 2022Apr 4, 2022

• MutRoSe-Repository

  Public
  JavaScript

  •0•0•0•0•Updated Dec 1, 2021Dec 1, 2021

• Knapsack-Planning-MPERS

  Public
  Python

  •0•0•0•0•Updated Oct 26, 2021Oct 26, 2021

• MutRoSe-Mission-Decomposer

  Public
  A mission decomposer for the MutRoSe framework. This is built upon the PANDA HDDL parser (https://github.com/panda-planner-dev/pandaPIparser)

  C++

  •

  GNU General Public License v3.0

  •3•1•0•0•Updated Oct 20, 2021Oct 20, 2021

• hmrs_mission_control_evaluation

  Public
  Jupyter Notebook

  •1•2•1•0•Updated Sep 20, 2021Sep 20, 2021

• ais_bsn

  Public
  C++

  •1•0•0•0•Updated Feb 21, 2021Feb 21, 2021

• p2psimpy

  Public
  Python

  •5•1•0•1•Updated Oct 21, 2020Oct 21, 2020

• thesis

  Public
  Template for thesis

  TeX

  •6•0•0•0•Updated Mar 24, 2020Mar 24, 2020

• CRGMToPRISM

  Public
  In a nutshell, GODA (Goal-Oriented Dependability Analysis) is a framework for verification of goal models through probabilistic model checking, where contextual goal models are translated into PRISM and PARAM languages.

  Java

  •7•2•5•2•Updated Nov 15, 2019Nov 15, 2019

• Implied_Scenarios

  Public
  Relevant files used for the project 'Characterization of Implied Scenarios as Families of Common Behavior'.

  Python

  •1•0•0•0•Updated Sep 23, 2019Sep 23, 2019

• goald-evaluation

  Public
  Evaluation of Goalp - Datasets and R scripts.

  PostScript

  •

  MIT License

  •0•0•0•0•Updated Feb 28, 2019Feb 28, 2019

• UnB-DALi

  Public
  The UnB Dependability Analysis Library

  Java

  •

  MIT License

  •2•2•0•0•Updated Jul 18, 2018Jul 18, 2018

• XMIToPRISM

  Public
  UML diagrams as XMI files transformed to DTMC in PRISM language via UnB-DALi.

  Java

  •2•0•0•0•Updated Jul 18, 2018Jul 18, 2018