Jan Komenda

97 papers A* 1B 1C 3Journal 60Unranked 29
YearRankTypeTitle / Venue / Authors
2026 J jnl
Autom.
Shaowen Miao, Petr Jancar, Jan Komenda, Tomás Masopust, Aiwen Lai
2026 J jnl
IEEE Trans. Autom. Control.
Shaowen Miao, Jan Komenda, Tomás Masopust, Aiwen Lai
2026 J jnl
Autom.
Shaowen Miao, Jan Komenda, Feng Lin
2026 J jnl
Discret. Event Dyn. Syst.
Jan Komenda, Dimitri Lefebvre, Olivier H. Roux
2026 J jnl
Discret. Event Dyn. Syst.
Jan Komenda, Sébastien Lahaye, Rémi Parrot, Olivier H. Roux
2025 J jnl
IEEE Trans Autom. Sci. Eng.
Shaowen Miao, Jan Komenda, Aiwen Lai
2025 J jnl
CoRR
Shaopeng Hu, Shaowen Miao, Jan Komenda, Zhi-Wu Li
2025 J jnl
Autom.
Shaowen Miao, Aiwen Lai, Jan Komenda
2024 J jnl
IEEE Control. Syst. Lett.
Shaowen Miao, Aiwen Lai, Jan Komenda, Sébastien Lahaye
2024 conf
ASCC
Liren Shen, Shaowen Miao, Aiwen Lai, Jan Komenda, Sébastien Lahaye
2024 J jnl
IEEE Control. Syst. Lett.
Bérangère Daviaud, Sébastien Lahaye, Mehdi Lhommeau, Jan Komenda
2024 J jnl
IEEE Trans. Autom. Control.
Jan Komenda, Tomás Masopust
2024 J jnl
Discret. Event Dyn. Syst.
Davide Zorzenon, Jan Komenda, Jörg Raisch
2023 J jnl
CoRR
Fei Wang, Jan Komenda, Feng Lin
2023 J jnl
IEEE Trans. Autom. Control.
Jan Komenda, Tomás Masopust
2023 C conf
CoDIT
Bérangère Daviaud, Sébastien Lahaye, Mehdi Lhommeau, Jan Komenda
2023 J jnl
CoRR
Jan Komenda, Tomás Masopust
2023 J jnl
CoRR
Davide Zorzenon, Jan Komenda, Jörg Raisch
2023 C conf
CoDIT
Shaowen Miao, Aiwen Lai, Xiao Yu, Sébastien Lahaye, Jan Komenda
2022 J jnl
IEEE Trans. Syst. Man Cybern. Syst.
Aiwen Lai, Jan Komenda, Sébastien Lahaye
2022 J jnl
CoRR
Jan Komenda, Tomás Masopust
2022 J jnl
Autom.
Yingying Liu, Jan Komenda, Tomás Masopust, ZhiWu Li
2022 J jnl
IEEE Trans. Autom. Control.
Aiwen Lai, Sébastien Lahaye, Jan Komenda
2022 J jnl
IEEE Control. Syst. Lett.
Davide Zorzenon, Jan Komenda, Jörg Raisch
2022 J jnl
IEEE Control. Syst. Lett.
Yingying Liu, Jan Komenda, ZhiWu Li
2022 J jnl
CoRR
Davide Zorzenon, Jan Komenda, Jörg Raisch
2022 J jnl
Discret. Appl. Math.
Davide Zorzenon, Jan Komenda, Jörg Raisch
2021 J jnl
Int. J. Syst. Sci.
Pavel Spacek, Jan Komenda, Sébastien Lahaye
2021 J jnl
CoRR
Davide Zorzenon, Jan Komenda, Jörg Raisch
2021 J jnl
CoRR
Yingying Liu, Jan Komenda, ZhiWu Li
2021 J jnl
CoRR
Davide Zorzenon, Jan Komenda, Jörg Raisch
2020 J jnl
Discret. Event Dyn. Syst.
Sébastien Lahaye, Aiwen Lai, Jan Komenda, Jean-Louis Boimond
2020 J jnl
CoRR
Pavel Spacek, Jan Komenda, Sébastien Lahaye
2020 conf
CDC
Davide Zorzenon, Jan Komenda, Jörg Raisch
2019 J jnl
CoRR
Jan Komenda, Feng Lin, Jan H. van Schuppen
2019 conf
CDC
Jan Komenda, Feng Lin, Jan H. van Schuppen
2019 J jnl
CoRR
Jan Komenda, Tomás Masopust
2018 J jnl
Annu. Rev. Control.
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond, Ton J. J. van den Boom
2017 J jnl
Discret. Event Dyn. Syst.
Jan Komenda, Tomás Masopust
2016 conf
WODES
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2016 J jnl
Discret. Event Dyn. Syst.
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
2016 conf
CDC
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2016 J jnl
Int. J. Control
Jan Komenda, Tomás Masopust
2016 conf
WODES
Jan Komenda, Feng Lin
2016 J jnl
CoRR
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2015 J jnl
Discret. Event Dyn. Syst.
Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond
2015 J jnl
Discret. Event Dyn. Syst.
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2015 C conf
ACC
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2015 J jnl
CoRR
Jan Komenda, Tomás Masopust
2015 conf
CASE
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2015 J jnl
Int. J. Control
Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond
2014 J jnl
CoRR
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2014 conf
ECC
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2014 J jnl
CoRR
Jan Komenda, Tomás Masopust
2014 conf
CDC
Jan Komenda, Tomás Masopust
2014 J jnl
CoRR
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2014 conf
WODES
Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond
2013 conf
Allerton
Jan Komenda, Tomás Masopust
2013 J jnl
CoRR
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2013 ch.
Control of Discrete-Event Systems
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2013 conf
CDC
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2013 ch.
Control of Discrete-Event Systems
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2013 ch.
Control of Discrete-Event Systems
Jan Komenda
2012 conf
WODES
Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond
2012 conf
WODES
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
2012 J jnl
CoRR
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2012 J jnl
CoRR
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2012 conf
WODES
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2012 J jnl
Syst. Control. Lett.
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2012 J jnl
Autom.
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2011 J jnl
Eur. J. Control
Olivier Boutin, Jan Komenda, Tomás Masopust, Nicola Pambakian, Jan H. van Schuppen, Pia L. Kempker, André C. M. Ran
2011 conf
CDC/ECC
Olivier Boutin, Jan Komenda, Tomás Masopust, Klaus Schmidt, Jan H. van Schuppen
2011 conf
CDC/ECC
Éric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda
2011 J jnl
Syst. Control. Lett.
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2010 conf
CMCS@ETAPS
Jan Komenda
2010 conf
WODES
Pavel Spacek, Jan Komenda
2010 J jnl
CoRR
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2010 conf
WODES
Jan Komenda, Tomás Masopust
2010 conf
WODES
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
2010 conf
WODES
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2009 conf
ECC
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
2009 J jnl
Discret. Event Dyn. Syst.
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
2008 J jnl
IEEE Trans. Autom. Control.
Jan Komenda, Jan H. van Schuppen
2008 J jnl
Autom.
Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, Hervé Marchand
2007 J jnl
Theor. Comput. Sci.
Jan Komenda, Jan H. van Schuppen
2007 conf
ICINCO-ICSO
Jan Komenda, Jean-Louis Boimond, Sébastien Lahaye
2005 J jnl
Discret. Event Dyn. Syst.
Jan Komenda, Jan H. van Schuppen
2005 conf
FMCO
Jan Komenda, Jan H. van Schuppen
2005 conf
CDC/ECC
Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, Hervé Marchand
2005 conf
CDC/ECC
Jan Komenda, Jan H. van Schuppen
2003 conf
CMCS
Jan Komenda
2003 conf
ECC
Jan Komenda, Jan H. van Schuppen
2001 J jnl
Discret. Event Dyn. Syst.
Jan Komenda, Abdellah El Moudni, Noureddine Zerhouni
1998 B conf
SMC
Jan Komenda, Nourredine Zerhouni, Abdellah El Moudni
1998 J jnl
Cybern. Syst.
Jan Komenda, Abdellah El Moudni, Nourredine Zerhouni
1997 J jnl
Cybern. Syst.
Jan Komenda, Abdellah El Moudni, Nourredine Zerhouni, Michel Ferney
1996 A* conf
ICRA
Jan Komenda, Abdellah El Moudni, Noureddine Zerhouni, Michel Ferney
redb/extractors/elf_extractors/elf_dependencies.py
← Index redb/extractors/elf_extractors/elf_dependencies.py python
import inspect
from datetime import datetime, timezone
from typing import Any, List, Dict

from elftools.elf.elffile import ELFFile
from elftools.common.exceptions import ELFError

from redb.extractors.enum import Tag
from redb.extractors.elf_extractor import ELFExtractor
from redb.models.dataclasses import ELFDependency


class ELFDependencyExtractor(ELFExtractor):

    def __init__(
        self,
        filepath,
        log,
        exporters=None,
        index_prefix=None,
        elastic_index=None,
        known_benign=False,
        known_malicious=False,
        elf=None,
    ):
        super().__init__(
            filepath,
            log,
            exporters,
            index_prefix,
            elastic_index,
            known_benign,
            known_malicious,
            elf,
        )
        self.elf_dependencies = []
        self.elastic_index = self.index_prefix + "-elf_dependencies"
        self.log.debug(inspect.currentframe().f_code.co_name)

    def _map_dependency_type(self, dt_tag_str: str) -> int:
        """Map dynamic tag string to enum value."""
        type_map = {
            'DT_NEEDED': 1,
            'DT_SONAME': 14,
            'DT_RPATH': 15,
            'DT_RUNPATH': 29
        }
        return type_map.get(dt_tag_str, 0)

    def _extract_dynamic_dependencies(self, elf) -> List[Dict]:
        """Extract dependencies from the dynamic section."""
        dependencies = []

        try:
            # Get the dynamic section
            dynamic_section = elf.get_section_by_name('.dynamic')
            if not dynamic_section:
                self.log.debug("No .dynamic section found")
                return dependencies

            # Iterate through dynamic tags
            for tag in dynamic_section.iter_tags():
                dt_tag = tag.entry.d_tag

                # Handle different dependency types
                if dt_tag == 'DT_NEEDED':
                    # Required library
                    dependency_name = tag.needed
                    dependencies.append(ELFDependency(
                        dependency_name=dependency_name,
                        dependency_type=self._map_dependency_type('DT_NEEDED'),
                        dependency_type_str='NEEDED'
                    ))

                elif dt_tag == 'DT_SONAME':
                    # Shared object name
                    dependency_name = tag.soname
                    dependencies.append(ELFDependency(
                        dependency_name=dependency_name,
                        dependency_type=self._map_dependency_type('DT_SONAME'),
                        dependency_type_str='SONAME'
                    ))

                elif dt_tag == 'DT_RPATH':
                    # Runtime library search path
                    dependency_name = tag.rpath
                    dependencies.append(ELFDependency(
                        dependency_name=dependency_name,
                        dependency_type=self._map_dependency_type('DT_RPATH'),
                        dependency_type_str='RPATH'
                    ))

                elif dt_tag == 'DT_RUNPATH':
                    # Runtime library search path (newer)
                    dependency_name = tag.runpath
                    dependencies.append(ELFDependency(
                        dependency_name=dependency_name,
                        dependency_type=self._map_dependency_type('DT_RUNPATH'),
                        dependency_type_str='RUNPATH'
                    ))

        except Exception as e:
            self.log.error(f"Error extracting dynamic dependencies: {e}")

        return dependencies

    def tag(self):
        return Tag.ELF_DEPENDENCIES.value if hasattr(Tag, 'ELF_DEPENDENCIES') else "elf_dependencies"

    def extract(self):
        try:
            self.log.debug(inspect.currentframe().f_code.co_name)

            def extract_data(elf):
                # Extract dependencies - returns list of ELFDependency dataclasses
                dependencies = self._extract_dynamic_dependencies(elf)
                return dependencies

            if not self._is_elf_file():
                return None

            result = self._with_elf_file(extract_data)
            if result is None:
                return None

            self.elf_dependencies = result
            return self.elf_dependencies

        except Exception as e:
            self.log.error(f"Error extracting ELF dependencies {self.hash.sha256}: {e}")
            return None

    def prepare_export_data(self, exporter_type: str) -> Any:
        self.log.debug(inspect.currentframe().f_code.co_name)

        if exporter_type == "ElasticsearchExporter":
            return self.elf_dependencies
        elif exporter_type == "ClickHouseExporter":
            try:
                # Return valid empty structure if no dependencies (e.g., statically linked binary)
                # None is reserved for actual errors

                # Prepare data arrays for all dependencies
                data = []
                current_time = datetime.now(timezone.utc)
                for dep in self.elf_dependencies:
                    row = [
                        self.sha256,
                        self.md5,
                        self.sha1,
                        dep.dependency_name,
                        dep.dependency_type,
                        dep.dependency_type_str,
                        current_time
                    ]
                    data.append(row)

                column_names = [
                    'sha256', 'md5', 'sha1',
                    'dependency_name', 'dependency_type', 'dependency_type_str',
                    'analysis_date'
                ]

                if not data:
                    return None

                column_type_names = [
                    'FixedString(64)', 'FixedString(32)', 'FixedString(40)',
                    'LowCardinality(String)',
                    "Enum8('NEEDED'=1, 'SONAME'=14, 'RPATH'=15, 'RUNPATH'=29)",
                    'LowCardinality(String)',
                    'DateTime64(3, \'UTC\')'
                ]

                return (data, column_names, column_type_names)

            except Exception as e:
                self.log.error(f"Error preparing export data: {e}")
                raise

    def get_clickhouse_table(self) -> str:
        return "redb_elf_dependencies"