Octavian Pastravanu

32 papers C 1Misc 3Journal 5Unranked 23
YearRankTypeTitle / Venue / Authors
2025 conf
CSCS
Octavian Pastravanu, Mihail Voicu, Mihaela-Hanako Matcovschi
2024 conf
ICSTCC
Mihaela-Hanako Matcovschi, Marius Apetrii, Octavian Pastravanu
2023 conf
ICSTCC
Octavian Pastravanu, Mihaela-Hanako Matcovschi
2022 conf
ICSTCC
Octavian Pastravanu, Mihaela-Hanako Matcovschi, Mihail Voicu
2021 conf
ICSTCC
Mihaela-Hanako Matcovschi, Marius Apetrii, Octavian Pastravanu, Mihail Voicu
2021 Misc conf
SACI
Theodora Gaiceanu, Octavian Pastravanu
2021 conf
CSCS
Octavian Pastravanu, Mihaela-Hanako Matcovschi
2020 conf
AQTR
Octavian Pastravanu, Mihaela-Hanako Matcovschi
2020 conf
ICSTCC
Octavian Pastravanu, Mihaela-Hanako Matcovschi, Mihail Voicu
2019 conf
ICSTCC
Octavian Pastravanu, Mihaela-Hanako Matcovschi, Mihail Voicu
2019 Misc conf
SACI
Octavian Pastravanu, Mihaela-Hanako Matcovschi
2019 J jnl
Int. J. Syst. Sci.
Codrin Alexandru Lupascu, Stefan-Cristian Nechita, Octavian Pastravanu
2019 conf
CSCS
Mihaela-Hanako Matcovschi, Octavian Pastravanu
2019 conf
ICSTCC
Mihaela-Hanako Matcovschi, Octavian Pastravanu
2018 Misc conf
SACI
Octavian Pastravanu, Mihaela-Hanako Matcovschi
2018 conf
AQTR
Octavian Pastravanu, Mihaela-Hanako Matcovschi
2017 conf
CSCS
Stefan-Cristian Nechita, Codrin Alexandru Lupascu, Octavian Pastravanu
2016 conf
AQTR
Octavian Pastravanu, Mihaela-Hanako Matcovschi
2011 C conf
ETFA
Marius Kloetzer, Cristian Mahulea, Octavian Pastravanu
2010 J jnl
J. Frankl. Inst.
Octavian Pastravanu, Mihaela-Hanako Matcovschi
2009 conf
ECC
Octavian Pastravanu, Mihaela-Hanako Matcovschi
2005 conf
CDC/ECC
Mihaela-Hanako Matcovschi, Octavian Pastravanu
2005 conf
HSCC
Mircea Lazar, W. P. M. H. Heemels, Siep Weiland, Alberto Bemporad, Octavian Pastravanu
2004 J jnl
IEEE Trans. Autom. Control.
Octavian Pastravanu, Mihail Voicu
2003 conf
ECC
Octavian Pastravanu, Mihail Voicu
2003 conf
ECC
Mihaela-Hanako Matcovschi, Octavian Pastravanu
2002 J jnl
Math. Comput. Simul.
Mircea Lazar, Octavian Pastravanu
2002 conf
Analysis and Optimization of Differential Systems
Mihail Voicu, Octavian Pastravanu
2002 conf
Analysis and Optimization of Differential Systems
Laurentiu Marinovici, Octavian Pastravanu
2002 J jnl
Kybernetika
Mihail Voicu, Octavian Pastravanu
2001 conf
ECC
Octavian Pastravanu, Mihail Voicu
1999 conf
ECC
Octavian Pastravanu, Mihail Voicu
scripts/setup-and-run.sh
← Index scripts/setup-and-run.sh bash
#!/bin/bash
set -e

# Setup Binary Ninja Python API if available on host (from snapshot)
if [ -d "/opt/binaryninja" ] && [ -f "/opt/binaryninja/scripts/linux-setup.sh" ]; then
    echo "Binary Ninja found on host, setting up Python API..."
    cd /opt
    ./binaryninja/scripts/linux-setup.sh -s || echo "Binary Ninja setup failed"
    
    # Change back to the app directory
    cd /app
    
    # Verify installation
    python3 -c "import binaryninja; print('Binary Ninja Python API ready, version:', binaryninja.core_version())" 2>/dev/null || echo "Binary Ninja Python API not available"
else
    echo "Binary Ninja not found on host - decompilation will be disabled"
fi

# Copy license if available
if [ -f "/opt/binaryninja-license/license.dat" ]; then
    mkdir -p ~/.binaryninja
    cp /opt/binaryninja-license/license.dat ~/.binaryninja/
    echo "Binary Ninja license configured"
fi

# Execute the original command
exec "$@"