main.tex

\input{preamble.tex}

\def\thetitle{Wireless Protocol Validation Under Uncertainty}
\def\theauthors{}

\authorrunning{J. Shi, S. K. Lahiri, R. Chandra, G. Challen}

\journalname{Formal Methods in System Design}

\begin{document}

\title{%
  \thetitle\thanks{This work was published, in part, in Runtime Verification
    (RV) 2016~\cite{Shi2016}.}
}

\author{%
  Jinghao Shi$^1$ \and
  Shuvendu K. Lahiri$^2$ \and
  Ranveer Chandra$^2$ \and
  Geoffrey Challen$^1$
}

\institute{
  Jinghao Shi\\
  jinghaos@buffalo.edu\\\\
  Shuvendu K. Lahiri\\
  shuvendu@microsoft.com\\\\
  Ranveer Chandra\\
  ranveer@microsoft.com\\\\
  Geoffrey Challen\\
  challen@buffalo.edu\\\\
  $^1$University at Buffalo, Buffalo, NY 14260, USA\\
  $^2$Microsoft Research, Redmond, WA 98052, USA
}

\hypersetup{%
  pdfinfo={%
    Title={\thetitle},
    Author={\theauthors},
  }
}


\maketitle

\input{abstract.tex}
\input{introduction.tex}
\input{motivation.tex}
\input{background.tex}
\input{framework.tex}
\input{case.tex}
\input{related.tex}
\input{conclusion.tex}



{\footnotesize
  \bibliographystyle{abbrv}
  \bibliography{references}
}

%\newpage
%\input{appendix.tex}

\end{document}