Jochen Eisinger

Please note: Please go here for my current homepage.

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)

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]