Karl F. Doerner

103 papers B 1C 5Misc 3Journal 73Unranked 16
YearRankTypeTitle / Venue / Authors
2025 J jnl
Logist. Res.
David Wolfinger, Margaretha Gansterer, Karl F. Doerner
2024 J jnl
Networks
Georg E. A. Froehlich, Margaretha Gansterer, Karl F. Doerner
2024 J jnl
Central Eur. J. Oper. Res.
Herbert Dawid, Karl F. Doerner, Gustav Feichtinger, Margaretha Gansterer, Peter M. Kort, Andrea Seidl
2024 J jnl
Comput. Oper. Res.
Emilio Jose Alarcon Ortega, Sebastian Malicki, Karl F. Doerner, Stefan Minner
2024 J jnl
Central Eur. J. Oper. Res.
Christina Hess, Alina G. Dragomir, Karl F. Doerner, Daniele Vigo
2023 J jnl
Eur. J. Oper. Res.
David Wolfinger, Margaretha Gansterer, Karl F. Doerner, Nikolas Popper
2023 J jnl
Comput. Oper. Res.
Emilio Jose Alarcon Ortega, Karl F. Doerner
2023 conf
BPM (Forum)
Alexander Kinast, Roland Braune, Karl F. Doerner, Stefanie Rinderle-Ma
2023 J jnl
Int. Trans. Oper. Res.
Georg E. A. Froehlich, Margaretha Gansterer, Karl F. Doerner
2022 J jnl
J. Ind. Inf. Integr.
Alexander Kinast, Roland Braune, Karl F. Doerner, Stefanie Rinderle-Ma, Christian Weckenborg
2022 J jnl
Logist. Res.
Jasmin Grabenschweiger, Karl F. Doerner, Richard F. Hartl
2022 J jnl
Comput. Oper. Res.
Alina G. Dragomir, Tom Van Woensel, Karl F. Doerner
2021 C conf
ISM
Alexander Kinast, Karl F. Doerner, Stefanie Rinderle-Ma
2021 J jnl
Ann. Oper. Res.
David Schmaranzer, Roland Braune, Karl F. Doerner
2021 J jnl
Ann. Oper. Res.
Christian Stummer, Martin Zsifkovits, Karl F. Doerner
2021 conf
ICCL
Briseida Sarasola, Karl F. Doerner
2021 J jnl
Central Eur. J. Oper. Res.
Jasmin Grabenschweiger, Karl F. Doerner, Richard F. Hartl, Martin W. P. Savelsbergh
2020 J jnl
Networks
Briseida Sarasola, Karl F. Doerner
2020 C conf
ISM
Alexander Kinast, Karl F. Doerner, Stefanie Rinderle-Ma
2020 C conf
ISM
Viktoria A. Hauder, Andreas Beham, Stefan Wagner, Karl F. Doerner, Michael Affenzeller
2020 J jnl
Networks
Georg E. A. Froehlich, Karl F. Doerner, Margaretha Gansterer
2020 Misc conf
WSC
David Schmaranzer, Alexander Kiefer, Roland Braune, Karl F. Doerner
2020 J jnl
Comput. Oper. Res.
Alina G. Dragomir, Karl F. Doerner
2020 C conf
ISM
Biljana Roljic, Sebastian Leitner, Karl F. Doerner
2019 J jnl
OR Spectr.
Frank Benda, Roland Braune, Karl F. Doerner, Richard F. Hartl
2019 J jnl
EURO J. Transp. Logist.
David Wolfinger, Fabien Tricoire, Karl F. Doerner
2019 J jnl
J. Sched.
Petra Vogl, Roland Braune, Karl F. Doerner
2019 J jnl
J. Sched.
Thomas Felberbauer, Walter J. Gutjahr, Karl F. Doerner
2018 conf
LION
Georg E. A. Froehlich, Guenter Kiechle, Karl F. Doerner
2018 J jnl
Central Eur. J. Oper. Res.
Immanuel M. Bomze, Karl F. Doerner, Richard F. Hartl, Ulrike Leopold-Wildburger, Georg Pflug, Marion S. Rauner, Christian Stummer, Gernot Tragler, Tina Wakolbinger
2018 J jnl
Central Eur. J. Oper. Res.
Karl F. Doerner, Vittorio Maniezzo
2018 J jnl
Logist. Res.
Karl Schneeberger, Karl F. Doerner, Michael Schilde
2018 J jnl
Eur. J. Oper. Res.
Alexander Kiefer, Michael Schilde, Karl F. Doerner
2018 Misc conf
WSC
David Schmaranzer, Roland Braune, Karl F. Doerner
2018 J jnl
Central Eur. J. Oper. Res.
Sophie N. Parragh, Karl F. Doerner
2017 conf
EUROCAST (1)
Petra Vogl, Roland Braune, Karl F. Doerner
2017 J jnl
Int. J. Metaheuristics
Stefanie Kritzinger, Fabien Tricoire, Karl F. Doerner, Richard F. Hartl, Thomas Stützle
2017 conf
OR
Emilio Jose Alarcon Ortega, Michael Schilde, Karl F. Doerner, Sebastian Malicki
2017 ed.
OR
Karl F. Doerner, Ivana Ljubic, Georg Pflug, Gernot Tragler
2017 J jnl
Networks
Karl F. Doerner, Richard W. Eglese, Richard F. Hartl, Jakob Puchinger
2017 J jnl
J. Oper. Res. Soc.
Roland Braune, Karl F. Doerner
2016 Misc conf
WSC
David Schmaranzer, Roland Braune, Karl F. Doerner
2016 J jnl
Central Eur. J. Oper. Res.
Karl Schneeberger, Karl F. Doerner, Andrea Kurz, Michael Schilde
2016 J jnl
Public Transp.
Alexander Kiefer, Stefanie Kritzinger, Karl F. Doerner
2016 J jnl
Ann. Oper. Res.
Karl F. Doerner, Juan José Salazar González, Christian Stummer
2016 conf
OR
Biljana Roljic, Fabien Tricoire, Karl F. Doerner
2016 J jnl
Ann. Oper. Res.
Briseida Sarasola, Karl F. Doerner, Verena Schmid, Enrique Alba
2015 J jnl
Networks
Michael Bögl, Karl F. Doerner, Sophie N. Parragh
2014 J jnl
Discret. Appl. Math.
Karl F. Doerner, Pierre Hansen, Vittorio Maniezzo, Stefan Voß
2014 J jnl
Transp. Sci.
Verena Schmid, Karl F. Doerner
2014 J jnl
Eur. J. Oper. Res.
Michael Schilde, Karl F. Doerner, Richard F. Hartl
2014 J jnl
Transp. Sci.
Vera C. Hemmelmayr, Karl F. Doerner, Richard F. Hartl, Daniele Vigo
2014 ch.
Vehicle Routing
Karl F. Doerner, Juan José Salazar González
2014 conf
OR
Karl Schneeberger, Michael Schilde, Karl F. Doerner
2013 J jnl
Eur. J. Oper. Res.
Claudia Archetti, Karl F. Doerner, Fabien Tricoire
2013 J jnl
J. Heuristics
Vera C. Hemmelmayr, Karl F. Doerner, Richard F. Hartl, Stefan Rath
2013 J jnl
Comput. Oper. Res.
Fabien Tricoire, Martin Romauch, Karl F. Doerner, Richard F. Hartl
2013 J jnl
Eur. J. Oper. Res.
Verena Schmid, Karl F. Doerner, Gilbert Laporte
2012 J jnl
J. Sched.
Attila A. Kovacs, Sophie N. Parragh, Karl F. Doerner, Richard F. Hartl
2012 J jnl
OR Spectr.
Sophie N. Parragh, Jean-François Cordeau, Karl F. Doerner, Richard F. Hartl
2011 J jnl
OR Spectr.
Fabien Tricoire, Karl F. Doerner, Richard F. Hartl, Manuel Iori
2011 conf
EvoApplications (2)
Elisabeth Gussmagg-Pfliegl, Fabien Tricoire, Karl F. Doerner, Richard F. Hartl, Stefan Irnich
2011 J jnl
Comput. Oper. Res.
Michael Schilde, Karl F. Doerner, Richard F. Hartl
2011 J jnl
OR Spectr.
Pamela C. Nolz, Frédéric Semet, Karl F. Doerner
2011 J jnl
OR Spectr.
Karl F. Doerner, Walter J. Gutjahr, Luk N. Van Wassenhove
2011 conf
LION
Stefanie Kritzinger, Fabien Tricoire, Karl F. Doerner, Richard F. Hartl
2010 ch.
Advances in Multi-Objective Nature Inspired Computing
Pamela C. Nolz, Karl F. Doerner, Walter J. Gutjahr, Richard F. Hartl
2010 J jnl
Eur. J. Oper. Res.
Verena Schmid, Karl F. Doerner
2010 J jnl
Comput. Oper. Res.
Fabien Tricoire, Martin Romauch, Karl F. Doerner, Richard F. Hartl
2010 J jnl
Comput. Oper. Res.
Verena Schmid, Karl F. Doerner, Richard F. Hartl, Juan José Salazar González
2010 J jnl
Eur. J. Oper. Res.
Guenther Fuellerer, Karl F. Doerner, Richard F. Hartl, Manuel Iori
2010 conf
Hybrid Metaheuristics
Johannes Strodl, Karl F. Doerner, Fabien Tricoire, Richard F. Hartl
2010 conf
Hybrid Metaheuristics
Karl F. Doerner, Verena Schmid
2010 J jnl
Comput. Oper. Res.
Sophie N. Parragh, Karl F. Doerner, Richard F. Hartl
2010 J jnl
Eur. J. Oper. Res.
Vera C. Hemmelmayr, Karl F. Doerner, Richard F. Hartl, Martin W. P. Savelsbergh
2009 J jnl
Transp. Sci.
Verena Schmid, Karl F. Doerner, Richard F. Hartl, Martin W. P. Savelsbergh, Wolfgang Stoecher
2009 J jnl
Networks
Sophie N. Parragh, Karl F. Doerner, Richard F. Hartl, Xavier Gandibleux
2009 J jnl
Eur. J. Oper. Res.
Vera C. Hemmelmayr, Karl F. Doerner, Richard F. Hartl
2009 J jnl
Comput. Oper. Res.
Guenther Fuellerer, Karl F. Doerner, Richard F. Hartl, Manuel Iori
2009 J jnl
OR Spectr.
Vera C. Hemmelmayr, Karl F. Doerner, Richard F. Hartl, Martin W. P. Savelsbergh
2009 J jnl
Swarm Intell.
Michael Schilde, Karl F. Doerner, Richard F. Hartl, Guenter Kiechle
2009 J jnl
OR Spectr.
Karl F. Doerner, Walter J. Gutjahr, Pamela C. Nolz
2009 J jnl
J. Oper. Res. Soc.
Alexander Ostertag, Karl F. Doerner, Richard F. Hartl, Éric D. Taillard, Philippe Waelti
2009 J jnl
Swarm Intell.
Karl F. Doerner, Daniel Merkle, Thomas Stützle
2009 conf
Wirtschaftsinformatik (2)
Günter Kiechle, Karl F. Doerner, Stefan Biffl
2008 conf
Hybrid Metaheuristics
Alexander Ostertag, Karl F. Doerner, Richard F. Hartl
2008 J jnl
J. Heuristics
Michael Polacek, Karl F. Doerner, Richard F. Hartl, Vittorio Maniezzo
2008 J jnl
Comput. Oper. Res.
Karl F. Doerner, Richard F. Hartl
2008 J jnl
Comput. Oper. Res.
Karl F. Doerner, Manfred Gronalt, Richard F. Hartl, Guenter Kiechle, Marc Reimann
2007 J jnl
Comput. Oper. Res.
Rapeepan Pitakaso, Christian Almeder, Karl F. Doerner, Richard F. Hartl
2007 B conf
EvoCOP
Joseph M. Pasia, Karl F. Doerner, Richard F. Hartl, Marc Reimann
2007 C conf
EMO
Joseph M. Pasia, Xavier Gandibleux, Karl F. Doerner, Richard F. Hartl
2007 book
Metaheuristics
Karl F. Doerner, Michel Gendreau, Peter Greistorfer, Walter J. Gutjahr, Richard F. Hartl, Marc Reimann
2007 J jnl
Networks
Karl F. Doerner, Guenther Fuellerer, Richard F. Hartl, Manfred Gronalt, Manuel Iori
2007 ch.
Metaheuristics
Alexander Schirrer, Karl F. Doerner, Richard F. Hartl
2007 J jnl
Eur. J. Oper. Res.
Michael Polacek, Karl F. Doerner, Richard F. Hartl, Guenter Kiechle, Marc Reimann
2007 conf
SLS
Joseph M. Pasia, Karl F. Doerner, Richard F. Hartl, Marc Reimann
2006 J jnl
Eur. J. Oper. Res.
Karl F. Doerner, Walter J. Gutjahr, Gabriele Kotsis, Martin Polaschek, Christine Strauss
2006 J jnl
Parallel Process. Lett.
Karl F. Doerner, Richard F. Hartl, Siegfried Benkner, Mária Lucká
2006 J jnl
Eur. J. Oper. Res.
Karl F. Doerner, Walter J. Gutjahr, Richard F. Hartl, Christine Strauss, Christian Stummer
2004 J jnl
Ann. Oper. Res.
Karl F. Doerner, Walter J. Gutjahr, Richard F. Hartl, Christine Strauss, Christian Stummer
2002 conf
OR
Marc Reimann, Karl F. Doerner
2002 conf
OR
Karl F. Doerner, Manfred Gronalt, Richard F. Hartl, Marc Reimann, Kerstin Zisser
redb/extractors/decompiler/apk/smali_parser.py
← Index redb/extractors/decompiler/apk/smali_parser.py python
"""Smali file parser — extracts individual method bodies from apktool output.

Parses .smali files produced by apktool and extracts per-method bodies,
instruction counts, and register counts.
"""

import os
import re
from dataclasses import dataclass, field
from typing import Dict, List, Optional


@dataclass
class SmaliMethod:
    """Parsed smali method data."""
    class_name: str
    method_name: str
    method_signature: str
    body: str
    instruction_count: int = 0
    register_count: int = 0
    access_flags: List[str] = field(default_factory=list)


# Directives start with '.' — these are metadata, not instructions
_DIRECTIVE_RE = re.compile(r"^\s*\.")
# Labels start with ':'
_LABEL_RE = re.compile(r"^\s*:")
# Blank or comment lines
_BLANK_OR_COMMENT_RE = re.compile(r"^\s*(#.*)?$")
# Method declaration
_METHOD_START_RE = re.compile(
    r"^\.method\s+(.*?)\s+(\S+)\(([^)]*)\)(\S+)\s*$"
)
_METHOD_START_SIMPLE_RE = re.compile(
    r"^\.method\s+(.*)"
)
# .registers or .locals directive
_REGISTERS_RE = re.compile(r"^\s*\.registers\s+(\d+)")
_LOCALS_RE = re.compile(r"^\s*\.locals\s+(\d+)")
# .line directive
_LINE_RE = re.compile(r"^\s*\.line\s+\d+")


class SmaliParser:
    """Parser for apktool smali output files."""

    @staticmethod
    def parse_smali_file(filepath: str) -> List[SmaliMethod]:
        """Parse a single .smali file and return list of methods.

        Each .smali file contains one class with all its methods.
        """
        with open(filepath, "r", encoding="utf-8", errors="replace") as f:
            content = f.read()

        return SmaliParser._parse_smali_content(content, filepath)

    @staticmethod
    def _parse_smali_content(content: str, source: str = "") -> List[SmaliMethod]:
        """Parse smali text content and extract methods."""
        lines = content.split("\n")
        methods = []

        # Extract class name from .class directive
        class_name = ""
        for line in lines:
            if line.startswith(".class "):
                parts = line.split()
                class_name = parts[-1]  # Last token is the class descriptor
                break

        in_method = False
        method_lines = []
        method_header = ""
        access_flags = []
        skip_method = False

        for line in lines:
            if line.startswith(".method "):
                in_method = True
                method_lines = []
                method_header = line
                skip_method = False

                # Parse access flags and method signature
                remainder = line[len(".method "):].strip()
                tokens = remainder.split()
                access_flags = []
                method_sig_token = tokens[-1] if tokens else ""

                for t in tokens[:-1]:
                    access_flags.append(t)

                # Skip abstract and native methods (no body)
                if "abstract" in access_flags or "native" in access_flags:
                    skip_method = True

            elif line.startswith(".end method"):
                if in_method and not skip_method:
                    body = "\n".join(method_lines)
                    method_name, signature = SmaliParser._parse_method_sig(
                        method_header
                    )
                    instruction_count = SmaliParser.count_instructions(body)
                    register_count = SmaliParser._extract_register_count(body)

                    methods.append(
                        SmaliMethod(
                            class_name=class_name,
                            method_name=method_name,
                            method_signature=signature,
                            body=body,
                            instruction_count=instruction_count,
                            register_count=register_count,
                            access_flags=access_flags,
                        )
                    )
                in_method = False
                method_lines = []
                access_flags = []

            elif in_method and not skip_method:
                method_lines.append(line)

        return methods

    @staticmethod
    def parse_smali_directory(dirpath: str) -> Dict[str, SmaliMethod]:
        """Parse all .smali files in a directory tree.

        Returns dict keyed by 'ClassName->methodName(signature)ReturnType'.
        """
        result = {}
        for root, _dirs, files in os.walk(dirpath):
            for fname in files:
                if fname.endswith(".smali"):
                    fpath = os.path.join(root, fname)
                    try:
                        methods = SmaliParser.parse_smali_file(fpath)
                        for m in methods:
                            key = SmaliParser.make_method_key(
                                m.class_name, m.method_name, m.method_signature
                            )
                            result[key] = m
                    except Exception:
                        continue
        return result

    @staticmethod
    def normalize_smali_body(body: str) -> str:
        """Normalize smali body for consistent hashing.

        Strips comments, .line directives, normalizes whitespace.
        """
        lines = []
        for line in body.split("\n"):
            stripped = line.strip()
            # Skip empty lines, comments, and .line directives
            if not stripped or stripped.startswith("#"):
                continue
            if _LINE_RE.match(stripped):
                continue
            lines.append(stripped)
        return "\n".join(lines)

    @staticmethod
    def count_instructions(body: str) -> int:
        """Count actual Dalvik instructions (skip directives, labels, blanks)."""
        count = 0
        for line in body.split("\n"):
            stripped = line.strip()
            if not stripped:
                continue
            if _DIRECTIVE_RE.match(stripped):
                continue
            if _LABEL_RE.match(stripped):
                continue
            if _BLANK_OR_COMMENT_RE.match(stripped):
                continue
            count += 1
        return count

    @staticmethod
    def _extract_register_count(body: str) -> int:
        """Extract register count from .registers or .locals directive.

        apktool outputs .locals (local registers only) by default.
        .registers (total = locals + params) is used with --use-registers.
        We return whichever is present.
        """
        for line in body.split("\n"):
            stripped = line.strip()
            m = _REGISTERS_RE.match(stripped)
            if m:
                return int(m.group(1))
            m = _LOCALS_RE.match(stripped)
            if m:
                return int(m.group(1))
        return 0

    @staticmethod
    def _parse_method_sig(header_line: str) -> tuple:
        """Parse method name and signature from .method header line.

        Input: '.method public onCreate(Landroid/os/Bundle;)V'
        Returns: ('onCreate', '(Landroid/os/Bundle;)V')
        """
        remainder = header_line[len(".method "):].strip()
        tokens = remainder.split()
        if not tokens:
            return ("unknown", "()")

        # Last token contains methodName(params)returnType
        method_part = tokens[-1]

        paren_idx = method_part.find("(")
        if paren_idx == -1:
            return (method_part, "()")

        method_name = method_part[:paren_idx]
        signature = method_part[paren_idx:]

        return (method_name, signature)

    @staticmethod
    def make_method_key(class_name: str, method_name: str, signature: str) -> str:
        """Build a canonical method key for cross-tool matching.

        Format: 'Lcom/example/Foo;->methodName(params)ReturnType'
        """
        return f"{class_name}->{method_name}{signature}"