Nathalie Sznajder

37 papers B 9C 2Journal 19Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Binh-Minh Bui-Xuan, Florent Krasnopol, Bruno Monasson, Nathalie Sznajder
2025 B conf
MFCS
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2025 J jnl
CoRR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2024 B conf
CONCUR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2024 J jnl
CoRR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2024 J jnl
Formal Methods Syst. Des.
Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder
2024 B conf
Petri Nets
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2024 J jnl
CoRR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2023 B conf
CONCUR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2023 J jnl
CoRR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2022 J jnl
Inf. Comput.
Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder
2020 conf
NETYS
Yackolley Amoussou-Guenou, Souheib Baarir, Maria Potop-Butucaru, Nathalie Sznajder, Léo Tible, Sébastien Tixeuil
2020 B conf
FoSSaCS
Béatrice Bérard, Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder
2020 J jnl
Formal Methods Syst. Des.
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil
2020 conf
GandALF
Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder
2019 ch.
Distributed Computing by Mobile Entities
Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil, Xavier Urbain
2019 J jnl
CoRR
Béatrice Bérard, Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder
2018 B conf
ATVA
Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder
2017 J jnl
CoRR
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil
2017 B conf
FMCAD
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil
2016 conf
FORMATS
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder
2016 J jnl
CoRR
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder
2015 J jnl
Inf. Process. Lett.
Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder
2014 J jnl
Formal Methods Syst. Des.
Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder
2014 C conf
SSS
Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil
2014 J jnl
CoRR
Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil
2014 J jnl
CoRR
Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder
2013 J jnl
ACM Trans. Comput. Log.
Paul Gastin, Nathalie Sznajder
2012 B conf
CONCUR
Béatrice Bérard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder
2012 J jnl
Inf. Process. Lett.
Paul Gastin, Nathalie Sznajder
2011 conf
FORMATS
Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder
2011 J jnl
CoRR
Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder
2010 conf
FORMATS
Barbara Di Giampaolo, Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder
2009 J jnl
Formal Methods Syst. Des.
Paul Gastin, Nathalie Sznajder, Marc Zeitoun
2009 B conf
SOFSEM
Thomas Chatain, Paul Gastin, Nathalie Sznajder
2007 C conf
BIBE
Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari
2006 conf
FSTTCS
Paul Gastin, Nathalie Sznajder, Marc Zeitoun
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"