Skip to content
View jolehmann's full-sized avatar

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report jolehmann

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Popular repositories Loading

  1. Palladio-Analyzer-SimuLizar Palladio-Analyzer-SimuLizar Public

    Forked from PalladioSimulator/Palladio-Analyzer-SimuLizar

    SimuLizar is a Palladio plug-in for analyzing self-adaptive systems, such as cloud computing systems, at design-time.

    Java

  2. Palladio-Analyzer-SimuCom Palladio-Analyzer-SimuCom Public

    Forked from PalladioSimulator/Palladio-Analyzer-SimuCom

    This repository contains the default simulation engine of the Palladio Bench. It uses M2T transformations to generate simulation code from PCM model instances.

    Java

  3. Palladio-Editors-Sirius Palladio-Editors-Sirius Public

    Forked from PalladioSimulator/Palladio-Editors-Sirius

    Sirius-based editors for models of the Palladio Component Model (PCM).

    Java

  4. solidity solidity Public

    Forked from SRI-CSL/solidity

    This is solc-verify, a modular verifier for Solidity.

    C++

  5. SolidityAccessControlEnforcement SolidityAccessControlEnforcement Public

    Forked from KASTEL-CSSDA/SolidityAccessControlEnforcement

    Modeling and formally enforcing role-based access control policies for smart contracts

    Java

  6. SolidityRoleAdapter SolidityRoleAdapter Public

    Combines the results of slither and solcverify in a new output file.

    Java