Jochen Eisinger - Publications

back

Conference and Workshop Proceedings

Fette I. and Eisinger J. Practical Privacy Concerns in a Real World Browser. W3C Workshop on Privacy for Advanced Web APIs. pp. 4, W3C 2010. [pdf]
Yan C., Greenstreet M., and Eisinger J. "Formal Verification of Arbiters". 16th IEEE International Symposium on Asynchronous Circuits and Systems. pp. 165-175. IEEE Computer Society, 2010. [pdf]
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]
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]
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]
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]
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]
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]

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.
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]

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]
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]
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]

Miscellaneous

Eisinger J., "Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition". PhD Thesis. Institut für Informatik. Albert-Ludwigs-Universität Freiburg, 2009. [pdf]
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]
Eisinger J., "Exploiting known security holes in Microsoft's PPTP Authentication Extensions (MS-CHAPv2)". University of Freiburg, 2001. [pdf]