Jochen Eisinger
Lehrstuhl für RechnerarchitekturInstitut 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]
Last update: 2008-11-20
Copyright © Jochen Eisinger. Valid XHTML 1.1.




