diss.tex

\documentclass[
    format=a5-ksp,
    length=large,
    listings=final,
    highlistnumbers,
    fleqn, % left-aligned formulae, passed to loading of amsmath
]{sdqdiss}
\RequirePackage{scrhack} % Circumvent warning due to incompatibility of float, listings etc. with current KOMA-Script

\usepackage[2021/06/01]{latexrelease}

% Benötigt für die Typewriter-Schriftart
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}

% Für Sprachumschaltung
\usepackage[ngerman,english]{babel}
\usepackage{csquotes}

\input{metadata.tex}

% Store PDF metadata for pdfx
\usepackage{silence}
\WarningFilter{latex}{Writing or overwriting file}
\begin{filecontents*}[overwrite]{\jobname.xmpdata}
\Title{Dissertation \dissauthor}
\Author{\dissauthor}
\Language{en-US}
\Subject{\disstitle}
\end{filecontents*}

% PDF/A
\usepackage[table]{xcolor} % Load with proper options before loading pdfx
\usepackage[a-1b]{pdfx}
\usepackage{morewrites}

\hypersetup{
	final,
	hidelinks
}

% Import aller Packages
\usepackage{templates/complete_template}

\addbibresource{literature/artifacts.bib}
\addbibresource{literature/casestudies.bib}
\addbibresource{literature/mine.bib}
\addbibresource{literature/other.bib}
\addbibresource{literature/standards.bib}

% Toggles
\newtoggle{showMarginNotes}
\togglefalse{showMarginNotes}
\newtoggle{submittedVersion}
\ifisafour
    \togglefalse{submittedVersion}
\fi

% Für kurzes Inhaltsverzeichnis
\RequirePackage{setspace}
\RequirePackage[tight]{shorttoc}

% Abstract
\newcommand{\Abstract}[1][Abstract]{\chapter*{#1}\addcontentsline{toc}{chapter}{#1}\markboth{#1}{#1}} 

%%
%% Beginn des Dokuments
%%
\title{\disstitlewrapped}
\subject{}
\date{}

\subtitle{
    \vskip2em%
    Zur Erlangung des akademischen Grades eines\\[1em]%
    \iftoggle{submittedVersion}{%
        {\Large Doktors der Ingenieurwissenschaften /}\\[.5em]%
        {\Large Doktors der Naturwissenschaften}\\[1em]%
    }{%
        {\Large Doktors der Ingenieurwissenschaften}\\[1em]%
    }%
    \iftoggle{submittedVersion}{%
        der KIT-Fakultät für Informatik\\%
    }{%
        von der KIT-Fakultät für Informatik\\%
    }%
    des Karlsruher Instituts für Technologie (KIT)\\[.5em]%
    \iftoggle{submittedVersion}{%
        vorgelegte\\[.3em]%
    }{%
        genehmigte\\[.3em]%
    }%
    {\Large Dissertation}
}

\author{%
    \normalsize{von}\\
    {\LARGE \dissauthor}\\
    \normalsize{%
        aus Höxter%
    }
}

\publishers{%
    \flushleft\small%
    Tag der mündlichen Prüfung: 19. Mai 2021\\%
    Erster Referent: Prof.\ Dr.\ Ralf H.\ Reussner\\%
    Zweiter Referent: Prof.\ Dr.\ Colin Atkinson (Universität Mannheim)\\%
}


\includeonly{
    sections/1_prologue/110_introduction,
    sections/1_prologue/120_foundations,
    sections/1_prologue/130_networks,
    sections/3_correctness/3100_correctness,
    sections/3_correctness/3200_compatibility,
    sections/3_correctness/3300_synchronization,
    sections/3_correctness/3400_orchestration,
    sections/3_correctness/3500_errors,
    sections/3_correctness/3600_evaluation,
    sections/6_quality/610_classification,
    sections/6_quality/620_improvement,
    sections/6_quality/630_language,
    sections/6_quality/640_evaluation,
    sections/9_epilogue/910_relatedwork,
    sections/9_epilogue/920_futurework,
    sections/9_epilogue/930_conclusions,
    sections/X_appendix/X10_compatibility_proofs,
    sections/X_appendix/X20_verifiability,
    sections/X01_submitted,
}

%%
%% Titelseite
%%
\begin{document}
\maketitle

\iftoggle{submittedVersion}{}{
    \thispagestyle{empty}
    \null
    \vfill
    \input{sections/0_abstract/000_license.tex}
}

% Römische Seitenzahlen
\frontmatter

%%
%% Abstract/Zusammenfassung
%%
%% Englischer Abstract
\selectlanguage{english}
\Abstract{
    \input{sections/0_abstract/010_english.tex}
}
%% Deutsche Zusammenfassung
\selectlanguage{ngerman}
\Abstract[Zusammenfassung]{
    \input{sections/0_abstract/020_deutsch.tex}
}

% Sprachumschaltung
\selectlanguage{english}

%% Danksagung
\Abstract[Acknowledgements]{
    \input{sections/0_abstract/030_acknowledgements.tex}
}

%%
%% Inhaltsverzeichnis
%%
% Kurzversion
\begingroup
\cleardoublepage
\setlength{\lineskiplimit}{-17pt}
\vfuzz=10pt
\let\pagebreak\relax % Avoid that the manual page break for the detailed ToC is also applied in short ToC
\renewcommand{\baselinestretch}{-0.08}
\renewcommand*{\chapterheadendvskip}{\vspace{6ex plus .1ex}}
\shorttoc{Contents Overview}{0}
\markboth{Contents Overview}{Contents Overview}
\endgroup
% Langversion
\cleardoublepage
\setcounter{tocdepth}{2}
\tableofcontents

%%
%% Weitere Verzeichnisse
%%
\renewcommand\lstlistlistingname{List of Listings}
\newcommand{\listdefinitionname}{List of Definitions}
\newcommand{\listinsightname}{List of Insights}
\newcommand{\listsalgorithmandlistingname}{Lists of Algorithms and Listings}
\cleardoublepage
\listoffigures
%\addcontentsline{toc}{chapter}{\listfigurename}
\cleardoublepage
\listoftables
%\addcontentsline{toc}{chapter}{\listtablename}
\cleardoublepage
\listofalgorithms
%\addcontentsline{toc}{chapter}{\listsalgorithmandlistingname}
%\addcontentsline{toc}{chapter}{\listalgorithmname}
{\let\cleardoublepage\relax\lstlistoflistings} % put listings on same page as algorithms
%\addcontentsline{toc}{chapter}{\lstlistlistingname}
\cleardoublepage
\listoftheorems[ignoreall,show={definition},
    title={\listdefinitionname},
    % swapnumber
]
%\addcontentsline{toc}{chapter}{\listdefinitionname}
\cleardoublepage
\listoftheorems[ignoreall,show={theorem,lemma,corollary,claim,proposition},
    % swapnumber
]
%\addcontentsline{toc}{chapter}{\listtheoremname}
%\cleardoublepage
%\listoftheorems[ignoreall,show={insight},
    %title={\listinsightname},
    %swapnumber
%]
%\addcontentsline{toc}{chapter}{\listinsightname}
\printglossaries

%%
%% Inhalt
%%
% Arabische Seitenzahlen
\mainmatter

% Need to redefine the ref names here, as something overwrites them before
\def\chapterautorefname{Chapter}
\def\sectionautorefname{Section}
\def\subsectionautorefname{Subsection}
\def\subsubsectionautorefname{Subsection}
\def\paragraphautorefname{Paragraph}

\input{sections/100_prologue}
\input{sections/300_correctness}
\input{sections/600_quality}
\input{sections/900_epilogue}
\input{sections/X00_appendix}

%%
%% Literaturverzeichnis
%%
\begingroup
\defbibnote{myprenote}{\emph{The titles of most entries are hyperlinks resolving the DOIs or pointing to other online sources for the entries.}}
\sloppy
\printbibliography[heading=bibintoc,prenote=myprenote]
\endgroup

\iftoggle{submittedVersion}{
    \include{sections/X01_submitted}
}{}

\end{document}