Jochen Eisinger

Computer Architecture Group
Institute for Computer Science
Georges-Köhler-Allee 051
Albert-Ludwigs-University of Freiburg
D-79110 Freiburg

Phone: +49 761 203-8183
Fax: +49 761 203-8142

eMail: eisinger@informatik.uni-freiburg.de
GPG: pubkey.asc (Fingerprint F1E7 055E 4CBC 5341 DB65 C40D 38F9 8335 04EA 4200)

Research Interests

Model theory of arithmetic structures (Research Training Group "Mathematical Logic and Application")
Formal verification of hybrid discrete-continuous systems (AVACS project)

Selected Publications

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]