Jochen Eisinger

Lehrstuhl für Rechnerarchitektur
Institut für Informatik
Georges-Köhler-Allee 051
Albert-Ludwigs-Universität Freiburg
D-79110 Freiburg

Tel: +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)

Forschungsinteressen

Modelltheorie arithmetischer Strukturen (Graduiertenkolleg "Mathematische Logik und Anwendungen")
Formale Verifikation hybrider diskret-analoger Systeme (AVACS Projekt)

Ausgewählte Veröffentlichungen

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]