Publications

Conference and Workshop Proceedings

Eisinger J. "Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic". 17th EACSL Annual Conference on Computer Science Logic. LNCS 5213. pp 430-444. Springer-Verlag, 2008. [pdf] [BibTex] [Abstract]
Dax C., Eisinger J. and Klaedtke F. "Mechanizing the Powerset Construction for Restricted Classes of ω-Automata". 5th International Symposium on Automated Technology for Verification and Analysis. LNCS 4762. pp 223-236. Springer-Verlag, 2007. [pdf] [BibTex] [Abstract]
Becker B., Dax C., Eisinger J. and Klaedtke F. "LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals". 19th International Conference on Computer Aided Verification. LNCS 4590. pp 312-315. Springer-Verlag, 2007. [pdf] [BibTex] [Abstract]
Eisinger J. and Klaedtke F. "Don't care words with an application to the automata-based approach for real addition". 18th International Conference on Computer Aided Verification. LNCS 4144. pp 67-80. Springer-Verlag, 2006. [pdf] [BibTex] [Abstract]
Eisinger J., Polian I., Becker B., Metzner A., Thesing S., and Wilhelm R. "Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis". 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems. pp. 15-20. IEEE Computer Society, 2006. [pdf] [BibTex] [Abstract]
Eisinger J., Winterer P., and Becker B. "Securing Wireless Networks in a University Environment". 3rd Int'l Conf. on Pervasive Computing and Communications Workshops. pp. 312-316. IEEE Computer Society, 2005. [pdf] [BibTex] [Abstract]

Journals

Eisinger J. and Klaedtke F. "Don't care words with an application to the automata-based approach for real addition". Formal Methods in System Design, 33(1-3):85-115, 2008. [BibTex] [Abstract] [DOI]
Lang D., Eisinger J., Reski R., and Rensing S.A. "Representation and high-quality annotation of the Physcomitrella patens transcriptome demonstrates a high proportion of proteins involved in metabolism among mosses". Plant Biol 7:238-250 [pdf] [Abstract] [DOI]

Technical Reports

Eisinger J. "Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic". Tech. Rep. 239, Institut für Informatik, Universität Freiburg, 2008. [pdf] [BibTex] [Abstract]
Dax C., Eisinger J. and Klaedtke F. "Mechanizing the Powerset Construction for Restricted Classes of ω-Automata". Tech. Rep. 228, Institut für Informatik, Universität Freiburg, 2007. [pdf] [BibTex] [Abstract]
Eisinger J. and Klaedtke F. "Don't care words with an application to the automata-based approach for real addition". Tech. Rep. 223, Institut für Informatik, Universität Freiburg, 2006. [pdf] [BibTex] [Abstract]

Miscellaneous

Becker B., Eisinger J. and Klaedtke F. "Parallelization of Decision Procedures for Automatic Structures". 1st Workshop on Omega-Automata, 2007.
Reineke J., Wachter B., Thesing S., Wilhelm R., Polian I., Eisinger J., and Becker B. "A Definition and Classification of Timing Anomalies. 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006.
Eisinger J., "Deciding first-order logic with real and integer addition: an automata-based approach." Diplomarbeit, Institut für Informatik. Albert-Ludwigs-Universität Freiburg, 2005. [pdf] [BibTex] [Abstract]
Eisinger J., "Exploiting known security holes in Microsoft's PPTP Authentication Extensions (MS-CHAPv2)". University of Freiburg, 2001. [pdf] [BibTex] [Abstract]