JohanEddeland

Industrial PhD student at Volvo Car Corporation and Chalmers University of Technology.

Gothenburg, Sweden

Pinned Repositories

specTransformer
A MATLAB class for transforming Simulink requirements into STL specifications.
Language:MATLAB40
matlab_decision_procedures
Implementations of different decision procedures in MATLAB
Language:MATLAB10
advent_of_code
Language:Python00
AdventOfCode
Solutions for Advent of Code for various years
Language:Python00
breach
Language:C++00
Focused_Falsification_REP
Repeatability Evaluation Package for a paper on Focused Falsification in HSCC 2022
Language:MATLAB00
pipelines-dotnet-core
A simple ASP.NET Core MVC app for Azure Pipelines docs
Language:HTML00
SSY190_V18_CrazyflieSoftware
This is a version of [crazyflie-firmware](https://github.com/bitcraze/crazyflie-firmware) including simulation and code generation using Simulink/SimScape.
Language:C00
ssy191_2022
Language:C01

JohanEddeland/pipelines-dotnet-core
A simple ASP.NET Core MVC app for Azure Pipelines docs
Language:HTML
JohanEddeland/ssy191_2022
Language:C1
JohanEddeland/Focused_Falsification_REP
Repeatability Evaluation Package for a paper on Focused Falsification in HSCC 2022
Language:MATLAB
JohanEddeland/breach
JohanEddeland/matlab_decision_procedures
Implementations of different decision procedures in MATLAB
Language:MATLAB1
JohanEddeland/specTransformer
A MATLAB class for transforming Simulink requirements into STL specifications.
Language:MATLAB4
JohanEddeland/AdventOfCode
Solutions for Advent of Code for various years
Language:Python
JohanEddeland/SSY190_V18_CrazyflieSoftware
This is a version of [crazyflie-firmware](https://github.com/bitcraze/crazyflie-firmware) including simulation and code generation using Simulink/SimScape.
Language:C
JohanEddeland/advent_of_code
Language:Python