Rafael Stahl

13 papers A 2C 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2024
Rafael Stahl
2023 A conf
DATE
Uzair Sharif, Daniel Mueller-Gritschneder, Rafael Stahl, Ulf Schlichtmann
2023 J jnl
CoRR
Rafael Stahl, Daniel Mueller-Gritschneder, Ulf Schlichtmann
2023 conf
CODAI
Philipp van Kempen, Rafael Stahl, Daniel Mueller-Gritschneder, Ulf Schlichtmann
2023 J jnl
CoRR
Philipp van Kempen, Rafael Stahl, Daniel Mueller-Gritschneder, Ulf Schlichtmann
2023 conf
CODAI
Samira Ahmadifarsani, Rafael Stahl, Philipp van Kempen, Daniel Mueller-Gritschneder, Ulf Schlichtmann
2022 A conf
DATE
Wolfgang Ecker, Peer Adelt, Wolfgang Müller, Reinhold Heckmann, Milos Krstic, Vladimir Herdt, Rolf Drechsler, Gerhard Angst, Ralf Wimmer, Andreas Mauderer, Rafael Stahl, Karsten Emrich, Daniel Mueller-Gritschneder, Bernd Becker, Philipp Scholl, Eyck Jentzsch, Jan Schlamelcher, Kim Grüttner, Paul Palomero Bernardo, Oliver Bringmann, Mihaela Damian, Julian Oppermann, Andreas Koch, Jörg Bormann, Johannes Partzsch, Christian Mayr, Wolfgang Kunz
2021 J jnl
Int. J. Parallel Program.
Rafael Stahl, Alexander Hoffman, Daniel Mueller-Gritschneder, Andreas Gerstlauer, Ulf Schlichtmann
2020 J jnl
IEEE Embed. Syst. Lett.
Rafael Stahl, Daniel Mueller-Gritschneder, Ulf Schlichtmann
2019 conf
SAMOS
Rafael Stahl, Zhuoran Zhao, Daniel Mueller-Gritschneder, Andreas Gerstlauer, Ulf Schlichtmann
2019 conf
NORCAS
Saman Payvar, Esko Pekkarinen, Rafael Stahl, Daniel Mueller-Gritschneder, Timo D. Hämäläinen
2019 conf
SiPS
Saman Payvar, Mir Khan, Rafael Stahl, Daniel Mueller-Gritschneder, Jani Boutellier
2018 C conf
FDL
Rafael Stahl, Daniel Mueller-Gritschneder, Ulf Schlichtmann
docker-push.sh
← Index docker-push.sh bash
#!/bin/bash

set -e

REGISTRY_USER="pstirparo"
IMAGE_NAME="redb"
TAG=${1:-"latest"}

echo "Tagging and pushing redb:$TAG to Docker Hub..."

# Tag for Docker Hub
docker tag redb:$TAG $REGISTRY_USER/$IMAGE_NAME:$TAG

# Push to Docker Hub
docker push $REGISTRY_USER/$IMAGE_NAME:$TAG

echo "✅ Successfully pushed $REGISTRY_USER/$IMAGE_NAME:$TAG"
echo ""
echo "To pull on VPS:"
echo "  docker pull $REGISTRY_USER/$IMAGE_NAME:$TAG"