Repositories list

• control-of-composite-manufacturing-through-drl

  Public
  Python

  •

  MIT License

  •0•0•0•0•Updated Jan 4, 2024Jan 4, 2024

• adaptive-spreading

  Public
  Adaptive Spreading of fibrous tows. Part of the paper submitted to LOD2020

  Python

  •

  MIT License

  •0•0•0•3•Updated Jul 6, 2023Jul 6, 2023

• minibrass

  Public
  Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc

  votingartificial-intelligenceconstraints+ 2minizincsoft-constraints

  Jupyter Notebook

  •

  MIT License

  •7•17•5•7•Updated May 23, 2023May 23, 2023

• ecml22-grape

  Public
  Code for the paper "A Recommendation System for CAD Assembly Modeling based on Graph Neural Networks" submitted to ECML 2022.

  Python

  •

  MIT License

  •0•4•0•0•Updated Apr 24, 2023Apr 24, 2023

• BlockDefinitionLanguage

  Public
  Python

  •

  MIT License

  •0•0•0•0•Updated May 24, 2022May 24, 2022

• SemanticPlugAndPlay

  Public
  Python

  •

  MIT License

  •0•0•0•0•Updated May 11, 2022May 11, 2022

• ROSSi

  Public
  Python

  •

  MIT License

  •0•0•0•0•Updated Aug 31, 2021Aug 31, 2021

• AntNetActivityBots

  Public
  Real World Implementation of Ant-Colonization-Optimization (ACO) using Paralax Activity Bots

  Kotlin

  •

  MIT License

  •0•0•0•0•Updated Aug 13, 2021Aug 13, 2021

• ecas2021-DisCSP

  Public
  0•1•0•0•Updated Jul 9, 2021Jul 9, 2021

• ensemble-programming

  Public
  0•0•0•0•Updated Jul 2, 2021Jul 2, 2021

• decision-tree-learning-ecml

  Public
  MIT License

  •2•2•0•0•Updated Jun 28, 2021Jun 28, 2021

• PermeabilityNets

  Public
  Python

  •

  MIT License

  •0•2•0•0•Updated Mar 31, 2021Mar 31, 2021

• MATE

  Public
  A Multi-Agent Manufacturing Testbed

  manufacturinggym-environmentmulti-agent-reinforcement-learning

  Java

  •

  MIT License

  •0•1•0•0•Updated Mar 8, 2021Mar 8, 2021

• jros

  Public
  A Lightweight Java client library for ROS publish / subscribe with dynamic type support

  Java

  •

  Mozilla Public License 2.0

  •0•0•0•0•Updated Oct 13, 2020Oct 13, 2020

• flashix

  Public
  Flashix: a verified file system for flash memory

  Scala

  •

  Other

  •1•3•0•0•Updated Sep 21, 2020Sep 21, 2020

• isola2020-maple-swarm

  Public
  0•0•0•0•Updated Sep 8, 2020Sep 8, 2020

• isola2020-swarm-capabilities

  Public
  0•0•0•0•Updated Sep 8, 2020Sep 8, 2020

• ecml2020-teach-ml

  Public
  Jupyter Notebook

  •

  MIT License

  •0•1•0•0•Updated Aug 25, 2020Aug 25, 2020

• rtm-predictions

  Public
  Code for the FlowFrontNet Paper; submitted to ECML 2020

  Python

  •

  MIT License

  •0•2•0•0•Updated May 11, 2020May 11, 2020

• verifast

  Public
  Research prototype tool for modular formal verification of C and Java programs

  OCaml

  •

  Other

  •66•0•0•0•Updated Jul 16, 2019Jul 16, 2019

• ssharp

  Public
  S# is a formal modeling and safety analysis framework for safety-critical systems. It provides a domain specific modeling language and fully automated formal safety analysis tools based on C# and .NET.

  C#

  •

  MIT License

  •11•10•15•0•Updated Nov 20, 2018Nov 20, 2018

• saso2017-web

  Public
  HTML

  •0•0•1•0•Updated Sep 12, 2017Sep 12, 2017

• muenchner-kindl-buam

  Public
  SE Alumni's team for Google Hashcode

  Java

  •1•0•0•0•Updated Feb 24, 2017Feb 24, 2017

• evaluations

  Public
  Computational Experiments conducted by ISSE

  Jupyter Notebook

  •0•0•0•0•Updated Jul 1, 2016Jul 1, 2016

• mrmc-ssharp

  Public
  S# compatible derivate of the Markov Reward Model Checker

  C

  •

  GNU General Public License v2.0

  •1•0•0•0•Updated May 25, 2016May 25, 2016