Skip to content

@lesunb LaDeCIC - Software Dependability @CIC

Change the repository type filter

All

    Repositories list

    32 repositories

    • 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
      •4•1•0•0•Updated Jul 10, 2025Jul 10, 2025

    • sync_behaviors_bt

      Public
      C++
      •0•0•0•0•Updated Feb 5, 2025Feb 5, 2025

    • pistarGODA-MDP

      Public
      JavaScript
      •6•5•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•7•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
      •22•13•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•5•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
      •22•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
      •22•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•2•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"
      roboticsrosheterogeneousmulti-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•3•3•0•Updated Apr 4, 2022Apr 4, 2022

    • MutRoSe-Repository

      Public
      JavaScript
      •0•2•0•0•Updated Dec 1, 2021Dec 1, 2021

    • Knapsack-Planning-MPERS

      Public
      Python
      •0•0•0•0•Updated Oct 26, 2021Oct 26, 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