Olivier Gauwin

37 papers A* 4B 3C 5Journal 17Unranked 5
YearRankTypeTitle / Venue / Authors
2020 J jnl
Log. Methods Comput. Sci.
Olivier Gauwin, Anca Muscholl, Michael Raskin
2020 book
Olivier Gauwin
2019 J jnl
Log. Methods Comput. Sci.
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
2019 J jnl
CoRR
Olivier Gauwin, Anca Muscholl, Michael A. Raskin
2019 J jnl
Log. Methods Comput. Sci.
Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
2018 conf
FSTTCS
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote, Anca Muscholl
2018 J jnl
Log. Methods Comput. Sci.
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
2017 J jnl
CoRR
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
2017 J jnl
CoRR
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
2017 J jnl
CoRR
Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
2017 A* conf
LICS
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
2017 J jnl
CoRR
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
2016 conf
FSTTCS
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
2016 A* conf
LICS
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
2016 A* conf
ICALP
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
2015 J jnl
Theor. Comput. Sci.
Denis Debarbieux, Olivier Gauwin, Joachim Niehren, Tom Sebastian, Mohamed Zergaoui
2015 conf
FSTTCS
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
2014 J jnl
Comput. Networks
Caroline Battaglia, Véronique Bruyère, Olivier Gauwin, Cristel Pelsser, Bruno Quoitin
2013 C conf
CIAA
Denis Debarbieux, Olivier Gauwin, Joachim Niehren, Tom Sebastian, Mohamed Zergaoui
2013 J jnl
CoRR
Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
2013 A* conf
LICS
Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
2013 B conf
RV
Véronique Bruyère, Marc Ducobu, Olivier Gauwin
2013 C conf
LATA
Véronique Bruyère, Marc Ducobu, Olivier Gauwin
2012 J jnl
RAIRO Theor. Informatics Appl.
Véronique Bruyère, Olivier Carton, Alexandre Decan, Olivier Gauwin, Jef Wijsen
2012 ch.
Handbook of Finite State Based Models and Applications
Olivier Gauwin
2012 J jnl
CoRR
Véronique Bruyère, Marc Ducobu, Olivier Gauwin
2011 J jnl
Inf. Comput.
Olivier Gauwin, Joachim Niehren, Sophie Tison
2011 conf
FSTTCS
Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
2011 C conf
CIAA
Olivier Gauwin, Joachim Niehren
2010 B conf
CSL
Guillaume Bagan, Arnaud Durand, Emmanuel Filiot, Olivier Gauwin
2009 C conf
LATA
Olivier Gauwin, Joachim Niehren, Sophie Tison
2009 B conf
FCT
Olivier Gauwin, Joachim Niehren, Sophie Tison
2009
Olivier Gauwin
2008 conf
PLAN-X
Olivier Gauwin, Anne-Cécile Caron, Joachim Niehren, Sophie Tison
2008 J jnl
Inf. Process. Lett.
Olivier Gauwin, Joachim Niehren, Yves Roos
2007 J jnl
J. Log. Comput.
Olivier Gauwin, Sébastien Konieczny, Pierre Marquis
2005 C conf
ECSQARU
Olivier Gauwin, Sébastien Konieczny, Pierre Marquis
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 "$@"