Skip to content
View VolkerStolz's full-sized avatar
17 followers · 27 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: YOLOAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report VolkerStolz

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
VolkerStolz/README.md

Prof. Volker Stolz

Hi, I’m professor in Software Engineering at the Høgskulen på Vestlandet (HVL). You can visit my personal homepage, or visit my static institutional page.

Research Areas

  • Refactoring
  • Aggregate Programming
  • Runtime Verification

Publications

In DBLP, in Cristin (Norwegian research database, includes pre-prints!).

Projects

Check out the FCPP-project for Aggregate Computing that I contribute to.

I've also submitted improvements to the Home Assistant smart-home project.

Popular repositories Loading

  1. HASS-to-OWL-exporter HASS-to-OWL-exporter Public

    Python 2

  2. analyzer analyzer Public

    Forked from goblint/analyzer

    The goblint static analysis framework

    OCaml

  3. bench bench Public

    Forked from goblint/bench

    The benchmark suite

    C

  4. gotcha gotcha Public

    Forked from akwick/gotcha

    Go Taint CHeck Analyser

    Go

  5. u-boot-xlnx u-boot-xlnx Public

    Forked from Xilinx/u-boot-xlnx

    The official Xilinx u-boot repository

    C

  6. introToAndroid5e introToAndroid5e Public

    Forked from lambo4jos/introToAndroid5e

    Sample code for "Introduction to Android Application Development: Android Essentials, Fifth Edition"

    Java 4