Carsten Behn

14 papers Journal 6Unranked 8
YearRankTypeTitle / Venue / Authors
2021 J jnl
Sensors
Lukas Merker, Joachim Steigenberger, Rafael R. Marangoni, Carsten Behn
2020 J jnl
Sensors
Lukas Merker, Sebastian J. Fischer Calderon, Moritz Scharff, Jorge H. Alencastre Miranda, Carsten Behn
2019 J jnl
Sensors
Moritz Scharff, Philipp Schorr, Tatiana Becker, Christian Resagk, Jorge H. Alencastre Miranda, Carsten Behn
2019 conf
ICM
Lukas Merker, Moritz Scharff, Carsten Behn
2018 conf
BioRob
Lukas Merker, Moritz Scharff, Klaus Zimmermann, Carsten Behn
2016 conf
ICINCO (2)
Jonas Kräml, Carsten Behn
2014 conf
ICINCO (Selected Papers)
Christoph Will, Joachim Steigenberger, Carsten Behn
2014 conf
ICINCO (1)
Christoph Will, Joachim Steigenberger, Carsten Behn
2013 conf
IWANN (2)
Carsten Behn, Tonia Schmitz, Hartmut Witte, Klaus Zimmermann
2013 conf
ICINCO (1)
Carsten Behn
2013 J jnl
Artif. Intell. Res.
Silvan Schwebke, Carsten Behn
2011 J jnl
Robotics Auton. Syst.
Joachim Steigenberger, Carsten Behn
2009 conf
ECC
Carsten Behn, Joachim Steigenberger, Klaus Zimmermann
2006 J jnl
Robotics Auton. Syst.
Carsten Behn, Klaus Zimmermann
docker-build.sh
← Index docker-build.sh bash
#!/bin/bash

set -e

echo "Building REDB Docker image for linux/amd64 platform..."

# Function to tag the most recent <none> image
tag_unnamed_image() {
    local tag_name=$1
    local expected_size=$2
    
    # Get the most recent <none> image
    local image_id=$(docker images --filter "dangling=true" --format "{{.ID}}" | head -1)
    
    if [ -z "$image_id" ]; then
        echo "ERROR: No unnamed image found. Build may have failed."
        return 1
    fi
    
    local actual_size=$(docker images --format "table {{.ID}}\t{{.Size}}" | grep $image_id | awk '{print $2}')
    echo "Found image $image_id with size: $actual_size (expected: $expected_size)"
    
    # Tag the image
    echo "Tagging as $tag_name..."
    docker tag $image_id $tag_name
    
    return 0
}

# Build single unified image
echo ""
echo "Building REDB unified image - Supports both feature extraction and decompilation..."
echo "NOTE: If build hangs at 'exporting to image', press Ctrl+C - the image will still be created!"
echo ""

docker build --platform linux/amd64 -f Dockerfile -t redb:latest . || echo "Build interrupted (this is expected due to Docker Desktop bug)"

# Tag the image if it was built as unnamed
if docker images --filter "dangling=true" --format "{{.ID}}" | head -1 | grep -q "."; then
    tag_unnamed_image "redb:latest" "500MB"
fi

echo ""
echo "Docker build completed!"
echo ""
echo "Available images:"
docker images | grep redb

echo ""
echo "Image size:"
echo "REDB unified image: $(docker images redb:latest --format "{{.Size}}")"

echo ""
echo "Usage:"
echo "  Feature extraction: docker run redb:latest python3 start.py --nomad-job"
echo "  Decompilation:      docker run redb:latest python3 start.py --nomad-job --decompile"
echo "  Custom modules:     docker run redb:latest python3 start.py --nomad-job --modules BasicPropertiesExtractor,PEFeaturesExtractor"