diff --git a/travis/dockerfiles/Dockerfile.storm b/travis/dockerfiles/Dockerfile.storm
new file mode 100644
index 000000000..272b97825
--- /dev/null
+++ b/travis/dockerfiles/Dockerfile.storm
@@ -0,0 +1,8 @@
+FROM mvolk/storm-basesystem:ubuntu-16.10
+MAINTAINER Matthias Volk <matthias.volk@cs.rwth-aachen.de>
+
+COPY build_carl.sh /opt
+RUN cd opt && ./build_carl.sh
+
+COPY build_storm.sh /opt
+RUN cd opt && ./build_storm.sh
diff --git a/travis/dockerfiles/build_carl.sh b/travis/dockerfiles/build_carl.sh
new file mode 100755
index 000000000..5c26b307b
--- /dev/null
+++ b/travis/dockerfiles/build_carl.sh
@@ -0,0 +1,9 @@
+#!/bin/bash
+echo "Building Carl..."
+git clone -b singleton_fix https://github.com/smtrat/carl.git
+cd carl
+mkdir build
+cd build
+cmake .. -DCMAKE_BUILD_TYPE=Release -DUSE_CLN_NUMBERS=ON -DUSE_GINAC=ON
+make lib_carl -j2
+echo "Building Carl finished"
diff --git a/travis/dockerfiles/build_storm.sh b/travis/dockerfiles/build_storm.sh
new file mode 100755
index 000000000..4c11b708d
--- /dev/null
+++ b/travis/dockerfiles/build_storm.sh
@@ -0,0 +1,9 @@
+#!/bin/bash
+echo "Building Storm..."
+git clone https://github.com/moves-rwth/storm.git
+cd storm
+mkdir build
+cd build
+cmake .. -DCMAKE_BUILD_TYPE=Release
+make storm storm-dft storm-pars -j1
+echo "Building Storm finished"