Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Jochen Eisinger, Dr. Jochen Eisinger, Dr.
eMail eisinger@informatik.uni-freiburg.de
PGP-Key Public-Key
fingerprint = F1E7 055E 4CBC 5341 DB65 C40D 38F9 8335 04EA 4200
Website http://ira.informatik.uni-freiburg.de/~eisinger/

Jochen Eisinger

Jahre: 2008 | 2007 | 2006 | 2005

    2008

    Icon: top nach oben zur Jahresübersicht
    • Jochen Eisinger
      Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic
      2008 EACSL Annual Conf. on Computer Science Logic, Springer-Verlag, Seiten: 430 - 444

    2007

    Icon: top nach oben zur Jahresübersicht
    • Bernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke
      LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals
      2007 Int'l Conf. on CAV, Springer-Verlag, Seiten: 312 - 315
    • Christian Dax, Jochen Eisinger, Felix Klaedtke
      Mechanizing the Powerset Construction for Restricted Classes of omega-Automata
      2007 Int'l Symp. on Automated Technology for Verification and Analysis, Springer-Verlag, Band: 4762, Seiten: 223 - 236
    • Christian Dax, Jochen Eisinger, Felix Klaedtke
      Mechanizing the Powerset Construction for Restricted Classes of omega-Automata
      , Nummer: 228, 2007
    • Bernd Becker, Jochen Eisinger, Felix Klaedtke
      Parallelization of Decision Procedures for Automatic Structures
      2007 Workshop on Omega-Automata

    2006

    Icon: top nach oben zur Jahresübersicht
    • Jan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Jochen Eisinger, Ilia Polian, Bernd Becker
      A Definition and Classification of Timing Anomalies
      2006 Int'l Workshop on Worst-Case Execution Time
    • Jochen Eisinger, Ilia Polian, Bernd Becker, Alexander Metzner, Stephan Thesing, Reinhard Wilhelm
      Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis
      2006 IEEE Design and Diagnostics of Electronic Circuits and Systems, IEEE Computer Society, Seiten: 15 - 20
    • Jochen Eisinger, Felix Klaedtke
      Don't Care Words with an Application to the Automata-based Approach for Real Addition
      2006 Conf. on Computer Aided Verification, Band: 4144, Seiten: 67 - 80
    • Jochen Eisinger, Felix Klaedtke
      Don't Care Words with an Application to the Automata-based Approach for Real Addition
      , Nummer: 223, 2006

    2005

    Icon: top nach oben zur Jahresübersicht